Ferreira, T., van Heerdt, G., & Silva, A. (2022). Tree-Based Adaptive Model Learning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 164-179). doi:10.1007/978-3-031-15629-8_10

Ferreira, T., Brewton, H., D'Antoni, L., & Silva, A. (2021). Prognosis: Closed-box analysis of network protocol implementations. SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference, 762-774. doi:10.1145/3452296.3472938

Sammartino, M., Silva, A., Ferreira, T., & D'Antoni, L. (2019). Symbolic Register Automata. doi:10.1007/978-3-030-25540-4_1

Ferreira, T., Heerdt, G. V., & Silva, A. (n.d.). Tree-Based Adaptive Model Learning. arXiv. doi:10.48550/arXiv.2209.00122