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

Article

Abstract interpretation

Cousot, P., Jun 1996, In : ACM Computing Surveys. 28, 2, p. 324-328 5 p.

Research output: Contribution to journalArticle

Abstract interpretation and application to logic programs

Cousot, P. & Cousot, R., Jul 1992, In : The Journal of Logic Programming. 13, 2-3, p. 103-179 77 p.

Research output: Contribution to journalArticle

Abstract interpretation frameworks

Cousot, P. & Cousot, R., Aug 1992, In : Journal of Logic and Computation. 2, 4, p. 511-547 37 p.

Research output: Contribution to journalArticle

Abstract interpretation of resolution-based semantics

Cousot, P., Cousot, R. & Giacobazzi, R., Nov 1 2009, In : Theoretical Computer Science. 410, 46, p. 4724-4746 23 p.

Research output: Contribution to journalArticle

"A la Burstall" intermittent assertions induction principles for proving inevitability properties of programs

Cousot, P. & Cousot, R., Nov 8 1993, In : Theoretical Computer Science. 120, 1, p. 123-155 33 p.

Research output: Contribution to journalArticle

A language independent proof of the soundness and completeness of generalized Hoare logic

Cousot, P. & Cousot, R., Feb 1989, In : Information and Computation. 80, 2, p. 165-191 27 p.

Research output: Contribution to journalArticle

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

Cousot, P., Cousot, R., Logozzo, F. & Barnett, M., Oct 2012, In : ACM SIGPLAN Notices. 47, 10, p. 213-232 20 p.

Research output: Contribution to journalArticle

An abstract interpretation framework for termination

Cousot, P. & Cousot, R., Jan 2012, In : ACM SIGPLAN Notices. 47, 1, p. 245-257 13 p.

Research output: Contribution to journalArticle

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

Cousot, P., Cousot, R. & Logozzo, F., Jan 2011, In : ACM SIGPLAN Notices. 46, 1, p. 105-118 14 p.

Research output: Contribution to journalArticle

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Cousot, P. & Cousot, R., Aug 1 1977, In : ACM SIGPLAN Notices. 12, 8, p. 1-12 12 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

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

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

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

Directions for Research in Approximate System Analysis

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

Research output: Contribution to journalArticle

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

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

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

Program analysis: The abstract interpretation perspective

Cousot, P., Dec 1996, In : ACM Computing Surveys. 28A, 4es, p. 165-es

Research output: Contribution to journalArticle

Program Analysis: The Abstract Interpretation Perspective

Cousot, P., Dec 1 1996, In : ACM Computing Surveys. 28, 4, p. 1-5 5 p.

Research output: Contribution to journalArticle

Refining Model Checking by Abstract Interpretation

Cousot, P. & Cousot, R., 1999, In : Automated Software Engineering. 6, 1, p. 69-95 27 p.

Research output: Contribution to journalArticle

Software engineering and formal methods

Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen, J. P. & Margaria, T., Sep 1 2008, In : Communications of the ACM. 51, 9, p. 54-59 6 p.

Research output: Contribution to journalArticle

Static analysis and verification of aerospace software by abstract interpretation

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A. & Rival, X., 2015, In : Foundations and Trends in Programming Languages. 2, 2-3, p. 71-190 120 p.

Research output: Contribution to journalArticle

Static analysis by abstract interpretation of embedded critical software

Bertrane, J., Cousot, P., Feret, J., Mauborgne, L., Mine, A. & Rival, X., Jan 2011, In : ACM SIGSOFT Software Engineering Notes. 36, 1, p. 1-8

Research output: Contribution to journalArticle

Static determination of dynamic properties of generalized type unions

Cousot, P. & Cousot, R., Mar 1 1977, In : ACM SIGPLAN Notices. 12, 3, p. 77-94 18 p.

Research output: Contribution to journalArticle

Theories, solvers and static analysis by abstract interpretation

Cousot, P., Cousot, R. & Mauborgne, L., Dec 2012, In : Journal of the ACM. 59, 6, 31.

Research output: Contribution to journalArticle

Why does Astrée scale up?

Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A. & Rival, X., Dec 2009, In : Formal Methods in System Design. 35, 3, p. 229-264 36 p.

Research output: Contribution to journalArticle

Book

Algorithmique et programmation en Pascal (cours) (in French)

Cousot, P., 1992, Ellipses. 288 p. (Cours de l'Ecole Polytechnique)

Research output: Book/ReportBook

Algorithmique et programmation en Pascal (exercices et corriges) (in French)

Cousot, P., 1992, Ellipses. 271 p. (Cours de l'Ecole Polytechnique)

Research output: Book/ReportBook

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

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

Cousot, P. (ed.), Falaschi, M. (ed.), File, G. (ed.) & Rauzy, A. (ed.), 1993, Springer. 293 p. (LNCS 724)

Research output: Book/ReportBook

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

Cousot, P. (ed.), Goubault, E. (ed.), Gunawardena, J. (ed.), Herlihy, M. (ed.), Raussen, M. (ed.) & Sassone, V. (ed.), 2000, State College, USA. (BRICS Notes Series NS-00-3)

Research output: Book/ReportBook

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

Cousot, P. (ed.), Goubault, E. (ed.), Gunawardena, J. (ed.), Herlihy, M. (ed.), Raussen, M. (ed.) & Sassone, V. (ed.), 2001, Elsevier. (Electronic Notes in Theoretical Computer Science; vol. 39, no. 2)

Research output: Book/ReportBook

Chapter

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

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

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

Systematic design of program analysis frameworks

Cousot, P. & Cousot, R., 1979, Conference Record of the 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Antonio, Texas. ACM, p. 269-282 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Chapter (peer-reviewed)

Abstract interpretation based formal methods and future challenges

Cousot, P., 2001, Informatics - 10 years back, 10 years ahead. Wilhelm, R. (ed.). Springer, p. 138-156 (LNCS; vol. 2000).

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

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

Cousot, P. & Cousot, R., 1985, Algebraic methods in semantics. Nivat, M. & Reynolds, J. (eds.). Cambridge University Press, p. 277-312 Chapter 8

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

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

Cousot, P. & Cousot, R., 2010, Logics and languages for reliability and security. Esparza, J., Spanfelner, B. & Grumberg, O. (eds.). IOS Press, p. 1-29 (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 25).

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

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)

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)

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)