2022-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2022-journal.cite -ob 2022-journal.bib -c 'year = 2022 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{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}
}

@article{belo22sttt,
  topics = {team},
  title = {Automated Formal Analysis of Temporal Properties of {Ladder} Programs},
  author = {Belo Louren{\c c}o, Cl{\'a}udio and Cousineau, Denis and Faissole, Florian and March{\'e}, Claude and Mentr{\'e}, David and Inoue, Hiroaki},
  hal = {https://hal.inria.fr/hal-03737869},
  journal = {International Journal on Software Tools for Technology Transfer},
  publisher = {Springer},
  year = 2022,
  pages = {977--997},
  volume = 24,
  number = 6,
  doi = {10.1007/s10009-022-00680-0},
  keywords = {Ladder language for programming PLCs ; Timing charts ; Formal specification ; Deductive verification ; Why3 environment}
}

@article{becker22sttt,
  topics = {team},
  title = {The {CoLiS} Platform for the Analysis of Maintainer Scripts in {Debian} Software Packages},
  author = {Becker, Benedikt and Jeannerod, Nicolas and March{\'e}, Claude and R{\'e}gis-Gianas, Yann and Sighireanu, Mihaela and Treinen, Ralf},
  hal = {https://hal.inria.fr/hal-03737886},
  journal = {International Journal on Software Tools for Technology Transfer},
  publisher = {Springer},
  year = 2022
}

@article{boldo22jar,
  topics = {team},
  title = {A {Coq} Formalization of {Lebesgue} Integration of Nonnegative Functions},
  author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Faissole, Florian and Martin, Vincent and Mayero, Micaela},
  hal = {https://hal.inria.fr/hal-03471095},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer},
  volume = 66,
  pages = {175--213},
  year = 2022,
  doi = {10.1007/s10817-021-09612-0}
}