Follow
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
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009
452009
Using induction and BDDs to model check invariants
D Déharbe, AM Moreira
Advances in Hardware Design and Verification: IFIP TC10 WG10. 5 …, 1997
231997
Developing Java card applications with B
BEG Gomes, AM Moreira, D Déharbe
Electronic Notes in Theoretical Computer Science 184, 81-96, 2007
202007
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 da Costa, D Déharbe, AM Moreira
PDPTA, 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
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
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012
112012
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
92001
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
Abstract State Machines, Alloy, B and Z: Second International Conference …, 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
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
72013
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
62020
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
62015
Symbolic model checking with fewer fixpoint computations
D Déharbe, AM Moreira
Lecture notes in computer science, 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
The system can't perform the operation now. Try again later.
Articles 1–20