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.
Filter
Chapter

Search results

  • 2011

    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

  • 2003

    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

  • 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

Your message has successfully been sent.
Your message was not sent due to an error.