Research

@article{Lu2026,
 pdf = {https://arxiv.org/pdf/2607.14420},
 author = {Thomas Lu and Qiancheng Fu and Kevin Batz and Oliver Bøving and Tiago Ferreira and Mark Moeller and Nate Foster and Alexandra Silva},
 doi = {10.48550/arXiv.2607.14420},
 journal = {arXiv preprint arXiv:2607.14420},
 title = {A Fast Quantitative Analyzer for NetKAT},
 year = {2026}
}

@article{Acevedo2026,
 pdf = {https://arxiv.org/pdf/2604.13987},
 author = {Emmanuel {Su{\'{a}}rez Acevedo} and
Tiago Ferreira and
Kevin Batz and
Oliver B{\o}ving and
Nate Foster and
Alexandra Silva},
 doi = {10.1145/3808318},
 journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)},
 number = {PLDI},
 title = {Weighted NetKAT: {A} Programming Language for Quantitative Network Verification},
 year = {2026}
}

@inproceedings{Ferreira2026,
 pdf = {https://arxiv.org/pdf/2605.07758},
 author = {Tiago Ferreira and Kevin Batz and Alexandra Silva},
 booktitle = {International Conference on Computer Aided Verification (CAV)},
 doi = {10.1007/978-3-032-32526-6\_15},
 title = {SMT-Based Active Learning of Weighted Automata},
 year = {2026}
}

@article{Rotman2025,
 pdf = {https://arxiv.org/pdf/2509.10216},
 author = {Noga H. Rotman and Tiago Ferreira and Hila Peleg and Mark Silberstein and Alexandra Silva},
 doi = {10.48550/arXiv.2509.10216},
 journal = {arXiv preprint arXiv:2509.10216},
 title = {RFSeek and Ye Shall Find},
 year = {2025}
}

@article{Moeller2025,
 pdf = {https://arxiv.org/pdf/2504.13794},
 author = {Mark Moeller and
Tiago Ferreira and
Thomas Lu and
Nate Foster and
Alexandra Silva},
 doi = {10.1145/3729295},
 journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)},
 number = {PLDI},
 title = {Active Learning of Symbolic NetKAT Automata},
 year = {2025}
}

@inproceedings{Ferreira2023,
 pdf = {https://arxiv.org/pdf/2308.14781},
 author = {Tiago Ferreira and L{\'{e}}o Henry and Raquel Fernandes da Silva and Alexandra Silva},
 booktitle = {International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)},
 doi = {10.4204/EPTCS.390.10},
 title = {Conflict-Aware Active Automata Learning},
 year = {2023}
}

@inproceedings{Ferreira2022,
 pdf = {https://arxiv.org/pdf/2209.00122},
 author = {Tiago Ferreira and Gerco van Heerdt and Alexandra Silva},
 booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
 doi = {10.1007/978-3-031-15629-8\_10},
 title = {Tree-Based Adaptive Model Learning},
 year = {2022}
}

@inproceedings{Ferreira2021,
 pdf = {https://arxiv.org/pdf/2201.02577},
 author = {Tiago Ferreira and Harrison Brewton and Loris D'Antoni and Alexandra Silva},
 booktitle = {Conference of the ACM Special Interest Group on Data Communication (SIGCOMM)},
 doi = {10.1145/3452296.3472938},
 title = {Prognosis: closed-box analysis of network protocol implementations},
 year = {2021}
}

@inproceedings{DAntoni2019,
 pdf = {https://arxiv.org/pdf/1811.06968},
 author = {Loris D'Antoni and Tiago Ferreira and Matteo Sammartino and Alexandra Silva},
 booktitle = {International Conference on Computer Aided Verification (CAV)},
 doi = {10.1007/978-3-030-25540-4\_1},
 title = {Symbolic Register Automata},
 year = {2019}
}