Research

Active Learning of Symbolic NetKAT Automata

Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, and Alexandra Silva. 2025. Active Learning of Symbolic NetKAT Automata. Proc. ACM Program. Lang. 9, PLDI, Article 192 (June 2025), 24 pages. https://doi.org/10.1145/3729295

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

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

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

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