| Formalizing freertos: First steps D Déharbe, S Galvao, AM Moreira Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009 | 48 | 2009 |
| Using induction and BDDs to model check invariants D Déharbe, AM Moreira Advances in Hardware Design and Verification: IFIP TC10 WG10. 5 …, 1997 | 23 | 1997 |
| Developing Java card applications with B BEG Gomes, AM Moreira, D Déharbe Electronic Notes in Theoretical Computer Science 184, 81-96, 2007 | 20 | 2007 |
| 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 da Costa, D Déharbe, AM Moreira PDPTA, 2000 | 13 | 2000 |
| Cardiotoxicity of environmental contaminant tributyltin involves myocyte oxidative stress and abnormal Ca2+ handling CLV Pereira, CF Ximenes, E Merlo, AS Sciortino, JS Monteiro, A Moreira, ... Environmental Pollution 247, 371-382, 2019 | 12 | 2019 |
| Semantic web services testing: a systematic mapping study JB de Souza Neto, AM Moreira, MA Musicante Computer Science Review 28, 140-156, 2018 | 12 | 2018 |
| 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 Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012 | 11 | 2012 |
| Advances in BDD reduction using parallel genetic algorithm U Costa, D Deharbe, A Moreira Proceedings of the 10 th International Workshop on Logic Synthesis (IWLS), 2001 | 9 | 2001 |
| Introduçao a métodos formais: Especificaçao, semântica e verificaçao de sistemas concorrentes D Déharbe, AM Moreira, L Ribeiro, VM Rodrigues Revista de Informatica Teorica e Aplicada. Porto Alegre. Vol. 7, n. 1 (set …, 2000 | 9 | 2000 |
| Applying the B method for the rigorous development of smart card applications B Gomes, D Déharbe, A Moreira, K Moraes Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 8 | 2010 |
| 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 | 8 | 2009 |
| Manipulating Algebraic Specifications with Term-based and Graph-based Representations A Martins Moreira, C Ringeissen, D Déharbe, G Lima | 8* | 2002 |
| 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 |
| Mutation operators for large scale data processing programs in Spark JB de Souza Neto, A Martins Moreira, G Vargas-Solar, MA Musicante Advanced Information Systems Engineering: 32nd International Conference …, 2020 | 6 | 2020 |
| 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 |
| EPA-Portuguesa. Entrevista sobre o Processo de Adoção. Versão para investigação M Barbosa-Ducharne, A Moreira, A Ferreira da Silva, J Monteiro, J Soares Porto: FPCEUP, 2009 | 6 | 2009 |
| Symbolic model checking with fewer fixpoint computations D Déharbe, AM Moreira Lecture notes in computer science, 272-288, 1999 | 6 | 1999 |
| Uma Abordagem C/L da Sexualidade no Idoso AM Moreira, A Côrte-Real Revista de Psiquiatria Consiliar e de Ligação 4 (2), 1998 | 6 | 1998 |
David DeharbeCLEARSYVerified email at clearsy.com
