Patrick Cousot

发表

Probabilistic Abstract Interpretation

Patrick Cousot, Michael Monerau, P. Cousot, 2012, ESOP.

Linear Absolute Value Relation Analysis

Ji Wang, Patrick Cousot, Liqian Chen, 2011, ESOP.

A static analyzer for large safety-critical software

Patrick Cousot, Antoine Miné, Xavier Rival, 2003, PLDI '03.

Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)

Patrick Cousot, Jade Alglave, Caterina Urban, 2016, Dagstuhl Reports.

Interpretation abstraite (in French)

Patrick Cousot, P. Cousot, 2000 .

Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)

Daniel Kroening, Patrick Cousot, Carsten Sinz, 2014, Dagstuhl Reports.

Systematic design of program transformation frameworks by abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2002, POPL '02.

Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper)

Patrick Cousot, Radhia Cousot, P. Cousot, 1993, Formal Methods in Programming and Their Applications.

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

Patrick Cousot, Antoine Miné, Xavier Rival, 2002, The Essence of Computation.

Modular Static Program Analysis

Patrick Cousot, Radhia Cousot, P. Cousot, 2002, CC.

Program Analysis Is Harder Than Verification: A Computability Perspective

Roberto Giacobazzi, Patrick Cousot, Francesco Ranzato, 2018, CAV.

Static Determination of Dynamic Properties of Recursive Procedures

Patrick Cousot, Radhia Cousot, P. Cousot, 1977, Formal Description of Programming Concepts.

Integrating Physical Systems in the Static Analysis of Embedded Control Software

Patrick Cousot, P. Cousot, 2005, APLAS.

Calculational Design of a Regular Model Checker by Abstract Interpretation

Patrick Cousot, P. Cousot, 2019, ICTAC.

Program analysis: the abstract interpretation perspective

Patrick Cousot, 1996, CSUR.

New Results - Shared-memory parallelism

Arthur Charguéraud, Patrick Cousot, Filip Sieczkowski, 2015 .

Parsing as Abstrac tI nterpretation of Grammar Semantics

Patrick Cousot, Radhia Cousot, P. Cousot, 2001 .

On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

Patrick Cousot, P. Cousot, 2019, LOPSTR.

Theories, solvers and static analysis by abstract interpretation

Patrick Cousot, Laurent Mauborgne, Radhia Cousot, 2012, JACM.

Grammar Analysis and Parsing by Abstract Interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2006, Program Analysis and Compilation.

Temporal abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2000, POPL '00.

A parametric segmentation functor for fully automatic and scalable array content analysis

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011, POPL '11.

Abstract Semantic Dependency

Patrick Cousot, P. Cousot, 2019, SAS.

Premieres lecons de programmation en Turbo Pascal (in French)

Patrick Cousot, Radhia Cousot, L. Cousot, 1991 .

Astrée: Proving the Absence of Runtime Errors

Patrick Cousot, Antoine Miné, Daniel Kästner, 2010 .

Abstract Interpretation of Logic Programs

Patrick Cousot, 1991, ICLP.

Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings

Patrick Cousot, 1993 .

Proceedings of the workshop on geometry and topology in concurrency theory, GETCO '00, August 21 2000

Eric Goubault, Patrick Cousot, Martin Raussen, 2000 .

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Patrick Cousot, Antoine Miné, Xavier Rival, 2010, Found. Trends Program. Lang..

Abstract interpretation of resolution-based semantics

Roberto Giacobazzi, Patrick Cousot, Radhia Cousot, 2009, Theor. Comput. Sci..

Grammar semantics, analysis and parsing by abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2011, Theor. Comput. Sci..

A Binary Decision Tree Abstract Domain Functor

Junjie Chen, Patrick Cousot, P. Cousot, 2015, SAS.

Parsing as abstract interpretation of grammar semantics

Patrick Cousot, Radhia Cousot, P. Cousot, 2003, Theor. Comput. Sci..

Verification by Abstract Interpretation

Patrick Cousot, P. Cousot, 2003, Verification: Theory and Practice.

Why does Astrée scale up?

Patrick Cousot, Antoine Miné, Xavier Rival, 2009, Formal Methods Syst. Des..

Session details: Static analysis

Patrick Cousot, P. Cousot, 2006 .

Formal Verification by Abstract Interpretation

Patrick Cousot, P. Cousot, 2012, NASA Formal Methods.

A Scalable Segmented Decision Tree Abstract Domain

Patrick Cousot, Laurent Mauborgne, Radhia Cousot, 2010, Essays in Memory of Amir Pnueli.

Inductive definitions, semantics and abstract interpretations

