Publications : Tuyen Nguyen
Retour[6] | Thi Minh Tuyen Nguyen. Taking architecture and compiler into account in formal proofs of numerical programs. Thèse de doctorat, Université Paris-Sud, June 2012. [ bib | full text on HAL | .pdf ] |
[5] | Thi Minh Tuyen Nguyen and Claude Marché. Hardware-dependent proofs of numerical programs. In Jean-Pierre Jouannaud and Zhong Shao, editors, Certified Programs and Proofs, Lecture Notes in Computer Science, pages 314--329. Springer, December 2011. [ bib | full text on HAL ] |
[4] | Sylvie Boldo and Thi Minh Tuyen Nguyen. Proofs of numerical programs when the compiler optimizes. Innovations in Systems and Software Engineering, 7:151--160, 2011. [ bib | full text on HAL ] |
[3] | Thi Minh Tuyen Nguyen and Claude Marché. Proving floating-point numerical programs by analysis of their assembly code. Research Report 7655, INRIA, 2011. http://hal.inria.fr/inria-00602266/en/. [ bib | full text on HAL ] |
[2] | Thi Minh Tuyen Nguyen, Sylvie Boldo, and Claude Marché. Formal proofs of numerical programs. Poster at the Digiteo Forum, Palaiseau, France, October 2010. [ bib | full text on HAL ] |
[1] | Sylvie Boldo and Thi Minh Tuyen Nguyen. Hardware-independent proofs of numerical programs. In César Muñoz, editor, Proceedings of the Second NASA Formal Methods Symposium, NASA Conference Publication, pages 14--23, Washington D.C., USA, April 2010. [ bib | full text on HAL | PDF ] |
Retour
This page was generated by bibtex2html.