Research

Conflict-Aware Active Automata Learning

Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, and Alexandra Silva. 2023. Conflict-Aware Active Automata Learning. In Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). EPTCS 390, 2023, pp. 150-167. doi:10.4204/EPTCS.390.10

Tree-Based Adaptive Model Learning

Ferreira, T., van Heerdt, G., Silva, A. (2022). Tree-Based Adaptive Model Learning. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds) A Journey from Process Algebra via Timed Automata to Model Learning . Lecture Notes in Computer Science, vol 13560. Springer, Cham. https://doi.org/10.1007/978-3-031-15629-8_10

PROGNOSIS: Closed-Box Analysis of Network Protocol Implementations

Tiago Ferreira, Harrison Brewton, Loris D'Antoni, and Alexandra Silva. 2021. Prognosis: closed-box analysis of network protocol implementations. In Proceedings of the 2021 ACM SIGCOMM 2021 Conference (SIGCOMM '21). Association for Computing Machinery, New York, NY, USA, 762–774. DOI:https://doi.org/10.1145/3452296.3472938

Symbolic Register Automata

D’Antoni L., Ferreira T., Sammartino M., Silva A. (2019) Symbolic Register Automata. In: Dillig I., Tasiran S. (eds) Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, vol 11561. Springer, Cham. https://doi.org/10.1007/978-3-030-25540-4_1