Tiago Ferreira

According to our database, Tiago Ferreira authored at least 8 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SMT-Based Active Learning of Weighted Automata.

Tiago Ferreira, Kevin Batz, Alexandra Silva

CoRR, May, 2026

Weighted NetKAT: A Programming Language For Quantitative Network Verification.

Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz, Oliver Bøving, Nate Foster, Alexandra Silva

CoRR, April, 2026

2025

RFSeek and Ye Shall Find.

Noga H. Rotman, Tiago Ferreira, Hila Peleg, Mark Silberstein, Alexandra Silva

CoRR, September, 2025

Active Learning of Symbolic NetKAT Automata.

Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva

Proc. ACM Program. Lang., 2025

2023

Conflict-Aware Active Automata Learning.

Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva

Proceedings of the Fourteenth International Symposium on Games, 2023

2022

Tree-Based Adaptive Model Learning.

Tiago Ferreira, Gerco van Heerdt, Alexandra Silva

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Prognosis: closed-box analysis of network protocol implementations.

Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2019

Symbolic Register Automata.

Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva

Proceedings of the Computer Aided Verification - 31st International Conference, 2019