- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c61 |      | Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri: Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE 2013: 210-225 |
| c60 | | Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo: Automatic Inference of Necessary Preconditions. VMCAI 2013: 128-148 |
| 2012 | ||
| j23 | | Patrick Cousot, Radhia Cousot, Laurent Mauborgne: Theories, solvers and static analysis by abstract interpretation. J. ACM 59(6): 31 (2012) |
| c59 | | |
| c58 | | |
| c57 | | Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot: A semantic integrated development environment. SPLASH 2012: 15-16 |
| c56 | | Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett: An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA 2012: 213-232 |
| c55 | | Patrick Cousot, Radhia Cousot: An abstract interpretation framework for termination. POPL 2012: 245-258 |
| 2011 | ||
| j22 | | Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011) |
| j21 | | Patrick Cousot, Radhia Cousot: Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. 412(44): 6135-6192 (2011) |
| c54 | | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Linear Absolute Value Relation Analysis. ESOP 2011: 156-175 |
| c53 | | Patrick Cousot, Radhia Cousot, Laurent Mauborgne: The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FOSSACS 2011: 456-472 |
| c52 | | Patrick Cousot, Radhia Cousot, Francesco Logozzo: A parametric segmentation functor for fully automatic and scalable array content analysis. POPL 2011: 105-118 |
| c51 | | Patrick Cousot, Radhia Cousot, Francesco Logozzo: Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI 2011: 150-168 |
| 2010 | ||
| c50 | | Patrick Cousot, Radhia Cousot, Laurent Mauborgne: Logical Abstract Domains and Interpretations. The Future of Software Engineering 2010: 48-71 |
| c49 | | Patrick Cousot, Radhia Cousot, Laurent Mauborgne: A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli 2010: 72-95 |
| c48 | | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128 |
| p2 | | Patrick Cousot, Radhia Cousot: A gentle introduction to formal verification of computer systems by abstract interpretation. Logics and Languages for Reliability and Security 2010: 1-29 |
| 2009 | ||
| j20 | | Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Why does Astrée scale up? Formal Methods in System Design 35(3): 229-264 (2009) |
| j19 | | Patrick Cousot, Radhia Cousot: Bi-inductive structural semantics. Inf. Comput. 207(2): 258-283 (2009) |
| j18 | | Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims: Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009) |
| j17 | | Patrick Cousot, Radhia Cousot, Roberto Giacobazzi: Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009) |
| c47 | | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325 |
| 2008 | ||
| j16 | | Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) |
| c46 | | Liqian Chen, Antoine Miné, Patrick Cousot: A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18 |
| 2007 | ||
| j15 | | Patrick Cousot, Radhia Cousot: Bi-inductive Structural Semantics: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 29-44 (2007) |
| c45 | | Patrick Cousot: Proving the absence of run-time errors in safety-critical avionics code. EMSOFT 2007: 7-9 |
| c44 |  | |
| c43 | | Patrick Cousot, Pierre Ganty, Jean-François Raskin: Fixpoint-Guided Abstraction Refinements. SAS 2007: 333-348 |
| c42 | | |
| c41 | | Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival: Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20 |
| i1 | | Bruno 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. CoRR abs/cs/0701193 (2007) |
| 2006 | ||
| c40 | | Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300 |
| c39 | | Patrick Cousot, Radhia Cousot: Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation 2006: 175-200 |
| 2005 | ||
| c38 | | Patrick Cousot: Integrating Physical Systems in the Static Analysis of Embedded Control Software. APLAS 2005: 135-138 |
| c37 | | Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30 |
| c36 | | Patrick Cousot: Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. VMCAI 2005: 1-24 |
| c35 | | |
| 2004 | ||
| c34 | | Patrick Cousot, Radhia Cousot: Basic concepts of abstract interpretation. IFIP Congress Topical Sessions 2004: 359-366 |
| c33 | | Patrick Cousot, Radhia Cousot: An abstract interpretation-based framework for software watermarking. POPL 2004: 173-185 |
| 2003 | ||
| j14 | | Patrick Cousot, Radhia Cousot: Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. 290(1): 531-544 (2003) |
| c32 | | Patrick Cousot: Verification by Abstract Interpretation. Verification: Theory and Practice 2003: 243-268 |
| c31 | | Bruno 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. PLDI 2003: 196-207 |
| c30 | | |
| 2002 | ||
| j13 | | Patrick Cousot: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theor. Comput. Sci. 277(1-2): 47-103 (2002) |
| c29 | | Bruno 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. The Essence of Computation 2002: 85-108 |
| c28 | | |
| c27 | | |
| c26 | | Patrick Cousot, Radhia Cousot: Systematic design of program transformation frameworks by abstract interpretation. POPL 2002: 178-190 |
| c25 | | |
| 2001 | ||
| j12 | | Patrick Cousot, Radhia Cousot: A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. Electr. Notes Theor. Comput. Sci. 45: 41-64 (2001) |
| c24 | | Patrick Cousot: Abstract Interpretation Based Formal Methods and Future Challenges. Informatics 2001: 138-156 |
| c23 | | Patrick Cousot, Radhia Cousot: Verification of Embedded Software: Problems and Perspectives. EMSOFT 2001: 97-113 |
| c22 | | Patrick Cousot: Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. ICLP 2001: 4-5 |
| e2 | | Patrick Cousot (Ed.): Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Lecture Notes in Computer Science 2126, Springer 2001, isbn 3-540-42314-1 |
| 2000 | ||
| c21 | | |
| c20 | | |
| 1999 | ||
| j11 | | Patrick Cousot, Radhia Cousot: Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. 6(1): 69-95 (1999) |
| j10 | | Patrick Cousot: Directions for Research in Approximate System Analysis. ACM Comput. Surv. 31(3es): 6 (1999) |
| 1997 | ||
| j9 | | Patrick Cousot: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Electr. Notes Theor. Comput. Sci. 6: 77-102 (1997) |
| j8 | | Patrick Cousot: Program Analysis: The Abstract Interpretation Perspective. SIGPLAN Notices 32(1): 73-76 (1997) |
| c19 | | Patrick Cousot, Radhia Cousot: Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST 1997: 138-154 |
| c18 | | |
| c17 | | Patrick Cousot: Abstract Interpretation Based Static Analysis Parameterized by Semantics. SAS 1997: 388-394 |
| 1996 | ||
| j7 | | |
| j6 | | Patrick Cousot: Program Analysis: The Abstract Interpretation Perspective. ACM Comput. Surv. 28(4es): 165 (1996) |
| c16 | | Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen: Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21 |
| 1995 | ||
| c15 | | |
| c14 | | Patrick Cousot, Radhia Cousot: Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV 1995: 293-308 |
| c13 | | Patrick Cousot, Radhia Cousot: Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA 1995: 170-181 |
| 1994 | ||
| c12 | | Patrick Cousot, Radhia Cousot: Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. ICCL 1994: 95-112 |
| 1993 | ||
| j5 | | Patrick Cousot, Radhia Cousot: "A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theor. Comput. Sci. 120(1): 123-155 (1993) |
| c11 | | Patrick Cousot, Radhia Cousot: Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications 1993: 98-127 |
| e1 | | Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, isbn 3-540-57264-3 |
| 1992 | ||
| j4 | | Patrick Cousot, Radhia Cousot: Abstract Interpretation and Application to Logic Programs. J. Log. Program. 13(2&3): 103-179 (1992) |
| j3 | | Patrick Cousot, Radhia Cousot: Abstract Interpretation Frameworks. J. Log. Comput. 2(4): 511-547 (1992) |
| c10 | | Patrick Cousot, Radhia Cousot: Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. PLILP 1992: 269-295 |
| c9 | | Patrick Cousot, Radhia Cousot: Inductive Definitions, Semantics and Abstract Interpretation. POPL 1992: 83-94 |
| 1991 | ||
| c8 | | |
| c7 | | Patrick Cousot, Radhia Cousot: Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA 1991: 33-36 |
| c6 | | Patrick Cousot, Radhia Cousot: Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA 1991: 107-110 |
| 1990 | ||
| p1 | | Patrick Cousot: Methods and Logics for Proving Programs. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 841-994 |
| 1989 | ||
| j2 | | Patrick Cousot, Radhia Cousot: A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic. Inf. Comput. 80(2): 165-191 (1989) |
| 1987 | ||
| j1 | | Patrick Cousot, Radhia Cousot: Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Acta Inf. 24(1): 1-31 (1987) |
| 1980 | ||
| c5 | | Patrick Cousot, Radhia Cousot: Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP 1980: 119-133 |
| 1979 | ||
| c4 | | |
| 1978 | ||
| c3 | | Patrick Cousot, Nicolas Halbwachs: Automatic Discovery of Linear Restraints Among Variables of a Program. POPL 1978: 84-96 |
| 1977 | ||
| c2 | | Patrick Cousot, Radhia Cousot: Static Determination of Dynamic Properties of Generalized Type Unions. Language Design for Reliable Software 1977: 77-94 |
| c1 | | Patrick Cousot, Radhia Cousot: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL 1977: 238-252 |
Colors in the list of coauthors
Last update Sat May 18 15:03:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page