| The octagon abstract domain A Miné Proceedings Eighth Working Conference on Reverse Engineering, 310-319, 2001 | 1164 | 2001 |
| 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 | 907 | 2003 |
| 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 | 700 | 2005 |
| 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 | 685 | 2005 |
| Apron: A Library of Numerical Abstract Domains for Static Analysis B Jeannet, A Miné Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 509 | 2009 |
| 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 | 302 | 2002 |
| A new numerical abstract domain based on difference-bound matrices A Miné Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21 …, 2001 | 270 | 2001 |
| Weakly relational numerical abstract domains A Miné Ecole Polytechnique X, 2004 | 225 | 2004 |
| Relational abstract domains for the detection of floating-point run-time errors A Miné Programming Languages and Systems: 13th European Symposium on Programming …, 2004 | 214 | 2004 |
| 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 | 169 | 2007 |
| 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 | 165 | 2006 |
| 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 | 140 | 2009 |
| 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 | 140 | 2009 |
| Symbolic methods to enhance the precision of numerical abstract domains A Miné Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006 | 133 | 2006 |
| 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 | 118 | 2015 |
| A sound floating-point polyhedra abstract domain L Chen, A Miné, P Cousot Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008 | 102 | 2008 |
| 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 | 88 | 2007 |
| A few graph-based relational numerical abstract domains A Miné Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain …, 2002 | 76 | 2002 |
| Relational thread-modular static value analysis by abstract interpretation A Miné Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 71 | 2014 |
| 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 | 71 | 2009 |
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
