Tiago Ferreira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | SMT-Based Active Learning of Weighted Automata. | Tiago Ferreira, Kevin Batz, Alexandra Silva |
| 2021 | SIGCOMM | Prognosis: closed-box analysis of network protocol implementations. | Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva |
| 2019 | CAV | Symbolic Register Automata. | Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva |
| 2018 | HSI | GymApp: A Real Time Physical Activity Trainner on Wearable Devices. | Paula Viana, Tiago Ferreira, Lourenco Castro, Mrcio Soares, Jos Pedro Pinto, Maria Teresa Andrade, Pedro Carvalho |