BibTeX records: Léon Gondelman

download as .bib file

@inproceedings{DBLP:conf/esop/FruminGK19,
  author    = {Dan Frumin and
               L{\'{e}}on Gondelman and
               Robbert Krebbers},
  editor    = {Lu{\'{\i}}s Caires},
  title     = {Semi-automated Reasoning About Non-determinism in {C} Expressions},
  booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
               {ESOP} 2019, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
               6-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11423},
  pages     = {60--87},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17184-1\_3},
  doi       = {10.1007/978-3-030-17184-1\_3},
  timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
  biburl    = {https://dblp.org/rec/conf/esop/FruminGK19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01009,
  author    = {Marko C. J. D. van Eekelen and
               Daniil Frumin and
               Herman Geuvers and
               L{\'{e}}on Gondelman and
               Robbert Krebbers and
               Marc Schoolderman and
               Sjaak Smetsers and
               Freek Verbeek and
               Beno{\^{\i}}t Viguier and
               Freek Wiedijk},
  title     = {A benchmark for {C} program verification},
  journal   = {CoRR},
  volume    = {abs/1904.01009},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.01009},
  archivePrefix = {arXiv},
  eprint    = {1904.01009},
  timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1904-01009.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ClochardGP18,
  author    = {Martin Clochard and
               L{\'{e}}on Gondelman and
               M{\'{a}}rio Pereira},
  title     = {The Matrix Reproved (Verification Pearl)},
  journal   = {J. Autom. Reasoning},
  volume    = {60},
  number    = {3},
  pages     = {365--383},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10817-017-9436-2},
  doi       = {10.1007/s10817-017-9436-2},
  timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jar/ClochardGP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/FruminGGW18,
  author    = {Dan Frumin and
               Herman Geuvers and
               L{\'{e}}on Gondelman and
               Niels van der Weide},
  editor    = {June Andronick and
               Amy P. Felty},
  title     = {Finite sets in homotopy type theory},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
               8-9, 2018},
  pages     = {201--214},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3167085},
  doi       = {10.1145/3167085},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cpp/FruminGGW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Gondelman16,
  author    = {L{\'{e}}on Gondelman},
  title     = {Un syst{\`{e}}me de types pragmatique pour la v{\'{e}}rification
               d{\'{e}}ductive des programmes. {(} {A} Pragmatic Type System
               for Deductive Verification)},
  school    = {University of Paris-Saclay, France},
  year      = {2016},
  url       = {https://tel.archives-ouvertes.fr/tel-01533090},
  timestamp = {Thu, 19 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Gondelman16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FilliatreGP16,
  author    = {Jean{-}Christophe Filli{\^{a}}tre and
               L{\'{e}}on Gondelman and
               Andrei Paskevich},
  title     = {The spirit of ghost code},
  journal   = {Formal Methods in System Design},
  volume    = {48},
  number    = {3},
  pages     = {152--174},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10703-016-0243-x},
  doi       = {10.1007/s10703-016-0243-x},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fmsd/FilliatreGP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ClochardGP16,
  author    = {Martin Clochard and
               L{\'{e}}on Gondelman and
               M{\'{a}}rio Pereira},
  editor    = {Sandrine Blazy and
               Marsha Chechik},
  title     = {The Matrix Reproved (Verification Pearl)},
  booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International
               Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9971},
  pages     = {107--118},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48869-1\_8},
  doi       = {10.1007/978-3-319-48869-1\_8},
  timestamp = {Wed, 25 Sep 2019 18:03:08 +0200},
  biburl    = {https://dblp.org/rec/conf/vstte/ClochardGP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FilliatreGP14,
  author    = {Jean{-}Christophe Filli{\^{a}}tre and
               L{\'{e}}on Gondelman and
               Andrei Paskevich},
  editor    = {Armin Biere and
               Roderick Bloem},
  title     = {The Spirit of Ghost Code},
  booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8559},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9\_1},
  doi       = {10.1007/978-3-319-08867-9\_1},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/FilliatreGP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics