Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About Me
About Me
Posts
research
Symbolic Register Automata
D’Antoni L., Ferreira T., Sammartino M., Silva A. (2019) Symbolic Register Automata. In: Dillig I., Tasiran S. (eds) Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, vol 11561. Springer, Cham. https://doi.org/10.1007/978-3-030-25540-4_1
PROGNOSIS: Closed-Box Analysis of Network Protocol Implementations
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, and Alexandra Silva. 2021. Prognosis: closed-box analysis of network protocol implementations. In Proceedings of the 2021 ACM SIGCOMM 2021 Conference (SIGCOMM '21). Association for Computing Machinery, New York, NY, USA, 762–774. DOI:https://doi.org/10.1145/3452296.3472938
Tree-Based Adaptive Model Learning
Ferreira, T., van Heerdt, G., Silva, A. (2022). Tree-Based Adaptive Model Learning. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds) A Journey from Process Algebra via Timed Automata to Model Learning . Lecture Notes in Computer Science, vol 13560. Springer, Cham. https://doi.org/10.1007/978-3-031-15629-8_10
Conflict-Aware Active Automata Learning
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, and Alexandra Silva. 2023. Conflict-Aware Active Automata Learning. In Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). EPTCS 390, 2023, pp. 150-167. doi:10.4204/EPTCS.390.10