Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Weighted list of dominant concepts in the researcher's publications (titles and abstracts).

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Abstract Semantic Dependency

Cousot, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 389-410 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

  • Calculational Design of a Regular Model Checker by Abstract Interpretation

    Cousot, P., Jan 1 2019, Theoretical Aspects of Computing – ICTAC 2019 - 16th International Colloquium, Proceedings. Hierons, R. M. & Mosbah, M. (eds.). Springer, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11884 LNCS).

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

  • Responsibility Analysis by Abstract Interpretation

    Deng, C. & Cousot, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 368-388 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

  • Syntactic and Semantic Soundness of Structural Dataflow Analysis

    Cousot, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 96-117 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

  • Verifying Numerical Programs via Iterative Abstract Testing

    Yin, B., Chen, L., Liu, J., Wang, J. & Cousot, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 247-267 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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