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 (peer-reviewed)
2011

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)

2010

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)

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)

1999

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)

1990

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)

1985

'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)

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)

1984

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)

1982

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)

1981

Semantic foundations of program analysis

Cousot, P., 1981, Program flow analysis: Theory and applications. Muchnick, S. & Jones, N. (eds.). Prentice Hall, p. 303-342 Chapter 10

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