Antoine Miné

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 42

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

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

Antoine Miné.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antoine Miné