Patrick Cousot, Radhia Cousot, P. Cousot, 1992, POPL '92.

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011, VMCAI.

Automatic Verification by Abstract Interpretation

Patrick Cousot, P. Cousot, 2002, VMCAI.

Contract Precondition Inference from Intermittent Assertions on Collections

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011 .

Programming Languages: Implementations, Logics, and Programs

Yike Guo, Maurizio Gabbrielli, Fritz Henglein, 1997, Lecture Notes in Computer Science.

Automatic Verification of Avionic Synchronous Safety Critical Embedded Software

Patrick Cousot, 2004 .

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot, Radhia Cousot, P. Cousot, 1977, Artificial Intelligence and Programming Languages.

Compositional separate modular static analysis of programs by abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2001 .

Finding All Potential Run-Time Errors and Data Races in Automotive Software

Patrick Cousot, Heinz Hille, Antoine Miné, 2017 .

Semantic Analysis of Communicating Sequential Processes (Shortened Version)

Patrick Cousot, Radhia Cousot, P. Cousot, 1980, ICALP.

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot, Radhia Cousot, 1977 .

Semantic foundations of program analysis

Patrick Cousot, P. Cousot, 1981 .

A semantic integrated development environment

Patrick Cousot, Radhia Cousot, Manuel Fähndrich, 2012, SPLASH '12.

Parallel combination of abstract interpretation and model-based automatic analysis of software

Patrick Cousot, Radhia Cousot, P. Cousot, 1997 .

Automatic discovery of linear restraints among variables of a program

Nicolas Halbwachs, Patrick Cousot, P. Cousot, 1978, POPL.

The ASTREÉ Analyzer

Patrick Cousot, Antoine Miné, Xavier Rival, 2005, ESOP.

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Patrick Cousot, Antoine Miné, Laurent Mauborgne, 2010, Found. Trends Program. Lang..

Partial Completeness of Abstract Fixpoint Checking

Patrick Cousot, P. Cousot, 2000, SARA.

Proceedings of the 2nd Workshop on Geometric and Topological Methods in Concurrency Theory, GETCO 2000, ENTCS vol. 39(2)

Patrick Cousot, Lisbeth Fajstrup, Martin Raussen, 2000 .

An abstract interpretation framework for refactoring with application to extract methods with contracts

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2012, OOPSLA '12.

Abstract Interpretation and Application to Logic Programs

Patrick Cousot, Radhia Cousot, P. Cousot, 1992, J. Log. Program..

Methods and Logics for Proving Programs

Patrick Cousot, P. Cousot, 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

Basic concepts of abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2004, IFIP Congress Topical Sessions.

Static determination of dynamic properties of generalized type unions

Patrick Cousot, Radhia Cousot, P. Cousot, 1977, Language Design for Reliable Software.

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Patrick Cousot, 2001, ICLP.

New Results - Underapproximation for Precondition Inference

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011 .

A gentle introduction to formal verification of computer systems by abstract interpretation

Patrick Cousot, Radhia Cousot, 2010, Logics and Languages for Reliability and Security.

'A la Floyd' induction principles for proving inevitability properties of programs

Patrick Cousot, Radhia Cousot, P. Cousot, 1986 .

Logical and Operational Methods in the Analysis of Programs and Systems

Flemming Nielson, Pierre Jouvelot, Bent Thomsen, 1996, LOMAPS.

Static determination of dynamic properties of generalized type unions

Patrick Cousot, Radhia Cousot, 1977 .

Abstract interpretation based program testing

Patrick Cousot, Radhia Cousot, P. Cousot, 2000 .

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Patrick Cousot, P. Cousot, 2002, MFPS.

Formal language, grammar and set-constraint-based program analysis by abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 1995, FPCA '95.

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter

Patrick Cousot, Antoine Miné, Xavier Rival, 2002 .

Abstract Interpretation Frameworks

Patrick Cousot, Radhia Cousot, P. Cousot, 1992, J. Log. Comput..

Static determination of dynamic properties of programs

Patrick Cousot, Radhia Cousot, P. Cousot, 1976 .

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

Patrick Cousot, Radhia Cousot, 1997, AMAST.

Astree: Nachweis der Abwesenheit von Laufzeit

Patrick Cousot, Antoine Miné, Xavier Rival, 2009, Softwaretechnik-Trends.

A Sound Floating-Point Polyhedra Abstract Domain

Patrick Cousot, Liqian Chen, Antoine Miné, 2008, APLAS.

A device and method for signing, marking and computer programs authenticification

Patrick Cousot, Arnaud Venet, Michel Riguidel, 2001 .

