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
Conference article
2017

Finding All Potential Run-Time Errors and Data Races in Automotive Software

Kaestner, D., Miné, A., Schmidt, A., Hille, H., Mauborgne, L., Wilhelm, S., Rival, X., Feret, J., Cousot, P. & Ferdinand, C., Mar 28 2017, In : SAE Technical Papers. 2017-March, March

Research output: Contribution to journalConference article

2005

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

2002
2001

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

2000

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

1997

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