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 contribution

Precondition inference from intermittent assertions and application to contracts on collections

Cousot, P., Cousot, R. & Logozzo, F., 2011, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Proceedings. p. 150-168 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6538 LNCS).

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

Probabilistic abstract interpretation

Cousot, P. & Monerau, M., 2012, Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 169-193 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7211 LNCS).

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

Program analysis is harder than verification: A computability perspective

Cousot, P., Giacobazzi, R. & Ranzato, F., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer Verlag, p. 75-95 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

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

Proving the absence of run-time errors in safety-critical avionics code

Cousot, P., 2007, EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software. p. 7-9 3 p. (EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software).

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

Relational abstract interpretation of higher-order functional programs

Cousot, P. & Cousot, R., Oct 1991, Actes JTASPEFL '91, Bordeaux, France. BIGRE. Billaud, M., Casteran, P., Corsini, M-M., Musumbu, K. & Rauzy, A. (eds.). Rennes, France: IRISA, Vol. 74. p. 33-36

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

Responsibility Analysis by Abstract Interpretation

Deng, C. & Cousot, P., 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

Semantic analysis of communicating sequential processes

Cousot, P. & Cousot, R., Jul 1980, 7th International Colloquium on Automata, Languages and Programming. de Bakker, J. & van Leeuwen, J. (eds.). Springer, p. 119-133 (LNCS 85).

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

Space software validation using abstract interpretation

Bouissou, O., Conquet, E., Cousot, P., Cousot, R., Feret, J., Ghorbal, K., Goubault, E., Lesens, D., Mauborgne, L., Miné, A., Putot, S., Rival, X. & Turin, M., 2009, Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace. (European Space Agency, (Special Publication) ESA SP; vol. 669 SP).

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

Static analysis and verification of aerospace software by abstract interpretation

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A. & Rival, X., 2010, AIAA Infotech at Aerospace 2010. American Institute of Aeronautics and Astronautics Inc., 2010-3385. (AIAA Infotech at Aerospace 2010).

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

Static analysis by abstract interpretation of embedded critical software

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A. & Rival, X., 2010, Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010. IEEE

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

Static determination of dynamic properties of generalized type unions: Mathematical foundations

Cousot, P. & Cousot, R., 1977, ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina. ACM, p. 77-94 (ACM SIGPLAN Notices; vol. 12, no. 3).

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

Static determination of dynamic properties of programs

Cousot, P. & Cousot, R., 1976, Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, p. 106-130

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

Static determination of dynamic properties of recursive procedures

Cousot, P. & Cousot, R., 1977, IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada. Neuhold, E. (ed.). North-Holland Publishing Company, p. 237-277

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

Syntactic and Semantic Soundness of Structural Dataflow Analysis

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

The reduced product of abstract domains and the combination of decision procedures

Cousot, P., Cousot, R. & Mauborgne, L., 2011, Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 456-472 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6604 LNCS).

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

The rôle of abstract interpretation in formal methods

Cousot, P., 2007, Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. p. 135-137 3 p. 4343930. (Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007).

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

The verification grand challenge and abstract interpretation

Cousot, P., 2008, Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. p. 189-201 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4171 LNCS).

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

Un analyseur syntaxique pour grammaires hors-contexte ascendant selectif et general (in French)

Cousot, P., Nov 1972, Les Techniques de l'Informatique, Grenoble, France. p. 391-405 (Congres AFCET 72, Brochure 1).

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

Varieties of static analyzers: A comparison with ASTRÉE

Cousot, P., Cousot, R., Feret, J., Miné, A., Mauborgne, L., Monniaux, D. & Rival, X., 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. p. 3-17 15 p. 4239943. (First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07).

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

Verification by abstract interpretation, soundness and abstract induction

Cousot, P., Jul 14 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 1-4 4 p. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

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

Verification by abstract interpretation, Soundness and abstract induction

Cousot, P., 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

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

Verification of embedded software: Problems and perspectives

Cousot, P. & Cousot, R., 2001, Embedded Software - 1st International Workshop, EMSOFT 2001, Proceedings. Henzinger, T. A. & Kirsch, C. M. (eds.). Springer Verlag, p. 97-113 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2211).

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