Inclusion Testing of Büchi Automata Based on Well-Quasiorders. - Kyveli Doveri; Pierre Ganty; Francesco Parolini; Francesco Ranzato (CONCUR, 2021)

Sound static analysis of regular expressions for vulnerabilities to denial of service attacks. - Francesco Parolini; Antoine Miné (Sci. Comput. Program., 2023)

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). - Raphaël Monat; Marco Milanese; Francesco Parolini; Jérôme Boillot; Abdelraouf Ouadjaout; Antoine Miné (TACAS (3), 2024)

Sound Abstract Nonexploitability Analysis. - Francesco Parolini; Antoine Miné (VMCAI (2), 2024)

Static Analysis for Security Properties of Software by Abstract Interpretation. (Analyse statique des propriétés de sécurité des logiciels par interprétation abstraite). - Francesco Parolini (2024)