Static Determination of Dynamic Properties of Recursive Procedures. - Patrick Cousot; Radhia Cousot (Formal Description of Programming Concepts, 1977)

Static Determination of Dynamic Properties of Generalized Type Unions. - Patrick Cousot; Radhia Cousot (Language Design for Reliable Software, 1977)

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. - Patrick Cousot; Radhia Cousot (POPL, 1977)

Automatic synthesis of optimal invariant assertions: Mathematical foundations. - Patrick Cousot; Radhia Cousot (Artificial Intelligence and Programming Languages, 1977)

Systematic Design of Program Analysis Frameworks. - Patrick Cousot; Radhia Cousot (POPL, 1979)

Semantic Analysis of Communicating Sequential Processes (Shortened Version). - Patrick Cousot; Radhia Cousot (ICALP, 1980)

Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. - Patrick Cousot; Radhia Cousot (Acta Informatica, 1987)

A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic - Patrick Cousot; Radhia Cousot (Inf. Comput., 1989)

Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). - Patrick Cousot; Radhia Cousot (JTASPEFT/WSA, 1991)

Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. - Patrick Cousot; Radhia Cousot (JTASPEFT/WSA, 1991)

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. - Patrick Cousot; Radhia Cousot (PLILP, 1992)

Inductive Definitions, Semantics and Abstract Interpretation. - Patrick Cousot; Radhia Cousot (POPL, 1992)

Abstract Interpretation and Application to Logic Programs. - Patrick Cousot; Radhia Cousot (J. Log. Program., 1992)

Abstract Interpretation Frameworks. - Patrick Cousot; Radhia Cousot (J. Log. Comput., 1992)

Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). - Patrick Cousot; Radhia Cousot (Formal Methods in Programming and Their Applications, 1993)

"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. - Patrick Cousot; Radhia Cousot (Theor. Comput. Sci., 1993)

Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. - Patrick Cousot; Radhia Cousot (ICCL, 1994)

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. - Patrick Cousot; Radhia Cousot (CAV, 1995)

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. - Patrick Cousot; Radhia Cousot (FPCA, 1995)

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). - Patrick Cousot; Radhia Cousot (AMAST, 1997)

Refining Model Checking by Abstract Interpretation. - Patrick Cousot; Radhia Cousot (Autom. Softw. Eng., 1999)

Temporal Abstract Interpretation. - Patrick Cousot; Radhia Cousot (POPL, 2000)

Verification of Embedded Software: Problems and Perspectives. - Patrick Cousot; Radhia Cousot (EMSOFT, 2001)

A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. - Patrick Cousot; Radhia Cousot (MFPS, 2001)

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (The Essence of Computation, 2002)

On Abstraction in Software Verification. - Patrick Cousot; Radhia Cousot (CAV, 2002)

Modular Static Program Analysis. - Patrick Cousot; Radhia Cousot (CC, 2002)

Systematic design of program transformation frameworks by abstract interpretation. - Patrick Cousot; Radhia Cousot (POPL, 2002)

A static analyzer for large safety-critical software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (PLDI, 2003)

Parsing as abstract interpretation of grammar semantics. - Patrick Cousot; Radhia Cousot (Theor. Comput. Sci., 2003)

Basic concepts of abstract interpretation. - Patrick Cousot; Radhia Cousot (IFIP Congress Topical Sessions, 2004)

An abstract interpretation-based framework for software watermarking. - Patrick Cousot; Radhia Cousot (POPL, 2004)

The ASTREÉ Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ESOP, 2005)

Static Analysis Symposium 2003. - Radhia Cousot (Sci. Comput. Program., 2005)

Combination of Abstractions in the ASTRÉE Static Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ASIAN, 2006)

Grammar Analysis and Parsing by Abstract Interpretation. - Patrick Cousot; Radhia Cousot (Program Analysis and Compilation, 2006)

Varieties of Static Analyzers: A Comparison with ASTREE. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Antoine Miné; Laurent Mauborgne; David Monniaux; Xavier Rival (TASE, 2007)

Bi-inductive Structural Semantics: (Extended Abstract). - Patrick Cousot; Radhia Cousot (SOS@LICS/ICALP, 2007)

Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. - Radhia Cousot (VMCAI, 2008)

Why does Astrée scale up? - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Formal Methods Syst. Des., 2009)

Bi-inductive structural semantics. - Patrick Cousot; Radhia Cousot (Inf. Comput., 2009)

Astree: Nachweis der Abwesenheit von Laufzeit. - Daniel Kästner; Christian Ferdinand; Stephan Wilhelm; Stefana Nenova; Olha Honcharova; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival; Élodie-Jane Sims (Softwaretechnik-Trends, 2009)

Abstract interpretation of resolution-based semantics. - Patrick Cousot; Radhia Cousot; Roberto Giacobazzi (Theor. Comput. Sci., 2009)

A Scalable Segmented Decision Tree Abstract Domain. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (Essays in Memory of Amir Pnueli, 2010)

Logical Abstract Domains and Interpretations. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (The Future of Software Engineering, 2010)

A gentle introduction to formal verification of computer systems by abstract interpretation. - Patrick Cousot; Radhia Cousot (Logics and Languages for Reliability and Security, 2010)

The Reduced Product of Abstract Domains and the Combination of Decision Procedures. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (FoSSaCS, 2011)

A parametric segmentation functor for fully automatic and scalable array content analysis. - Patrick Cousot; Radhia Cousot; Francesco Logozzo (POPL, 2011)

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. - Patrick Cousot; Radhia Cousot; Francesco Logozzo (VMCAI, 2011)

Static analysis by abstract interpretation of embedded critical software. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (ACM SIGSOFT Softw. Eng. Notes, 2011)

Grammar semantics, analysis and parsing by abstract interpretation. - Patrick Cousot; Radhia Cousot (Theor. Comput. Sci., 2011)

An abstract interpretation framework for refactoring with application to extract methods with contracts. - Patrick Cousot; Radhia Cousot; Francesco Logozzo; Michael Barnett 001 (OOPSLA, 2012)

A semantic integrated development environment. - Francesco Logozzo; Michael Barnett 001; Manuel Fähndrich; Patrick Cousot; Radhia Cousot (SPLASH, 2012)

An abstract interpretation framework for termination. - Patrick Cousot; Radhia Cousot (POPL, 2012)

Theories, solvers and static analysis by abstract interpretation. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (J. ACM, 2012)

Andromeda: Accurate and Scalable Security Analysis of Web Applications. - Omer Tripp; Marco Pistoia; Patrick Cousot; Radhia Cousot; Salvatore Guarnieri (FASE, 2013)

Automatic Inference of Necessary Preconditions. - Patrick Cousot; Radhia Cousot; Manuel Fähndrich; Francesco Logozzo (VMCAI, 2013)

Abstract interpretation: past, present and future. - Patrick Cousot; Radhia Cousot (CSL-LICS, 2014)

A Galois connection calculus for abstract interpretation. - Patrick Cousot; Radhia Cousot (POPL, 2014)

Static Analysis and Verification of Aerospace Software by Abstract Interpretation. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Found. Trends Program. Lang., 2015)