becker.bib

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

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

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

@techreport{becker19tr,
  topics = {team},
  title = {Revision 2 of {CoLiS} language: formal syntax, semantics, concrete and symbolic interpreters},
  author = {Becker, Benedikt and March{\'e}, Claude and Jeannerod, Nicolas and Treinen, Ralf},
  hal = {https://hal.inria.fr/hal-02321743},
  type = {Technical Report},
  institution = {HAL Archives Ouvertes},
  year = 2019,
  month = oct
}

@techreport{becker20rr,
  topics = {team},
  title = {Rapport d'avancement sur la v{\'e}rification formelle des algorithmes de {ParcourSup}},
  author = {Becker, Benedikt and Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-02447409},
  type = {Technical Report},
  institution = {Universit{\'e} Paris-Saclay},
  year = 2020,
  month = jan
}

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

@techreport{becker21rr,
  topics = {team},
  title = {Giant-step Semantics for the Categorisation of Counterexamples},
  author = {Becker, Benedikt and Belo Louren\c{c}o, Cl{\'a}udio and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-03213438},
  type = {Research Report},
  number = {RR-9407},
  institution = {Inria},
  year = 2021,
  month = apr
}

@inproceedings{becker21fide,
  topics = {team},
  title = {Explaining Counterexamples with Giant-Step Assertion Checking},
  author = {Becker, Benedikt and Belo Louren\c{c}o, Cl{\'a}udio and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-03217393},
  booktitle = {6th Workshop on Formal Integrated Development Environments (F-IDE 2021)},
  editor = {Creissac Campos, Jos{\'e} and Paskevich, Andrei},
  series = {Electronic Proceedings in Theoretical Computer Science},
  doi = {10.4204/EPTCS.338.10},
  year = 2021,
  month = may
}

@article{becker22sttt,
  topics = {team},
  title = {The {CoLiS} Platform for the Analysis of Maintainer Scripts in {Debian} Software 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.inria.fr/hal-03737886},
  journal = {International Journal on Software Tools for Technology Transfer},
  publisher = {Springer},
  year = 2022
}