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
412009
Using induction and BDDs to model check invariants
D Déharbe, AM Moreira
Advances in Hardware Design and Verification, 203-213, 1997
211997
Developing Java card applications with B
BEG Gomes, AM Moreira, D Déharbe
Electronic Notes in Theoretical Computer Science 184, 81-96, 2007
182007
Variable ordering of bdds with parallel genetic algorithms
US Costa, D Déharbe, AM Moreira
142000
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
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
132006
Semantic web services testing: A systematic mapping study
JB de Souza Neto, AM Moreira, MA Musicante
Computer Science Review 28, 140-156, 2018
112018
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
102000
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
82013
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
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
82009
Advances in bdd reduction using parallel genetic algorithms
US Costa, AM Moreira, D Déharbe, L Nova
82001
Manipulating Algebraic Specifications with Term-based and Graph-based Representations
A Martins Moreira, C Ringeissen, D Déharbe, G Lima
7*2002
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
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
Handling contract violations in Java Card using explict exception channels
J Araújo, R Souza, N Cacho, A Martins, PAS Neto
2012 5th International Workshop on Exception Handling (WEH), 34-40, 2012
52012
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