2020-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2020-journal.cite -ob 2020-journal.bib -c 'year = 2020 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{conchon20jar,
  topics = {team},
  title = {Parameterized Model Checking on the {TSO} Weak Memory Model},
  author = {Conchon, Sylvain and Declerck, David and Za{\"i}di, Fatiha},
  hal = {https://hal.inria.fr/hal-03149332},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer},
  volume = 64,
  number = 7,
  pages = {1307--1330},
  year = 2020
}

@article{galloiswong20na,
  topics = {team},
  title = {Optimal Inverse Projection of Floating-Point Addition},
  author = {Gallois-Wong, Diane and Boldo, Sylvie and Cuoq, Pascal},
  hal = {https://hal.inria.fr/hal-01939097},
  journal = {Numerical Algorithms},
  publisher = {Springer},
  volume = 83,
  number = 3,
  pages = {957--986},
  year = 2020,
  doi = {10.1007/s11075-019-00711-z}
}

@article{boldo20tc,
  topics = {team},
  title = {Emulating round-to-nearest ties-to-zero ''augmented'' floating-point operations using round-to-nearest ties-to-even arithmetic},
  author = {Boldo, Sylvie and Lauter, Christoph Q. and Muller, Jean-Michel},
  hal = {https://hal.archives-ouvertes.fr/hal-02137968},
  journal = {Transactions on Computers},
  publisher = {{IEEE} Comp. Soc. Press},
  year = 2020,
  doi = {10.1109/TC.2020.3002702},
  keywords = {Numerical reproducibility ; Floating-point arithmetic ; Numerical repro- ducibility ; Formal proof ; Rounding mode ; Error-free transforms ; Rounding error analysis}
}