dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Patrick Cousot Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Michael Monerau: Probabilistic Abstract Interpretation. ESOP 2012: 169-193
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Formal Verification by Abstract Interpretation. NASA Formal Methods 2012: 3-7
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: An abstract interpretation framework for termination. POPL 2012: 245-258
2011
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Linear Absolute Value Relation Analysis. ESOP 2011: 156-175
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Laurent Mauborgne: The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FOSSACS 2011: 456-472
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Francesco Logozzo: A parametric segmentation functor for fully automatic and scalable array content analysis. POPL 2011: 105-118
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Francesco Logozzo: Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI 2011: 150-168
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien 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)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. 412(44): 6135-6192 (2011)
2010
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Laurent Mauborgne: A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli 2010: 72-95
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Laurent Mauborgne: Logical Abstract Domains and Interpretations. The Future of Software Engineering 2010: 48-71
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Bi-inductive structural semantics. Inf. Comput. 207(2): 258-283 (2009)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Roberto Giacobazzi: Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009)
2008
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiqian Chen, Antoine Miné, Patrick Cousot: A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Proving the absence of run-time errors in safety-critical avionics code. EMSOFT 2007: 7-9
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Avionic Software Verification by Abstract Interpretation. ISoLA 2007: 1
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Pierre Ganty, Jean-François Raskin: Fixpoint-Guided Abstraction Refinements. SAS 2007: 333-348
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: The Rôle of Abstract Interpretation in Formal Methods. SEFM 2007: 135-140
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno 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)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Bi-inductive Structural Semantics: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 29-44 (2007)
2006
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation 2006: 175-200
2005
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Integrating Physical Systems in the Static Analysis of Embedded Control Software. APLAS 2005: 135-138
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. VMCAI 2005: 1-24
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: The Verification Grand Challenge and Abstract Interpretation. VSTTE 2005: 189-201
2004
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Basic concepts of abstract interpretation. IFIP Congress Topical Sessions 2004: 359-366
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: An abstract interpretation-based framework for software watermarking. POPL 2004: 173-185
2003
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Automatic Verification by Abstract Interpretation. VMCAI 2003: 20-24
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Verification by Abstract Interpretation. Verification: Theory and Practice 2003: 243-268
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. 290(1): 531-544 (2003)
2002
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: On Abstraction in Software Verification. CAV 2002: 37-56
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Modular Static Program Analysis. CC 2002: 159-178
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Systematic design of program transformation frameworks by abstract interpretation. POPL 2002: 178-190
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Abstract Interpretation: Theory and Practice. SPIN 2002: 2-5
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings Springer 2001
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Verification of Embedded Software: Problems and Perspectives. EMSOFT 2001: 97-113
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. ICLP 2001: 4-5
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Abstract Interpretation Based Formal Methods and Future Challenges. Informatics 2001: 138-156
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Temporal Abstract Interpretation. POPL 2000: 12-25
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Partial Completeness of Abstract Fixpoint Checking. SARA 2000: 1-25
1999
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Directions for Research in Approximate System Analysis. ACM Comput. Surv. 31(3es): 6 (1999)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. 6(1): 69-95 (1999)
1997
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST 1997: 138-154
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Types as Abstract Interpretations. POPL 1997: 316-331
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Abstract Interpretation Based Static Analysis Parameterized by Semantics. SAS 1997: 388-394
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Electr. Notes Theor. Comput. Sci. 6: 77-102 (1997)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Program Analysis: The Abstract Interpretation Perspective. SIGPLAN Notices 32(1): 73-76 (1997)
1996
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Abstract Interpretation. ACM Comput. Surv. 28(2): 324-328 (1996)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Program Analysis: The Abstract Interpretation Perspective. ACM Comput. Surv. 28(4es): 165 (1996)
1995
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV 1995: 293-308
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA 1995: 170-181
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Completeness in Abstract Interpretation. GULP-PRODE 1995: 37-38
1994
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings Springer 1993
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications 1993: 98-127
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. PLILP 1992: 269-295
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Inductive Definitions, Semantics and Abstract Interpretation. POPL 1992: 83-94
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Abstract Interpretation Frameworks. J. Log. Comput. 2(4): 511-547 (1992)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Abstract Interpretation and Application to Logic Programs. J. Log. Program. 13(2&3): 103-179 (1992)
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Abstract Interpretation of Logic Programs. ICLP 1991: 940
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA 1991: 107-110
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA 1991: 33-36
1990
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot: Methods and Logics for Proving Programs. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 841-994
1989
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic Inf. Comput. 80(2): 165-191 (1989)
1987
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP 1980: 119-133
1979
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Systematic Design of Program Analysis Frameworks. POPL 1979: 269-282
1978
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Nicolas Halbwachs: Automatic Discovery of Linear Restraints Among Variables of a Program. POPL 1978: 84-96
1977
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Static Determination of Dynamic Properties of Generalized Type Unions. Language Design for Reliable Software 1977: 77-94
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL 1977: 238-252

Coauthor Index

1Julien Bertrane [76]
2Bruno Blanchet [41] [49] [59]
3Jonathan P. Bowen [65]
4Liqian Chen [66] [70] [72] [80]
5Byron Cook [65]
6Radhia Cousot [1] [2] [4] [5] [6] [7] [9] [10] [12] [13] [14] [15] [16] [17] [19] [21] [22] [30] [31] [34] [35] [38] [41] [43] [44] [45] [46] [49] [50] [51] [54] [56] [57] [58] [59] [60] [67] [68] [69] [71] [73] [74] [75] [76] [77] [78] [79] [81]
7Mads Dam [25]
8Pierpaolo Degano [25]
9Moreno Falaschi [18]
10Jérôme Feret [41] [49] [54] [57] [59] [60] [69] [76]
11Gilberto Filé [18]
12Pierre Ganty [62]
13Roberto Giacobazzi [67]
14Nicolas Halbwachs [3]
15Michael G. Hinchey (Mike Hinchey) [65]
16Michael Jackson [65]
17Pierre Jouvelot [25]
18Francesco Logozzo [77] [78]
19Tiziana Margaria (Tiziana Margaria-Steffen) [65]
20Laurent Mauborgne [41] [49] [54] [57] [59] [60] [69] [73] [74] [76] [79]
21Antoine Miné [41] [49] [54] [57] [59] [60] [66] [69] [70] [72] [76] [80]
22Michael Monerau [83]
23David Monniaux [41] [49] [54] [57] [59] [60]
24Alan Mycroft [25]
25Flemming Nielson [25]
26Jean-François Raskin [62]
27Antoine Rauzy [18]
28Xavier Rival [41] [49] [54] [57] [59] [60] [69] [76]
29Bent Thomsen [25]
30Ji Wang [70] [72] [80]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page