Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Patrick Cousot" ( http://dblp.L3S.de/Authors/Patrick_Cousot )

URL (Homepage):  http://www.di.ens.fr/~cousot/  Author page on DBLP  Author page in RDF  Community of Patrick Cousot in ASPL-2

Publication years (Num. hits)
1977-1992 (15) 1993-1997 (15) 1999-2002 (15) 2003-2007 (19) 2008-2011 (16) 2012 (3)
Publication types (Num. hits)
article(22) incollection(2) inproceedings(57) proceedings(2)
Venues (Conferences, Journals, ...)
POPL(10) Theor. Comput. Sci.(5) SAS(4) VMCAI(4) ACM Comput. Surv.(3) Electr. Notes Theor. Comput. S...(3) ESOP(3) APLAS(2) CAV(2) EMSOFT(2) ICLP(2) Inf. Comput.(2) JTASPEFT/WSA(2) ACM SIGSOFT Software Engineeri...(1) Acta Inf.(1) AMAST(1) More (+10 of total 52)
Authors
Patrick Cousot(83) Radhia Cousot(48) Antoine Miné(12) Laurent Mauborgne(11) Jérôme Feret(8) Xavier Rival(8) David Monniaux(6) Liqian Chen(4) Bruno Blanchet(3) Ji Wang(3) Francesco Logozzo(2) Alan Mycroft(1) Antoine Rauzy(1) Bent Thomsen(1) Byron Cook(1) Flemming Nielson(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 21 keywords
Results
Found 83 publication records. Showing 83 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Patrick Cousot, Radhia Cousot An abstract interpretation framework for termination. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Formal Verification by Abstract Interpretation. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Michael Monerau Probabilistic Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Grammar semantics, analysis and parsing by abstract interpretation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Static analysis by abstract interpretation of embedded critical software. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Francesco Logozzo A parametric segmentation functor for fully automatic and scalable array content analysis. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Francesco Logozzo Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Laurent Mauborgne The Reduced Product of Abstract Domains and the Combination of Decision Procedures. Search on Bibsonomy FOSSACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot Linear Absolute Value Relation Analysis. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot A gentle introduction to formal verification of computer systems by abstract interpretation. Search on Bibsonomy Logics and Languages for Reliability and Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Laurent Mauborgne A Scalable Segmented Decision Tree Abstract Domain. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Laurent Mauborgne Logical Abstract Domains and Interpretations. Search on Bibsonomy The Future of Software Engineering The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot An Abstract Domain to Discover Interval Linear Equalities. Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Roberto Giacobazzi Abstract interpretation of resolution-based semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Bi-inductive structural semantics. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Why does Astrée scale up? Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria Software engineering and formal methods. Search on Bibsonomy Commun. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Patrick Cousot A Sound Floating-Point Polyhedra Abstract Domain. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Bi-inductive Structural Semantics: (Extended Abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival A Static Analyzer for Large Safety-Critical Software Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Patrick Cousot The Rôle of Abstract Interpretation in Formal Methods. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Proving the absence of run-time errors in safety-critical avionics code. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Avionic Software Verification by Abstract Interpretation. Search on Bibsonomy ISoLA The full citation details ... 2007 DBLP  BibTeX  RDF
1Patrick Cousot, Pierre Ganty, Jean-François Raskin Fixpoint-Guided Abstraction Refinements. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Combination of Abstractions in the ASTRÉE Static Analyzer. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Grammar Analysis and Parsing by Abstract Interpretation. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Patrick Cousot The Verification Grand Challenge and Abstract Interpretation. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Integrating Physical Systems in the Static Analysis of Embedded Control Software. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival The ASTREÉ Analyzer. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot An abstract interpretation-based framework for software watermarking. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
1Patrick Cousot, Radhia Cousot Basic concepts of abstract interpretation. Search on Bibsonomy IFIP Congress Topical Sessions The full citation details ... 2004 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Parsing as abstract interpretation of grammar semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival A static analyzer for large safety-critical software. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
1Patrick Cousot Verification by Abstract Interpretation. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Automatic Verification by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Systematic design of program transformation frameworks by abstract interpretation. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Abstract Interpretation: Theory and Practice. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Modular Static Program Analysis. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot On Abstraction in Software Verification. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Verification of Embedded Software: Problems and Perspectives. Search on Bibsonomy EMSOFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Abstract Interpretation Based Formal Methods and Future Challenges. Search on Bibsonomy Informatics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrick Cousot (eds.) Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings Search on Bibsonomy SAS The full citation details ... 2001 DBLP  BibTeX  RDF
1Patrick Cousot Partial Completeness of Abstract Fixpoint Checking. Search on Bibsonomy SARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Temporal Abstract Interpretation. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Refining Model Checking by Abstract Interpretation. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Directions for Research in Approximate System Analysis. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Program Analysis: The Abstract Interpretation Perspective. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). Search on Bibsonomy AMAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Types as Abstract Interpretations. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Abstract Interpretation Based Static Analysis Parameterized by Semantics. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Program Analysis: The Abstract Interpretation Perspective. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Abstract Interpretation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen Logical and Operational Methods in the Analysis of Programs and Systems. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Completeness in Abstract Interpretation. Search on Bibsonomy GULP-PRODE The full citation details ... 1995 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. Search on Bibsonomy ICCL The full citation details ... 1994 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot "A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
1Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.) Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings Search on Bibsonomy WSA The full citation details ... 1993 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Abstract Interpretation and Application to Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Abstract Interpretation Frameworks. Search on Bibsonomy J. Log. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Inductive Definitions, Semantics and Abstract Interpretation. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Abstract Interpretation of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1991 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
1Patrick Cousot Methods and Logics for Proving Programs. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic Search on Bibsonomy Inf. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Search on Bibsonomy Acta Inf. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Semantic Analysis of Communicating Sequential Processes (Shortened Version). Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Nicolas Halbwachs Automatic Discovery of Linear Restraints Among Variables of a Program. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Static Determination of Dynamic Properties of Generalized Type Unions. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  BibTeX  RDF
Displaying result #1 - #83 of 83 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.