2020-conference.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2020-conference.cite -ob 2020-conference.bib -c 'year = 2020 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{clochard20popl,
topics = {team},
title = {Deductive Verification with Ghost Monitors},
author = {Clochard, Martin and March\'e, Claude and Paskevich, Andrei},
hal = {https://hal.inria.fr/hal-02368284},
booktitle = {Principles of Programming Languages},
address = {New Orleans, United States},
year = 2020,
doi = {10.1145/3371070}
}
@inproceedings{filliatre20jfla,
topics = {team},
author = {Jean-Christophe Filli\^atre},
title = {Mesurer la hauteur d'un arbre},
crossref = {jfla20},
topics = {team},
note = {\url{https://usr.lmf.cnrs.fr/~jcf/hauteur/}},
x-slides = {https://usr.lmf.cnrs.fr/~jcf/hauteur/pres-hauteur.pdf},
hal = {https://hal.inria.fr/hal-02315541}
}
@inproceedings{garchery20jfla,
topics = {team},
title = {Des transformations logiques passent leur certicat},
author = {Garchery, Quentin and Keller, Chantal and March{\'e}, Claude and Paskevich, Andrei},
hal = {https://hal.inria.fr/hal-02384946},
crossref = {jfla20}
}
@inproceedings{paskevich20isola,
author = {Jean-Christophe Filli\^atre and Andrei Paskevich},
title = {Abstraction and Genericity in {Why3}},
booktitle = {9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
month = oct,
year = 2020,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 12476,
pages = {122--142},
editor = {Tiziana Margaria and Bernhard Steffen},
address = {Rhodes, Greece},
topics = {team},
note = {See also \url{https://usr.lmf.cnrs.fr/~jcf/isola-2020/}},
hal = {https://hal.inria.fr/hal-02696246}
}
@inproceedings{filliatre20coqworkshop,
author = {Jean-Christophe Filli\^atre},
title = {A {Coq} retrospective - at the heart of {Coq} architecture, the genesis of version 7.0},
booktitle = {The Coq Workshop 2020},
year = 2020,
month = {July},
address = {virtual},
note = {Invited talk},
topics = {team, lri},
type_publi = {icolcomlec},
x-equipes = {demons PROVAL},
x-type = {invitation},
x-invited-conference = {yes},
x-international-audience = {yes},
hal = {https://hal.inria.fr/hal-02890460},
url = {https://www.youtube.com/watch?v=tROOcO44Uho#t=64.5m}
}
@inproceedings{becker20tacas,
topics = {team},
title = {Analysing installation scenarios of {Debian} 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.archives-ouvertes.fr/hal-02355602},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
series = {Lecture Notes in Computer Science},
volume = 12079,
pages = {235--253},
year = 2020,
doi = {10.1007/978-3-030-45237-7_14}
}
@inproceedings{diverio20vtltc,
topics = {team},
title = {``{You-Know-Why}'': an Early-Stage Prototype of a Key Server Developed using {Why3}},
author = {Diverio, Diego and Belo Louren\c{c}o, Cl{\'a}udio and March{\'e}, Claude},
hal = {https://hal.inria.fr/hal-03002187},
booktitle = {VerifyThis Long-term Challenge 2020: Proceedings of the Online-Event},
address = {Dublin, Ireland},
publisher = {Karlsruhe Institute of Technology},
pages = {4--7},
year = 2020,
month = apr,
doi = {10.5445/IR/1000119426}
}
@inproceedings{melquiond20issac,
topics = {team},
title = {{WhyMP}, a Formally Verified Arbitrary-Precision Integer Library},
author = {Melquiond, Guillaume and Rieu-Helft, Rapha{\"e}l},
hal = {https://hal.inria.fr/hal-02566654},
booktitle = {45th International Symposium on Symbolic and Algebraic Computation (ISSAC)},
pages = {352--359},
year = 2020,
doi = {10.1145/3373207.3404029},
keywords = {Integer arithmetic ; Deductive program verification ; Mathematical library}
}
@inproceedings{boldo20arith,
topics = {team},
title = {A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm},
author = {Boldo, Sylvie and Gallois-Wong, Diane and Hilaire, Thibault},
hal = {https://hal.inria.fr/hal-02982017},
booktitle = {27th IEEE Symposium on Computer Arithmetic (ARITH)},
publisher = {IEEE},
pages = {9--16},
year = 2020,
doi = {10.1109/ARITH48897.2020.00011},
keywords = {Dot Product ; Sum-of-Products ; Correct Round- ing ; Odd Rounding ; Fixed-Point Arithmetic}
}
@inproceedings{lecomte20erts,
topics = {team},
title = {Low Cost High Integrity Platform},
author = {Lecomte, Thierry and D{\'e}harbe, David and Sabatier, Denis and Prun, Etienne and P{\'e}ronne, Patrick and Chailloux, Emmanuel and Varoumas, Steven and Susungi, Adilla and Conchon, Sylvain},
hal = {https://hal.archives-ouvertes.fr/hal-02446132},
booktitle = {10th European Congress on Embedded Real Time Systems (ERTS)},
address = {Toulouse, France},
year = 2020,
keywords = {Safety ; Certification ; Formal methods}
}
@inproceedings{jaloyan20icfem,
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-03094566},
booktitle = {Formal Methods and Software Engineering (ICFEM)},
pages = {55--72},
year = 2020,
doi = {10.1007/978-3-030-63406-3\_4}
}
@proceedings{jfla20,
title = {Trente-et-uni\`emes Journ\'ees Francophones des Langages Applicatifs},
booktitle = {Trente-et-uni\`emes Journ{\'e}es Francophones des Langages Applicatifs},
address = {Gruissan, France},
year = 2020,
month = jan,
editor = {Dargaye, Zaynah and R\'egis-Gianas, Yann}
}