Radhia Cousot

According to our database1, Radhia Cousot
  • authored at least 60 papers between 1977 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2015
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
Foundations and Trends in Programming Languages, 2015

2014
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

2013
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

2012
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

2011
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

2010
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

2009
Abstract interpretation of resolution-based semantics.
Theor. Comput. Sci., 2009

Astree: Nachweis der Abwesenheit von Laufzeit.
Softwaretechnik-Trends, 2009

Bi-inductive structural semantics.
Inf. Comput., 2009

Why does Astrée scale up?
Formal Methods in System Design, 2009

2008
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.
Proceedings of the Verification, 2008

2007
Bi-inductive Structural Semantics: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2007

A Static Analyzer for Large Safety-Critical Software
CoRR, 2007

Varieties of Static Analyzers: A Comparison with ASTREE.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006
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

2005
Static Analysis Symposium 2003.
Sci. Comput. Program., 2005

The ASTREÉ Analyzer.
Proceedings of the Programming Languages and Systems, 2005

2004
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

2003
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

2002
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

2001
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

2000
Temporal Abstract Interpretation.
Proceedings of the POPL 2000, 2000

1999
Refining Model Checking by Abstract Interpretation.
Autom. Softw. Eng., 1999

1997
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1997

1995
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

1994
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

1993
"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

1992
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

1991
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

1989
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic
Inf. Comput., February, 1989

1987
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.
Acta Inf., 1987

1980
Semantic Analysis of Communicating Sequential Processes (Shortened Version).
Proceedings of the Automata, 1980

1979
Systematic Design of Program Analysis Frameworks.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1977
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


  Loading...