| 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 | 9052 | 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 | 2199 | 1978 |
| Systematic design of program analysis frameworks P Cousot, R Cousot Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979 | 2131 | 1979 |
| Abstract interpretation frameworks P Cousot, R Cousot Journal of logic and computation 2 (4), 511-547, 1992 | 1023 | 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 | 932 | 2003 |
| Abstract interpretation and application to logic programs P Cousot, R Cousot The Journal of Logic Programming 13 (2-3), 103-179, 1992 | 926 | 1992 |
| Static determination of dynamic properties of programs P Cousot, R Cousot Proceedings of the 2nd International Symposium on Programming, Paris, France …, 1976 | 786 | 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 | 726 | 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 | 644 | 1992 |
| Abstract interpretation P Cousot ACM Computing Surveys (CSUR) 28 (2), 324-328, 1996 | 384 | 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 | 316 | 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 | 309 | 2002 |
| Inductive definitions, semantics and abstract interpretations P Cousot, R Cousot Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 281 | 1992 |
| Types as abstract interpretations P Cousot Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 273 | 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 | 267 | 2005 |
| Modular static program analysis P Cousot, R Cousot International Conference on Compiler Construction, 159-179, 2002 | 260 | 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 | 253 | 2002 |
| Static determination of dynamic properties of recursive procedures P Cousot, R Cousot IFIP Conference on Formal Description of Programming Concepts, St. Andrews …, 1977 | 250 | 1977 |
| Abstract interpretation based formal methods and future challenges P Cousot Informatics: 10 Years Back, 10 Years Ahead, 138-156, 2001 | 244 | 2001 |
Jérôme FeretChargé de recherche, Inria ParisEmail verificata su inria.fr
