Research
You can also find my articles on DBLP or Google Scholar.
Thomas Lu, Qiancheng Fu, Kevin Batz, Oliver Bøving, Tiago Ferreira, Mark Moeller, Nate Foster, and Alexandra Silva. 2026. A Fast Quantitative Analyzer for NetKAT. arXiv preprint arXiv:2607.14420. https://doi.org/10.48550/arXiv.2607.14420
Publication page
PDF
Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz, Oliver Bøving, Nate Foster, and Alexandra Silva. 2026. Weighted NetKAT: A Programming Language for Quantitative Network Verification. In PLDI 2026. https://doi.org/10.1145/3808318
Publication page
PDF
Code or artifact
Tiago Ferreira, Kevin Batz, and Alexandra Silva. 2026. SMT-Based Active Learning of Weighted Automata. In Computer Aided Verification (CAV 2026). https://doi.org/10.1007/978-3-032-32526-6_15
Publication page
PDF
Code or artifact
Noga H. Rotman, Tiago Ferreira, Hila Peleg, Mark Silberstein, and Alexandra Silva. 2025. RFSeek and Ye Shall Find. arXiv preprint arXiv:2509.10216. https://doi.org/10.48550/arXiv.2509.10216
Publication page
PDF
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, and Alexandra Silva. 2025. Active Learning of Symbolic NetKAT Automata. In PLDI 2025. https://doi.org/10.1145/3729295
Publication page
PDF
Code or artifact
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, and Alexandra Silva. 2023. Conflict-Aware Active Automata Learning. In GandALF 2023. https://doi.org/10.4204/EPTCS.390.10
Publication page
PDF
GitHub repository
Tiago Ferreira, Gerco van Heerdt, and Alexandra Silva. 2022. Tree-Based Adaptive Model Learning. In A Journey from Process Algebra via Timed Automata to Model Learning. https://doi.org/10.1007/978-3-031-15629-8_10
Publication page
PDF
GitHub repository
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, and Alexandra Silva. 2021. PROGNOSIS: Closed-Box Analysis of Network Protocol Implementations. In ACM SIGCOMM 2021. https://doi.org/10.1145/3452296.3472938
Publication page
PDF
Code or artifact
GitHub repository
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, and Alexandra Silva. 2019. Symbolic Register Automata. In Computer Aided Verification (CAV 2019). https://doi.org/10.1007/978-3-030-25540-4_1
Publication page
PDF
GitHub repository
