Anamaria Martins Moreira
Anamaria Martins Moreira
Verified email at dcc.ufrj.br
Title
Cited by
Cited by
Year
Formalizing freertos: First steps
D Déharbe, S Galvao, AM Moreira
Brazilian Symposium on Formal Methods, 101-117, 2009
342009
Developing Java card applications with B
BEG Gomes, AM Moreira, D Déharbe
Electronic Notes in Theoretical Computer Science 184, 81-96, 2007
182007
Using induction and BDDs to model check invariants
D Déharbe, AM Moreira
Advances in Hardware Design and Verification, 203-213, 1997
161997
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
142000
Variable ordering of bdds with parallel genetic algorithms
US Costa, D Déharbe, AM Moreira
Proceedings of PDPTA’2000, 2000
132000
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
122006
BETA: AB based testing approach
ECB de Matos, AM Moreira
Brazilian Symposium on Formal Methods, 51-66, 2012
112012
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
92000
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
82010
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
82001
Semantic web services testing: A systematic mapping study
JB de Souza Neto, AM Moreira, MA Musicante
Computer Science Review 28, 140-156, 2018
72018
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
72013
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
72009
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
62015
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
62008
Symbolic model checking with fewer fixpoint computations
D Déharbe, AM Moreira
International Symposium on Formal Methods, 272-288, 1999
61999
BETA: a tool for test case generation based on B specifications
ECB de Matos, AM Moreira
52013
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
52012
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
52008
The system can't perform the operation now. Try again later.
Articles 1–20