Developing Certified Programs in the System Coq - The Program Tactic. - Catherine Parent (TYPES, 1993)

Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. - Catherine Parent (MPC, 1995)

Verifying Programs in the Calculus of Inductive Constructions. - Catherine Parent-Vigouroux (Formal Aspects Comput., 1997)

Cartesian Factoring of Polyhedra in Linear Relation Analysis. - Nicolas Halbwachs; David Merchat; Catherine Parent-Vigouroux (SAS, 2003)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier (RTNS, 2013)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier; Mihail Asavoae (Real Time Syst., 2015)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Improving WCET Evaluation using Linear Relation Analysis. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Erwan Jahier; Nicolas Halbwachs; Fabienne Carrier; Mihail Asavoae; Rémy Boutonnet (Leibniz Trans. Embed. Syst., 2019)