fumex.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc fumex.cite -ob fumex.bib -c 'author : "fumex"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{dross15rr,
  topics = {team},
  title = {High-Level Functional Properties of Bit-Level Programs: Formal Specifications and Automated Proofs},
  author = {Dross, Claire and Fumex, Cl{\'e}ment and Gerlach, Jens and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-01238376},
  type = {Research Report},
  number = 8821,
  institution = {Inria},
  year = 2015,
  month = dec
}

@inproceedings{fumex16nfm,
  topics = {team},
  author = {Fumex, Cl\'ement and Dross, Claire and Gerlach, Jens and March\'e, Claude},
  title = {Specification and Proof of High-Level Functional Properties of Bit-Level Programs},
  pages = {291--306},
  crossref = {nfm16},
  hal = {https://hal.inria.fr/hal-01314876}
}

@inproceedings{conchon17cav,
  author = {Sylvain Conchon and Mohamed Iguernlala and Kailiang Ji and
                  Guillaume Melquiond and Cl\'ement Fumex},
  topics = {team},
  hal = {https://hal.inria.fr/hal-01522770},
  title = {A Three-tier Strategy for Reasoning about
                  Floating-Point Numbers in {SMT}},
  booktitle = {Computer Aided Verification},
  year = 2017,
  pages = {419--435},
  series = {Lecture Notes in Computer Science},
  volume = 10427,
  doi = {10.1007/978-3-319-63390-9_22}
}

@techreport{fumex17rr,
  topics = {team},
  title = {Automated Verification of Floating-Point Computations in {Ada}
           Programs},
  author = {Fumex, Cl{\'e}ment and March{\'e}, Claude and Moy, Yannick},
  hal = {https://hal.inria.fr/hal-01511183},
  type = {Research Report},
  number = {RR-9060},
  pages = 53,
  institution = {Inria},
  year = 2017,
  month = apr
}

@inproceedings{fumex17vstte,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01534533/},
  author = {Cl\'ement Fumex and Claude March\'e and Yannick Moy},
  title = {Automating the Verification of Floating-Point Programs},
  crossref = {vstte17}
}

@proceedings{vstte17,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01670145},
  title = {Verified Software: Theories, Tools, and Experiments. Revised Selected Papers Presented at the 9th International Conference {VSTTE}},
  booktitle = {Verified Software: Theories, Tools, and Experiments. Revised Selected Papers Presented at the 9th International Conference {VSTTE}},
  month = dec,
  year = 2017,
  address = {Heidelberg, Germany},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VSTTE},
  editor = {Andrei Paskevich and Thomas Wies},
  series = {Lecture Notes in Computer Science},
  number = 10712,
  publisher = {Springer}
}

@proceedings{nfm16,
  booktitle = {8th NASA Formal Methods Symposium},
  address = {Minneapolis, MN, USA},
  audience = {internationale},
  year = 2016,
  month = jun,
  editor = {Rayadurgam, Sanjai and Tkachuk, Oksana},
  series = {Lecture Notes in Computer Science},
  volume = {9690},
  publisher = {Springer}
}