Research
You can also find my articles on DBLP or Google Scholar.
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. To appear in Computer Aided Verification (CAV 2026). arXiv:2605.07758. https://doi.org/10.48550/arXiv.2605.07758
Publication page
PDF
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