Types as abstract interpretations

Patrick Cousot, P. Cousot, 1997, POPL '97.

Avionic Software Verification by Abstract Interpretation

Patrick Cousot, 2007, ISoLA.

Ogre and Pythia: an invariance proof method for weak consistency models

Patrick Cousot, Jade Alglave, P. Cousot, 2017, POPL.

Varieties of Static Analyzers: A Comparison with ASTREE

Patrick Cousot, Antoine Miné, Xavier Rival, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot, Radhia Cousot, P. Cousot, 1977, Artificial Intelligence and Programming Languages.

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Patrick Cousot, 2002, Theor. Comput. Sci..

The calculational design of a generic abstract interpreter

Patrick Cousot, P. Cousot, 1999 .

Proceedings of the Third International Workshop on Static Analysis

Gilberto Filé, Antoine Rauzy, Patrick Cousot, 1993 .

Abstract interpretation: Achievements and perspectives

Patrick Cousot, P. Cousot, 2000 .

Proving the absence of run-time errors in safety-critical avionics code

Patrick Cousot, P. Cousot, 2007, EMSOFT '07.

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships

Ji Wang, Patrick Cousot, Liqian Chen, 2009, SAS.

A galois connection calculus for abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2014, POPL.

Syntactic and Semantic Soundness of Structural Dataflow Analysis

Patrick Cousot, 2019, SAS.

Logical Abstract Domains and Interpretations

Patrick Cousot, Laurent Mauborgne, Radhia Cousot, 2010, The Future of Software Engineering.

Automatic verification by abstract interpretation (invited tutorial)

Patrick Cousot, 2003 .

On Abstraction in Software Verification

Patrick Cousot, Radhia Cousot, P. Cousot, 2002, CAV.

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

Patrick Cousot, P. Cousot, 2005, VMCAI.

Abstract interpretation of algebraic polynomial systems

Patrick Cousot, Radhia Cousot, 1997 .

Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée

Patrick Cousot, Antoine Miné, Xavier Rival, 2016 .

Induction principles for proving invariance properties of programs

Patrick Cousot, Radhia Cousot, P. Cousot, 1982 .

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, P. Cousot, 1978 .

Abstract Interpretation Based Static Analysis Parameterized by Semantics

Patrick Cousot, P. Cousot, 1997, SAS.

Abstract Interpretation Based Formal Methods and Future Challenges

Patrick Cousot, P. Cousot, 2001, Informatics.

Refining Model Checking by Abstract Interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 2004, Automated Software Engineering.

Fixpoint-Guided Abstraction Refinements

Patrick Cousot, Pierre Ganty, Jean-François Raskin, 2007, SAS.

Program analysis: the abstract interpretation perspective

Patrick Cousot, 1997, SIGP.

Geometry and Topology in Concurrency and Distributed Computing

Eric Goubault, Patrick Cousot, Vladimiro Sassone, 2004 .

Proceedings of the workshop on geometry and topology in concurrency theory, GETCO '01

Eric Goubault, Patrick Cousot, Martin Raussen, 2001 .

Verification by abstract interpretation, soundness and abstract induction

Patrick Cousot, P. Cousot, 2015, PPDP.

Andromeda: Accurate and Scalable Security Analysis of Web Applications

Patrick Cousot, Marco Pistoia, Radhia Cousot, 2013, FASE.

Software engineering and formal methods

Tiziana Margaria, Patrick Cousot, Michael Jackson, 2008, CACM.

Combination of Abstractions in the ASTRÉE Static Analyzer

Patrick Cousot, Antoine Miné, Xavier Rival, 2006, ASIAN.

An abstract interpretation-based framework for software watermarking

Patrick Cousot, Radhia Cousot, P. Cousot, 2004, POPL.

Syntax and semantics of the weak consistency model specification language cat pdf

Patrick Cousot, Jade Alglave, Luc Maranget, 2016, ArXiv.

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 1992, PLILP.

Constructing program invariance proof methods

Patrick Cousot, Radhia Cousot, P. Cousot, 1980 .

Completeness in Abstract Interpretation

Patrick Cousot, P. Cousot, 1995, GULP-PRODE.

A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic

Patrick Cousot, Radhia Cousot, 1989, Inf. Comput..

An abstract interpretation framework for termination

Patrick Cousot, Radhia Cousot, P. Cousot, 2012, POPL '12.

Proceedings of the 3rd international workshop on static analysis, WSA '93, Padova, Italy, September 22-24 1993

Patrick Cousot, A. Rauzy, G. File, 1993 .

Space Software Validation using Abstract Interpretation

