CousotRadhia

Refining Model Checking by Abstract Interpretation

CousotPatrick, CousotRadhia, 1999 .

Static analysis by abstract interpretation of embedded critical software

MinéAntoine, CousotPatrick, CousotRadhia, 2011 .

Theories, solvers and static analysis by abstract interpretation

CousotPatrick, CousotRadhia, MauborgneLaurent, 2013 .

An abstract interpretation-based framework for software watermarking

CousotPatrick, CousotRadhia, 2004 .

Systematic design of program transformation frameworks by abstract interpretation

CousotPatrick, CousotRadhia, 2002 .

A parametric segmentation functor for fully automatic and scalable array content analysis

CousotPatrick, CousotRadhia, LogozzoFrancesco, 2011 .