On the way to certify Computer Algebra Systems. - Sylvain Boulmé; Thérèse Hardin; Daniel Hirschkoff; Valérie Ménissier-Morain; Renaud Rioboo (Calculemus, 1999)

Certification of a Type Inference Tool for ML: Damas-Milner within Coq. - Catherine Dubois; Valérie Ménissier-Morain (J. Autom. Reason., 1999)

Arbitrary precision real arithmetic: design and algorithms. - Valérie Ménissier-Morain (J. Log. Algebraic Methods Program., 2005)

Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. - Stef Graillat; Valérie Ménissier-Morain (Inf. Comput., 2012)