| 2026 | ECOOP | DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis. | Milla Valnet, Raphal Monat, Antoine Min |
| 2026 | TACAS | Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution). | Marco Milanese, Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2025 | ECOOP | Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. | Mamy Razafintsialonina, David Bhler, Antoine Min, Valentin Perrelle, Julien Signoles |
| 2025 | ECOOP | Compositional Static Value Analysis for Higher-Order Numerical Programs. | Milla Valnet, Raphal Monat, Antoine Min |
| 2025 | TACAS | Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2024 | LPAR | Automatic Detection of Vulnerable Variables for CTL Properties of Programs. | Nam Moussaoui Remil, Caterina Urban, Antoine Min |
| 2024 | SAS | Under-Approximating Memory Abstractions. | Marco Milanese, Antoine Min |
| 2024 | TACAS | Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). | Raphal Monat, Marco Milanese, Francesco Parolini, Jrme Boillot, Abdelraouf Ouadjaout, Antoine Min |
| 2024 | VMCAI | Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. | Marco Milanese, Antoine Min |
| 2024 | VMCAI | Sound Abstract Nonexploitability Analysis. | Francesco Parolini, Antoine Min |
| 2023 | QRS | Input Validation for Neural Networks via Local Robustness Verification. | Jiangchao Liu, Liqian Chen, Antoine Min, Hengbiao Yu, Ji Wang |
| 2023 | TACAS | Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2022 | PLDI | Abstract interpretation of Michelson smart-contracts. | Guillaume Bau, Antoine Min, Vincent Botbol, Mehdi Bouaziz |
| 2022 | TASE | Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks. | Francesco Parolini, Antoine Min |
| 2021 | SAS | Static Analysis of Endian Portability by Abstract Interpretation. | David Delmas, Abdelraouf Ouadjaout, Antoine Min |
| 2021 | SAS | A Multilanguage Static Analysis of Python Programs with Native C Extensions. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | ECOOP | Static Type Analysis by Abstract Interpretation of Python Programs. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | PLDI | Value and allocation sensitivity in static Python analyses. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | SAS | A Library Modeling Language for the Static Analysis of C Programs. | Abdelraouf Ouadjaout, Antoine Min |
| 2019 | ESOP | An Abstract Domain for Trees with Numeric Relations. | Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout |
| 2019 | FM | Combination of Boxes and Polyhedra Abstractions for Constraint Solving. | Ghiles Ziat, Alexandre Marchal, Marie Pelleau, Antoine Min, Charlotte Truchet |
| 2019 | SAS | Analysis of Software Patches Using Numerical Abstract Interpretation. | David Delmas, Antoine Min |
| 2018 | APLAS | Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. | Thibault Suzanne, Antoine Min |
| 2018 | CP | Finding Solutions by Finding Inconsistencies. | Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Min |
| 2018 | SAS | Modular Static Analysis of String Manipulations in C Programs. | Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout |
| 2017 | SAS | Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. | Abdelraouf Ouadjaout, Antoine Min |
| 2017 | VMCAI | Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. | Raphal Monat, Antoine Min |
| 2016 | ESOP | An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. | Antoine Min, Jason Breck, Thomas W. Reps |
| 2016 | SAS | Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. | Matthieu Journault, Antoine Min |
| 2016 | SAS | From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. | Thibault Suzanne, Antoine Min |
| 2015 | EMSOFT | Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. | Antoine Min, David Delmas |
| 2015 | VMCAI | Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. | Caterina Urban, Antoine Min |
| 2014 | ESOP | An Abstract Domain to Infer Ordinal-Valued Ranking Functions. | Caterina Urban, Antoine Min |
| 2014 | SAS | An Abstract Domain to Infer Octagonal Constraints with Absolute Value. | Liqian Chen, Jiangchao Liu, Antoine Min, Deepak Kapur, Ji Wang |
| 2014 | SAS | A Decision Tree Abstract Domain for Proving Conditional Termination. | Caterina Urban, Antoine Min |
| 2014 | VMCAI | Relational Thread-Modular Static Value Analysis by Abstract Interpretation. | Antoine Min |
| 2013 | VMCAI | A Constraint Solver Based on Abstract Domains. | Marie Pelleau, Antoine Min, Charlotte Truchet, Frdric Benhamou |
| 2012 | CADE | Abstract Domains for Bit-Level Machine Integer and Floating-point Operations. | Antoine Min |
| 2011 | ESOP | Linear Absolute Value Relation Analysis. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2011 | ESOP | Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. | Antoine Min |
| 2010 | VMCAI | An Abstract Domain to Discover Interval Linear Equalities. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2009 | CAV | Apron: A Library of Numerical Abstract Domains for Static Analysis. | Bertrand Jeannet, Antoine Min |
| 2009 | SAS | Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2008 | APLAS | A Sound Floating-Point Polyhedra Abstract Domain. | Liqian Chen, Antoine Min, Patrick Cousot |
| 2007 | TASE | Varieties of Static Analyzers: A Comparison with ASTREE. | Patrick Cousot, Radhia Cousot, Jrme Feret, Antoine Min, Laurent Mauborgne, David Monniaux, Xavier Rival |
| 2006 | VMCAI | Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. | Antoine Min |
| 2005 | ESOP | The ASTRE Analyzer. | Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2004 | ESOP | Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. | Antoine Min |
| 2003 | PLDI | A static analyzer for large safety-critical software. | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2002 | SAS | A Few Graph-Based Relational Numerical Abstract Domains. | Antoine Min |