2019-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2019-conference.cite -ob 2019-conference.bib -c 'year = 2019 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inproceedings{rieuhelft19jfla,
  topics = {team},
  title = {Un m{\'e}canisme de preuve par r{\'e}flexion pour {Why3} et son application aux algorithmes de {GMP}},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-01943010},
  crossref = {jfla19}
}
@inproceedings{galloiswong19jfla,
  topics = {team},
  title = {Formalisation en {Coq} d'algorithmes de filtres num{\'e}riques},
  author = {Gallois-Wong, Diane},
  hal = {https://hal.inria.fr/hal-01929531},
  booktitle = {30{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  year = 2019,
  month = jan
}
@inproceedings{gospelfm19,
  topics = {team},
  crossref = {fm19},
  author = {Arthur Chargu\'eraud and Jean-Christophe Filli\^atre and Cl\'audio Belo Louren\c{c}o and M\'ario Pereira},
  title = {{GOSPEL} --- Providing {OCaml} with a Formal Specification Language},
  hal = {https://hal.inria.fr/hal-02157484}
}
@inproceedings{filliatre19jfla,
  author = {Jean-Christophe Filli\^atre},
  title = {Retour sur 25 ans de programmation avec {OCaml}},
  crossref = {jfla19},
  note = {S\'eminaire invit\'e},
  hal = {https://hal.inria.fr/hal-02406208},
  topics = {team, lri},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-support = {diffusion},
  x-invited-conference = {yes}
}
@inproceedings{filliatre17framacsparkday,
  author = {Jean-Christophe Filli\^atre},
  title = {The {Why3} tool for deductive verification and verified {OCaml} libraries},
  booktitle = {Frama-C \& SPARK Day 2019},
  year = 2019,
  month = jun,
  address = {Paris, France},
  note = {Invited talk},
  topics = {team, lri},
  type_publi = {colloque},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-invited-conference = {yes},
  x-international-audience = {yes}
}
@inproceedings{filliatre19ifm,
  author = {Jean-Christophe Filli\^atre},
  title = {Deductive Verification of {OCaml} Libraries},
  booktitle = {15th International Conference on integrated Formal Methods},
  year = 2019,
  month = dec,
  address = {Bergen, Norway},
  note = {Invited talk},
  topics = {team, lri},
  hal = {https://hal.inria.fr/hal-02406253},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-invited-conference = {yes},
  x-international-audience = {yes}
}
@inproceedings{becker19vstte,
  topics = {team},
  title = {Ghost Code in Action: Automated Verification of a Symbolic Interpreter},
  author = {Becker, Benedikt and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-02276257},
  booktitle = {Verified Software: Tools, Techniques and Experiments},
  address = {New York, United States},
  editor = {Supratik Chakraborty and Jorge A.Navas},
  series = {Lecture Notes in Computer Science},
  volume = 12031,
  year = 2019,
  month = jul,
  doi = {10.1007/978-3-030-41600-3_8}
}
@inproceedings{blot19jfla,
  topics = {team},
  title = {{SMTCoq}: automatisation expressive et extensible dans {Coq}},
  author = {Blot, Valentin and Bousalem, Amina and Garchery, Quentin and Keller, Chantal},
  hal = {https://hal.archives-ouvertes.fr/hal-02369249},
  crossref = {jfla19}
}
@inproceedings{melquiond19jfla,
  topics = {team},
  title = {Computer Arithmetic and Formal Proofs},
  author = {Melquiond, Guillaume},
  hal = {https://hal.inria.fr/hal-02013540},
  crossref = {jfla19}
}
@inproceedings{kawamura19tamc,
  topics = {team},
  title = {Second-Order Linear-Time Computability with Applications to Computable Analysis},
  author = {Kawamura, Akitoshi and Steinberg, Florian and Thies, Holger},
  hal = {https://hal.inria.fr/hal-02148490},
  booktitle = {15th Annual Conference Theory and Applications of Models of Computation},
  address = {Tokyo, Japan},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 11436,
  pages = {337--358},
  year = 2019,
  month = apr
}
@inproceedings{melquiond19arith,
  topics = {team},
  title = {Formal Verification of a State-of-the-Art Integer Square Root},
  author = {Melquiond, Guillaume and Rieu-Helft, Rapha\"el},
  hal = {https://hal.inria.fr/hal-02092970},
  booktitle = {Symposium on Computer Arithmetic},
  address = {Kyoto, Japan},
  pages = {183--186},
  year = 2019,
  month = jun
}
@inproceedings{conchon19icfem,
  topics = {team},
  hal = {https://hal.archives-ouvertes.fr/hal-02420588},
  author = {Sylvain Conchon and Mattias Roux},
  title = {Reasoning About Universal Cubes in {MCMT}},
  booktitle = {International Conference on Formal Engineering Methods},
  pages = {270--285},
  editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin},
  series = {Lecture Notes in Computer Science},
  volume = 11852,
  publisher = {Springer},
  year = 2019
}
@inproceedings{faissole19afadl,
  topics = {team},
  title = {{Formalisation en Coq des erreurs d'arrondi de m{\'e}thodes de Runge-Kutta pour les syst{\`e}mes matriciels}},
  author = {Faissole, Florian},
  hal = {https://hal.archives-ouvertes.fr/hal-02391924},
  booktitle = {AFADL 2019 - 18e journ{\'e}es Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels},
  address = {Toulouse, France},
  year = 2019,
  month = jun
}
@inproceedings{steinberg19itp,
  topics = {team},
  title = {{Quantitative continuity and Computable Analysis in Coq}},
  author = {Steinberg, Florian and Thies, Holger and Th{\'e}ry, Laurent},
  hal = {https://hal.archives-ouvertes.fr/hal-02426470},
  note = {The version accepted to the conference can be accessed at https://drops.dagstuhl.de/opus/volltexte/2019/11083/},
  booktitle = {{ITP 2019 - Tenth International Conference on Interactive Theorem Proving}},
  address = {Portland, United States},
  year = 2019,
  month = sep,
  doi = {10.4230/LIPIcs.ITP.2019.28},
  keywords = {Computable analysis ; Coq ; Contionuous functionals ; Discontinuity ; Closed choice on the natura},
  hal_id = {hal-02426470},
  hal_version = {v1}
}
@inproceedings{belo19formalise,
  topics = {team},
  title = {{A Generalized Program Verification Workflow Based on Loop Elimination and SA Form}},
  author = {Belo Louren\c{c}o, Cl{\'a}udio and Frade, Maria Jo{\~a}o and Sousa Pinto, Jorge},
  hal = {https://hal.inria.fr/hal-02431769},
  booktitle = {{FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering}},
  address = {Montreal, Canada},
  year = 2019,
  month = may,
  pdf = {https://hal.inria.fr/hal-02431769/file/main.pdf},
  hal_id = {hal-02431769},
  hal_version = {v1}
}
@inproceedings{hilaire19arith,
  topics = {team},
  title = {{Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers}},
  author = {Hilaire, Thibault and Ouzia, Hac{\`e}ne and Lopez, Benoit},
  hal = {https://hal.sorbonne-universite.fr/hal-02393851},
  booktitle = {{ARITH 2019 - IEEE 26th Symposium on Computer Arithmetic}},
  address = {Kyoto, Japan},
  publisher = {IEEE},
  pages = {175-182},
  year = 2019,
  month = jun,
  doi = {10.1109/ARITH.2019.00040},
  keywords = {fixed-point arithmetic ; word-length allocation},
  pdf = {https://hal.sorbonne-universite.fr/hal-02393851/file/arith.pdf},
  hal_id = {hal-02393851},
  hal_version = {v1}
}
@proceedings{jfla19,
  title = {Trenti\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Trenti\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Les Rousses, France},
  year = 2019,
  month = jan,
  editor = {Magaud, Nicolas and Dargaye, Zaynah},
  hal = {https://hal.archives-ouvertes.fr/hal-01985195v1}
}
@proceedings{fm19,
  title = {FM 2019 23rd International Symposium on Formal Methods},
  booktitle = {FM 2019 23rd International Symposium on Formal Methods},
  month = oct,
  year = 2019,
  address = {Porto, Portugal},
  editor = {Annabelle McIver and Maurice ter Beek}
}