| 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 | 18 | 2003 |
| LLVM-Based Code Generation for B R Bonichon, D Déharbe, T Lecomte, V Medeiros Jr Formal Methods: Foundations and Applications, 1-16, 2015 | 11 | 2015 |
| 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 | 7 | 2003 |
| 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 | 6 | 2015 |
| Proposal: translation of B implementations to LLVM-IR D Déharbe, V Medeiros Jr Brazilian Symposium on Formal Methods, 2013 | 5 | 2013 |
| 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 | 5 | 2008 |
| 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 | 5 | 2007 |
| 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 | 5 | 2001 |
| Especificação do micronúcleo FreeRTOS utilizando o método B SSL Galvão Universidade Federal do Rio Grande do Norte, 2011 | 4 | 2011 |
| Formal modelling of a microcontroller instruction set in b V Medeiros, D Déharbe Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009 | 4 | 2009 |
| Of dwellings and streets that connect: a brief honey-moon E Trigueiro, V Medeiros UFMG/UFOP, 2007 | 4 | 2007 |
| 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 | 3 | 2019 |
| 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 | 3 | 2010 |
| 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 | 1 | 2008 |
| 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 | 1 | 2008 |
| 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 |
| Aplicação do método B ao projeto formal de software embarcado VG Medeiros Júnior Universidade Federal do Rio Grande do Norte, 2009 | | 2009 |
David DeharbeCLEARSYDirección de correo verificada de clearsy.com
