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