Follow
Antoine Miné
Antoine Miné
Sorbonne Université, LIP6, APR
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
The octagon abstract domain
A Miné
Proceedings Eighth Working Conference on Reverse Engineering, 310-319, 2001
11642001
A static analyzer for large safety-critical software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
9072003
The ASTRÉE analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
7002005
The ASTRÉE analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
6852005
Apron: A Library of Numerical Abstract Domains for Static Analysis
B Jeannet, A Miné
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
5092009
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
The essence of computation: complexity, analysis, transformation, 85-108, 2002
3022002
A new numerical abstract domain based on difference-bound matrices
A Miné
Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21 …, 2001
2702001
Weakly relational numerical abstract domains
A Miné
Ecole Polytechnique X, 2004
2252004
Relational abstract domains for the detection of floating-point run-time errors
A Miné
Programming Languages and Systems: 13th European Symposium on Programming …, 2004
2142004
Combination of abstractions in the Astrée static analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007
1692007
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics
A Miné
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers …, 2006
1652006
Why does Astrée scale up?
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Formal Methods in System Design 35, 229-264, 2009
1402009
Why does Astrée scale up?
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Formal Methods in System Design 35, 229-264, 2009
1402009
Symbolic methods to enhance the precision of numerical abstract domains
A Miné
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006
1332006
Static analysis and verification of aerospace software by abstract interpretation
J Bertrane, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Foundations and Trends® in Programming Languages 2 (2-3), 71-190, 2015
1182015
A sound floating-point polyhedra abstract domain
L Chen, A Miné, P Cousot
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
1022008
Varieties of static analyzers: A comparison with ASTRÉE
P Cousot, R Cousot, J Feret, M Antoine, L Mauborgne, D Monniaux, ...
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
882007
A few graph-based relational numerical abstract domains
A Miné
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain …, 2002
762002
Relational thread-modular static value analysis by abstract interpretation
A Miné
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
712014
Interval polyhedra: An abstract domain to infer interval linear relationships
L Chen, A Miné, J Wang, P Cousot
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009
712009
The system can't perform the operation now. Try again later.
Articles 1–20