Antoine Miné

According to our database, Antoine Miné authored at least 72 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Sound Abstract Nonexploitability Analysis.

Francesco Parolini, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.

Marco Milanese, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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é

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Sound static analysis of regular expressions for vulnerabilities to denial of service attacks.

Francesco Parolini, Antoine Miné

Sci. Comput. Program., July, 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., March, 2023

Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281).

Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi

Dagstuhl Reports, 2023

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Input Validation for Neural Networks via Local Robustness Verification.

Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022

Abstract interpretation of Michelson smart-contracts.

Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

A Review of Formal Methods applied to Machine Learning.

Caterina Urban, Antoine Miné

CoRR, 2021

A Multilanguage Static Analysis of Python Programs with Native C Extensions.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 28th International Symposium, 2021

Static Analysis of Endian Portability by Abstract Interpretation.

David Delmas, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Dagstuhl Artifacts Ser., 2020

Input Validation for Neural Networks via Runtime Local Robustness Verification.

Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang

CoRR, 2020

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.

Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot

Proceedings of the Software Verification - 12th International Conference, 2020

A Library Modeling Language for the Static Analysis of C Programs.

Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 27th International Symposium, 2020

Value and allocation sensitivity in static Python analyses.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

Static Type Analysis by Abstract Interpretation of Python Programs.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Quantitative static analysis of communication protocols using abstract Markov chains.

Abdelraouf Ouadjaout, Antoine Miné

Formal Methods Syst. Des., 2019

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.

Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Analysis of Software Patches Using Numerical Abstract Interpretation.

David Delmas, Antoine Miné

Proceedings of the Static Analysis - 26th International Symposium, 2019

Combination of Boxes and Polyhedra Abstractions for Constraint Solving.

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

An Abstract Domain for Trees with Numeric Relations.

Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout

Proceedings of the Programming Languages and Systems, 2019

2018

Inferring functional properties of matrix manipulating programs by abstract interpretation.

Matthieu Journault, Antoine Miné

Formal Methods Syst. Des., 2018

Modular Static Analysis of String Manipulations in C Programs.

Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout

Proceedings of the Static Analysis - 25th International Symposium, 2018

Static Value Analysis of Python Programs by Abstract Interpretation.

Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Finding Solutions by Finding Inconsistencies.

Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné

Proceedings of the Principles and Practice of Constraint Programming, 2018

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.

Thibault Suzanne, Antoine Miné

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation.

Antoine Miné

Found. Trends Program. Lang., 2017

Inference of ranking functions for proving temporal properties by abstract interpretation.

Caterina Urban, Antoine Miné

Comput. Lang. Syst. Struct., 2017

Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.

Raphaël Monat, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.

Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang

ACM Trans. Embed. Comput. Syst., 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 Embedded Real-Time Concurrent Software with Dynamic Priorities.

Antoine Miné

Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.

Thibault Suzanne, Antoine Miné

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.

Matthieu Journault, Antoine Miné

Proceedings of the Static Analysis - 23rd International Symposium, 2016

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.

Antoine Miné, Jason Breck, Thomas W. Reps

Proceedings of the Programming Languages and Systems, 2016

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

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.

Caterina Urban, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.

Antoine Miné, David Delmas

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions.

Antoine Miné

Sci. Comput. Program., 2014

Relational Thread-Modular Static Value Analysis by Abstract Interpretation.

Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

A Decision Tree Abstract Domain for Proving Conditional Termination.

Caterina Urban, Antoine Miné

Proceedings of the Static Analysis - 21st International Symposium, 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.

Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang

Proceedings of the Static Analysis - 21st International Symposium, 2014

An Abstract Domain to Infer Ordinal-Valued Ranking Functions.

Caterina Urban, Antoine Miné

Proceedings of the Programming Languages and Systems, 2014

2013

A Constraint Solver Based on Abstract Domains.

Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou

Proceedings of the Verification, 2013

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

Antoine Miné

, 2013

2012

Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations.

Antoine Miné

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

Antoine Miné

Log. Methods Comput. Sci., 2012

Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.

Antoine Miné

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

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

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs.

Antoine Miné

Proceedings of the Programming Languages and Systems, 2011

Linear Absolute Value Relation Analysis.

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot

Proceedings of the Programming Languages and Systems, 2011

2010

Preface.

Antoine Miné, Enric Rodríguez-Carbonell

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

An Abstract Domain to Discover Interval Linear Equalities.

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot

Proceedings of the Verification, 2010

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

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

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot

Proceedings of the Static Analysis, 16th International Symposium, 2009

Apron: A Library of Numerical Abstract Domains for Static Analysis.

Bertrand Jeannet, Antoine Miné

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

A Sound Floating-Point Polyhedra Abstract Domain.

Liqian Chen, Antoine Miné, Patrick Cousot

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Varieties of Static Analyzers: A Comparison with ASTREE.

Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

The octagon abstract domain.

Antoine Miné

High. Order Symb. Comput., 2006

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.

Antoine Miné

Proceedings of the Verification, 2006

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.

Antoine Miné

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

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

Proceedings of the Advances in Computer Science, 2006

2005

The ASTREÉ Analyzer.

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival

Proceedings of the Programming Languages and Systems, 2005

2004

Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels).

Antoine Miné

PhD thesis, 2004

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.

Antoine Miné

Proceedings of the Programming Languages and Systems, 2004

2003

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

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

A Few Graph-Based Relational Numerical Abstract Domains.

Antoine Miné

Proceedings of the Static Analysis, 9th International Symposium, 2002

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

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

A New Numerical Abstract Domain Based on Difference-Bound Matrices.

Antoine Miné

Proceedings of the Programs as Data Objects, Second Symposium, 2001