Cousot, Radhia

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

Cousot, P., & Cousot, R. (1977) · Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77

Logic, programming, and type systemsFormal Methods in Verification

Cited by 6,279

Systematic design of program analysis frameworks

Cousot, P., & Cousot, R. (1979) · Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79

Logic, programming, and type systemsFormal Methods in Verification

Cited by 1,621

Abstract Interpretation Frameworks

COUSOT, P., & COUSOT, R. (1992) · Journal of Logic and Computation

Logic, programming, and type systemsFormal Methods in Verification

Cited by 710

Abstract interpretation and application to logic programs

Cousot, P., & Cousot, R. (1992) · The Journal of Logic Programming

Logic, programming, and type systemsFormal Methods in Verification

Cited by 582

The ASTREÉ Analyzer

Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2005) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 426

A static analyzer for large safety-critical software

Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2003) · Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation

Logic, programming, and type systemsFormal Methods in Verification

Cited by 330

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2002) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 202