bonnot.bib

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

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

@techreport{bonnot23rr,
  topics = {team},
  author = {Bonnot, Paul and Boyer, Beno\^it and Faissole, Florian and March\'e, Claude and
  Rieu-Helft, Rapha\"el},
  title = {Formally Verified Bounds on Rounding Errors in Concrete Implementations of Logarithm-Sum-Exponential Functions},
  institution = {Inria},
  type = {Research Report},
  number = 9531,
  year = 2023,
  hal = {https://inria.hal.science/hal-04343157}
}

@inproceedings{bonnot24fmcad,
  topics = {team},
  title = {Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function},
  author = {Bonnot, Paul and Boyer, Beno{\^i}t and Faissole, Florian and March{\'e}, Claude and Rieu-Helft, Rapha{\"e}l},
  hal = {https://inria.hal.science/hal-04674600},
  booktitle = {Formal Methods in Computer-Aided Design},
  publisher = {IEEE},
  year = 2024
}

@techreport{bonnot24rr,
  topics = {team},
  title = {Generating and Certifying Accuracy Properties of Floating-Point Programs},
  author = {Bonnot, Paul and Boyer, Beno{\^i}t and Faissole, Florian and March{\'e}, Claude},
  hal = {https://inria.hal.science/hal-04820735},
  number = {RR-9564},
  institution = {Inria},
  year = 2024
}

@unpublished{bonnot25pre,
  topics = {team},
  title = {Formally Verified Roundoff Error Bounds on LogSumExp-based Computations},
  author = {Bonnot, Paul and Boyer, Beno{\^i}t and Faissole, Florian and March{\'e}, Claude and Rieu-Helft, Rapha{\"e}l},
  hal = {https://inria.hal.science/hal-04991131},
  note = {working paper},
  year = {2025}
}