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

1997

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

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

Types as abstract interpretations

Cousot, P., 1997, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 316-331 16 p.

Research output: Contribution to journalConference article

1999

Directions for Research in Approximate System Analysis

Cousot, P., Sep 1 1999, In : ACM Computing Surveys. 31, 1 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

The calculational design of a generic abstract interpreter

Cousot, P., 1999, Calculational system design. Broy, M. & Steinbruggen, R. (eds.). IOS Press, p. 421-505 (NATO Science Series, Series F: Computer and Systems Sciences; vol. 173).

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

2000

Abstract interpretation: Achievements and perspectives

Cousot, P., 2000, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, (Compact Disk Paper 224 and Electronic Proceedings).

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

Abstract interpretation based program testing

Cousot, P. & Cousot, R., 2000, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, (Compact Disk Paper 248 and Electronic Proceedings).

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

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

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

Temporal abstract interpretation

Cousot, P. & Cousot, R., 2000, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 12-25 14 p.

Research output: Contribution to journalConference article

2001

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 case study in abstract interpretation based program transformation: Blocking command elimination

Cousot, P. & Cousot, R., Nov 2001, In : Electronic Notes in Theoretical Computer Science. 45, p. 41-64 24 p.

Research output: Contribution to journalConference article

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

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

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

Verification of embedded software: Problems and perspectives

Cousot, P. & Cousot, R., 2001, Embedded Software - 1st International Workshop, EMSOFT 2001, Proceedings. Henzinger, T. A. & Kirsch, C. M. (eds.). Springer Verlag, p. 97-113 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2211).

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

2002

Abstract interpretation: Theory and practice

Cousot, P., 2002, Model Checking Software - 9th International SPIN Workshop, Proceedings. Bosnacki, D. & Leue, S. (eds.). Springer Verlag, p. 2-5 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2318).

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

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

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

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

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

2003

A static analyzer for large safety-critical software

Blanchet, B., Mauborgne, L., Cousot, P., Miné, A., Cousot, R., Monniaux, D., Feret, J. & Rival, X., 2003, ACM Sigplan Notices. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). p. 196-207 12 p.

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

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

2004

An abstract interpretation-based framework for software watermarking

Cousot, P. & Cousot, R., 2004, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 31, p. 173-185 13 p.

Research output: Contribution to journalConference article

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

2005

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

The ASTRÉE analyzer

Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D. & Rival, X., 2005, In : Lecture Notes in Computer Science. 3444, p. 21-30 10 p.

Research output: Contribution to journalConference article

Open Access
2007

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

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

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

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

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

Cousot, P., 2007, EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software. p. 7-9 3 p. (EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software).

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

The rôle of abstract interpretation in formal methods

Cousot, P., 2007, Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. p. 135-137 3 p. 4343930. (Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007).

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

Varieties of static analyzers: A comparison with ASTRÉE

Cousot, P., Cousot, R., Feret, J., Miné, A., Mauborgne, L., Monniaux, D. & Rival, X., 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. p. 3-17 15 p. 4239943. (First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07).

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

2008

A sound floating-point polyhedra abstract domain

Chen, L., Miné, A. & Cousot, P., 2008, Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5356 LNCS).

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

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

The verification grand challenge and abstract interpretation

Cousot, P., 2008, Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. p. 189-201 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4171 LNCS).

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

2009

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

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

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