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

Filter
Chapter
2011

Logical abstract domains and interpretations

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

Research output: Chapter in Book/Report/Conference proceedingChapter

2003

Automatic verification by abstract interpretation (invited tutorial)

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

2002

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

1979

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