Patrick Cousot

ORCID

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 26

Top Venues

CoRR

SAS

POPL

Proc. ACM Program. Lang.

Publications

Patrick Cousot
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Patrick Cousot
Abstract Interpretation of Graphs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Patrick Cousot
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. CoRR (2023)
Patrick Cousot
Asynchronous Correspondences Between Hybrid Trajectory Semantics. Principles of Systems Design (2022)
Chaoqiang Deng, Patrick Cousot
The Systematic Design of Responsibility Analysis by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Patrick Cousot
Asynchronous Correspondences Between Hybrid Trajectory Semantics. CoRR (2022)
Patrick Cousot
Dynamic interval analysis by abstract interpretation. Formal Methods in Outer Space (2021)
Patrick Cousot
Calculational design of a regular model checker by abstract interpretation. Theor. Comput. Sci. 869 (2021)
Patrick Cousot
Syntactic and Semantic Soundness of Structural Dataflow Analysis. SAS (2019)
Chaoqiang Deng, Patrick Cousot
Responsibility Analysis by Abstract Interpretation. SAS (2019)
Patrick Cousot
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. LOPSTR (2019)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
Verifying Numerical Programs via Iterative Abstract Testing. SAS (2019)
Chaoqiang Deng, Patrick Cousot
Responsibility Analysis by Abstract Interpretation. CoRR (2019)
Patrick Cousot
Calculational Design of a Regular Model Checker by Abstract Interpretation. ICTAC (2019)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
A²I: abstract² interpretation. Proc. ACM Program. Lang. 3 (POPL) (2019)
Patrick Cousot
Abstract Semantic Dependency. SAS (2019)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
Program Analysis Is Harder Than Verification: A Computability Perspective. CAV (2) (2018)
Jade Alglave, Patrick Cousot
Ogre and Pythia: an invariance proof method for weak consistency models. POPL (2017)
Jade Alglave, Patrick Cousot, Caterina Urban
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports 6 (11) (2016)
Jade Alglave, Patrick Cousot
Syntax and analytic semantics of LISA. CoRR (2016)
Jade Alglave, Patrick Cousot, Luc Maranget
Syntax and semantics of the weak consistency model specification language cat. CoRR (2016)
Junjie Chen, Patrick Cousot
A Binary Decision Tree Abstract Domain Functor. SAS (2015)
Patrick Cousot
Verification by abstract interpretation, soundness and abstract induction. PPDP (2015)
Patrick Cousot
Abstracting Induction by Extrapolation and Interpolation. VMCAI (2015)
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2 (2-3) (2015)
Patrick Cousot
On Various Abstract Understandings of Abstract Interpretation. TASE (2015)
Patrick Cousot, Radhia Cousot
Abstract interpretation: past, present and future. CSL-LICS (2014)
Patrick Cousot, Radhia Cousot
A Galois connection calculus for abstract interpretation. POPL (2014)
Patrick Cousot, Daniel Kroening, Carsten Sinz
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4 (8) (2014)
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
Automatic Inference of Necessary Preconditions. VMCAI (2013)
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE (2013)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Theories, solvers and static analysis by abstract interpretation. J. ACM 59 (6) (2012)
Patrick Cousot
Formal Verification by Abstract Interpretation. NASA Formal Methods (2012)
Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA (2012)
Patrick Cousot, Radhia Cousot
An abstract interpretation framework for termination. POPL (2012)
Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
A semantic integrated development environment. SPLASH (2012)
Patrick Cousot, Michael Monerau
Probabilistic Abstract Interpretation. ESOP (2012)
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Patrick Cousot, Radhia Cousot, Francesco Logozzo
A parametric segmentation functor for fully automatic and scalable array content analysis. POPL (2011)
Patrick Cousot, Radhia Cousot, Francesco Logozzo
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI (2011)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
Linear Absolute Value Relation Analysis. ESOP (2011)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FoSSaCS (2011)
Patrick Cousot, Radhia Cousot
Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. 412 (44) (2011)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli (2010)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
An Abstract Domain to Discover Interval Linear Equalities. VMCAI (2010)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Logical Abstract Domains and Interpretations. The Future of Software Engineering (2010)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS (2009)
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
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29 (3) (2009)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Why does Astrée scale up? Formal Methods Syst. Des. 35 (3) (2009)
Patrick Cousot, Radhia Cousot, Roberto Giacobazzi
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410 (46) (2009)
Patrick Cousot, Radhia Cousot
Bi-inductive structural semantics. Inf. Comput. 207 (2) (2009)
Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
Software engineering and formal methods. Commun. ACM 51 (9) (2008)
Liqian Chen, Antoine Miné, Patrick Cousot
A Sound Floating-Point Polyhedra Abstract Domain. APLAS (2008)
Patrick Cousot, Radhia Cousot
Bi-inductive Structural Semantics: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Patrick Cousot
Proving the absence of run-time errors in safety-critical avionics code. EMSOFT (2007)
Patrick Cousot
Avionic Software Verification by Abstract Interpretation. ISoLA (2007)
Patrick Cousot
The Rôle of Abstract Interpretation in Formal Methods. SEFM (2007)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
A Static Analyzer for Large Safety-Critical Software CoRR (2007)
Patrick Cousot, Pierre Ganty, Jean-François Raskin
Fixpoint-Guided Abstraction Refinements. SAS (2007)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
Varieties of Static Analyzers: A Comparison with ASTREE. TASE (2007)
Patrick Cousot, Radhia Cousot
Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation (2006)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN (2006)
Patrick Cousot
Integrating Physical Systems in the Static Analysis of Embedded Control Software. APLAS (2005)
Patrick Cousot
The Verification Grand Challenge and Abstract Interpretation. VSTTE (2005)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer. ESOP (2005)
Patrick Cousot
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. VMCAI (2005)
Patrick Cousot, Radhia Cousot
An abstract interpretation-based framework for software watermarking. POPL (2004)
Patrick Cousot, Radhia Cousot
Basic concepts of abstract interpretation. IFIP Congress Topical Sessions (2004)
Patrick Cousot, Radhia Cousot
Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. 290 (1) (2003)
Patrick Cousot
Verification by Abstract Interpretation. Verification: Theory and Practice (2003)
Patrick Cousot
Automatic Verification by Abstract Interpretation. VMCAI (2003)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
A static analyzer for large safety-critical software. PLDI (2003)
Patrick Cousot, Radhia Cousot
Systematic design of program transformation frameworks by abstract interpretation. POPL (2002)
Patrick Cousot, Radhia Cousot
On Abstraction in Software Verification. CAV (2002)
Patrick Cousot, Radhia Cousot
Modular Static Program Analysis. CC (2002)
Patrick Cousot
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theor. Comput. Sci. 277 (1-2) (2002)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation (2002)
Patrick Cousot
Abstract Interpretation: Theory and Practice. SPIN (2002)
Patrick Cousot
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. ICLP (2001)
Patrick Cousot
Abstract Interpretation Based Formal Methods and Future Challenges. Informatics (2001)
Patrick Cousot, Radhia Cousot
Verification of Embedded Software: Problems and Perspectives. EMSOFT (2001)
Patrick Cousot, Radhia Cousot
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. MFPS (2001)
Patrick Cousot, Radhia Cousot
Temporal Abstract Interpretation. POPL (2000)
Patrick Cousot
Partial Completeness of Abstract Fixpoint Checking. SARA (2000)
Patrick Cousot
Directions for Research in Approximate System Analysis. ACM Comput. Surv. 31 (3es) (1999)
Patrick Cousot, Radhia Cousot
Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. 6 (1) (1999)
Patrick Cousot
Abstract Interpretation Based Static Analysis Parameterized by Semantics. SAS (1997)
Patrick Cousot
Program Analysis: The Abstract Interpretation Perspective. ACM SIGPLAN Notices 32 (1) (1997)
Patrick Cousot
Types as Abstract Interpretations. POPL (1997)
Patrick Cousot
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. MFPS (1997)
Patrick Cousot, Radhia Cousot
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST (1997)
Patrick Cousot
Program Analysis: The Abstract Interpretation Perspective. ACM Comput. Surv. 28 (4es) (1996)
Patrick Cousot
Abstract Interpretation. ACM Comput. Surv. 28 (2) (1996)
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS (1996)
Patrick Cousot, Radhia Cousot
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV (1995)
Patrick Cousot, Radhia Cousot
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA (1995)
Patrick Cousot
Completeness in Abstract Interpretation. GULP-PRODE (1995)
Patrick Cousot, Radhia Cousot
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. ICCL (1994)
Patrick Cousot, Radhia Cousot
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theor. Comput. Sci. 120 (1) (1993)
Patrick Cousot, Radhia Cousot
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications (1993)

Patrick Cousot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Cousot