| 2009 |
|---|
| 67 | EE | Patrick Cousot,
Radhia Cousot:
Bi-inductive structural semantics.
Inf. Comput. 207(2): 258-283 (2009) |
| 2008 |
|---|
| 66 | EE | Liqian Chen,
Antoine Miné,
Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain.
APLAS 2008: 3-18 |
| 65 | EE | 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) |
| 2007 |
|---|
| 64 | EE | Patrick Cousot:
Proving the absence of run-time errors in safety-critical avionics code.
EMSOFT 2007: 7-9 |
| 63 | | Patrick Cousot:
Avionic Software Verification by Abstract Interpretation.
ISoLA 2007: 1 |
| 62 | EE | Patrick Cousot,
Pierre Ganty,
Jean-François Raskin:
Fixpoint-Guided Abstraction Refinements.
SAS 2007: 333-348 |
| 61 | EE | Patrick Cousot:
The Rôle of Abstract Interpretation in Formal Methods.
SEFM 2007: 135-140 |
| 60 | EE | 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 |
| 59 | EE | 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) |
| 58 | EE | Patrick Cousot,
Radhia Cousot:
Bi-inductive Structural Semantics: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 192(1): 29-44 (2007) |
| 2006 |
|---|
| 57 | EE | 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 |
| 56 | EE | Patrick Cousot,
Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation.
Program Analysis and Compilation 2006: 175-200 |
| 2005 |
|---|
| 55 | EE | Patrick Cousot:
Integrating Physical Systems in the Static Analysis of Embedded Control Software.
APLAS 2005: 135-138 |
| 54 | EE | Patrick Cousot,
Radhia Cousot,
Jérôme Feret,
Laurent Mauborgne,
Antoine Miné,
David Monniaux,
Xavier Rival:
The ASTREÉ Analyzer.
ESOP 2005: 21-30 |
| 53 | EE | Patrick Cousot:
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming.
VMCAI 2005: 1-24 |
| 52 | EE | Patrick Cousot:
The Verification Grand Challenge and Abstract Interpretation.
VSTTE 2005: 189-201 |
| 2004 |
|---|
| 51 | | Patrick Cousot,
Radhia Cousot:
Basic concepts of abstract interpretation.
IFIP Congress Topical Sessions 2004: 359-366 |
| 50 | EE | Patrick Cousot,
Radhia Cousot:
An abstract interpretation-based framework for software watermarking.
POPL 2004: 173-185 |
| 2003 |
|---|
| 49 | EE | 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 |
| 48 | EE | Patrick Cousot:
Automatic Verification by Abstract Interpretation.
VMCAI 2003: 20-24 |
| 47 | EE | Patrick Cousot:
Verification by Abstract Interpretation.
Verification: Theory and Practice 2003: 243-268 |
| 46 | | Patrick Cousot,
Radhia Cousot:
Parsing as abstract interpretation of grammar semantics.
Theor. Comput. Sci. 290(1): 531-544 (2003) |
| 2002 |
|---|
| 45 | EE | Patrick Cousot,
Radhia Cousot:
On Abstraction in Software Verification.
CAV 2002: 37-56 |
| 44 | EE | Patrick Cousot,
Radhia Cousot:
Modular Static Program Analysis.
CC 2002: 159-178 |
| 43 | EE | Patrick Cousot,
Radhia Cousot:
Systematic design of program transformation frameworks by abstract interpretation.
POPL 2002: 178-190 |
| 42 | EE | Patrick Cousot:
Abstract Interpretation: Theory and Practice.
SPIN 2002: 2-5 |
| 41 | EE | 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 |
| 40 | EE | 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) |
| 2001 |
|---|
| 39 | | Patrick Cousot:
Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings
Springer 2001 |
| 38 | EE | Patrick Cousot,
Radhia Cousot:
Verification of Embedded Software: Problems and Perspectives.
EMSOFT 2001: 97-113 |
| 37 | EE | Patrick Cousot:
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.
ICLP 2001: 4-5 |
| 36 | EE | Patrick Cousot:
Abstract Interpretation Based Formal Methods and Future Challenges.
Informatics 2001: 138-156 |
| 35 | EE | Patrick Cousot,
Radhia Cousot:
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 2000 |
|---|
| 34 | EE | Patrick Cousot,
Radhia Cousot:
Temporal Abstract Interpretation.
POPL 2000: 12-25 |
| 33 | EE | Patrick Cousot:
Partial Completeness of Abstract Fixpoint Checking.
SARA 2000: 1-25 |
| 1999 |
|---|
| 32 | EE | Patrick Cousot:
Directions for Research in Approximate System Analysis.
ACM Comput. Surv. 31(3es): 6 (1999) |
| 31 | | Patrick Cousot,
Radhia Cousot:
Refining Model Checking by Abstract Interpretation.
Autom. Softw. Eng. 6(1): 69-95 (1999) |
| 1997 |
|---|
| 30 | | Patrick Cousot,
Radhia Cousot:
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract).
AMAST 1997: 138-154 |
| 29 | EE | Patrick Cousot:
Types as Abstract Interpretations.
POPL 1997: 316-331 |
| 28 | | Patrick Cousot:
Abstract Interpretation Based Static Analysis Parameterized by Semantics.
SAS 1997: 388-394 |
| 27 | EE | Patrick Cousot:
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 26 | | Patrick Cousot:
Program Analysis: The Abstract Interpretation Perspective.
SIGPLAN Notices 32(1): 73-76 (1997) |
| 1996 |
|---|
| 25 | | 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 |
| 24 | | Patrick Cousot:
Abstract Interpretation.
ACM Comput. Surv. 28(2): 324-328 (1996) |
| 23 | | Patrick Cousot:
Program Analysis: The Abstract Interpretation Perspective.
ACM Comput. Surv. 28(4es): 165 (1996) |
| 1995 |
|---|
| 22 | | 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 |
| 21 | | Patrick Cousot,
Radhia Cousot:
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.
FPCA 1995: 170-181 |
| 20 | | Patrick Cousot:
Completeness in Abstract Interpretation.
GULP-PRODE 1995: 37-38 |
| 1994 |
|---|
| 19 | | 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 |
|---|
| 18 | | Patrick Cousot,
Moreno Falaschi,
Gilberto Filé,
Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
Springer 1993 |
| 17 | | Patrick Cousot,
Radhia Cousot:
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).
Formal Methods in Programming and Their Applications 1993: 98-127 |
| 16 | | 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) |
| 1992 |
|---|
| 15 | | Patrick Cousot,
Radhia Cousot:
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
PLILP 1992: 269-295 |
| 14 | | Patrick Cousot,
Radhia Cousot:
Inductive Definitions, Semantics and Abstract Interpretation.
POPL 1992: 83-94 |
| 13 | | Patrick Cousot,
Radhia Cousot:
Abstract Interpretation Frameworks.
J. Log. Comput. 2(4): 511-547 (1992) |
| 12 | | Patrick Cousot,
Radhia Cousot:
Abstract Interpretation and Application to Logic Programs.
J. Log. Program. 13(2&3): 103-179 (1992) |
| 1991 |
|---|
| 11 | | Patrick Cousot:
Abstract Interpretation of Logic Programs.
ICLP 1991: 940 |
| 10 | | Patrick Cousot,
Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
JTASPEFT/WSA 1991: 107-110 |
| 9 | | Patrick Cousot,
Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).
JTASPEFT/WSA 1991: 33-36 |
| 1990 |
|---|
| 8 | | Patrick Cousot:
Methods and Logics for Proving Programs.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 841-994 |
| 1989 |
|---|
| 7 | | 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 |
|---|
| 6 | | 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 |
|---|
| 5 | | Patrick Cousot,
Radhia Cousot:
Semantic Analysis of Communicating Sequential Processes (Shortened Version).
ICALP 1980: 119-133 |
| 1979 |
|---|
| 4 | EE | Patrick Cousot,
Radhia Cousot:
Systematic Design of Program Analysis Frameworks.
POPL 1979: 269-282 |
| 1978 |
|---|
| 3 | | Patrick Cousot,
Nicolas Halbwachs:
Automatic Discovery of Linear Restraints Among Variables of a Program.
POPL 1978: 84-96 |
| 1977 |
|---|
| 2 | | Patrick Cousot,
Radhia Cousot:
Static Determination of Dynamic Properties of Generalized Type Unions.
Language Design for Reliable Software 1977: 77-94 |
| 1 | | 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 |
