2018-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2018-other.cite -ob 2018-other.bib -c 'year = 2018 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@unpublished{galloiswong18calculemus,
  topics = {team},
  title = {{A Coq formalization of digital filters}},
  author = {Gallois-Wong, Diane and Boldo, Sylvie and Hilaire, Thibault},
  hal = {https://hal.inria.fr/hal-01728828},
  booktitle = {{CICM 2018 - 11th Conference on Intelligent Computer Mathematics}},
  address = {Hagenberg, Austria},
  editor = {Florian Rabe and William M. Farmer and Grant O. Passmore and Abdou Youssef},
  series = {Intelligent Computer Mathematics},
  pages = {87--103},
  year = {2018},
  month = aug,
  doi = {10.1007/978-3-319-96812-4\_8},
  pdf = {https://hal.inria.fr/hal-01728828/file/CICM18.pdf}
}

@unpublished{jaloyan18,
  topics = {team},
  title = {Verification of Programs with Pointers in {SPARK}},
  author = {Jaloyan, Georges-Axel and Dross, Claire and Maalej, Maroua and Moy, Yannick and Paskevich, Andrei},
  hal = {https://hal.inria.fr/hal-01936105},
  note = {working paper \url{https://hal.inria.fr/hal-01936105}},
  year = 2018,
  month = nov
}

@unpublished{volkova18a,
  topics = {team},
  title = {Arithmetic approaches for rigorous design of reliable Fixed-Point {LTI} filters},
  author = {Volkova, Anastasia and Hilaire, Thibault and Lauter, Christoph},
  hal = {https://hal.archives-ouvertes.fr/hal-01918650},
  note = {working paper or preprint},
  year = 2018,
  month = nov,
  keywords = {Eigendecomposition ; Gershgorin circles ; Reliable Computations ; Floating-Point Arithmetic ; Digital Filters ; Interval Arithmetic ; Multiple Precision ; Fixed-Point Arithmetic ; Table Maker's Dilemma}
}

@misc{filliatre18msp,
  author = {Jean-Christophe Filli\^atre},
  title = {An Introduction to Deductive Program Verification},
  howpublished = {Mathematical Summer in Paris (summer school)},
  year = 2018,
  month = jul,
  note = {Cours invit\'e},
  topics = {team, lri},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-support = {diffusion},
  x-international-audience = {yes},
  x-invited-conference = {yes}
}

@misc{filliatre18sem-pour-tous,
  author = {Jean-Christophe Filli\^atre},
  title = {Parcours d'un informaticien},
  howpublished = {S\'eminaire Info Pour Tous},
  url = {https://www.youtube.com/watch?v=LPvZqZV5LKA},
  year = 2018,
  month = sep,
  address = {Paris, France},
  note = {S\'eminaire invit\'e},
  topics = {team, lri},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-support = {diffusion},
  x-invited-conference = {yes}
}

@proceedings{jfla18,
  topics = {team},
  title = {Vingt-neuvi\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Vingt-neuvi\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Banyuls-sur-mer, France},
  year = 2018,
  month = jan,
  editor = {Boldo, Sylvie and Magaud, Nicolas},
  hal = {https://hal.inria.fr/hal-01707376}
}