| 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 | 6 | 2022 |
| 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 | 5 | 2021 |
| 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é International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| Inclusion Checking Algorithms for ω-Languages K Doveri, P Ganty, F Parolini, F Ranzato submitted to the 27th Static Analysis Symposium, 2020 | 1 | 2020 |
| 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 |
Antoine MinéSorbonne Université, LIP6, APRDirección de correo verificada de lip6.fr
