Följ
Anamaria Martins Moreira
Anamaria Martins Moreira
Verifierad e-postadress på dcc.ufrj.br
Titel
Citeras av
Citeras av
År
Formalizing freertos: First steps
D Déharbe, S Galvao, AM Moreira
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009
532009
Using induction and BDDs to model check invariants
D Déharbe, AM Moreira
Advances in Hardware Design and Verification: IFIP TC10 WG10. 5 …, 1997
221997
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
152000
Semantic web services testing: a systematic mapping study
JB de Souza Neto, AM Moreira, MA Musicante
Computer Science Review 28, 140-156, 2018
132018
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
BETA: AB based testing approach
ECB de Matos, AM Moreira
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012
112012
Female premature orgasm: Does this exist?
S Carvalho, A Moreira, M Rosado, D Correia, D Maia, P Pimentel
Sexologies 20 (4), 215-220, 2011
102011
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
102009
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
102000
Manipulating Algebraic Specifications with Term-based and Graph-based Representations
A Martins Moreira, C Ringeissen, D Déharbe, G Lima
9*2002
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
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
Symbolic model checking with fewer fixpoint computations
D Déharbe, AM Moreira
International Symposium on Formal Methods, 272-288, 1999
81999
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
Uma abordagem da sexualidade no idoso
AM Moreira, A Côrte-Real
Temas de Psiquiatria, Psicossomática e Psicologia, 205-213, 1999
71999
Mutation operators for large scale data processing programs in Spark
JB de Souza Neto, A Martins Moreira, G Vargas-Solar, MA Musicante
International Conference on Advanced Information Systems Engineering, 482-497, 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
EPA-Portuguesa
M Barbosa-Ducharne, A Moreira, A Ferreira da Silva, J Monteiro, J Soares
Entrevista sobre o Processo de Adoção. Versão para investigação. Porto: FPCEUP, 2009
62009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20