A New Numerical Abstract Domain Based on Difference-Bound Matrices. - Antoine Miné (PADO, 2001)

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (The Essence of Computation, 2002)

A Few Graph-Based Relational Numerical Abstract Domains. - Antoine Miné (SAS, 2002)

A static analyzer for large safety-critical software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (PLDI, 2003)

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. - Antoine Miné (ESOP, 2004)

Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels). - Antoine Miné (2004)

The ASTREÉ Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ESOP, 2005)

Combination of Abstractions in the ASTRÉE Static Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ASIAN, 2006)

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. - Antoine Miné (LCTES, 2006)

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. - Antoine Miné (VMCAI, 2006)

The octagon abstract domain. - Antoine Miné (High. Order Symb. Comput., 2006)

Varieties of Static Analyzers: A Comparison with ASTREE. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Antoine Miné; Laurent Mauborgne; David Monniaux; Xavier Rival (TASE, 2007)

A Sound Floating-Point Polyhedra Abstract Domain. - Liqian Chen; Antoine Miné; Patrick Cousot (APLAS, 2008)

Apron: A Library of Numerical Abstract Domains for Static Analysis. - Bertrand Jeannet; Antoine Miné (CAV, 2009)

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (SAS, 2009)

Why does Astrée scale up? - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Formal Methods Syst. Des., 2009)

Astree: Nachweis der Abwesenheit von Laufzeit. - Daniel Kästner; Christian Ferdinand; Stephan Wilhelm; Stefana Nenova; Olha Honcharova; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival; Élodie-Jane Sims (Softwaretechnik-Trends, 2009)

An Abstract Domain to Discover Interval Linear Equalities. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (VMCAI, 2010)

Preface. - Antoine Miné; Enric Rodríguez-Carbonell (NSAD@SAS, 2010)

Linear Absolute Value Relation Analysis. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (ESOP, 2011)

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. - Antoine Miné (ESOP, 2011)

Static analysis by abstract interpretation of embedded critical software. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (ACM SIGSOFT Softw. Eng. Notes, 2011)

Abstract Domains for Bit-Level Machine Integer and Floating-point Operations. - Antoine Miné (ATx/WInG@IJCAR, 2012)

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs - Antoine Miné (Log. Methods Comput. Sci., 2012)

Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations. - Antoine Miné (NSAD@SAS, 2012)

Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents). - Antoine Miné (2013)

A Constraint Solver Based on Abstract Domains. - Marie Pelleau; Antoine Miné; Charlotte Truchet; Frédéric Benhamou (VMCAI, 2013)

An Abstract Domain to Infer Ordinal-Valued Ranking Functions. - Caterina Urban; Antoine Miné (ESOP, 2014)

An Abstract Domain to Infer Octagonal Constraints with Absolute Value. - Liqian Chen; Jiangchao Liu; Antoine Miné; Deepak Kapur; Ji Wang 001 (SAS, 2014)

A Decision Tree Abstract Domain for Proving Conditional Termination. - Caterina Urban; Antoine Miné (SAS, 2014)

Relational Thread-Modular Static Value Analysis by Abstract Interpretation. - Antoine Miné (VMCAI, 2014)

Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions. - Antoine Miné (Sci. Comput. Program., 2014)

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. - Antoine Miné; David Delmas (EMSOFT, 2015)

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. - Caterina Urban; Antoine Miné (VMCAI, 2015)

Static Analysis and Verification of Aerospace Software by Abstract Interpretation. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Found. Trends Program. Lang., 2015)

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. - Antoine Miné; Jason Breck; Thomas W. Reps (ESOP, 2016)

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. - Matthieu Journault; Antoine Miné (SAS, 2016)

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. - Thibault Suzanne; Antoine Miné (SAS, 2016)

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities. - Antoine Miné (NSAD@SAS, 2016)

Static analysis by abstract interpretation of functional properties of device drivers in TinyOS. - Abdelraouf Ouadjaout; Antoine Miné; Noureddine Lasla; Nadjib Badache (J. Syst. Softw., 2016)

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. - Xueguang Wu; Liqian Chen; Antoine Miné; Wei Dong 006; Ji Wang 001 (ACM Trans. Embed. Comput. Syst., 2016)

Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. - Raphaël Monat; Antoine Miné (VMCAI, 2017)

Inference of ranking functions for proving temporal properties by abstract interpretation. - Caterina Urban; Antoine Miné (Comput. Lang. Syst. Struct., 2017)

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. - Antoine Miné (Found. Trends Program. Lang., 2017)

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. - Thibault Suzanne; Antoine Miné (APLAS, 2018)

Finding Solutions by Finding Inconsistencies. - Ghiles Ziat; Marie Pelleau; Charlotte Truchet; Antoine Miné (CP, 2018)

Static Value Analysis of Python Programs by Abstract Interpretation. - Aymeric Fromherz; Abdelraouf Ouadjaout; Antoine Miné (NFM, 2018)

Modular Static Analysis of String Manipulations in C Programs. - Matthieu Journault; Antoine Miné; Abdelraouf Ouadjaout (SAS, 2018)

Inferring functional properties of matrix manipulating programs by abstract interpretation. - Matthieu Journault; Antoine Miné (Formal Methods Syst. Des., 2018)

An Abstract Domain for Trees with Numeric Relations. - Matthieu Journault; Antoine Miné; Abdelraouf Ouadjaout (ESOP, 2019)

Combination of Boxes and Polyhedra Abstractions for Constraint Solving. - Ghiles Ziat; Alexandre Maréchal; Marie Pelleau; Antoine Miné; Charlotte Truchet (FM Workshops (2), 2019)

Analysis of Software Patches Using Numerical Abstract Interpretation. - David Delmas; Antoine Miné (SAS, 2019)

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. - Matthieu Journault; Antoine Miné; Raphaël Monat; Abdelraouf Ouadjaout (VSTTE, 2019)

Quantitative static analysis of communication protocols using abstract Markov chains. - Abdelraouf Ouadjaout; Antoine Miné (Formal Methods Syst. Des., 2019)

Static Type Analysis by Abstract Interpretation of Python Programs. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (ECOOP, 2020)

Value and allocation sensitivity in static Python analyses. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (SOAP@PLDI, 2020)

A Library Modeling Language for the Static Analysis of C Programs. - Abdelraouf Ouadjaout; Antoine Miné (SAS, 2020)

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. - Bibek Kabi; Eric Goubault; Antoine Miné; Sylvie Putot (VSTTE, 2020)

Input Validation for Neural Networks via Runtime Local Robustness Verification. - Jiangchao Liu; Liqian Chen; Antoine Miné; Ji Wang 001 (CoRR, 2020)

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (Dagstuhl Artifacts Ser., 2020)

Static Analysis of Endian Portability by Abstract Interpretation. - David Delmas; Abdelraouf Ouadjaout; Antoine Miné (SAS, 2021)

A Multilanguage Static Analysis of Python Programs with Native C Extensions. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (SAS, 2021)

A Review of Formal Methods applied to Machine Learning. - Caterina Urban; Antoine Miné (CoRR, 2021)

Abstract interpretation of Michelson smart-contracts. - Guillaume Bau; Antoine Miné; Vincent Botbol; Mehdi Bouaziz (SOAP@PLDI, 2022)

Input Validation for Neural Networks via Local Robustness Verification. - Jiangchao Liu; Liqian Chen; Antoine Miné; Hengbiao Yu; Ji Wang 001 (QRS Companion, 2023)

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (TACAS (2), 2023)

Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). - Arie Gurfinkel; Isabella Mastroeni; Antoine Miné; Peter Müller 001; Anna Becchi (Dagstuhl Reports, 2023)

BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation. - Nilesh Rajendra Shah; Ashitabh Misra; Antoine Miné; Rakesh Venkat; Ramakrishna Upadrasta (ACM Trans. Archit. Code Optim., 2023)

Sound static analysis of regular expressions for vulnerabilities to denial of service attacks. - Francesco Parolini; Antoine Miné (Sci. Comput. Program., 2023)

Automatic Detection of Vulnerable Variables for CTL Properties of Programs. - Naïm Moussaoui Remil; Caterina Urban; Antoine Miné (LPAR, 2024)

Under-Approximating Memory Abstractions. - Marco Milanese; Antoine Miné (SAS, 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é (TACAS (3), 2024)

Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. - Marco Milanese; Antoine Miné (VMCAI (1), 2024)

Sound Abstract Nonexploitability Analysis. - Francesco Parolini; Antoine Miné (VMCAI (2), 2024)

Easing maintenance of academic static analyzers. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (Int. J. Softw. Tools Technol. Transf., 2024)

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. - Mamy Razafintsialonina; David Bühler; Antoine Miné; Valentin Perrelle; Julien Signoles (ECOOP, 2025)

Compositional Static Value Analysis for Higher-Order Numerical Programs. - Milla Valnet; Raphaël Monat; Antoine Miné (ECOOP, 2025)

Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (TACAS (3), 2025)

Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact). - Milla Valnet; Raphaël Monat; Antoine Miné (Dagstuhl Artifacts Ser., 2025)