| Formalizing freertos: First steps D Déharbe, S Galvao, AM Moreira Brazilian Symposium on Formal Methods, 101-117, 2009 | 36 | 2009 |
| Developing Java card applications with B BEG Gomes, AM Moreira, D Déharbe Electronic Notes in Theoretical Computer Science 184, 81-96, 2007 | 17 | 2007 |
| Using induction and BDDs to model check invariants D Déharbe, AM Moreira Advances in Hardware Design and Verification, 203-213, 1997 | 16 | 1997 |
| A cache-based parallel genetic algorithm for the bdd variable ordering problem US Costa, AM Moreira, D Déharbe Proc. of SBAC-PAD, 99-104, 2000 | 14 | 2000 |
| Variable ordering of bdds with parallel genetic algorithms US Costa, D Déharbe, AM Moreira Proceedings of PDPTA’2000, 2000 | 13 | 2000 |
| Automation of Java Card component development using the B method D Déharbe, BG Gomes, AM Moreira 11th IEEE International Conference on Engineering of Complex Computer …, 2006 | 12 | 2006 |
| BETA: AB based testing approach ECB de Matos, AM Moreira Brazilian Symposium on Formal Methods, 51-66, 2012 | 11 | 2012 |
| Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. D Deharbe, AM Moreira, L Ribeiro, VM Rodrigues RITA 7 (1), 7-48, 2000 | 9 | 2000 |
| Applying the B method for the rigorous development of smart card applications B Gomes, D Déharbe, A Moreira, K Moraes International Conference on Abstract State Machines, Alloy, B and Z, 203-216, 2010 | 8 | 2010 |
| Manipulating Algebraic Specifications with Term-based and Graph-based Representations A Martins Moreira, C Ringeissen, D Déharbe, G Lima | 8* | 2002 |
| Advances in bdd reduction using parallel genetic algorithms US Costa, AM Moreira, D Déharbe, L Nova | 8 | 2001 |
| Semantic web services testing: A systematic mapping study JB de Souza Neto, AM Moreira, MA Musicante Computer Science Review 28, 140-156, 2018 | 7 | 2018 |
| Application of a syntax-based testing method and tool to software product lines AM Moreira, C Hentz, V de Menezes Ramalho 7th Brazilian Workshop on Systematic and Automated Software Testing, SAST 2013, 2013 | 7 | 2013 |
| Specification and runtime verification of Java Card programs US da Costa, AM Moreira, MA Musicante, PAS Neto Electronic Notes in Theoretical Computer Science 240, 61-78, 2009 | 7 | 2009 |
| 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, ... International Conference on Tests and Proofs, 76-91, 2015 | 6 | 2015 |
| 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 | 6 | 2008 |
| Symbolic model checking with fewer fixpoint computations D Déharbe, AM Moreira International Symposium on Formal Methods, 272-288, 1999 | 6 | 1999 |
| BETA: a tool for test case generation based on B specifications ECB de Matos, AM Moreira | 5 | 2013 |
| JCML: A specification language for the runtime verification of Java Card programs US da Costa, AM Moreira, MA Musicante, PAS Neto Science of computer programming 77 (4), 533-550, 2012 | 5 | 2012 |
| BSmart: A Tool for the Development of Java Card Applications with the B Method D Déharbe, B Gomes, A Moreira International Conference on Abstract State Machines, B and Z, 351-352, 2008 | 5 | 2008 |
David DeharbeCLEARSYE-mail confirmado em clearsy.com
