Verified Compilation and the B Method: A Proposal and a First Appraisal. - Bartira Dantas; David Déharbe; Stephenson Galvão; Anamaria Martins Moreira; Valério Medeiros Júnior (SBMF, 2008)

Formal Modelling of a Microcontroller Instruction Set in B. - Valério Medeiros Júnior; David Déharbe (SBMF, 2009)

BEval: A Plug-in to Extend Atelier B with Current Verification Technologies. - Valério Medeiros Júnior; David Déharbe (LAFM, 2013)

LLVM-Based Code Generation for B. - Richard Bonichon; David Déharbe; Thierry Lecomte; Valério Medeiros Jr. (SBMF, 2014)

BTestBox: A Tool for Testing B Translators and Coverage of B Models. - Diego de Azevedo Oliveira; Valério Medeiros Jr.; David Déharbe; Martin A. Musicante (TAP@FM, 2019)