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