| 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 | 9557 | 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 | 2284 | 1978 |
| Systematic design of program analysis frameworks P Cousot, R Cousot Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979 | 2238 | 1979 |
| Abstract interpretation frameworks P Cousot, R Cousot Journal of logic and computation 2 (4), 511-547, 1992 | 1065 | 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 | 964 | 2003 |
| Abstract interpretation and application to logic programs P Cousot, R Cousot The Journal of Logic Programming 13 (2-3), 103-179, 1992 | 948 | 1992 |
| Static determination of dynamic properties of programs P Cousot, R Cousot Proceedings of the 2nd international Symposium on programming, Paris, France …, 1976 | 795 | 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 | 756 | 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 | 663 | 1992 |
| Abstract interpretation P Cousot ACM Computing Surveys (CSUR) 28 (2), 324-328, 1996 | 430 | 1996 |
| Constructive versions of Tarski’s fixed point theorems P Cousot, R Cousot Pacific journal of Mathematics 82 (1), 43-57, 1979 | 350 | 1979 |
| Semantic foundations of program analysis P Cousot Program flow analysis: theory and applications, 303-342, 1981 | 349 | 1981 |
| 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 | 313 | 2002 |
| Inductive definitions, semantics and abstract interpretations P Cousot, R Cousot Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 297 | 1992 |
| Types as abstract interpretations P Cousot Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 284 | 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 | 275 | 2005 |
| Modular static program analysis P Cousot, R Cousot International Conference on Compiler Construction, 159-179, 2002 | 274 | 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 | 273 | 2002 |
| Abstract interpretation based formal methods and future challenges P Cousot Informatics: 10 Years Back, 10 Years Ahead, 138-156, 2001 | 259 | 2001 |
| Static determination of dynamic properties of recursive procedures P Cousot, R Cousot IFIP Conference on Formal Description of Programming Concepts, St. Andrews …, 1977 | 255 | 1977 |
Jérôme FeretChargé de recherche, Inria ParisEmail verificata su inria.fr
