Anamaria Martins Moreira

37 papers A 1B 1C 2Misc 1Journal 11Unranked 19

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	A two-level formal model for Big Data processing programs. Sci. Comput. Program. João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
2022	J	`jnl`	TRANSMUT-Spark: Transformation mutation for Apache Spark. Softw. Test. Verification Reliab. João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
2021	J	`jnl`	An Abstract View of Big Data Processing Programs. CoRR João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
2021	J	`jnl`	TRANSMUT-SPARK: Transformation Mutation for Apache Spark. CoRR João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
2020	—	`conf`	Modeling Big Data Processing Programs. SBMF João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
2020	A	`conf`	Mutation Operators for Large Scale Data Processing Programs in Spark. CAiSE João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin Alejandro Musicante
2018	J	`jnl`	Semantic Web Services testing: A Systematic Mapping study. Comput. Sci. Rev. João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante
2016	J	`jnl`	An empirical study of test generation with BETA. J. Braz. Comput. Soc. Ernesto Cid Brasil de Matos, Anamaria Martins Moreira, João Batista de Souza Neto
2015	C	`conf`	Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. ICTSS Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira
2015	—	`conf`	Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. TAP@STAF Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.
2012	—	`conf`	BETA: A B Based Testing Approach. SBMF Ernesto Cid Brasil de Matos, Anamaria Martins Moreira
2012	—	`conf`	Handling contract violations in Java card using explict exception channels. WEH@ICSE Juliana Araujo, Rafael Souza, Nélio Cacho, Anamaria Martins Moreira, Plácido A. Souza Neto
2012	J	`jnl`	JCML: A specification language for the runtime verification of Java Card programs. Sci. Comput. Program. Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto
2010	—	`conf`	Applying the B Method for the Rigorous Development of Smart Card Applications. ASM Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes
2009	—	`conf`	Formalizing FreeRTOS: First Steps. SBMF David Déharbe, Stephenson Galvão, Anamaria Martins Moreira
2009	—	`ed.`	Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009. RULE Ian Mackie, Anamaria Martins Moreira
2009	J	`jnl`	Refining interfaces: the case of the B method CoRR David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
2008	C	`conf`	BSmart: A Tool for the Development of Java Card Applications with the B Method. ABZ David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
2008	—	`ed.`	Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006 SBMF Anamaria Martins Moreira, Leila Ribeiro
2008	—	`conf`	Specification and Runtime Verification of Java Card Programs. SBMF Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto
2008	—	`conf`	Verified Compilation and the B Method: A Proposal and a First Appraisal. SBMF Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior
2006	J	`jnl`	AGraphs: Definition, implementation and tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. David Déharbe, Anamaria Martins Moreira, Demóstenes Sena
2006	B	`conf`	Automation of Java Card component development using the B method. ICECCS David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
2006	—	`conf`	Preface. SBMF Anamaria Martins Moreira, Leila Ribeiro
2005	—	`conf`	Developing Java Card Applications with B. SBMF Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe
2005	—	`conf`	Implementing Local Intervals in CASL. SBMF Regivan Hugo Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes
2004	J	`jnl`	Manipulating algebraic specifications with term-based and graph-based representations. J. Log. Algebraic Methods Program. Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima
2003	—	`conf`	A Tool Support for Reusing ELAN Rule-Based Components. RULE@RDP Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana
2003	—	`conf`	Simulating Algebraic Specification Genericity on Languages with Initial Semantics. WMF Anamaria Martins Moreira, Anderson Santana de Oliveira
2002	—	`conf`	FERUS: Um Ambiente de Desenvolvimento de Especificações CASL. SBES Gleydson Lima, Anamaria Martins Moreira, David Déharbe, David Ricardo Do Vale Pereira, Demóstenes Sena, Jorgiano Vidal
2002	—	`conf`	Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
2000	J	`jnl`	Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. RITA David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues
2000	Misc	`conf`	Variable Ordering of BDDs with Parallel Genetic Algorithms. PDPTA Umberto Souza da Costa, David Déharbe, Anamaria Martins Moreira
1999	—	`conf`	Proof Preservation in Component Generalization. World Congress on Formal Methods Anamaria Martins Moreira
1999	—	`conf`	Symbolic Model Checking with Fewer Fixpoint Computations. World Congress on Formal Methods David Déharbe, Anamaria Martins Moreira
1998	—	`conf`	Parametrização de Componentes de Especificação com Preservação de Semântica. SBES Anamaria Martins Moreira
1997	—	`conf`	Using induction and BDDs to model check invariants. CHARME David Déharbe, Anamaria Martins Moreira