Francesco Parolini

According to our database, Francesco Parolini authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Abstract Nonexploitability Analysis.

Francesco Parolini, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

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é

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Sound static analysis of regular expressions for vulnerabilities to denial of service attacks.

Francesco Parolini, Antoine Miné

Sci. Comput. Program., July, 2023

2021

Inclusion Testing of Büchi Automata Based on Well-Quasiorders.

Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato

Proceedings of the 32nd International Conference on Concurrency Theory, 2021