| Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints P Cousot, R Cousot Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of …, 1977 | 9254 | 1977 |
| Automatic discovery of linear restraints among variables of a program P Cousot, N Halbwachs Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of …, 1978 | 2235 | 1978 |
| Systematic design of program analysis frameworks P Cousot, R Cousot Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979 | 2172 | 1979 |
| Abstract interpretation frameworks P Cousot, R Cousot Journal of logic and computation 2 (4), 511-547, 1992 | 1049 | 1992 |
| 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 | 952 | 2003 |
| Abstract interpretation and application to logic programs P Cousot, R Cousot The Journal of Logic Programming 13 (2-3), 103-179, 1992 | 927 | 1992 |
| Static determination of dynamic properties of programs P Cousot, R Cousot Proceedings of the 2nd International Symposium on Programming, Paris, France …, 1976 | 784 | 1976 |
| 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 | 738 | 2005 |
| Comparing the Galois connection and widening/narrowing approaches to abstract interpretation P Cousot, R Cousot International Symposium on Programming Language Implementation and Logic …, 1992 | 653 | 1992 |
| Abstract interpretation P Cousot ACM Computing Surveys (CSUR) 28 (2), 324-328, 1996 | 404 | 1996 |
| Semantic foundations of program analysis P Cousot Program flow analysis: theory and applications, 303-342, 1981 | 345 | 1981 |
| Constructive versions of Tarski’s fixed point theorems P Cousot, R Cousot Pacific journal of Mathematics 82 (1), 43-57, 1979 | 329 | 1979 |
| 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 | 310 | 2002 |
| Inductive definitions, semantics and abstract interpretations P Cousot, R Cousot Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 291 | 1992 |
| Types as abstract interpretations P Cousot Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 274 | 1997 |
| Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming P Cousot Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 272 | 2005 |
| Modular static program analysis P Cousot, R Cousot International Conference on Compiler Construction, 159-179, 2002 | 266 | 2002 |
| Constructive design of a hierarchy of semantics of a transition system by abstract interpretation P Cousot Theoretical Computer Science 277 (1-2), 47-103, 2002 | 257 | 2002 |
| Abstract interpretation based formal methods and future challenges P Cousot Informatics: 10 Years Back, 10 Years Ahead, 138-156, 2001 | 252 | 2001 |
| Static determination of dynamic properties of recursive procedures P Cousot, R Cousot IFIP Conference on Formal Description of Programming Concepts, St. Andrews …, 1977 | 251 | 1977 |
| Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes P Cousot Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier …, 1978 | 246 | 1978 |
| Methods and logics for proving programs P Cousot Formal Models and Semantics, 841-993, 1990 | 223 | 1990 |
| Systematic design of program transformation frameworks by abstract interpretation P Cousot, R Cousot Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 216 | 2002 |
| Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages) P Cousot, R Cousot Proceedings of 1994 IEEE International Conference on Computer Languages …, 1994 | 208 | 1994 |
| The calculational design of a generic abstract interpreter P Cousot NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 173, 421-506, 1999 | 207 | 1999 |
| A parametric segmentation functor for fully automatic and scalable array content analysis P Cousot, R Cousot, F Logozzo ACM SIGPLAN Notices 46 (1), 105-118, 2011 | 195 | 2011 |
| 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 | 187 | 2007 |
| Andromeda: Accurate and Scalable Security Analysis of Web Applications O Tripp, M Pistoia, P Cousot, R Cousot, S Guarnieri Fundamental Approaches to Software Engineering: 16th International …, 2013 | 185 | 2013 |
| Temporal abstract interpretation P Cousot, R Cousot Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 185 | 2000 |
| An abstract interpretation-based framework for software watermarking P Cousot, R Cousot ACM Sigplan Notices 39 (1), 173-185, 2004 | 180 | 2004 |
| Automatic synthesis of optimal invariant assertions: Mathematical foundations P Cousot, R Cousot ACM Sigplan Notices 12 (8), 1-12, 1977 | 180 | 1977 |
| Formal language, grammar and set-constraint-based program analysis by abstract interpretation P Cousot, R Cousot Proceedings of the seventh international conference on Functional …, 1995 | 178 | 1995 |
| Refining model checking by abstract interpretation P Cousot, R Cousot Automated Software Engineering 6 (1), 69-95, 1999 | 160 | 1999 |
| 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 | 150 | 2009 |
| 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 | 122 | 2015 |
| Automatic inference of necessary preconditions P Cousot, R Cousot, M Fähndrich, F Logozzo International Workshop on Verification, Model Checking, and Abstract …, 2013 | 117 | 2013 |
| Static determination of dynamic properties of generalized type unions P Cousot, R Cousot ACM SIGOPS Operating Systems Review 11 (2), 77-94, 1977 | 116 | 1977 |
| A sound floating-point polyhedra abstract domain L Chen, A Miné, P Cousot Asian Symposium on Programming Languages and Systems, 3-18, 2008 | 109 | 2008 |
| Basic concepts of abstract interpretation P Cousot, R Cousot Building the Information Society: IFIP 18th World Computer Congress Topical …, 2004 | 107 | 2004 |
| Constructive design of a hierarchy of semantics of a transition system by abstract interpretation P Cousot Electronic Notes in Theoretical Computer Science 6, 77-102, 1997 | 102 | 1997 |
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
