Antoine Miné
Antoine Miné
UMPC, Paris, France
Verified email at lip6.fr - Homepage
TitleCited byYear
The octagon abstract domain
A Miné
Higher-order and symbolic computation 19 (1), 31-100, 2006
9512006
A static analyzer for large safety-critical software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
ACM SIGPLAN Notices 38 (5), 196-207, 2003
7732003
The ASTRÉE analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
European Symposium on Programming, 21-30, 2005
5282005
The ASTRÉE analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
European Symposium on Programming, 21-30, 2005
5162005
Apron: A Library of Numerical Abstract Domains for Static Analysis
B Jeannet, A Miné
International Conference on Computer Aided Verification, 661-667, 2009
3702009
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, 85-108, 2002
2542002
A new numerical abstract domain based on difference-bound matrices
A Miné
Symposium on Program as Data Objects, 155-172, 2001
2092001
Weakly relational numerical abstract domains
A Miné
1832004
Relational abstract domains for the detection of floating-point run-time errors
A Miné
European Symposium on Programming, 3-17, 2004
1782004
Combination of abstractions in the ASTRÉE static analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Annual Asian Computing Science Conference, 272-300, 2006
1372006
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics
A Miné
ACM SIGPLAN Notices 41 (7), 54-63, 2006
1192006
Why does Astrée scale up?
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Formal Methods in System Design 35 (3), 229-264, 2009
1122009
Why does Astrée scale up?
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Formal Methods in System Design 35 (3), 229-264, 2009
1122009
Symbolic methods to enhance the precision of numerical abstract domains
A Miné
International Workshop on Verification, Model Checking, and Abstract …, 2006
992006
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
842015
A sound floating-point polyhedra abstract domain
L Chen, A Miné, P Cousot
Asian Symposium on Programming Languages and Systems, 3-18, 2008
782008
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
692007
A few graph-based relational numerical abstract domains
A Miné
International Static Analysis Symposium, 117-132, 2002
642002
Interval polyhedra: An abstract domain to infer interval linear relationships
L Chen, A Miné, J Wang, P Cousot
International Static Analysis Symposium, 309-325, 2009
622009
Static analysis of run-time errors in embedded critical parallel C programs
A Miné
European Symposium on Programming, 398-418, 2011
572011
The system can't perform the operation now. Try again later.
Articles 1–20