tuyen.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc tuyen.cite -ob tuyen.bib -c 'author : "Tuyen" and author : "Nguyen"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inproceedings{boldo10-nfm,
author = {Sylvie Boldo and Nguyen, Thi Minh Tuyen},
title = {Hardware-independent proofs of numerical programs},
booktitle = {Proceedings of the Second NASA Formal Methods Symposium},
year = 2010,
series = {NASA Conference Publication},
address = {Washington D.C., USA},
month = apr,
x-equipes = {demons PROVAL},
x-support = {actes},
x-cle-support = {NASAFM},
x-type = {article},
topics = {team},
pages = {14--23},
editor = {C\'esar Mu{\~n}oz},
hal = {http://hal.inria.fr/inria-00534410/en/},
x-pdf = {http://shemesh.larc.nasa.gov/NFM2010/proceedings/NASA-CP-2010-216215.pdf},
x-international-audience = {yes},
x-proceedings = {yes},
x-editorial-board = {yes}
}
@misc{nguyen10poster,
author = {Nguyen, Thi Minh Tuyen and Boldo, Sylvie and March\'e, Claude},
title = {Formal proofs of numerical programs},
howpublished = {Poster at the Digiteo Forum, Palaiseau, France},
month = oct,
year = 2010,
x-scientific-popularization = {yes},
hal = {http://hal.inria.fr/inria-00536135/en/}
}
@article{boldo11-isse,
author = {Sylvie Boldo and Thi Minh Tuyen Nguyen},
title = {Proofs of numerical programs when the compiler optimizes},
journal = {Innovations in Systems and Software Engineering},
year = {2011},
pages = {151--160},
volume = {7},
issue = {2},
hal = {http://hal.inria.fr/hal-00777639},
x-international-audience = {yes},
x-editorial-board = {yes},
topics = {team},
x-support = {revue},
x-equipes = {demons PROVAL},
x-type = {article},
x-cle-support = {ISSE}
}
@techreport{nguyen11rr,
author = {Thi Minh Tuyen Nguyen and Claude March\'e},
title = {Proving Floating-Point Numerical Programs by Analysis of
their Assembly Code},
institution = {INRIA},
year = 2011,
type = {Research Report},
number = 7655,
x-equipes = {demons PROVAL},
x-support = {rapport},
x-type = {article},
topics = {team},
hal = {http://hal.inria.fr/inria-00602266/en/},
note = {\url{http://hal.inria.fr/inria-00602266/en/}}
}
@inproceedings{nguyen11cpp,
author = {Thi Minh Tuyen Nguyen and Claude March\'e},
title = {Hardware-Dependent Proofs of Numerical Programs},
crossref = {cpp2011},
pages = {314--329},
topics = {team},
x-equipes = {demons PROVAL},
x-support = {actes},
x-cle-support = {CPP},
x-type = {article},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
hal = {http://hal.inria.fr/hal-00772508}
}
@phdthesis{nguyen12phd,
author = {Nguyen, Thi Minh Tuyen},
title = {Taking architecture and compiler into account
in formal proofs of numerical programs},
school = {Universit{\'e} Paris-Sud},
type = {Th{\`e}se de Doctorat},
hal = {http://tel.archives-ouvertes.fr/tel-00710193},
url = {http://proval.lri.fr/publications/tuyennguyen12phd.pdf},
x-equipes = {demons PROVAL},
x-support = {rapport},
x-type = {these},
topics = {team},
year = 2012,
month = jun
}
@proceedings{cpp2011,
title = {International Conference on Certified Programs and Proofs},
year = 2011,
booktitle = {Certified Programs and Proofs},
editor = {Jean-Pierre Jouannaud and Zhong Shao},
series = {Lecture Notes in Computer Science},
month = dec,
publisher = {Springer}
}