dailler.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc dailler.cite -ob dailler.bib -c 'author : "dailler"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@phdthesis{dailler15phd,
  hal = {http://www.theses.fr/2015ORLE2071},
  title = {Extension param\'etr\'ee de compilateur certifi\'e pour la programmation parall\`ele},
  author = {Dailler, Sylvain},
  year = 2015,
  type = {Th{\`e}se de Doctorat},
  school = {Universit\'e d'Orl\'eans}
}

@article{dailler18jlamp,
  topics = {team},
  title = {Instrumenting a Weakest Precondition Calculus for Counterexample Generation},
  author = {Dailler, Sylvain and Hauzar, David and March{\'e}, Claude and Moy, Yannick},
  hal = {https://hal.inria.fr/hal-01802488},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  publisher = {Elsevier},
  volume = 99,
  pages = {97--113},
  year = 2018,
  doi = {10.1016/j.jlamp.2018.05.003},
  keywords = {Deductive Program Verification ; Weakest Precondition Calculus ; Satisfiability Modulo Theories ; Counterexamples}
}

@inproceedings{dailler2018,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01936302},
  author = {Dailler, Sylvain and March{\'e}, Claude and Moy, Yannick},
  title = {Lightweight Interactive Proving inside an Automatic Program
                  Verifier},
  booktitle = {Proceedings of the Fourth Workshop on Formal Integrated
                  Development Environment, F-IDE, Oxford, UK,
                  July 14, 2018},
  year = {2018},
  doi = {10.4204/EPTCS.284.1}
}