Symbolic Register Automata. - Loris D'Antoni; Tiago Ferreira 001; Matteo Sammartino; Alexandra Silva 001 (CAV (1), 2019)

Prognosis: closed-box analysis of network protocol implementations. - Tiago Ferreira 001; Harrison Brewton; Loris D'Antoni; Alexandra Silva 001 (SIGCOMM, 2021)

Tree-Based Adaptive Model Learning. - Tiago Ferreira 001; Gerco van Heerdt; Alexandra Silva 001 (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Conflict-Aware Active Automata Learning. - Tiago Ferreira 001; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva 001 (GandALF, 2023)

Active Learning of Symbolic NetKAT Automata. - Mark Moeller; Tiago Ferreira 001; Thomas Lu; Nate Foster; Alexandra Silva 001 (Proc. ACM Program. Lang., 2025)