Antoine Miné

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2019
Quantitative static analysis of communication protocols using abstract Markov chains.
Formal Methods in System Design, 2019

Analysis of Software Patches Using Numerical Abstract Interpretation.
Proceedings of the Static Analysis - 26th International Symposium, 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 in System Design, 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.
Foundations and Trends in Programming Languages, 2017

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities.
Electron. Notes Theor. Comput. Sci., 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. Embedded Comput. Syst., 2016

Static analysis by abstract interpretation of functional properties of device drivers in TinyOS.
J. Syst. Softw., 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.
Foundations and Trends in Programming Languages, 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.
Electron. Notes Theor. Comput. Sci., 2012

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
Logical Methods in Computer Science, 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 Software Engineering 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.
Electron. Notes Theor. Comput. Sci., 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 in System Design, 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.
Higher-Order and Symbolic Computation, 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...