Radhia Cousot | Academic Influence

Radhia Cousot's AcademicInfluence.com Rankings

Radhia Cousot

Computer Science

#1639

World Rank

#1695

Historical Rank

Database

#3367

World Rank

#3508

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Radhia Cousot's Degrees

PhD Computer Science Université Paris Cité

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Radhia Cousot Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Radhia Cousot was a French computer scientist known for inventing abstract interpretation. Studies Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the massacre of the children in her school on February 8, 1958. She then went to the Lycée de jeunes filles at Sousse, the Lycée français at Algiers and then the Polytechnic School of Algiers . She specialized in mathematical optimization and integer linear programming. Supported by a UNESCO fellowship , she obtained a master's degree in Computer Science at the Joseph Fourier University of Grenoble in 1972. She obtained her Doctorate ès Sciences/State Doctorate in Mathematics in Nancy in 1985 under the supervision of .

(See a Problem?)

Radhia Cousot's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (1977) (6767)
Systematic design of program analysis frameworks (1979) (1765)
Abstract Interpretation Frameworks (1992) (787)
A static analyzer for large safety-critical software (2003) (743)
Abstract Interpretation and Application to Logic Programs (1992) (703)
Static determination of dynamic properties of programs (1976) (613)
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (1992) (516)
The ASTREÉ Analyzer (2005) (433)
Constructive versions of tarski's fixed point theorems (1979) (258)
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software (2002) (217)
Static Determination of Dynamic Properties of Recursive Procedures (1977) (217)
Inductive definitions, semantics and abstract interpretations (1992) (209)
Systematic design of program transformation frameworks by abstract interpretation (2002) (178)
Modular Static Program Analysis (2002) (171)
A parametric segmentation functor for fully automatic and scalable array content analysis (2011) (154)
Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages) (1994) (154)
Combination of Abstractions in the ASTRÉE Static Analyzer (2006) (144)
Formal language, grammar and set-constraint-based program analysis by abstract interpretation (1995) (142)
Temporal abstract interpretation (2000) (137)
An abstract interpretation-based framework for software watermarking (2004) (131)
Andromeda: Accurate and Scalable Security Analysis of Web Applications (2013) (130)
Automatic synthesis of optimal invariant assertions: Mathematical foundations (1977) (127)
Why does Astrée scale up? (2009) (111)
Refining Model Checking by Abstract Interpretation (2004) (92)
Static Analysis and Verification of Aerospace Software by Abstract Interpretation (2010) (82)
Static determination of dynamic properties of generalized type unions (1977) (80)
Automatic Inference of Necessary Preconditions (2013) (77)
An abstract interpretation framework for termination (2012) (76)
Varieties of Static Analyzers: A Comparison with ASTREE (2007) (75)
Basic concepts of abstract interpretation (2004) (74)
The ASTR ´ EE Analyzer (2005) (67)
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (1995) (59)
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter (2002) (57)
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (2011) (52)
Semantic Analysis of Communicating Sequential Processes (Shortened Version) (1980) (50)
Invariance proof methods and analysis techniques for parallel programs (1984) (49)
A gentle introduction to formal verification of computer systems by abstract interpretation (2010) (41)
Astrée: Proving the Absence of Runtime Errors (2010) (40)
Abstract interpretation: past, present and future (2014) (40)
The Reduced Product of Abstract Domains and the Combination of Decision Procedures (2011) (40)
Space Software Validation using Abstract Interpretation (2009) (39)
Static analysis by abstract interpretation of embedded critical software (2010) (36)
On Abstraction in Software Verification (2002) (32)
A Scalable Segmented Decision Tree Abstract Domain (2010) (31)
Theories, solvers and static analysis by abstract interpretation (2012) (30)
A constructive characterization of the lattices of all retractions, pre-closure, quasi-closure and closure operators on a complete lattice (1979) (29)
Introduction to abstract interpretation (1998) (28)
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper) (1993) (27)
Compositional separate modular static analysis of programs by abstract interpretation (2001) (26)
Induction principles for proving invariance properties of programs (1982) (25)
An abstract interpretation framework for refactoring with application to extract methods with contracts (2012) (23)
Bi-inductive structural semantics (2009) (22)
Verification of Embedded Software: Problems and Perspectives (2001) (22)
Abstract interpretation based program testing (2000) (21)
'A la Floyd' induction principles for proving inevitability properties of programs (1986) (20)
Parsing as abstract interpretation of grammar semantics (2003) (20)
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. (1994) (19)
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic (1989) (14)
Grammar Analysis and Parsing by Abstract Interpretation (2006) (14)
Abstract interpretation of algebraic polynomial systems (1997) (14)
A galois connection calculus for abstract interpretation (2014) (14)
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs (1993) (11)
Logical Abstract Domains and Interpretations (2010) (11)
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract) (1991) (11)
Grammar semantics, analysis and parsing by abstract interpretation (2011) (10)
Sometime = always + recursion ≡ always on the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs (1987) (10)
Contract Precondition Inference from Intermittent Assertions on Collections (2011) (8)
A semantic integrated development environment (2012) (8)
Parallel combination of abstract interpretation and model-based automatic analysis of software (1997) (8)
Static Analysis Symposium 2003 (2005) (7)
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract) (1997) (7)
Abstract interpretation of resolution-based semantics (2009) (7)
CONSTRUCTIVE VERSIONS OF TARSKΓS FIXED POINT THEOREMS (1979) (6)
Pointer analysis and separation logic (2007) (5)
Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (2005) (5)
Proceedings of the Third International Symposium on Static Analysis (1996) (5)
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination (2001) (4)
Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings (2010) (3)
Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings (1996) (3)
Constructing program invariance proof methods (1980) (3)
Bi-inductive Structural Semantics: (Extended Abstract) (2007) (2)
Static analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings (2003) (2)
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (2008) (2)
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation (2005) (2)
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2013) (1)
Automatic Large-Scale Software Verification by Abstract Interpretation (2012) (1)
Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995 (1995) (1)
A Framework for Combining Algebraic and Logical Abstract Interpretations (2010) (1)
Session details: Keynote address (2013) (0)
Formal Systems II : Applications (2017) (0)
Software - The AstréeA Static Analyzer of Asynchronous Software (2011) (0)
Proceedings of the 10th international conference on Static analysis (2003) (0)
Parsing as Abstrac tI nterpretation of Grammar Semantics (2001) (0)
Preliminary Version Bi-inductive Structural Semantics ( Extended Abstract ) (2007) (0)
Static Analysis (2003) (0)
Critical Survey of Selected Papers (0)
Session details: Shape analysis (2004) (0)
Lecture 6. Abstract Interpretation (2014) (0)
New Results - Underapproximation for Precondition Inference (2011) (0)
VALIDATION USING ABSTRACT INTERPRETATION (2009) (0)
Scheme Flow Analysis (0)
Premieres lecons de programmation en Turbo Pascal (in French) (1991) (0)
Interpretation of Algebraic Polynomial Systems ( Extended Abstract ) (2005) (0)

This paper list is powered by the following services:

Other Resources About Radhia Cousot

en.wikipedia.org

What Schools Are Affiliated With Radhia Cousot?

Radhia Cousot is affiliated with the following schools:

Image Attributions

Image Source for Radhia Cousot