A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.




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.

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:

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.

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