2024-report.bib

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

@comment{{Command line: bib2bib -q -oc 2024-report.cite -ob 2024-report.bib -c 'year = 2024 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{cousineau24rr,
  topics = {team},
  title = {A Methodological Guide for the Validation of Logic Modelling of {Ladder} Instructions},
  author = {Cousineau, Denis and Inoue, Hiroaki and March{\'e}, Claude and Mentr{\'e}, David},
  hal = {https://inria.hal.science/hal-04487766},
  type = {Technical Report},
  number = 0522,
  institution = {Inria},
  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
}

@techreport{boyer24patent,
  topics = {team},
  title = {Method and system for converting an input computer program into an output computer program achieving a target global accuracy},
  author = {Boyer, Beno{\^i}t and Faissole, Florian and Melquiond, Guillaume},
  hal = {https://hal.science/hal-04872869},
  institution = {Patent number EP4235397},
  year = 2024
}