2018-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2018-journal.cite -ob 2018-journal.bib -c 'year = 2018 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{clochard17jar,
topics = {team},
title = {The {Matrix} Reproved},
author = {Clochard, Martin and Gondelman, L{\'e}on and Pereira, M{\'a}rio},
hal = {https://hal.inria.fr/hal-01617437},
journal = {Journal of Automated Reasoning},
pages = {365--383},
volume = 60,
number = 3,
publisher = {Springer},
year = 2018,
doi = {10.1007/s10817-017-9436-2}
}
@article{dailler18jlamp,
topics = {team},
title = {Instrumenting a Weakest Precondition Calculus for Counterexample Generation},
author = {Dailler, Sylvain and Hauzar, David and March{\'e}, Claude and Moy, Yannick},
hal = {https://hal.inria.fr/hal-01802488},
journal = {Journal of Logical and Algebraic Methods in Programming},
publisher = {Elsevier},
volume = 99,
pages = {97--113},
year = 2018,
doi = {10.1016/j.jlamp.2018.05.003},
keywords = {Deductive Program Verification ; Weakest Precondition Calculus ; Satisfiability Modulo Theories ; Counterexamples}
}
@article{volkova18toc,
topics = {team},
title = {Towards Hardware {IIR} Filters Computing Just Right: Direct Form {I} Case Study},
author = {Volkova, Anastasia and Istoan, Matei and de Dinechin, Florent and Hilaire, Thibault},
hal = {https://hal.sorbonne-universite.fr/hal-01561052},
journal = {IEEE Transactions on Computers},
publisher = {Institute of Electrical and Electronics Engineers},
year = 2018,
keywords = {computer arithmetic ; fixed-point ; FPGA ; error analysis ; digital filters ; constant multiplication}
}