BibTeX records: Valério Medeiros Júnior

• > Home > Persons > Valério Medeiros Júnior

@inproceedings{DBLP:conf/tap/OliveiraMDM19,
  author       = {Diego de Azevedo Oliveira and
                  Val{\'{e}}rio Medeiros Jr. and
                  David D{\'{e}}harbe and
                  Martin A. Musicante},
  editor       = {Dirk Beyer and
                  Chantal Keller},
  title        = {BTestBox: {A} Tool for Testing {B} Translators and Coverage of {B}
                  Models},
  booktitle    = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
                  Portugal, October 9-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11823},
  pages        = {83--92},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31157-5\_6},
  doi          = {10.1007/978-3-030-31157-5\_6},
  timestamp    = {Tue, 23 Jun 2020 17:50:04 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/OliveiraMDM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/BonichonDLM14,
  author       = {Richard Bonichon and
                  David D{\'{e}}harbe and
                  Thierry Lecomte and
                  Val{\'{e}}rio Medeiros Jr.},
  editor       = {Christiano Braga and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {LLVM-Based Code Generation for {B}},
  booktitle    = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
                  {SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8941},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15075-8\_1},
  doi          = {10.1007/978-3-319-15075-8\_1},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/BonichonDLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/JuniorD14,
  author       = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
                  David D{\'{e}}harbe},
  editor       = {Nazareno Aguirre and
                  Leila Ribeiro},
  title        = {BEval: {A} Plug-in to Extend Atelier {B} with Current Verification
                  Technologies},
  booktitle    = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
                  2013, Buenos Aires, Argentina, August 26th 2013},
  series       = {{EPTCS}},
  volume       = {139},
  pages        = {53--58},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.139.5},
  doi          = {10.4204/EPTCS.139.5},
  timestamp    = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/JuniorD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/JuniorD09,
  author       = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
                  David D{\'{e}}harbe},
  editor       = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
                  Jim Woodcock},
  title        = {Formal Modelling of a Microcontroller Instruction Set in {B}},
  booktitle    = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
                  on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5902},
  pages        = {282--289},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10452-7\_19},
  doi          = {10.1007/978-3-642-10452-7\_19},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/JuniorD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DantasDGMJ09,
  author       = {Bartira Dantas and
                  David D{\'{e}}harbe and
                  Stephenson Galv{\~{a}}o and
                  Anamaria Martins Moreira and
                  Val{\'{e}}rio Medeiros J{\'{u}}nior},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Verified Compilation and the {B} Method: {A} Proposal and a First
                  Appraisal},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {79--96},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.046},
  doi          = {10.1016/J.ENTCS.2009.05.046},
  timestamp    = {Thu, 09 Mar 2023 13:31:46 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DantasDGMJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}