According to our database1, Radhia Cousot authored at least 60 papers between 1977 and 2015.
Collaborative distances :
Collaborative distances :
Legend:Book In proceedings Article PhD thesis Other
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
Foundations and Trends in Programming Languages, 2015
A Galois connection calculus for abstract interpretation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Abstract interpretation: past, present and future.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Automatic Inference of Necessary Preconditions.
Proceedings of the Verification, 2013
Andromeda: Accurate and Scalable Security Analysis of Web Applications.
Proceedings of the Fundamental Approaches to Software Engineering, 2013
Theories, solvers and static analysis by abstract interpretation.
J. ACM, 2012
An abstract interpretation framework for termination.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
A semantic integrated development environment.
Proceedings of the Conference on Systems, 2012
An abstract interpretation framework for refactoring with application to extract methods with contracts.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Grammar semantics, analysis and parsing by abstract interpretation.
Theor. Comput. Sci., 2011
Static analysis by abstract interpretation of embedded critical software.
ACM SIGSOFT Software Engineering Notes, 2011
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
A parametric segmentation functor for fully automatic and scalable array content analysis.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
The Reduced Product of Abstract Domains and the Combination of Decision Procedures.
Proceedings of the Foundations of Software Science and Computational Structures, 2011
A gentle introduction to formal verification of computer systems by abstract interpretation.
Proceedings of the Logics and Languages for Reliability and Security, 2010
Logical Abstract Domains and Interpretations.
Proceedings of the Future of Software Engineering., 2010
A Scalable Segmented Decision Tree Abstract Domain.
Proceedings of the Time for Verification, 2010
Abstract interpretation of resolution-based semantics.
Theor. Comput. Sci., 2009
Astree: Nachweis der Abwesenheit von Laufzeit.
Bi-inductive structural semantics.
Inf. Comput., 2009
Why does Astrée scale up?
Formal Methods in System Design, 2009
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.
Proceedings of the Verification, 2008
Bi-inductive Structural Semantics: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2007
A Static Analyzer for Large Safety-Critical Software
Varieties of Static Analyzers: A Comparison with ASTREE.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
Grammar Analysis and Parsing by Abstract Interpretation.
Proceedings of the Program Analysis and Compilation, 2006
Combination of Abstractions in the ASTRÉE Static Analyzer.
Proceedings of the Advances in Computer Science, 2006
Static Analysis Symposium 2003.
Sci. Comput. Program., 2005
The ASTREÉ Analyzer.
Proceedings of the Programming Languages and Systems, 2005
An abstract interpretation-based framework for software watermarking.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004
Basic concepts of abstract interpretation.
Proceedings of the Building the Information Society, 2004
Parsing as abstract interpretation of grammar semantics.
Theor. Comput. Sci., 2003
A static analyzer for large safety-critical software.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
Systematic design of program transformation frameworks by abstract interpretation.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002
Modular Static Program Analysis.
Proceedings of the Compiler Construction, 11th International Conference, 2002
On Abstraction in Software Verification.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.
Electr. Notes Theor. Comput. Sci., 2001
Verification of Embedded Software: Problems and Perspectives.
Proceedings of the Embedded Software, First International Workshop, 2001
Temporal Abstract Interpretation.
Proceedings of the POPL 2000, 2000
Refining Model Checking by Abstract Interpretation.
Autom. Softw. Eng., 1999
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1997
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.
Proceedings of the Computer Aided Verification, 1995
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs.
Theor. Comput. Sci., 1993
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993
Abstract Interpretation Frameworks.
J. Log. Comput., 1992
Abstract Interpretation and Application to Logic Programs.
J. Log. Program., 1992
Inductive Definitions, Semantics and Abstract Interpretation.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
Proceedings of the Programming Language Implementation and Logic Programming, 1992
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic
Inf. Comput., February, 1989
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.
Acta Inf., 1987
Semantic Analysis of Communicating Sequential Processes (Shortened Version).
Proceedings of the Automata, 1980
Systematic Design of Program Analysis Frameworks.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979
Automatic synthesis of optimal invariant assertions: Mathematical foundations.
SIGART Newsletter, 1977
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977
Static Determination of Dynamic Properties of Generalized Type Unions.
Language Design for Reliable Software, 1977