Tiago Ferreira

11 papers A* 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Active Learning of Symbolic NetKAT Automata.
CoRR
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
2025 J jnl
Active Learning of Symbolic NetKAT Automata.
Proc. ACM Program. Lang.
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
2025 J jnl
RFSeek and Ye Shall Find.
CoRR
Noga H. Rotman, Tiago Ferreira, Hila Peleg, Mark Silberstein, Alexandra Silva
2023 J jnl
Conflict-Aware Active Automata Learning.
CoRR
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
2023 — conf
Conflict-Aware Active Automata Learning.
GandALF
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
2022 J jnl
Prognosis: Closed-Box Analysis of Network Protocol Implementations.
CoRR
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
2022 — conf
Tree-Based Adaptive Model Learning.
A Journey from Process Algebra via Timed Automata to Model Learning
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
2022 J jnl
Tree-Based Adaptive Model Learning.
CoRR
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
2021 A* conf
Prognosis: closed-box analysis of network protocol implementations.
SIGCOMM
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
2019 — conf
Symbolic Register Automata.
CAV (1)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
2018 J jnl
Symbolic Register Automata.
CoRR
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva