Antoine Miné

94 papers A* 2A 11B 24Misc 3Journal 30Unranked 21
YearRankTypeTitle / Venue / Authors
2026 — conf
Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution).
TACAS (2)
Marco Milanese, Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2025 J jnl
Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact).
Dagstuhl Artifacts Ser.
Milla Valnet, Raphaël Monat, Antoine Miné
2025 A conf
Compositional Static Value Analysis for Higher-Order Numerical Programs.
ECOOP
Milla Valnet, Raphaël Monat, Antoine Miné
2025 — conf
Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution).
TACAS (3)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2025 A conf
Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis.
ECOOP
Mamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, Julien Signoles
2024 B conf
Automatic Detection of Vulnerable Variables for CTL Properties of Programs.
LPAR
Naïm Moussaoui Remil, Caterina Urban, Antoine Miné
2024 J jnl
Easing Maintenance of Academic Static Analyzers.
CoRR
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2024 J jnl
Easing maintenance of academic static analyzers.
Int. J. Softw. Tools Technol. Transf.
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2024 — conf
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.
VMCAI (1)
Marco Milanese, Antoine Miné
2024 — conf
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).
TACAS (3)
Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
2024 — conf
Sound Abstract Nonexploitability Analysis.
VMCAI (2)
Francesco Parolini, Antoine Miné
2024 B conf
Under-Approximating Memory Abstractions.
SAS
Marco Milanese, Antoine Miné
2023 J jnl
BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation.
ACM Trans. Archit. Code Optim.
Nilesh Rajendra Shah, Ashitabh Misra, Antoine Miné, Rakesh Venkat, Ramakrishna Upadrasta
2023 — conf
Input Validation for Neural Networks via Local Robustness Verification.
QRS Companion
Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
2023 — conf
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).
TACAS (2)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2023 J jnl
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks.
Sci. Comput. Program.
Francesco Parolini, Antoine Miné
2023 J jnl
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281).
Dagstuhl Reports
Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi
2022 — conf
Abstract interpretation of Michelson smart-contracts.
SOAP@PLDI
Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz
2022 J jnl
Abstract interpretation of Michelson smart-contracts.
CoRR
Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz
2022 Misc conf
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks.
TASE
Francesco Parolini, Antoine Miné
2021 B conf
A Multilanguage Static Analysis of Python Programs with Native C Extensions.
SAS
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2021 J jnl
A Review of Formal Methods applied to Machine Learning.
CoRR
Caterina Urban, Antoine Miné
2021 B conf
Static Analysis of Endian Portability by Abstract Interpretation.
SAS
David Delmas, Abdelraouf Ouadjaout, Antoine Miné
2020 B conf
A Library Modeling Language for the Static Analysis of C Programs.
SAS
Abdelraouf Ouadjaout, Antoine Miné
2020 — conf
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.
VSTTE
Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot
2020 J jnl
Input Validation for Neural Networks via Runtime Local Robustness Verification.
CoRR
Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang
2020 J jnl
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).
Dagstuhl Artifacts Ser.
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2020 A conf
Static Type Analysis by Abstract Interpretation of Python Programs.
ECOOP
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2020 — conf
Value and allocation sensitivity in static Python analyses.
SOAP@PLDI
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2019 A conf
An Abstract Domain for Trees with Numeric Relations.
ESOP
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
2019 B conf
Analysis of Software Patches Using Numerical Abstract Interpretation.
SAS
David Delmas, Antoine Miné
2019 — conf
Combination of Boxes and Polyhedra Abstractions for Constraint Solving.
FM Workshops (2)
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet
2019 — conf
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.
VSTTE
Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
2019 J jnl
Quantitative static analysis of communication protocols using abstract Markov chains.
Formal Methods Syst. Des.
Abdelraouf Ouadjaout, Antoine Miné
2018 A conf
Finding Solutions by Finding Inconsistencies.
CP
Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné
2018 J jnl
Inferring functional properties of matrix manipulating programs by abstract interpretation.
Formal Methods Syst. Des.
Matthieu Journault, Antoine Miné
2018 B conf
Modular Static Analysis of String Manipulations in C Programs.
SAS
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
2018 B conf
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.
APLAS
Thibault Suzanne, Antoine Miné
2018 — conf
Static Value Analysis of Python Programs by Abstract Interpretation.
NFM
Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
2017 J jnl
Inference of ranking functions for proving temporal properties by abstract interpretation.
Comput. Lang. Syst. Struct.
Caterina Urban, Antoine Miné
2017 B conf
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.
VMCAI
Raphaël Monat, Antoine Miné
2017 B conf
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains.
SAS
Abdelraouf Ouadjaout, Antoine Miné
2017 J jnl
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation.
Found. Trends Program. Lang.
Antoine Miné
2016 A conf
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.
ESOP
Antoine Miné, Jason Breck, Thomas W. Reps
2016 B conf
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.
SAS
Thibault Suzanne, Antoine Miné
2016 B conf
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.
SAS
Matthieu Journault, Antoine Miné
2016 — conf
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities.
NSAD@SAS
Antoine Miné
2016 J jnl
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.
ACM Trans. Embed. Comput. Syst.
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
2016 J jnl
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS.
J. Syst. Softw.
Abdelraouf Ouadjaout, Antoine Miné, Noureddine Lasla, Nadjib Badache
2015 B conf
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.
VMCAI
Caterina Urban, Antoine Miné
2015 J jnl
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
Found. Trends Program. Lang.
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2015 Misc conf
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.
EMSOFT
Antoine Miné, David Delmas
2014 B conf
A Decision Tree Abstract Domain for Proving Conditional Termination.
SAS
Caterina Urban, Antoine Miné
2014 B conf
An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
SAS
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
2014 A conf
An Abstract Domain to Infer Ordinal-Valued Ranking Functions.
ESOP
Caterina Urban, Antoine Miné
2014 J jnl
Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions.
Sci. Comput. Program.
Antoine Miné
2014 B conf
Relational Thread-Modular Static Value Analysis by Abstract Interpretation.
VMCAI
Antoine Miné
2013 B conf
A Constraint Solver Based on Abstract Domains.
VMCAI
Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
2013 — book
Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents).
Antoine Miné
2012 — conf
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.
ATx/WInG@IJCAR
Antoine Miné
2012 — conf
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations.
NSAD@SAS
Antoine Miné
2012 B ed.
Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
SAS
Antoine Miné, David Schmidt
2012 J jnl
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
Log. Methods Comput. Sci.
Antoine Miné
2011 A conf
Linear Absolute Value Relation Analysis.
ESOP
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2011 A conf
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs.
ESOP
Antoine Miné
2011 J jnl
Static analysis by abstract interpretation of embedded critical software.
ACM SIGSOFT Softw. Eng. Notes
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2010 B conf
An Abstract Domain to Discover Interval Linear Equalities.
VMCAI
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2010 — conf
Preface.
NSAD@SAS
Antoine Miné, Enric Rodríguez-Carbonell
2010 — ed.
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010
NSAD@SAS
Antoine Miné, Enric Rodríguez-Carbonell
2009 A* conf
Apron: A Library of Numerical Abstract Domains for Static Analysis.
CAV
Bertrand Jeannet, Antoine Miné
2009 J jnl
Astree: Nachweis der Abwesenheit von Laufzeit.
Softwaretechnik-Trends
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
2009 B conf
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
SAS
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2009 J jnl
Why does Astrée scale up?
Formal Methods Syst. Des.
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2008 B conf
A Sound Floating-Point Polyhedra Abstract Domain.
APLAS
Liqian Chen, Antoine Miné, Patrick Cousot
2007 J jnl
A Few Graph-Based Relational Numerical Abstract Domains
CoRR
Antoine Miné
2007 J jnl
A New Numerical Abstract Domain Based on Difference-Bound Matrices
CoRR
Antoine Miné
2007 J jnl
A Static Analyzer for Large Safety-Critical Software
CoRR
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2007 J jnl
Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics
CoRR
Antoine Miné
2007 J jnl
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
CoRR
Antoine Miné
2007 J jnl
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
CoRR
Antoine Miné
2007 J jnl
The Octagon Abstract Domain
CoRR
Antoine Miné
2007 Misc conf
Varieties of Static Analyzers: A Comparison with ASTREE.
TASE
Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
2006 — conf
Combination of Abstractions in the ASTRÉE Static Analyzer.
ASIAN
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2006 B conf
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.
LCTES
Antoine Miné
2006 B conf
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.
VMCAI
Antoine Miné
2006 J jnl
The octagon abstract domain.
High. Order Symb. Comput.
Antoine Miné
2005 A conf
The ASTREÉ Analyzer.
ESOP
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2004 A conf
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.
ESOP
Antoine Miné
2004 — —
Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels).
Antoine Miné
2003 A* conf
A static analyzer for large safety-critical software.
PLDI
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2002 B conf
A Few Graph-Based Relational Numerical Abstract Domains.
SAS
Antoine Miné
2002 — conf
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.
The Essence of Computation
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2001 — conf
A New Numerical Abstract Domain Based on Difference-Bound Matrices.
PADO
Antoine Miné
2001 — conf
The Octagon Abstract Domain.
WCRE
Antoine Miné