Hardware-independent Proofs of Numerical Programs. - Sylvie Boldo; Thi Minh Tuyen Nguyen (NASA Formal Methods, 2010)

Hardware-Dependent Proofs of Numerical Programs. - Thi Minh Tuyen Nguyen; Claude Marché (CPP, 2011)

Proofs of numerical programs when the compiler optimizes. - Sylvie Boldo; Thi Minh Tuyen Nguyen (Innov. Syst. Softw. Eng., 2011)

Taking architecture and compiler into account in formal proofs of numerical programs. (Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur). - Thi Minh Tuyen Nguyen (2012)