| 2019 | ICTAC | Calculational Design of a Regular Model Checker by Abstract Interpretation. | Patrick Cousot |
| 2019 | LOPSTR | On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. | Patrick Cousot |
| 2019 | SAS | Syntactic and Semantic Soundness of Structural Dataflow Analysis. | Patrick Cousot |
| 2019 | SAS | Abstract Semantic Dependency. | Patrick Cousot |
| 2019 | SAS | Responsibility Analysis by Abstract Interpretation. | Chaoqiang Deng, Patrick Cousot |
| 2019 | SAS | Verifying Numerical Programs via Iterative Abstract Testing. | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot |
| 2018 | CAV | Program Analysis Is Harder Than Verification: A Computability Perspective. | Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato |
| 2017 | POPL | Ogre and Pythia: an invariance proof method for weak consistency models. | Jade Alglave, Patrick Cousot |
| 2015 | PPDP | Verification by abstract interpretation, soundness and abstract induction. | Patrick Cousot |
| 2015 | SAS | A Binary Decision Tree Abstract Domain Functor. | Junjie Chen, Patrick Cousot |
| 2015 | TASE | On Various Abstract Understandings of Abstract Interpretation. | Patrick Cousot |
| 2015 | VMCAI | Abstracting Induction by Extrapolation and Interpolation. | Patrick Cousot |
| 2014 | CSL | Abstract interpretation: past, present and future. | Patrick Cousot, Radhia Cousot |
| 2014 | POPL | A Galois connection calculus for abstract interpretation. | Patrick Cousot, Radhia Cousot |
| 2013 | FASE | Andromeda: Accurate and Scalable Security Analysis of Web Applications. | Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri |
| 2013 | VMCAI | Automatic Inference of Necessary Preconditions. | Patrick Cousot, Radhia Cousot, Manuel Fhndrich, Francesco Logozzo |
| 2012 | ESOP | Probabilistic Abstract Interpretation. | Patrick Cousot, Michael Monerau |
| 2012 | OOPSLA | An abstract interpretation framework for refactoring with application to extract methods with contracts. | Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett |
| 2012 | OOPSLA | A semantic integrated development environment. | Francesco Logozzo, Michael Barnett, Manuel Fhndrich, Patrick Cousot, Radhia Cousot |
| 2012 | POPL | An abstract interpretation framework for termination. | Patrick Cousot, Radhia Cousot |
| 2011 | ESOP | Linear Absolute Value Relation Analysis. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2011 | FOSSACS | The Reduced Product of Abstract Domains and the Combination of Decision Procedures. | Patrick Cousot, Radhia Cousot, Laurent Mauborgne |
| 2011 | POPL | A parametric segmentation functor for fully automatic and scalable array content analysis. | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
| 2011 | VMCAI | Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
| 2010 | VMCAI | An Abstract Domain to Discover Interval Linear Equalities. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2009 | SAS | Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2008 | APLAS | A Sound Floating-Point Polyhedra Abstract Domain. | Liqian Chen, Antoine Min, Patrick Cousot |
| 2007 | EMSOFT | Proving the absence of run-time errors in safety-critical avionics code. | Patrick Cousot |
| 2007 | ISoLA | Avionic Software Verification by Abstract Interpretation. | Patrick Cousot |
| 2007 | SAS | Fixpoint-Guided Abstraction Refinements. | Patrick Cousot, Pierre Ganty, Jean-Franois Raskin |
| 2007 | SEFM | The Rle of Abstract Interpretation in Formal Methods. | Patrick Cousot |
| 2007 | TASE | Varieties of Static Analyzers: A Comparison with ASTREE. | Patrick Cousot, Radhia Cousot, Jrme Feret, Antoine Min, Laurent Mauborgne, David Monniaux, Xavier Rival |
| 2005 | APLAS | Integrating Physical Systems in the Static Analysis of Embedded Control Software. | Patrick Cousot |
| 2005 | ESOP | The ASTRE Analyzer. | Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2005 | VMCAI | Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. | Patrick Cousot |
| 2004 | POPL | An abstract interpretation-based framework for software watermarking. | Patrick Cousot, Radhia Cousot |
| 2003 | PLDI | A static analyzer for large safety-critical software. | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2003 | VMCAI | Automatic Verification by Abstract Interpretation. | Patrick Cousot |
| 2002 | CAV | On Abstraction in Software Verification. | Patrick Cousot, Radhia Cousot |
| 2002 | CC | Modular Static Program Analysis. | Patrick Cousot, Radhia Cousot |
| 2002 | POPL | Systematic design of program transformation frameworks by abstract interpretation. | Patrick Cousot, Radhia Cousot |
| 2001 | EMSOFT | Verification of Embedded Software: Problems and Perspectives. | Patrick Cousot, Radhia Cousot |
| 2001 | ICLP | Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. | Patrick Cousot |
| 2000 | POPL | Temporal Abstract Interpretation. | Patrick Cousot, Radhia Cousot |
| 1997 | POPL | Types as Abstract Interpretations. | Patrick Cousot |
| 1997 | SAS | Abstract Interpretation Based Static Analysis Parameterized by Semantics. | Patrick Cousot |
| 1995 | CAV | Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. | Patrick Cousot, Radhia Cousot |
| 1992 | POPL | Inductive Definitions, Semantics and Abstract Interpretation. | Patrick Cousot, Radhia Cousot |
| 1991 | ICLP | Abstract Interpretation of Logic Programs. | Patrick Cousot |
| 1991 | SAS | Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). | Patrick Cousot, Radhia Cousot |
| 1991 | SAS | Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. | Patrick Cousot, Radhia Cousot |
| 1980 | ICALP | Semantic Analysis of Communicating Sequential Processes (Shortened Version). | Patrick Cousot, Radhia Cousot |
| 1979 | POPL | Systematic Design of Program Analysis Frameworks. | Patrick Cousot, Radhia Cousot |
| 1978 | POPL | Automatic Discovery of Linear Restraints Among Variables of a Program. | Patrick Cousot, Nicolas Halbwachs |
| 1977 | POPL | Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. | Patrick Cousot, Radhia Cousot |