Computer-Aided Building of a Compiler: An Example (Abstract). - Carine Fédèle; Olivier Lecarme (CC, 1990)

Towards a Toolkit for Building Language Implementations. - Carine Fédèle; Olivier Lecarme (Softw. Pract. Exp., 1992)

Automatic Proofs of Properties of Simple C- Modules. - Carine Fédèle; Emmanuel Kounalis (ASE, 1999)

Rewriting of imperative programs into logical equations. - Olivier Ponsini; Carine Fédèle; Emmanuel Kounalis (Sci. Comput. Program., 2005)

Automatic verification of loop invariants. - Olivier Ponsini; Hélène Collavizza; Carine Fédèle; Claude Michel; Michel Rueher (ICSM, 2010)