Tiago Ferreira

Orcid: 0000-0002-6942-0228

Affiliations:

University College London, UK

According to our database¹, Tiago Ferreira authored at least 4 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Conflict-Aware Active Automata Learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2019

Symbolic Register Automata.

[BibT_eX]

[DOI]

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

Tiago Ferreira

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...