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)

Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes. - Patrick Cousot (1978)

Automatic Discovery of Linear Restraints Among Variables of a Program. - Patrick Cousot; Nicolas Halbwachs (POPL, 1978)

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)

Methods and Logics for Proving Programs. - Patrick Cousot (Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990)

Abstract Interpretation of Logic Programs. - Patrick Cousot (ICLP, 1991)

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)

Completeness in Abstract Interpretation. - Patrick Cousot (GULP-PRODE, 1995)

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)

Logical and Operational Methods in the Analysis of Programs and Systems. - Flemming Nielson; Patrick Cousot; Mads Dam; Pierpaolo Degano; Pierre Jouvelot; Alan Mycroft; Bent Thomsen (LOMAPS, 1996)

Abstract Interpretation. - Patrick Cousot (ACM Comput. Surv., 1996)

Program Analysis: The Abstract Interpretation Perspective. - Patrick Cousot (ACM Comput. Surv., 1996)

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

Types as Abstract Interpretations. - Patrick Cousot (POPL, 1997)

Abstract Interpretation Based Static Analysis Parameterized by Semantics. - Patrick Cousot (SAS, 1997)

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

Directions for Research in Approximate System Analysis. - Patrick Cousot (ACM Comput. Surv., 1999)

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

Partial Completeness of Abstract Fixpoint Checking. - Patrick Cousot (SARA, 2000)

Abstract Interpretation Based Formal Methods and Future Challenges. - Patrick Cousot (Informatics, 2001)

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

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. - Patrick Cousot (ICLP, 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)

Abstract Interpretation: Theory and Practice. - Patrick Cousot (SPIN, 2002)

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. - Patrick Cousot (Theor. Comput. Sci., 2002)

Verification by Abstract Interpretation. - Patrick Cousot (Verification: Theory and Practice, 2003)

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)

Automatic Verification by Abstract Interpretation. - Patrick Cousot (VMCAI, 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)

Integrating Physical Systems in the Static Analysis of Embedded Control Software. - Patrick Cousot (APLAS, 2005)

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

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. - Patrick Cousot (VMCAI, 2005)

The Verification Grand Challenge and Abstract Interpretation. - Patrick Cousot (VSTTE, 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)

Proving the absence of run-time errors in safety-critical avionics code. - Patrick Cousot (EMSOFT, 2007)

Avionic Software Verification by Abstract Interpretation. - Patrick Cousot (ISoLA, 2007)

Fixpoint-Guided Abstraction Refinements. - Patrick Cousot; Pierre Ganty; Jean-François Raskin (SAS, 2007)

The Rôle of Abstract Interpretation in Formal Methods. - Patrick Cousot (SEFM, 2007)

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)

A Sound Floating-Point Polyhedra Abstract Domain. - Liqian Chen; Antoine Miné; Patrick Cousot (APLAS, 2008)

Software engineering and formal methods. - Mike Hinchey; Michael Jackson 001; Patrick Cousot; Byron Cook; Jonathan P. Bowen; Tiziana Margaria (Commun. ACM, 2008)

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (SAS, 2009)

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)

An Abstract Domain to Discover Interval Linear Equalities. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (VMCAI, 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)

Linear Absolute Value Relation Analysis. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (ESOP, 2011)

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)

Probabilistic Abstract Interpretation. - Patrick Cousot; Michael Monerau (ESOP, 2012)

Formal Verification by Abstract Interpretation. - Patrick Cousot (NASA Formal Methods, 2012)

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)

Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). - Patrick Cousot; Daniel Kroening; Carsten Sinz (Dagstuhl Reports, 2014)

Verification by abstract interpretation, soundness and abstract induction. - Patrick Cousot (PPDP, 2015)

A Binary Decision Tree Abstract Domain Functor. - Junjie Chen; Patrick Cousot (SAS, 2015)

On Various Abstract Understandings of Abstract Interpretation. - Patrick Cousot (TASE, 2015)

Abstracting Induction by Extrapolation and Interpolation. - Patrick Cousot (VMCAI, 2015)

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)

Syntax and analytic semantics of LISA. - Jade Alglave; Patrick Cousot (CoRR, 2016)

Syntax and semantics of the weak consistency model specification language cat. - Jade Alglave; Patrick Cousot; Luc Maranget (CoRR, 2016)

Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). - Jade Alglave; Patrick Cousot; Caterina Urban (Dagstuhl Reports, 2016)

Ogre and Pythia: an invariance proof method for weak consistency models. - Jade Alglave; Patrick Cousot (POPL, 2017)

Program Analysis Is Harder Than Verification: A Computability Perspective. - Patrick Cousot; Roberto Giacobazzi; Francesco Ranzato (CAV (2), 2018)

On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. - Patrick Cousot (LOPSTR, 2019)

Syntactic and Semantic Soundness of Structural Dataflow Analysis. - Patrick Cousot (SAS, 2019)

Abstract Semantic Dependency. - Patrick Cousot (SAS, 2019)

Responsibility Analysis by Abstract Interpretation. - Chaoqiang Deng; Patrick Cousot (SAS, 2019)

Verifying Numerical Programs via Iterative Abstract Testing. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001; Patrick Cousot (SAS, 2019)

A²I: abstract² interpretation. - Patrick Cousot; Roberto Giacobazzi; Francesco Ranzato (Proc. ACM Program. Lang., 2019)

Dynamic interval analysis by abstract interpretation. - Patrick Cousot (Formal Methods in Outer Space, 2021)

Calculational design of a regular model checker by abstract interpretation. - Patrick Cousot (Theor. Comput. Sci., 2021)

Asynchronous Correspondences Between Hybrid Trajectory Semantics. - Patrick Cousot (Principles of Systems Design, 2022)

The Systematic Design of Responsibility Analysis by Abstract Interpretation. - Chaoqiang Deng; Patrick Cousot (ACM Trans. Program. Lang. Syst., 2022)

Abstract Interpretation of Graphs. - Patrick Cousot (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Abstract Interpretation: From 0, 1, to ∞. - Patrick Cousot (Challenges of Software Verification, 2023)

A Personal Historical Perspective on Abstract Interpretation. - Patrick Cousot (The French School of Programming, 2024)

Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. - Patrick Cousot (Proc. ACM Program. Lang., 2024)

Calculational Design of Hyperlogics by Abstract Interpretation. - Patrick Cousot; Jeffery Wang (Proc. ACM Program. Lang., 2025)