Radhia Cousot

Publication Activity (10 Years)

Years Active: 1977-2015
Publications (10 Years): 1

Top Topics

Abstract Interpretation

Satisfiability Modulo Theories

Web Applications

Top Venues

Publications

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2 (2-3) (2015)
Patrick Cousot, Radhia Cousot
Abstract interpretation: past, present and future. CSL-LICS (2014)
Patrick Cousot, Radhia Cousot
A Galois connection calculus for abstract interpretation. POPL (2014)
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
Automatic Inference of Necessary Preconditions. VMCAI (2013)
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE (2013)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Theories, solvers and static analysis by abstract interpretation. J. ACM 59 (6) (2012)
Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA (2012)
Patrick Cousot, Radhia Cousot
An abstract interpretation framework for termination. POPL (2012)
Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
A semantic integrated development environment. SPLASH (2012)
Julien 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 Softw. Eng. Notes 36 (1) (2011)
Patrick Cousot, Radhia Cousot, Francesco Logozzo
A parametric segmentation functor for fully automatic and scalable array content analysis. POPL (2011)
Patrick Cousot, Radhia Cousot, Francesco Logozzo
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI (2011)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FoSSaCS (2011)
Patrick Cousot, Radhia Cousot
Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. 412 (44) (2011)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli (2010)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Logical Abstract Domains and Interpretations. The Future of Software Engineering (2010)
Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29 (3) (2009)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Why does Astrée scale up? Formal Methods Syst. Des. 35 (3) (2009)
Patrick Cousot, Radhia Cousot, Roberto Giacobazzi
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410 (46) (2009)
Patrick Cousot, Radhia Cousot
Bi-inductive structural semantics. Inf. Comput. 207 (2) (2009)
Radhia Cousot
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. VMCAI (2008)
Patrick Cousot, Radhia Cousot
Bi-inductive Structural Semantics: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
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 CoRR (2007)
Patrick 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)
Patrick Cousot, Radhia Cousot
Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation (2006)
Patrick 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)
Radhia Cousot
Static Analysis Symposium 2003. Sci. Comput. Program. 58 (1-2) (2005)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer. ESOP (2005)
Patrick Cousot, Radhia Cousot
An abstract interpretation-based framework for software watermarking. POPL (2004)
Patrick Cousot, Radhia Cousot
Basic concepts of abstract interpretation. IFIP Congress Topical Sessions (2004)
Patrick Cousot, Radhia Cousot
Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. 290 (1) (2003)
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. PLDI (2003)
Patrick Cousot, Radhia Cousot
Systematic design of program transformation frameworks by abstract interpretation. POPL (2002)
Patrick Cousot, Radhia Cousot
On Abstraction in Software Verification. CAV (2002)
Patrick Cousot, Radhia Cousot
Modular Static Program Analysis. CC (2002)
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. The Essence of Computation (2002)
Patrick Cousot, Radhia Cousot
Verification of Embedded Software: Problems and Perspectives. EMSOFT (2001)
Patrick Cousot, Radhia Cousot
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. MFPS (2001)
Patrick Cousot, Radhia Cousot
Temporal Abstract Interpretation. POPL (2000)
Patrick Cousot, Radhia Cousot
Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. 6 (1) (1999)
Patrick Cousot, Radhia Cousot
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST (1997)
Patrick Cousot, Radhia Cousot
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV (1995)
Patrick Cousot, Radhia Cousot
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA (1995)
Patrick Cousot, Radhia Cousot
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. ICCL (1994)
Patrick Cousot, Radhia Cousot
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theor. Comput. Sci. 120 (1) (1993)
Patrick Cousot, Radhia Cousot
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Patrick Cousot, Radhia Cousot
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. PLILP (1992)
Patrick Cousot, Radhia Cousot
Abstract Interpretation Frameworks. J. Log. Comput. 2 (4) (1992)
Patrick Cousot, Radhia Cousot
Inductive Definitions, Semantics and Abstract Interpretation. POPL (1992)
Patrick Cousot, Radhia Cousot
Abstract Interpretation and Application to Logic Programs. J. Log. Program. 13 (2&3) (1992)
Patrick Cousot, Radhia Cousot
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA (1991)
Patrick Cousot, Radhia Cousot
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA (1991)
Patrick Cousot, Radhia Cousot
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic Inf. Comput. 80 (2) (1989)
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 Informatica 24 (1) (1987)
Patrick Cousot, Radhia Cousot
Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP (1980)
Patrick Cousot, Radhia Cousot
Systematic Design of Program Analysis Frameworks. POPL (1979)
Patrick Cousot, Radhia Cousot
Static Determination of Dynamic Properties of Recursive Procedures. Formal Description of Programming Concepts (1977)
Patrick Cousot, Radhia Cousot
Automatic synthesis of optimal invariant assertions: Mathematical foundations. Artificial Intelligence and Programming Languages (1977)
Patrick Cousot, Radhia Cousot
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL (1977)
Patrick Cousot, Radhia Cousot
Static Determination of Dynamic Properties of Generalized Type Unions. Language Design for Reliable Software (1977)