Antoine Miné

Orcid: 0000-0002-6375-3179

Affiliations:
  • Sorbonne University, LIP6, Paris, France
  • ENS Paris, Department of Computer Science, France (PhD 2004)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Easing Maintenance of Academic Static Analyzers.
CoRR, 2024

Sound Abstract Nonexploitability Analysis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Automatic Detection of Vulnerable Variables for CTL Properties of Programs.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks.
Sci. Comput. Program., July, 2023

BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation.
ACM Trans. Archit. Code Optim., March, 2023

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

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Input Validation for Neural Networks via Local Robustness Verification.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022
Abstract interpretation of Michelson smart-contracts.
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.
CoRR, 2021

A Multilanguage Static Analysis of Python Programs with Native C Extensions.
Proceedings of the Static Analysis - 28th International Symposium, 2021

Static Analysis of Endian Portability by Abstract Interpretation.
Proceedings of the Static Analysis - 28th International Symposium, 2021

2020
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).
Dagstuhl Artifacts Ser., 2020

Input Validation for Neural Networks via Runtime Local Robustness Verification.
CoRR, 2020

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.
Proceedings of the Software Verification - 12th International Conference, 2020

A Library Modeling Language for the Static Analysis of C Programs.
Proceedings of the Static Analysis - 27th International Symposium, 2020

Value and allocation sensitivity in static Python analyses.
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.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Quantitative static analysis of communication protocols using abstract Markov chains.
Formal Methods Syst. Des., 2019

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Analysis of Software Patches Using Numerical Abstract Interpretation.
Proceedings of the Static Analysis - 26th International Symposium, 2019

Combination of Boxes and Polyhedra Abstractions for Constraint Solving.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

An Abstract Domain for Trees with Numeric Relations.
Proceedings of the Programming Languages and Systems, 2019

2018
Inferring functional properties of matrix manipulating programs by abstract interpretation.
Formal Methods Syst. Des., 2018

Modular Static Analysis of String Manipulations in C Programs.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Static Value Analysis of Python Programs by Abstract Interpretation.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Finding Solutions by Finding Inconsistencies.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation.
Found. Trends Program. Lang., 2017

Inference of ranking functions for proving temporal properties by abstract interpretation.
Comput. Lang. Syst. Struct., 2017

Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.
ACM Trans. Embed. Comput. Syst., 2016

Static analysis by abstract interpretation of functional properties of device drivers in TinyOS.
J. Syst. Softw., 2016

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities.
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.
Proceedings of the Programming Languages and Systems, 2016

2015
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
Found. Trends Program. Lang., 2015

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.
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.
Proceedings of the 2015 International Conference on Embedded Software, 2015

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

Relational Thread-Modular Static Value Analysis by Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

A Decision Tree Abstract Domain for Proving Conditional Termination.
Proceedings of the Static Analysis - 21st International Symposium, 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
Proceedings of the Static Analysis - 21st International Symposium, 2014

An Abstract Domain to Infer Ordinal-Valued Ranking Functions.
Proceedings of the Programming Languages and Systems, 2014

2013
A Constraint Solver Based on Abstract Domains.
Proceedings of the Verification, 2013

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

2012
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations.
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
Log. Methods Comput. Sci., 2012

Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.
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.
ACM SIGSOFT Softw. Eng. Notes, 2011

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs.
Proceedings of the Programming Languages and Systems, 2011

Linear Absolute Value Relation Analysis.
Proceedings of the Programming Languages and Systems, 2011

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

An Abstract Domain to Discover Interval Linear Equalities.
Proceedings of the Verification, 2010

2009
Astree: Nachweis der Abwesenheit von Laufzeit.
Softwaretechnik-Trends, 2009

Why does Astrée scale up?
Formal Methods Syst. Des., 2009

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Apron: A Library of Numerical Abstract Domains for Static Analysis.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
A Sound Floating-Point Polyhedra Abstract Domain.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
Varieties of Static Analyzers: A Comparison with ASTREE.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006
The octagon abstract domain.
High. Order Symb. Comput., 2006

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.
Proceedings of the Verification, 2006

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Combination of Abstractions in the ASTRÉE Static Analyzer.
Proceedings of the Advances in Computer Science, 2006

2005
The ASTREÉ Analyzer.
Proceedings of the Programming Languages and Systems, 2005

2004
Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels).
PhD thesis, 2004

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.
Proceedings of the Programming Languages and Systems, 2004

2003
A static analyzer for large safety-critical software.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002
A Few Graph-Based Relational Numerical Abstract Domains.
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.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001
A New Numerical Abstract Domain Based on Difference-Bound Matrices.
Proceedings of the Programs as Data Objects, Second Symposium, 2001


  Loading...