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