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}
}