Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French)

Cousot, P. & Cousot, R., 1985, Parallelisme, communication et synchronisation. Verjus, J-P. & Roucairol, G. (eds.). Editions du CNRS, p. 129-149

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Premieres lecons de programmation en Turbo Pascal (in French)

Cousot, L., Cousot, P., Cousot, R. & Cousot, T., 1991, Paris, France: McGraw-Hill. 297 p.

Research output: Book/ReportBook

Precondition inference from intermittent assertions and application to contracts on collections

Cousot, P., Cousot, R. & Logozzo, F., 2011, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Proceedings. p. 150-168 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6538 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Partial completeness of abstract fixpoint checking

Cousot, P., 2000, Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000. Choueiry, B. & Walsh, T. (eds.). Springer, p. 1-25 (Lecture Notes in Artificial Intelligence 1864).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Parsing as abstract interpretation of grammar semantics

Cousot, P. & Cousot, R., Jan 1 2003, In : Theoretical Computer Science. 290, 1, p. 531-544 14 p.

Research output: Contribution to journalArticle

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

Cousot, P. & Cousot, R., Jan 1997, Proceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France. Cleaveland, R. & Jackson, D. (eds.). ACM, p. 91-98

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On Various Abstract Understandings of Abstract Interpretation

Cousot, P., Oct 26 2015, Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 2-3 2 p. 7307726. (Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Cousot, P., 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On abstraction in software verification

Cousot, P. & Cousot, R., 2002, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Brinksma, E. & Larsen, K. G. (eds.). Springer Verlag, p. 37-56 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2404).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ogre and pythia: An invariance proof method for weak consistency models

Alglave, J. & Cousot, P., Jan 1 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery, p. 3-18 16 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modular static program analysis

Cousot, P. & Cousot, R., 2002, Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Nigel Horspool, R. (ed.). Springer Verlag, p. 159-179 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2304).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Methods and logics for proving programs

Cousot, P., 1990, Formal models and semantics. van Leeuwen, J. (ed.). Elsevier, p. 843-993 Chapter 15. (Handbook of Theoretical Computer Science; vol. B).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Logical and operational methods in the analysis of programs and systems

Nielson, F., Cousot, P., Dam, M., Degano, P., Jouvelot, P., Mycroft, A. & Thomsen, B., 1997, Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1192 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logical abstract domains and interpretations

Cousot, P., Cousot, R. & Mauborgne, L., 2011, The Future of Software Engineering. Springer Berlin Heidelberg, p. 48-71 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Linear absolute value relation analysis

Chen, L., Miné, A., Wang, J. & Cousot, P., 2011, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 156-175 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6602 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

L'analyseur statique ASTREE (in French)

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A. & Rival, X., 2011, Utilisations industrielles des techniques formelles: Interpretation abstraite. Boulanger, J-L. (ed.). Lavoisier, p. 67-114 (Collection IC2, Editions Hermes).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Invariance proof methods and analysis techniques for parallel programs

Cousot, P. & Cousot, R., 1984, Automatic program construction techniques. Biermann, A., Guiho, G. & Kodratoff, Y. (eds.). Macmillan, p. 243-271 Chapter 12

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Interval polyhedra: An abstract domain to infer interval linear relationships

Chen, L., Miné, A., Wang, J. & Cousot, P., 2009, Static Analysis - 16th International Symposium, SAS 2009, Proceedings. p. 309-325 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5673 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interpretation abstraite (in French)

Cousot, P., Jan 2000, In : Technique et Science Informatique. 19, 1-2-3, p. 155-164

Research output: Contribution to journalArticle

Integrating physical systems in the static analysis of embedded control software

Cousot, P., 2005, Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings. p. 135-138 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3780 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Inductive definitions, semantics and abstract interpretation

Cousot, P. & Cousot, R., 1992, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Anon (ed.). Publ by ACM, p. 83-94 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Induction principles for proving invariance properties of programs

Cousot, P. & Cousot, R., 1982, Tools & notions for program construction. Neel, D. (ed.). Cambridge University Press, p. 43-119

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)

