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

Radhia 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
42EEPatrick Cousot, Radhia Cousot: Bi-inductive structural semantics. Inf. Comput. 207(2): 258-283 (2009)
2008
41EERadhia Cousot: Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. VMCAI 2008: 1-3
2007
40EEPatrick 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
39EEBruno 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)
38EEPatrick Cousot, Radhia Cousot: Bi-inductive Structural Semantics: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 29-44 (2007)
2006
37EEPatrick 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
36EEPatrick 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
34EEPatrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
33EERadhia 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
31EEPatrick 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
29EEBruno 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
27EEPatrick Cousot, Radhia Cousot: On Abstraction in Software Verification. CAV 2002: 37-56
26EEPatrick Cousot, Radhia Cousot: Modular Static Program Analysis. CC 2002: 159-178
25EEPatrick Cousot, Radhia Cousot: Systematic design of program transformation frameworks by abstract interpretation. POPL 2002: 178-190
24EEBruno 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
23EEPatrick Cousot, Radhia Cousot: Verification of Embedded Software: Problems and Perspectives. EMSOFT 2001: 97-113
22EEPatrick Cousot, Radhia Cousot: A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. Electr. Notes Theor. Comput. Sci. 45: (2001)
2000
21EEPatrick 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
17EEPatrick 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
14EEPatrick 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
12EEPatrick 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
4EEPatrick Cousot, Radhia Cousot: Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP 1980: 119-133
1979
3EEPatrick 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

Coauthor Index

1Bruno Blanchet [24] [29] [39]
2Patrick 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]
3Jérôme Feret [24] [29] [34] [37] [39] [40]
4Laurent Mauborgne [24] [29] [34] [37] [39] [40]
5Antoine Miné [24] [29] [34] [37] [39] [40]
6David Monniaux [24] [29] [34] [37] [39] [40]
7Xavier Rival [24] [29] [34] [37] [39] [40]
8David A. Schmidt [18]

Colors in the list of coauthors

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