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.

Research Output

Filter
Article
2015

Static analysis and verification of aerospace software by abstract interpretation

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A. & Rival, X., Jan 1 2015, In : Foundations and Trends in Programming Languages. 2, 2-3, p. 71-190 120 p.

Research output: Contribution to journalArticle

2012

An abstract interpretation framework for refactoring with application to extract methods with contracts

Cousot, P., Cousot, R., Logozzo, F. & Barnett, M., Oct 1 2012, In : ACM SIGPLAN Notices. 47, 10, p. 213-232 20 p.

Research output: Contribution to journalArticle

An abstract interpretation framework for termination

Cousot, P. & Cousot, R., Jan 1 2012, In : ACM SIGPLAN Notices. 47, 1, p. 245-257 13 p.

Research output: Contribution to journalArticle

Theories, solvers and static analysis by abstract interpretation

Cousot, P., Cousot, R. & Mauborgne, L., Dec 1 2012, In : Journal of the ACM. 59, 6, 31.

Research output: Contribution to journalArticle

2011

A parametric segmentation functor for fully automatic and scalable array content analysis

Cousot, P., Cousot, R. & Logozzo, F., Jan 1 2011, In : ACM SIGPLAN Notices. 46, 1, p. 105-118 14 p.

Research output: Contribution to journalArticle

Grammar semantics, analysis and parsing by abstract interpretation

Cousot, P. & Cousot, R., Oct 14 2011, In : Theoretical Computer Science. 412, 44, p. 6135-6192 58 p.

Research output: Contribution to journalArticle

Static analysis by abstract interpretation of embedded critical software

Bertrane, J., Cousot, P., Feret, J., Mauborgne, L., Mine, A. & Rival, X., Jan 2011, In : ACM SIGSOFT Software Engineering Notes. 36, 1, p. 1-8

Research output: Contribution to journalArticle

2009

Abstract interpretation of resolution-based semantics

Cousot, P., Cousot, R. & Giacobazzi, R., Nov 1 2009, In : Theoretical Computer Science. 410, 46, p. 4724-4746 23 p.

Research output: Contribution to journalArticle

Bi-inductive structural semantics

Cousot, P. & Cousot, R., Feb 2009, In : Information and Computation. 207, 2, p. 258-283 26 p.

Research output: Contribution to journalArticle

Why does Astrée scale up?

Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A. & Rival, X., Dec 1 2009, In : Formal Methods in System Design. 35, 3, p. 229-264 36 p.

Research output: Contribution to journalArticle

2008

Software engineering and formal methods

Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen, J. P. & Margaria, T., Sep 1 2008, In : Communications of the ACM. 51, 9, p. 54-59 6 p.

Research output: Contribution to journalArticle

2007

Bi-inductive Structural Semantics. (Extended Abstract)

Cousot, P. & Cousot, R., Oct 24 2007, In : Electronic Notes in Theoretical Computer Science. 192, 1 SPEC. ISS., p. 29-44 16 p.

Research output: Contribution to journalArticle

2004
2003

Parsing as abstract interpretation of grammar semantics

Cousot, P. & Cousot, R., Jan 1 2003, In : Theoretical Computer Science. 290, 1, p. 531-544 14 p.

Research output: Contribution to journalArticle

2002

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Cousot, P., Apr 28 2002, In : Theoretical Computer Science. 277, 1-2, p. 47-103 57 p.

Research output: Contribution to journalArticle

2000

Interpretation abstraite (in French)

Cousot, P., Jan 2000, In : Technique et Science Informatique. 19, 1-2-3, p. 155-164

Research output: Contribution to journalArticle

1999

Directions for Research in Approximate System Analysis

Cousot, P., Sep 1 1999, In : ACM Computing Surveys. 31, 1 p.

Research output: Contribution to journalArticle

Refining Model Checking by Abstract Interpretation

Cousot, P. & Cousot, R., Jan 1 1999, In : Automated Software Engineering. 6, 1, p. 69-95 27 p.

Research output: Contribution to journalArticle

1997

Program Analysis: The Abstract Interpretation Perspective

Cousot, P., Jan 1 1997, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 32, 1, p. 73-76 4 p.

Research output: Contribution to journalArticle

1996

Abstract interpretation

Cousot, P., Jun 1996, In : ACM Computing Surveys. 28, 2, p. 324-328 5 p.

Research output: Contribution to journalArticle

Program analysis: The abstract interpretation perspective

Cousot, P., Dec 1996, In : ACM Computing Surveys. 28A, 4es, p. 165-es

Research output: Contribution to journalArticle

Program Analysis: The Abstract Interpretation Perspective

Cousot, P., Dec 1 1996, In : ACM Computing Surveys. 28, 4, p. 1-5 5 p.

Research output: Contribution to journalArticle

1993

"A la Burstall" intermittent assertions induction principles for proving inevitability properties of programs

Cousot, P. & Cousot, R., Nov 8 1993, In : Theoretical Computer Science. 120, 1, p. 123-155 33 p.

Research output: Contribution to journalArticle

1992

Abstract interpretation and application to logic programs

Cousot, P. & Cousot, R., Jul 1992, In : The Journal of Logic Programming. 13, 2-3, p. 103-179 77 p.

Research output: Contribution to journalArticle

Abstract interpretation frameworks

Cousot, P. & Cousot, R., Aug 1 1992, In : Journal of Logic and Computation. 2, 4, p. 511-547 37 p.

Research output: Contribution to journalArticle

1989

A language independent proof of the soundness and completeness of generalized Hoare logic

Cousot, P. & Cousot, R., Feb 1989, In : Information and Computation. 80, 2, p. 165-191 27 p.

Research output: Contribution to journalArticle

Constructive versions of tarski's fixed point theorems

Cousot, P. & Cousot, R., May 1979, In : Pacific Journal of Mathematics. 82, 1, p. 43-57 15 p.

Research output: Contribution to journalArticle

Open Access
1977

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Cousot, P. & Cousot, R., Aug 1 1977, In : ACM SIGPLAN Notices. 12, 8, p. 1-12 12 p.

Research output: Contribution to journalArticle

Static determination of dynamic properties of generalized type unions

Cousot, P. & Cousot, R., Mar 1 1977, In : ACM SIGPLAN Notices. 12, 3, p. 77-94 18 p.

Research output: Contribution to journalArticle