lourenco.bib

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

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

@article{lourenco15eceasst,
  author = {Cl{\'{a}}udio Belo Louren{\c{c}}o and
               Si{-}Mohamed Lamraoui and
               Shin Nakajima and
               Jorge Sousa Pinto},
  title = {Studying Verification Conditions for Imperative Programs},
  journal = {Electronic Communication of the European Association of Software Science and Technology},
  volume = 72,
  year = 2015,
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1011}
}

@inproceedings{belo16esop,
  author = {Belo Louren{\c{c}}o, Cl{\'a}udio
and Frade, Maria Jo{\~a}o
and Sousa Pinto, Jorge},
  editor = {Thiemann, Peter},
  title = {Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach},
  booktitle = {25th European Symposium on Programming},
  year = 2016,
  publisher = {Springer},
  pages = {41--67},
  isbn = {978-3-662-49498-1},
  doi = {10.1007/978-3-662-49498-1_3},
  url = {http://dx.doi.org/10.1007/978-3-662-49498-1_3}
}

@inproceedings{gospelfm19,
  topics = {team},
  crossref = {fm19},
  author = {Arthur Chargu\'eraud and Jean-Christophe Filli\^atre and Cl\'audio Belo Louren\c{c}o and M\'ario Pereira},
  title = {{GOSPEL} --- Providing {OCaml} with a Formal Specification Language},
  hal = {https://hal.inria.fr/hal-02157484}
}

@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{belo19formalise,
  topics = {team},
  title = {{A Generalized Program Verification Workflow Based on Loop Elimination and SA Form}},
  author = {Belo Louren\c{c}o, Cl{\'a}udio and Frade, Maria Jo{\~a}o and Sousa Pinto, Jorge},
  hal = {https://hal.inria.fr/hal-02431769},
  booktitle = {{FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering}},
  address = {Montreal, Canada},
  year = 2019,
  month = may,
  pdf = {https://hal.inria.fr/hal-02431769/file/main.pdf},
  hal_id = {hal-02431769},
  hal_version = {v1}
}

@techreport{belo21rr,
  topics = {team},
  title = {Formal Analysis of {Ladder} Programs using Deductive Verification},
  author = {Belo Louren\c{c}o, Cl{\'a}udio and Cousineau, Denis and Faissole, Florian and March{\'e}, Claude and Mentr{\'e}, David and Inoue, Hiroaki},
  hal = {https://hal.inria.fr/hal-03199464},
  type = {Research Report},
  number = {RR-9402},
  institution = {Inria},
  year = 2021,
  month = apr
}

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

@proceedings{fm19,
  title = {FM 2019 23rd International Symposium on Formal Methods},
  booktitle = {FM 2019 23rd International Symposium on Formal Methods},
  month = oct,
  year = 2019,
  address = {Porto, Portugal},
  editor = {Annabelle McIver and Maurice ter Beek}
}