| 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 | 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 | 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 |
| 2008 | VMCAI | Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. | Radhia 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 | ESOP | The ASTRE Analyzer. | Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 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 |
| 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 |
| 2000 | POPL | Temporal Abstract Interpretation. | Patrick Cousot, Radhia 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 | 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 |
| 1977 | POPL | Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. | Patrick Cousot, Radhia Cousot |