rieuhelft.bib

@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib -oc rieuhelft.cite -ob rieuhelft.bib -c 'author : "Rieu-Helft"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
@inproceedings{rieuhelft16tapas,
  author = {Rapha{\"e}l Rieu-Helft and Pascal Cuoq},
  title = {Result graphs for an abstract interpretation-based static analyzer},
  booktitle = {7th Workshop on Tools for Automatic Program Analysis},
  year = 2016
}
@inproceedings{rieuhelft17jfla,
  topics = {team},
  title = {Result graphs for an abstract interpretation-based static analyzer},
  author = {Rapha{\"e}l Rieu-Helft and Pascal Cuoq},
  crossref = {jfla17}
}
@inproceedings{rieuhelft17vstte,
  topics = {team},
  title = {How to Get an Efficient yet Verified Arbitrary-Precision Integer Library},
  author = {Rieu-Helft, Rapha{\"e}l and March{\'e}, Claude and Melquiond, Guillaume},
  hal = {https://hal.inria.fr/hal-01519732},
  booktitle = {9th Working Conference on Verified Software: Theories, Tools, and Experiments},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  volume = 10712,
  year = 2017,
  month = jul,
  pages = {84--101},
  doi = {10.1007/978-3-319-72308-2_6},
  keywords = {arbitrary-precision arithmetic ; deductive program verification ; C language ; Why3 program verifier},
  pdf = {https://hal.inria.fr/hal-01519732/file/main.pdf}
}
@inproceedings{rieuhelft18jfla,
  topics = {team},
  crossref = {jfla18},
  title = {{Un m{\'e}canisme d'extraction vers C pour Why3}},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-01653153},
  pdf = {https://hal.inria.fr/hal-01653153/file/main.pdf},
  hal_id = {hal-01653153},
  hal_version = {v1}
}
@inproceedings{melquiond18ijcar,
  topics = {team},
  title = {A {Why3} Framework for Reflection Proofs and its Application to {GMP}'s Algorithms},
  author = {Melquiond, Guillaume and Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-01699754},
  booktitle = {9th International Joint Conference on Automated Reasoning},
  address = {Oxford, United Kingdom},
  editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  series = {Lecture Notes in Computer Science},
  year = 2018,
  month = jul
}
@inproceedings{rieuhelft19jfla,
  topics = {team},
  title = {Un m{\'e}canisme de preuve par r{\'e}flexion pour {Why3} et son application aux algorithmes de {GMP}},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-01943010},
  booktitle = {30{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  year = 2019,
  month = jan
}
@proceedings{jfla17,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01662072},
  title = {Journ\'ees Francophones des Langages Applicatifs},
  editor = {Boldo, Sylvie and Signoles, Julien},
  year = 2017,
  booktitle = {Vingt-huiti\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Gourette, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}
@proceedings{jfla18,
  topics = {team},
  title = {Vingt-neuvi\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Vingt-neuvi\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Banyuls-sur-mer, France},
  year = 2018,
  month = jan,
  editor = {Boldo, Sylvie and Magaud, Nicolas},
  hal = {https://hal.inria.fr/hal-01707376}
}