- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Julien Bertrane | [50] |
| 2 | Bruno Blanchet | [24] [29] [39] |
| 3 | Patrick Cousot | [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [34] [36] [37] [38] [39] [40] [42] [43] [44] [45] [46] [47] [49] [50] [51] [52] [53] [54] |
| 4 | Jérôme Feret | [24] [29] [34] [37] [39] [40] [44] [50] |
| 5 | Roberto Giacobazzi | [42] |
| 6 | Francesco Logozzo | [51] [52] |
| 7 | Matthieu Martel | [48] |
| 8 | Laurent Mauborgne | [24] [29] [34] [37] [39] [40] [44] [46] [47] [50] [53] |
| 9 | Antoine Miné | [24] [29] [34] [37] [39] [40] [44] [50] |
| 10 | David Monniaux | [24] [29] [34] [37] [39] [40] |
| 11 | Xavier Rival | [24] [29] [34] [37] [39] [40] [44] [50] |
| 12 | David A. Schmidt | [18] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page