salemknapp.bib

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

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

@inproceedings{weens21nsv,
  topics = {team},
  title = {Modeling round-off errors in hydrodynamic simulations},
  author = {Weens, William and Vazquez-Gonzalez, Thibaud and Ben Salem-Knapp, Louise},
  hal = {https://hal.inria.fr/hal-03351754},
  booktitle = {14th International Workshop on Numerical Software Verification},
  year = 2021
}

@inproceedings{bensalemknapp21afadl,
  topics = {team},
  title = {La double pr{\'e}cision suffit-elle {\`a} l'exascale ?},
  author = {Ben Salem-Knapp, Louise and Vazquez-Gonzalez, Thibaud and Weens, William},
  hal = {https://hal.inria.fr/hal-03351615},
  booktitle = {20{\`e}mes journ{\'e}es Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels},
  year = 2021
}

@article{bensalemknapp22tetc,
  topics = {team},
  title = {Bounding the Round-Off Error of the Upwind Scheme for Advection},
  author = {Ben Salem-Knapp, Louise and Boldo, Sylvie and Weens, William},
  hal = {https://hal.inria.fr/hal-03329933},
  journal = {IEEE Transactions on Emerging Topics in Computing},
  publisher = {IEEE},
  volume = 10,
  number = 3,
  year = 2022,
  doi = {10.1109/TETC.2022.3191472},
  keywords = {Round-off error ; Floating-Point ; Numerical Scheme ; Advection ; Hydrodynamics}
}