Eric Goubault, Patrick Cousot, Antoine Miné, 2009 .

Responsibility Analysis by Abstract Interpretation

Patrick Cousot, Chaoqiang Deng, P. Cousot, 2019, SAS.

The Verification Grand Challenge and Abstract Interpretation

Patrick Cousot, P. Cousot, 2005, VSTTE.

A²I: abstract² interpretation

Roberto Giacobazzi, Patrick Cousot, Francesco Ranzato, 2019, Proc. ACM Program. Lang..

Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)

Patrick Cousot, Radhia Cousot, 1991, JTASPEFT/WSA.

Verification of Embedded Software: Problems and Perspectives

Patrick Cousot, Radhia Cousot, P. Cousot, 2001, EMSOFT.

The ASTR ´ EE Analyzer

Patrick Cousot, Xavier Rival, David Monniaux, 2005 .

Bi-inductive structural semantics

Patrick Cousot, Radhia Cousot, P. Cousot, 2009, Inf. Comput..

An Abstract Domain to Discover Interval Linear Equalities

Ji Wang, Patrick Cousot, Liqian Chen, 2010, VMCAI.

Introduction to abstract interpretation

Patrick Cousot, Radhia Cousot, P. Cousot, 1998 .

Bi-inductive Structural Semantics: (Extended Abstract)

Patrick Cousot, Radhia Cousot, 2007, Electron. Notes Theor. Comput. Sci..

Software - The AstréeA Static Analyzer of Asynchronous Software

Patrick Cousot, Antoine Miné, Xavier Rival, 2011 .

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form

Patrick Cousot, Radhia Cousot, P. Cousot, 1995, CAV.

Automatic Inference of Necessary Preconditions

Patrick Cousot, Radhia Cousot, Manuel Fähndrich, 2013, VMCAI.

Verifying Numerical Programs via Iterative Abstract Testing

Patrick Cousot, Liqian Chen, Ji Wang, 2019, SAS.

The Scientific Work of Reinhard Wilhelm

Patrick Cousot, P. Cousot, 2006 .

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot, P. Cousot, 1979, POPL.

Directions for research in approximate system analysis

Patrick Cousot, 1999, CSUR.

The Reduced Product of Abstract Domains and the Combination of Decision Procedures

Patrick Cousot, Laurent Mauborgne, Radhia Cousot, 2011, FoSSaCS.

Abstract interpretation

Patrick Cousot, P. Cousot, 1996, CSUR.

The Role of Abstract Interpretation in Formal Methods

Patrick Cousot, P. Cousot, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

Abstract Interpretation: Theory and Practice

Patrick Cousot, P. Cousot, 2002, SPIN.

Syntax and analytic semantics of LISA pdf

Patrick Cousot, Jade Alglave, P. Cousot, 2016, ArXiv.

Session details: Session 12

Patrick Cousot, P. Cousot, 2007, POPL 2007.

Abstract interpretation: past, present and future

Patrick Cousot, Radhia Cousot, P. Cousot, 2014, CSL-LICS.

Abstracting Induction by Extrapolation and Interpolation

Patrick Cousot, P. Cousot, 2015, VMCAI.

Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis.

Patrick Cousot, Radhia Cousot, P. Cousot, 1994 .

Static analysis by abstract interpretation of embedded critical software

Patrick Cousot, Antoine Miné, Xavier Rival, 2011, SOEN.

Sometime = always + recursion ≡ always on the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs

Patrick Cousot, Radhia Cousot, P. Cousot, 1987, Acta Informatica.

On Various Abstract Understandings of Abstract Interpretation

Patrick Cousot, 2015, 2015 International Symposium on Theoretical Aspects of Software Engineering.

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

Patrick Cousot, Radhia Cousot, P. Cousot, 1977, POPL.

Calculational design of a regular model checker by abstract interpretation

Patrick Cousot, 2021, Theor. Comput. Sci..

Dynamic interval analysis by abstract interpretation

Patrick Cousot, P. Cousot, 2021, Formal Methods in Outer Space.

Framework for Termination

Patrick Cousot, P. Cousot, 2022 .

A constructive characterization of the lattices of all retractions, pre-closure, quasi-closure and closure operators on a complete lattice

Patrick Cousot, Radhia Cousot, P. Cousot, 1979 .

An abstract interpretation framework for termination

Patrick Cousot, Radhia Cousot, P. Cousot, 2012, POPL '12.

Invariance proof methods and analysis techniques for parallel programs

Patrick Cousot, Radhia Cousot, P. Cousot, 1984 .

Interprétation Abstraite

Patrick Cousot, P. Cousot, 1999 .