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

Patrick Cousot Vis

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

*2009
68EELiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325
67EEPatrick Cousot, Radhia Cousot: Bi-inductive structural semantics. Inf. Comput. 207(2): 258-283 (2009)
2008
66EELiqian Chen, Antoine Miné, Patrick Cousot: A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18
65EEMike 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
64EEPatrick 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
62EEPatrick Cousot, Pierre Ganty, Jean-François Raskin: Fixpoint-Guided Abstraction Refinements. SAS 2007: 333-348
61EEPatrick Cousot: The Rôle of Abstract Interpretation in Formal Methods. SEFM 2007: 135-140
60EEPatrick 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
59EEBruno 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)
58EEPatrick Cousot, Radhia Cousot: Bi-inductive Structural Semantics: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 29-44 (2007)
2006
57EEPatrick 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
56EEPatrick Cousot, Radhia Cousot: Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation 2006: 175-200
2005
55EEPatrick Cousot: Integrating Physical Systems in the Static Analysis of Embedded Control Software. APLAS 2005: 135-138
54EEPatrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
53EEPatrick Cousot: Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. VMCAI 2005: 1-24
52EEPatrick 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
50EEPatrick Cousot, Radhia Cousot: An abstract interpretation-based framework for software watermarking. POPL 2004: 173-185
2003
49EEBruno 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
48EEPatrick Cousot: Automatic Verification by Abstract Interpretation. VMCAI 2003: 20-24
47EEPatrick 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
45EEPatrick Cousot, Radhia Cousot: On Abstraction in Software Verification. CAV 2002: 37-56
44EEPatrick Cousot, Radhia Cousot: Modular Static Program Analysis. CC 2002: 159-178
43EEPatrick Cousot, Radhia Cousot: Systematic design of program transformation frameworks by abstract interpretation. POPL 2002: 178-190
42EEPatrick Cousot: Abstract Interpretation: Theory and Practice. SPIN 2002: 2-5
41EEBruno 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
40EEPatrick 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
38EEPatrick Cousot, Radhia Cousot: Verification of Embedded Software: Problems and Perspectives. EMSOFT 2001: 97-113
37EEPatrick Cousot: Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. ICLP 2001: 4-5
36EEPatrick Cousot: Abstract Interpretation Based Formal Methods and Future Challenges. Informatics 2001: 138-156
35EEPatrick Cousot, Radhia Cousot: A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. Electr. Notes Theor. Comput. Sci. 45: (2001)
2000
34EEPatrick Cousot, Radhia Cousot: Temporal Abstract Interpretation. POPL 2000: 12-25
33EEPatrick Cousot: Partial Completeness of Abstract Fixpoint Checking. SARA 2000: 1-25
1999
32EEPatrick 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
29EEPatrick Cousot: Types as Abstract Interpretations. POPL 1997: 316-331
28 Patrick Cousot: Abstract Interpretation Based Static Analysis Parameterized by Semantics. SAS 1997: 388-394
27EEPatrick 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
25EEFlemming 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
22EEPatrick 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
17EEPatrick 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
15EEPatrick 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
5EEPatrick Cousot, Radhia Cousot: Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP 1980: 119-133
1979
4EEPatrick 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

Coauthor Index

1Bruno Blanchet [41] [49] [59]
2Jonathan P. Bowen [65]
3Liqian Chen [66] [68]
4Byron Cook [65]
5Radhia 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]
6Mads Dam [25]
7Pierpaolo Degano [25]
8Moreno Falaschi [18]
9Jérôme Feret [41] [49] [54] [57] [59] [60]
10Gilberto Filé [18]
11Pierre Ganty [62]
12Nicolas Halbwachs [3]
13Michael G. Hinchey (Mike Hinchey) [65]
14Michael Jackson [65]
15Pierre Jouvelot [25]
16Tiziana Margaria (Tiziana Margaria-Steffen) [65]
17Laurent Mauborgne [41] [49] [54] [57] [59] [60]
18Antoine Miné [41] [49] [54] [57] [59] [60] [66] [68]
19David Monniaux [41] [49] [54] [57] [59] [60]
20Alan Mycroft [25]
21Flemming Nielson [25]
22Jean-François Raskin [62]
23Antoine Rauzy [18]
24Xavier Rival [41] [49] [54] [57] [59] [60]
25Bent Thomsen [25]
26Ji Wang [68]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)