Cousot, P. & Cousot, R., 1994, IEEE International Conference on Computer Languages. Publ by IEEE, p. 95-112 18 p. (IEEE International Conference on Computer Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Grammar semantics, analysis and parsing by abstract interpretation

Cousot, P. & Cousot, R., Oct 14 2011, In : Theoretical Computer Science. 412, 44, p. 6135-6192 58 p.

Research output: Contribution to journalArticle

Grammar analysis and parsing by abstract interpretation

Cousot, P. & Cousot, R., 2007, Program Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer Verlag, p. 175-200 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4444 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Galois connection based abstract interpretations for strictness analysis

Cousot, P. & Cousot, R., 1993, Formal Methods in Programming and Their Applications - International Conference, Proceedings. Bjorner, D., Broy, M. & Pottosin, I. V. (eds.). Springer Verlag, p. 98-127 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 735 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal verification by abstract interpretation

Cousot, P., 2012, NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. p. 3-7 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7226 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Cousot, P. & Cousot, R., 1995, p. 170-181. 12 p.

Research output: Contribution to conferencePaper

Foreword

Cousot, P., Falaschi, M., Filè, G. & Rauzy, A., 1993, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 724 LNCS

Research output: Contribution to journalEditorial

Fixpoint-guided abstraction refinements

Cousot, P., Ganty, P. & Raskin, J. F., 2007, Static Analysis - 14th International Symposium, SAS 2007, Proceedings. Springer Verlag, p. 333-348 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4634 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Kaestner, D., Miné, A., Schmidt, A., Hille, H., Mauborgne, L., Wilhelm, S., Rival, X., Feret, J., Cousot, P. & Ferdinand, C., Mar 28 2017, In : SAE Technical Papers. 2017-March, March

Research output: Contribution to journalConference article

Directions for Research in Approximate System Analysis

Cousot, P., Sep 1 1999, In : ACM Computing Surveys. 31, 1 p.

Research output: Contribution to journalArticle

Design of syntactic program transformations by abstract interpretation of semantic transformations

Cousot, P., 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). Springer Verlag, p. 4-5 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software

Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D. & Rival, X., 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 85-108 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Constructive versions of tarski's fixed point theorems

Cousot, P. & Cousot, R., May 1979, In : Pacific Journal of Mathematics. 82, 1, p. 43-57 15 p.

Research output: Contribution to journalArticle

Open Access

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

Cousot, P., Apr 28 2002, In : Theoretical Computer Science. 277, 1-2, p. 47-103 57 p.

Research output: Contribution to journalArticle

Constructing program invariance proof methods

Cousot, P. & Cousot, R., 1980, International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980. Vol. 13. p. 8-12

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Compositional separate modular static analysis of programs by abstract interpretation

Cousot, P. & Cousot, R., 2001, Proceedings of the 2nd International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, l'Aquila, Italy, August 6-12 2001. Scuola Superiore G. Reiss Romoli, (SSGRR 2001 Compact Disk).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form

Cousot, P. & Cousot, R., 1995, Computer Aided Verification - 7th International Conference, CAV 1995, Proceedings. Wolper, P. (ed.). Springer Verlag, p. 293-308 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 939).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation

Cousot, P. & Cousot, R., Oct 1991, Actes JTASPEFL '91, Bordeaux, France. BIGRE. Billaud, M., Casteran, P., Corsini, M-M., Musumbu, K. & Rauzy, A. (eds.). Rennes, France: IRISA, Vol. 74. p. 107-110

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Comparing the galois connection and widening/narrowing approaches to abstract interpretation

Cousot, P. & Cousot, R., 1992, Programming Language Implementation and Logic Programming - 4th International Symposium, PLILP 1992, Proceedings. Bruynooghe, M. & Wirsing, M. (eds.). Springer Verlag, p. 269-295 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 631 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Combination of abstractions in the ASTRÉE static analyzer

Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D. & Rival, X., 2007, Advances in Computer Science - ASIAN 2006: Secure Software and Related Issues - 11th Asian Computing Science Conference, Revised Selected Papers. p. 272-300 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4435 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Calculational Design of a Regular Model Checker by Abstract Interpretation

Cousot, P., 2019, Theoretical Aspects of Computing – ICTAC 2019 - 16th International Colloquium, Proceedings. Hierons, R. M. & Mosbah, M. (eds.). Springer, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11884 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bi-inductive Structural Semantics. (Extended Abstract)

Cousot, P. & Cousot, R., Oct 24 2007, In : Electronic Notes in Theoretical Computer Science. 192, 1 SPEC. ISS., p. 29-44 16 p.

Research output: Contribution to journalArticle

Bi-inductive structural semantics

Cousot, P. & Cousot, R., Feb 2009, In : Information and Computation. 207, 2, p. 258-283 26 p.

Research output: Contribution to journalArticle

Basic concepts of Abstract Interpretation

Cousot, P. & Cousot, R., 2004, Building the Information Society - IFIP 18th World Computer Congress Topical Sessions. Springer New York LLC, p. 359-366 8 p. (IFIP Advances in Information and Communication Technology; vol. 156).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatic verification by abstract interpretation (invited tutorial)

Cousot, P., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Zuck, L. D., Attie, P. C., Cortesi, A. & Mukhopadhyay, S. (eds.). Springer Verlag, p. 20-24 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2575).

Research output: Chapter in Book/Report/Conference proceedingChapter