The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Radhia Cousot: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick Cousot, Radhia Cousot
    Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. [Citation Graph (8, 0)][DBLP]
    POPL, 1977, pp:238-252 [Conf]
  2. Patrick Cousot, Radhia Cousot
    Systematic Design of Program Analysis Frameworks. [Citation Graph (1, 0)][DBLP]
    POPL, 1979, pp:269-282 [Conf]
  3. Patrick Cousot, Radhia Cousot
    Abstract Interpretation and Application to Logic Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1992, v:13, n:2&3, pp:103-179 [Journal]
  4. Patrick Cousot, Radhia Cousot
    Abstract Interpretation Frameworks. [Citation Graph (1, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:4, pp:511-547 [Journal]
  5. Patrick Cousot, Radhia Cousot
    Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:138-154 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:85-108 [Conf]
  7. Patrick Cousot, Radhia Cousot
    On Abstraction in Software Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:37-56 [Conf]
  8. Patrick Cousot, Radhia Cousot
    Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:293-308 [Conf]
  9. Patrick Cousot, Radhia Cousot
    Modular Static Program Analysis. [Citation Graph (0, 0)][DBLP]
    CC, 2002, pp:159-178 [Conf]
  10. Patrick Cousot, Radhia Cousot
    Verification of Embedded Software: Problems and Perspectives. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:97-113 [Conf]
  11. Patrick Cousot, Radhia Cousot
    Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:98-127 [Conf]
  12. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    The ASTREÉ Analyzer. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:21-30 [Conf]
  13. Patrick Cousot, Radhia Cousot
    Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:170-181 [Conf]
  14. Patrick Cousot, Radhia Cousot
    Semantic Analysis of Communicating Sequential Processes (Shortened Version). [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:119-133 [Conf]
  15. Patrick Cousot, Radhia Cousot
    Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:95-112 [Conf]
  16. Patrick Cousot, Radhia Cousot
    Basic concepts of abstract interpretation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:359-366 [Conf]
  17. Patrick Cousot, Radhia Cousot
    Static Determination of Dynamic Properties of Generalized Type Unions. [Citation Graph (0, 0)][DBLP]
    Language Design for Reliable Software, 1977, pp:77-94 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:196-207 [Conf]
  19. Patrick Cousot, Radhia Cousot
    Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:269-295 [Conf]
  20. Patrick Cousot, Radhia Cousot
    An abstract interpretation-based framework for software watermarking. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:173-185 [Conf]
  21. Patrick Cousot, Radhia Cousot
    Inductive Definitions, Semantics and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:83-94 [Conf]
  22. Patrick Cousot, Radhia Cousot
    Temporal Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:12-25 [Conf]
  23. Patrick Cousot, Radhia Cousot
    Systematic design of program transformation frameworks by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:178-190 [Conf]
  24. Patrick Cousot, Radhia Cousot
    Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:33-36 [Conf]
  25. Patrick Cousot, Radhia Cousot
    Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:107-110 [Conf]
  26. Patrick Cousot, Radhia Cousot
    Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:1, pp:1-31 [Journal]
  27. Patrick Cousot, Radhia Cousot
    Refining Model Checking by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:1, pp:69-95 [Journal]
  28. Patrick Cousot, Radhia Cousot
    A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  29. Patrick Cousot, Radhia Cousot
    A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:80, n:2, pp:165-191 [Journal]
  30. Radhia Cousot
    Static Analysis Symposium 2003. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:1-2 [Journal]
  31. Patrick Cousot, Radhia Cousot
    Parsing as abstract interpretation of grammar semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:531-544 [Journal]
  32. Patrick Cousot, Radhia Cousot
    "A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:120, n:1, pp:123-155 [Journal]
  33. Patrick Cousot, Radhia Cousot
    Grammar Analysis and Parsing by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:175-200 [Conf]
  34. Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
    Varieties of Static Analyzers: A Comparison with ASTREE. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:3-20 [Conf]
  35. 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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  36. Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP]


  37. A Scalable Segmented Decision Tree Abstract Domain. [Citation Graph (, )][DBLP]


  38. Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. [Citation Graph (, )][DBLP]


  39. Bi-inductive Structural Semantics: (Extended Abstract). [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002