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}
}