Integrity constraint checking optimization based on abstract interpretation. - Véronique Benzaken; Anne Doucet; Xavier Schaefer (BDA, 1994)

Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. - Véronique Benzaken; Xavier Schaefer (POS, 1996)

Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. - Véronique Benzaken; Xavier Schaefer (ECOOP, 1997)

Static Management of Integrity in Object-Oriented Databases: Design and Implementation. - Véronique Benzaken; Xavier Schaefer (EDBT, 1998)