Patrick Cousot

131 papers A* 16A 4B 25C 4Misc 5Journal 35Unranked 32
YearRankTypeTitle / Venue / Authors
2026 — conf
On the Design of Program Logics.
On the Pursuit of Insight and Elegance
Patrick Cousot
2026 — conf
The Contributions of Alan Mycroft to Abstract Interpretation.
Languages, Compilers, Analysis
Patrick Cousot
2025 J jnl
Calculational Design of Hyperlogics by Abstract Interpretation.
Proc. ACM Program. Lang.
Patrick Cousot, Jeffery Wang
2024 — ch.
A Personal Historical Perspective on Abstract Interpretation.
The French School of Programming
Patrick Cousot
2024 J jnl
Calculational Design of Hyperlogics by Abstract Interpretation.
CoRR
Patrick Cousot, Jeffery Wang
2024 J jnl
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.
Proc. ACM Program. Lang.
Patrick Cousot
2023 — conf
Abstract Interpretation of Graphs.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Patrick Cousot
2023 — ch.
Abstract Interpretation: From 0, 1, to ∞.
Challenges of Software Verification
Patrick Cousot
2023 J jnl
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.
CoRR
Patrick Cousot
2022 — conf
Asynchronous Correspondences Between Hybrid Trajectory Semantics.
Principles of Systems Design
Patrick Cousot
2022 J jnl
Asynchronous Correspondences Between Hybrid Trajectory Semantics.
CoRR
Patrick Cousot
2022 J jnl
The Systematic Design of Responsibility Analysis by Abstract Interpretation.
ACM Trans. Program. Lang. Syst.
Chaoqiang Deng, Patrick Cousot
2021 J jnl
Calculational design of a regular model checker by abstract interpretation.
Theor. Comput. Sci.
Patrick Cousot
2021 — conf
Dynamic interval analysis by abstract interpretation.
Formal Methods in Outer Space
Patrick Cousot
2021 — book
Principles of Abstract Interpretation.
Patrick Cousot
2019 B conf
Abstract Semantic Dependency.
SAS
Patrick Cousot
2019 J jnl
A²I: abstract² interpretation.
Proc. ACM Program. Lang.
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
2019 C conf
Calculational Design of a Regular Model Checker by Abstract Interpretation.
ICTAC
Patrick Cousot
2019 C conf
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics.
LOPSTR
Patrick Cousot
2019 B conf
Responsibility Analysis by Abstract Interpretation.
SAS
Chaoqiang Deng, Patrick Cousot
2019 J jnl
Responsibility Analysis by Abstract Interpretation.
CoRR
Chaoqiang Deng, Patrick Cousot
2019 B conf
Syntactic and Semantic Soundness of Structural Dataflow Analysis.
SAS
Patrick Cousot
2019 B conf
Verifying Numerical Programs via Iterative Abstract Testing.
SAS
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
2018 — conf
Program Analysis Is Harder Than Verification: A Computability Perspective.
CAV (2)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
2017 A* conf
Ogre and Pythia: an invariance proof method for weak consistency models.
POPL
Jade Alglave, Patrick Cousot
2016 J jnl
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471).
Dagstuhl Reports
Jade Alglave, Patrick Cousot, Caterina Urban
2016 J jnl
Syntax and analytic semantics of LISA.
CoRR
Jade Alglave, Patrick Cousot
2016 J jnl
Syntax and semantics of the weak consistency model specification language cat.
CoRR
Jade Alglave, Patrick Cousot, Luc Maranget
2015 B conf
A Binary Decision Tree Abstract Domain Functor.
SAS
Junjie Chen, Patrick Cousot
2015 B conf
Abstracting Induction by Extrapolation and Interpolation.
VMCAI
Patrick Cousot
2015 Misc conf
On Various Abstract Understandings of Abstract Interpretation.
TASE
Patrick Cousot
2015 J jnl
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
Found. Trends Program. Lang.
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2015 C conf
Verification by abstract interpretation, soundness and abstract induction.
PPDP
Patrick Cousot
2014 A* conf
A Galois connection calculus for abstract interpretation.
POPL
Patrick Cousot, Radhia Cousot
2014 — conf
Abstract interpretation: past, present and future.
CSL-LICS
Patrick Cousot, Radhia Cousot
2014 J jnl
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352).
Dagstuhl Reports
Patrick Cousot, Daniel Kroening, Carsten Sinz
2013 B conf
Andromeda: Accurate and Scalable Security Analysis of Web Applications.
FASE
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
2013 B conf
Automatic Inference of Necessary Preconditions.
VMCAI
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
2012 — conf
A semantic integrated development environment.
SPLASH
Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
2012 A conf
An abstract interpretation framework for refactoring with application to extract methods with contracts.
OOPSLA
Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett
2012 A* conf
An abstract interpretation framework for termination.
POPL
Patrick Cousot, Radhia Cousot
2012 — conf
Formal Verification by Abstract Interpretation.
NASA Formal Methods
Patrick Cousot
2012 A conf
Probabilistic Abstract Interpretation.
ESOP
Patrick Cousot, Michael Monerau
2012 J jnl
Theories, solvers and static analysis by abstract interpretation.
J. ACM
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2011 A* conf
A parametric segmentation functor for fully automatic and scalable array content analysis.
POPL
Patrick Cousot, Radhia Cousot, Francesco Logozzo
2011 J jnl
Grammar semantics, analysis and parsing by abstract interpretation.
Theor. Comput. Sci.
Patrick Cousot, Radhia Cousot
2011 A conf
Linear Absolute Value Relation Analysis.
ESOP
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2011 B conf
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.
VMCAI
Patrick Cousot, Radhia Cousot, Francesco Logozzo
2011 J jnl
Static analysis by abstract interpretation of embedded critical software.
ACM SIGSOFT Softw. Eng. Notes
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2011 B conf
The Reduced Product of Abstract Domains and the Combination of Decision Procedures.
FoSSaCS
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2010 — conf
A Scalable Segmented Decision Tree Abstract Domain.
Essays in Memory of Amir Pnueli
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2010 — ch.
A gentle introduction to formal verification of computer systems by abstract interpretation.
Logics and Languages for Reliability and Security
Patrick Cousot, Radhia Cousot
2010 B conf
An Abstract Domain to Discover Interval Linear Equalities.
VMCAI
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2010 — conf
Logical Abstract Domains and Interpretations.
The Future of Software Engineering
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2009 J jnl
Abstract interpretation of resolution-based semantics.
Theor. Comput. Sci.
Patrick Cousot, Radhia Cousot, Roberto Giacobazzi
2009 J jnl
Astree: Nachweis der Abwesenheit von Laufzeit.
Softwaretechnik-Trends
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
2009 J jnl
Bi-inductive structural semantics.
Inf. Comput.
Patrick Cousot, Radhia Cousot
2009 B conf
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
SAS
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2009 J jnl
Why does Astrée scale up?
Formal Methods Syst. Des.
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2008 B conf
A Sound Floating-Point Polyhedra Abstract Domain.
APLAS
Liqian Chen, Antoine Miné, Patrick Cousot
2008 J jnl
Software engineering and formal methods.
Commun. ACM
Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
2007 J jnl
A Static Analyzer for Large Safety-Critical Software
CoRR
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2007 C conf
Avionic Software Verification by Abstract Interpretation.
ISoLA
Patrick Cousot
2007 — conf
Bi-inductive Structural Semantics: (Extended Abstract).
SOS@LICS/ICALP
Patrick Cousot, Radhia Cousot
2007 B conf
Fixpoint-Guided Abstraction Refinements.
SAS
Patrick Cousot, Pierre Ganty, Jean-François Raskin
2007 Misc conf
Proving the absence of run-time errors in safety-critical avionics code.
EMSOFT
Patrick Cousot
2007 B conf
The Rôle of Abstract Interpretation in Formal Methods.
SEFM
Patrick Cousot
2007 Misc conf
Varieties of Static Analyzers: A Comparison with ASTREE.
TASE
Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
2006 — conf
Combination of Abstractions in the ASTRÉE Static Analyzer.
ASIAN
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2006 — conf
Grammar Analysis and Parsing by Abstract Interpretation.
Program Analysis and Compilation
Patrick Cousot, Radhia Cousot
2005 B conf
Integrating Physical Systems in the Static Analysis of Embedded Control Software.
APLAS
Patrick Cousot
2005 B conf
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming.
VMCAI
Patrick Cousot
2005 A conf
The ASTREÉ Analyzer.
ESOP
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2005 — conf
The Verification Grand Challenge and Abstract Interpretation.
VSTTE
Patrick Cousot
2004 A* conf
An abstract interpretation-based framework for software watermarking.
POPL
Patrick Cousot, Radhia Cousot
2004 — conf
Basic concepts of abstract interpretation.
IFIP Congress Topical Sessions
Patrick Cousot, Radhia Cousot
2003 — ed.
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2003 A* conf
A static analyzer for large safety-critical software.
PLDI
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2003 B conf
Automatic Verification by Abstract Interpretation.
VMCAI
Patrick Cousot
2003 J jnl
Parsing as abstract interpretation of grammar semantics.
Theor. Comput. Sci.
Patrick Cousot, Radhia Cousot
2003 — conf
Verification by Abstract Interpretation.
Verification: Theory and Practice
Patrick Cousot
2002 — ed.
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2002 — conf
Abstract Interpretation: Theory and Practice.
SPIN
Patrick Cousot
2002 J jnl
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation.
Theor. Comput. Sci.
Patrick Cousot
2002 — conf
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.
The Essence of Computation
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2002 B conf
Modular Static Program Analysis.
CC
Patrick Cousot, Radhia Cousot
2002 A* conf
On Abstraction in Software Verification.
CAV
Patrick Cousot, Radhia Cousot
2002 A* conf
Systematic design of program transformation frameworks by abstract interpretation.
POPL
Patrick Cousot, Radhia Cousot
2001 B conf
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.
MFPS
Patrick Cousot, Radhia Cousot
2001 Misc conf
Abstract Interpretation Based Formal Methods and Future Challenges.
Informatics
Patrick Cousot
2001 B conf
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.
ICLP
Patrick Cousot
2001 B ed.
Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings
SAS
Patrick Cousot
2001 Misc conf
Verification of Embedded Software: Problems and Perspectives.
EMSOFT
Patrick Cousot, Radhia Cousot
2000 — ed.
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000
GETCO
Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2000 — conf
Partial Completeness of Abstract Fixpoint Checking.
SARA
Patrick Cousot
2000 A* conf
Temporal Abstract Interpretation.
POPL
Patrick Cousot, Radhia Cousot
1999 J jnl
Directions for Research in Approximate System Analysis.
ACM Comput. Surv.
Patrick Cousot
1999 J jnl
Refining Model Checking by Abstract Interpretation.
Autom. Softw. Eng.
Patrick Cousot, Radhia Cousot
1997 B conf
Abstract Interpretation Based Static Analysis Parameterized by Semantics.
SAS
Patrick Cousot
1997 — conf
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract).
AMAST
Patrick Cousot, Radhia Cousot
1997 B conf
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation.
MFPS
Patrick Cousot
1997 J jnl
Program Analysis: The Abstract Interpretation Perspective.
ACM SIGPLAN Notices
Patrick Cousot
1997 A* conf
Types as Abstract Interpretations.
POPL
Patrick Cousot
1996 J jnl
Abstract Interpretation.
ACM Comput. Surv.
Patrick Cousot
1996 — conf
Logical and Operational Methods in the Analysis of Programs and Systems.
LOMAPS
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
1996 J jnl
Program Analysis: The Abstract Interpretation Perspective.
ACM Comput. Surv.
Patrick Cousot
1995 — conf
Completeness in Abstract Interpretation.
GULP-PRODE
Patrick Cousot
1995 A* conf
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.
CAV
Patrick Cousot, Radhia Cousot
1995 — conf
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.
FPCA
Patrick Cousot, Radhia Cousot
1994 — conf
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis.
ICCL
Patrick Cousot, Radhia Cousot
1993 J jnl
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs.
Theor. Comput. Sci.
Patrick Cousot, Radhia Cousot
1993 — conf
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).
Formal Methods in Programming and Their Applications
Patrick Cousot, Radhia Cousot
1993 — ed.
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
WSA
Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy
1992 J jnl
Abstract Interpretation Frameworks.
J. Log. Comput.
Patrick Cousot, Radhia Cousot
1992 J jnl
Abstract Interpretation and Application to Logic Programs.
J. Log. Program.
Patrick Cousot, Radhia Cousot
1992 — conf
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
PLILP
Patrick Cousot, Radhia Cousot
1992 A* conf
Inductive Definitions, Semantics and Abstract Interpretation.
POPL
Patrick Cousot, Radhia Cousot
1991 B conf
Abstract Interpretation of Logic Programs.
ICLP
Patrick Cousot
1991 — conf
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
JTASPEFT/WSA
Patrick Cousot, Radhia Cousot
1991 — conf
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).
JTASPEFT/WSA
Patrick Cousot, Radhia Cousot
1990 — ch.
Methods and Logics for Proving Programs.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)
Patrick Cousot
1989 J jnl
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic
Inf. Comput.
Patrick Cousot, Radhia Cousot
1987 J jnl
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.
Acta Informatica
Patrick Cousot, Radhia Cousot
1980 A* conf
Semantic Analysis of Communicating Sequential Processes (Shortened Version).
ICALP
Patrick Cousot, Radhia Cousot
1979 A* conf
Systematic Design of Program Analysis Frameworks.
POPL
Patrick Cousot, Radhia Cousot
1978 A* conf
Automatic Discovery of Linear Restraints Among Variables of a Program.
POPL
Patrick Cousot, Nicolas Halbwachs
1978 — book
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
1977 A* conf
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
POPL
Patrick Cousot, Radhia Cousot
1977 — conf
Automatic synthesis of optimal invariant assertions: Mathematical foundations.
Artificial Intelligence and Programming Languages
Patrick Cousot, Radhia Cousot
1977 — conf
Static Determination of Dynamic Properties of Generalized Type Unions.
Language Design for Reliable Software
Patrick Cousot, Radhia Cousot
1977 — conf
Static Determination of Dynamic Properties of Recursive Procedures.
Formal Description of Programming Concepts
Patrick Cousot, Radhia Cousot