The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrick 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, Nicolas Halbwachs
    Automatic Discovery of Linear Restraints Among Variables of a Program. [Citation Graph (1, 0)][DBLP]
    POPL, 1978, pp:84-96 [Conf]
  4. 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]
  5. Patrick Cousot, Radhia Cousot
    Abstract Interpretation Frameworks. [Citation Graph (1, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:4, pp:511-547 [Journal]
  6. Patrick Cousot
    Completeness in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:37-38 [Conf]
  7. Patrick Cousot, Radhia Cousot
    Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:138-154 [Conf]
  8. Patrick Cousot
    Integrating Physical Systems in the Static Analysis of Embedded Control Software. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:135-138 [Conf]
  9. 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]
  10. Patrick Cousot
    Verification by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:243-268 [Conf]
  11. Patrick Cousot, Radhia Cousot
    On Abstraction in Software Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:37-56 [Conf]
  12. 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]
  13. Patrick Cousot, Radhia Cousot
    Modular Static Program Analysis. [Citation Graph (0, 0)][DBLP]
    CC, 2002, pp:159-178 [Conf]
  14. Patrick Cousot
    Abstract Interpretation Based Formal Methods and Future Challenges. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:138-156 [Conf]
  15. Patrick Cousot, Radhia Cousot
    Verification of Embedded Software: Problems and Perspectives. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:97-113 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Patrick Cousot, Radhia Cousot
    Semantic Analysis of Communicating Sequential Processes (Shortened Version). [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:119-133 [Conf]
  20. 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]
  21. Patrick Cousot
    Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:4-5 [Conf]
  22. Patrick Cousot
    Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:940- [Conf]
  23. Patrick Cousot, Radhia Cousot
    Basic concepts of abstract interpretation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:359-366 [Conf]
  24. 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]
  25. Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
    Logical and Operational Methods in the Analysis of Programs and Systems. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:1-21 [Conf]
  26. 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]
  27. 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]
  28. Patrick Cousot, Radhia Cousot
    An abstract interpretation-based framework for software watermarking. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:173-185 [Conf]
  29. Patrick Cousot, Radhia Cousot
    Inductive Definitions, Semantics and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:83-94 [Conf]
  30. Patrick Cousot
    Types as Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:316-331 [Conf]
  31. Patrick Cousot, Radhia Cousot
    Temporal Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:12-25 [Conf]
  32. Patrick Cousot, Radhia Cousot
    Systematic design of program transformation frameworks by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:178-190 [Conf]
  33. Patrick Cousot
    Partial Completeness of Abstract Fixpoint Checking. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:1-25 [Conf]
  34. Patrick Cousot
    Abstract Interpretation Based Static Analysis Parameterized by Semantics. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:388-394 [Conf]
  35. 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]
  36. 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]
  37. Patrick Cousot
    Abstract Interpretation: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:2-5 [Conf]
  38. Patrick Cousot
    Automatic Verification by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:20-24 [Conf]
  39. Patrick Cousot
    Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:1-24 [Conf]
  40. 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]
  41. 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]
  42. Patrick Cousot
    Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:324-328 [Journal]
  43. Patrick Cousot
    Program Analysis: The Abstract Interpretation Perspective. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:165- [Journal]
  44. Patrick Cousot
    Directions for Research in Approximate System Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3es, pp:6- [Journal]
  45. Patrick Cousot
    Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  46. 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]
  47. 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]
  48. Patrick Cousot
    Program Analysis: The Abstract Interpretation Perspective. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:73-76 [Journal]
  49. Patrick Cousot
    Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:277, n:1-2, pp:47-103 [Journal]
  50. 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]
  51. 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]
  52. 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]
  53. Patrick Cousot, Pierre Ganty, Jean-François Raskin
    Fixpoint-Guided Abstraction Refinements. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:333-348 [Conf]
  54. 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]
  55. 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]

  56. A Sound Floating-Point Polyhedra Abstract Domain. [Citation Graph (, )][DBLP]


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


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


  59. Proving the absence of run-time errors in safety-critical avionics code. [Citation Graph (, )][DBLP]


  60. Avionic Software Verification by Abstract Interpretation. [Citation Graph (, )][DBLP]


  61. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. [Citation Graph (, )][DBLP]


  62. The Rôle of Abstract Interpretation in Formal Methods. [Citation Graph (, )][DBLP]


  63. An Abstract Domain to Discover Interval Linear Equalities. [Citation Graph (, )][DBLP]


  64. The Verification Grand Challenge and Abstract Interpretation. [Citation Graph (, )][DBLP]


  65. Software engineering and formal methods. [Citation Graph (, )][DBLP]


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


Search in 0.008secs, Finished in 0.013secs
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