Follow
Francesco Parolini
Francesco Parolini
Sorbonne Université
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks
F Parolini, A Miné
16th International Symposium on Theoretical Aspects of Software Engineering …, 2022
62022
Inclusion testing of Büchi automata based on well-quasiorders
D Kyveli, G Pierre, P Francesco, F Ranzato
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 203, 1-22, 2021
52021
Inclusion Checking Algorithms for ω-Languages
K Doveri, P Ganty, F Parolini, F Ranzato
submitted to the 27th Static Analysis Symposium, 2020
12020
Sound Abstract Nonexploitability Analysis
F Parolini, A Miné
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Simulation-based Inclusion Checking Algorithms for ω-Languages
F Ranzato, P Ganty, F Parolini
2020
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
R Monat, M Milanese, F Parolini, J Boillot, A Ouadjaout, A Miné
The system can't perform the operation now. Try again later.
Articles 1–6