MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Patrick Cousot – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

44 documents found, showing 1 through 10. Next 10 →

ATOM

Bi-inductive Structural Semantics (Extended Abstract)
by Patrick Cousot
…Abstract SOS 2007 Bi-inductive Structural Semantics (Extended Abstract) Patrick Cousot 1…
Add To MetaCart

Abstract interpretation based formal methods and future challenges
by Patrick Cousot — 2001 — INFORMATICS — 10 YEARS BACK, 10 YEARS AHEAD, VOLUME 2000 OF LECTURE NOTES IN COMPUTER SCIENCE
…) Patrick Cousot École normale supérieure, Département d’informatique, 45 rue d’Ulm, 75230 Paris cedex 05…
Cited by 15 (4 self) – Add To MetaCart

Grand Challenges for Abstract Interpretation
by Patrick Cousot — 2004 — In : Second Workshop on Dependable Systems Evolution
…The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale…
Cited by 1 (1 self) – Add To MetaCart

Abstract Interpretation Based Program Testing
by Patrick Cousot — 2000 — In Proc. SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 248 and electronic proceedings http://www.ssgrr.it/en/ ssgrr2000/proceedings.htm, 2000. Scuola Superiore G. Reiss Romoli
…Abstract Interpretation Based Program Testing Patrick Cousot Département d’informatique École…
Cited by 7 (3 self) – Add To MetaCart

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
by Patrick Cousot — 2005 — IN VMCAI’2005: VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME 3385 OF LNCS
… and Semidefinite Programming Patrick Cousot École Normale Supérieure 45 rue d’Ulm, 75230 Paris cedex 05 (France…
Cited by 34 (1 self) – Add To MetaCart

Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
by Patrick Cousot — 2000
… Patrick Cousot a a Departement d'Informatique, Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris…
Cited by 64 (9 self) – Add To MetaCart

Compositional separate modular static analysis of programs by abstract interpretation
by Patrick Cousot — 2001 — Proc. SSGRR 2001 -- Advances in Infrastructure for Elec# tronic Business, Science, and Education on the Internet, 6 -- 10
… Patrick.Cousot@(email omitted); http://www.di.ens.fr/˜cousot Abstract— The purpose of this paper is to present four…
Cited by 5 (1 self) – Add To MetaCart

Methods and Logics for Proving
by Programs Patrick Cousot, Patrick Cousot
…Contents Methods and Logics for Proving Programs 1 Patrick COUSOT École Polytechnique, LIX 91128…
Add To MetaCart

Constructive Versions Of Tarski's Fixed Point Theorems
by Patrick Cousot, Radhia Cousot — 1979 — Pacific Journal of Mathematics
… POINT THEOREMS PATRICK COUSOT AND RADHIA COUSOT Let F be a monotone operator on the complete lattice L…
Cited by 30 (4 self) – Add To MetaCart

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form
by Patrick Cousot, Radhia Cousot — 1995
…-condition, Rule-based and Game-Theoretic Form ? (invited paper) Patrick Cousot 1 cousot…
Cited by 19 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB