 | 2012 |
|---|
| 54 |       | Patrick Cousot,
Radhia Cousot:
An abstract interpretation framework for termination.
POPL 2012: 245-258 |
| 2011 |
|---|
| 53 | | Patrick Cousot,
Radhia Cousot,
Laurent Mauborgne:
The Reduced Product of Abstract Domains and the Combination of Decision Procedures.
FOSSACS 2011: 456-472 |
| 52 | | Patrick Cousot,
Radhia Cousot,
Francesco Logozzo:
A parametric segmentation functor for fully automatic and scalable array content analysis.
POPL 2011: 105-118 |
| 51 | | Patrick Cousot,
Radhia Cousot,
Francesco Logozzo:
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.
VMCAI 2011: 150-168 |
| 50 | | 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) |
| 49 | | Patrick Cousot,
Radhia Cousot:
Grammar semantics, analysis and parsing by abstract interpretation.
Theor. Comput. Sci. 412(44): 6135-6192 (2011) |
| 2010 |
|---|
| 48 | | Radhia Cousot,
Matthieu Martel:
Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Springer 2010 |
| 47 | | Patrick Cousot,
Radhia Cousot,
Laurent Mauborgne:
A Scalable Segmented Decision Tree Abstract Domain.
Essays in Memory of Amir Pnueli 2010: 72-95 |
| 46 | | Patrick Cousot,
Radhia Cousot,
Laurent Mauborgne:
Logical Abstract Domains and Interpretations.
The Future of Software Engineering 2010: 48-71 |
| 45 | | 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 |
|---|
| 44 | | 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) |
| 43 | | Patrick Cousot,
Radhia Cousot:
Bi-inductive structural semantics.
Inf. Comput. 207(2): 258-283 (2009) |
| 42 | | Patrick Cousot,
Radhia Cousot,
Roberto Giacobazzi:
Abstract interpretation of resolution-based semantics.
Theor. Comput. Sci. 410(46): 4724-4746 (2009) |
| 2008 |
|---|
| 41 | | Radhia Cousot:
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.
VMCAI 2008: 1-3 |
| 2007 |
|---|
| 40 | | 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 |
| 39 | | 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) |
| 38 | | Patrick Cousot,
Radhia Cousot:
Bi-inductive Structural Semantics: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 192(1): 29-44 (2007) |
| 2006 |
|---|
| 37 | | 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 |
| 36 | | Patrick Cousot,
Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation.
Program Analysis and Compilation 2006: 175-200 |
| 2005 |
|---|
| 35 |  | Radhia Cousot:
Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Springer 2005 |
| 34 | | Patrick Cousot,
Radhia Cousot,
Jérôme Feret,
Laurent Mauborgne,
Antoine Miné,
David Monniaux,
Xavier Rival:
The ASTREÉ Analyzer.
ESOP 2005: 21-30 |
| 33 | | Radhia Cousot:
Static Analysis Symposium 2003.
Sci. Comput. Program. 58(1-2): 1-2 (2005) |
| 2004 |
|---|
| 32 | | Patrick Cousot,
Radhia Cousot:
Basic concepts of abstract interpretation.
IFIP Congress Topical Sessions 2004: 359-366 |
| 31 | | Patrick Cousot,
Radhia Cousot:
An abstract interpretation-based framework for software watermarking.
POPL 2004: 173-185 |
| 2003 |
|---|
| 30 | | Radhia Cousot:
Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings
Springer 2003 |
| 29 | | 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 |
| 28 | | Patrick Cousot,
Radhia Cousot:
Parsing as abstract interpretation of grammar semantics.
Theor. Comput. Sci. 290(1): 531-544 (2003) |
| 2002 |
|---|
| 27 | | Patrick Cousot,
Radhia Cousot:
On Abstraction in Software Verification.
CAV 2002: 37-56 |
| 26 | | Patrick Cousot,
Radhia Cousot:
Modular Static Program Analysis.
CC 2002: 159-178 |
| 25 | | Patrick Cousot,
Radhia Cousot:
Systematic design of program transformation frameworks by abstract interpretation.
POPL 2002: 178-190 |
| 24 | | 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 |
| 2001 |
|---|
| 23 | | Patrick Cousot,
Radhia Cousot:
Verification of Embedded Software: Problems and Perspectives.
EMSOFT 2001: 97-113 |
| 22 | | 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) |
| 2000 |
|---|
| 21 | | Patrick Cousot,
Radhia Cousot:
Temporal Abstract Interpretation.
POPL 2000: 12-25 |
| 1999 |
|---|
| 20 | | Patrick Cousot,
Radhia Cousot:
Refining Model Checking by Abstract Interpretation.
Autom. Softw. Eng. 6(1): 69-95 (1999) |
| 1997 |
|---|
| 19 | | Patrick Cousot,
Radhia Cousot:
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract).
AMAST 1997: 138-154 |
| 1996 |
|---|
| 18 | | Radhia Cousot,
David A. Schmidt:
Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings
Springer 1996 |
| 1995 |
|---|
| 17 | | 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 |
| 16 | | Patrick Cousot,
Radhia Cousot:
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.
FPCA 1995: 170-181 |
| 1994 |
|---|
| 15 | | 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 |
|---|
| 14 | | Patrick Cousot,
Radhia Cousot:
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).
Formal Methods in Programming and Their Applications 1993: 98-127 |
| 13 | | 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 |
|---|
| 12 | | Patrick Cousot,
Radhia Cousot:
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
PLILP 1992: 269-295 |
| 11 | | Patrick Cousot,
Radhia Cousot:
Inductive Definitions, Semantics and Abstract Interpretation.
POPL 1992: 83-94 |
| 10 | | Patrick Cousot,
Radhia Cousot:
Abstract Interpretation Frameworks.
J. Log. Comput. 2(4): 511-547 (1992) |
| 9 | | Patrick Cousot,
Radhia Cousot:
Abstract Interpretation and Application to Logic Programs.
J. Log. Program. 13(2&3): 103-179 (1992) |
| 1991 |
|---|
| 8 | | Patrick Cousot,
Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
JTASPEFT/WSA 1991: 107-110 |
| 7 | | Patrick Cousot,
Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).
JTASPEFT/WSA 1991: 33-36 |
| 1989 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | Patrick Cousot,
Radhia Cousot:
Semantic Analysis of Communicating Sequential Processes (Shortened Version).
ICALP 1980: 119-133 |
| 1979 |
|---|
| 3 | | Patrick Cousot,
Radhia Cousot:
Systematic Design of Program Analysis Frameworks.
POPL 1979: 269-282 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page