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 |
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 |
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é | | |