Follow
Valério Medeiros Jr.
Valério Medeiros Jr.
Professor of Information Systems, Federal Institute of Education Science and Technology of RN
Verified email at ifrn.edu.br - Homepage
Title
Cited by
Cited by
Year
Marginal heritage: Studying effects of change in spatial integration over land-use patterns and architectural conservation in the old town centre of Natal, Brazil
E Trigueiro, V Medeiros
4th International Space Syntax Symposium 20, 1-20, 2003
182003
LLVM-Based Code Generation for B
R Bonichon, D Déharbe, T Lecomte, V Medeiros Jr
Formal Methods: Foundations and Applications, 1-16, 2015
112015
From compact colonial villages to sparse metropolis: Investigating grid integration, compactness and form of the integration core in Brazilian cities
V Medeiros, F Holanda, E Trigueiro
Proceedings 4th International Space Syntax Symposium, 17-19, 2003
72003
Verifying code generation tools for the B-method using tests: a case study
AM Moreira, C Hentz, D Déharbe, ECB de Matos, JBS Neto, ...
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015
62015
Proposal: translation of B implementations to LLVM-IR
D Déharbe, V Medeiros Jr
Brazilian Symposium on Formal Methods, 2013
52013
Applying the B method to take on the grand challenge of verified compilation
B Dantas, D Déharbe, SL Galvao, AM Moreira, VG Medeiros Jr
Brazilian Symposium on Formal Methods, Salvador-BA, 2008
52008
A Ferramenta Batcave para a Verificaçãao de Especificações Formais na Notaçcao B
E Marinho, V Medeiros, D Déharbe, B Gomes, C Tavares
XIV Sessão de Ferramentas–XXI SBES, 2007
52007
Disneyfication now? assessing spatial correlates for heritage preservation in Natal, Brazil
E Trigueiro, I Rufino, V Medeiros, A Cavalcanti, G Moura, M Pinheiro, ...
University of Michigan, A. Alfred Taubman College of Architecture and Urban …, 2001
52001
Especificação do micronúcleo FreeRTOS utilizando o método B
SSL Galvão
Universidade Federal do Rio Grande do Norte, 2011
42011
Formal modelling of a microcontroller instruction set in b
V Medeiros, D Déharbe
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009
42009
Formal modelling of a microcontroller instruction set in b
V Medeiros, D Déharbe
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009
42009
Of dwellings and streets that connect: a brief honey-moon
E Trigueiro, V Medeiros
UFMG/UFOP, 2007
42007
BTestBox: A Tool for Testing B Translators and Coverage of B Models
D de Azevedo Oliveira, V Medeiros, D Déharbe, MA Musicante
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019
32019
Integrating SMT-solvers in Z and B Tools
AC Gurgel, VG de Medeiros Jr, MVM Oliveira, DBP Déharbe
International Conference on Abstract State Machines, Alloy, B and Z, 412-413, 2010
32010
Verified compilation based on the B method: an initial appraisal (extended version)
B Dantas, D Déharbe, S Galvão, VM Júnior, AM Moreira
Technical Report UFRN-DIMAp-2008-101-RT, UFRN-DIMAp, 2008
12008
Modelagem de micro controladores em b
V Medeiros Jr, S Galvão, D Deharbe
Anais do VIII Encontro Regional de Matemática Aplicada e Computacional (ERMAC) 1, 2008
12008
Método B e a síntese verificada para código de montagem
VG Medeiros Júnior
Brasil, 2016
2016
LLVM-Based Code Generation for B
V Medeiros Jr
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF …, 2015
2015
Aplicação do ácido abscísico em frutos de tomateiro (cv. micro-tom): efeitos sobre o perfil de compostos voláteis
VG Medeiros, BL Gomes, E Purgatto
Resumos, 2015
2015
BEval: A plug-in to extend Atelier B with current verification technologies
V Medeiros Jr, D Déharbe
arXiv preprint arXiv:1401.0972, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20