Anamaria Martins Moreira

According to our database, Anamaria Martins Moreira authored at least 34 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

TRANSMUT-Spark: Transformation mutation for Apache Spark.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

Softw. Test. Verification Reliab., 2022

A two-level formal model for Big Data processing programs.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

Sci. Comput. Program., 2022

2021

An Abstract View of Big Data Processing Programs.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

CoRR, 2021

2020

Modeling Big Data Processing Programs.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Mutation Operators for Large Scale Data Processing Programs in Spark.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin Alejandro Musicante

Proceedings of the Advanced Information Systems Engineering, 2020

2018

Semantic Web Services testing: A Systematic Mapping study.

João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante

Comput. Sci. Rev., 2018

2016

An empirical study of test generation with BETA.

Ernesto Cid Brasil de Matos, Anamaria Martins Moreira, João Batista de Souza Neto

J. Braz. Comput. Soc., 2016

2015

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study.

Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage.

Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira

Proceedings of the Testing Software and Systems, 2015

2012

JCML: A specification language for the runtime verification of Java Card programs.

Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto

Sci. Comput. Program., 2012

BETA: A B Based Testing Approach.

Ernesto Cid Brasil de Matos, Anamaria Martins Moreira

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Handling contract violations in Java card using explict exception channels.

Juliana Araujo, Rafael Souza, Nélio Cacho, Anamaria Martins Moreira, Plácido A. Souza Neto

Proceedings of the 5th International Workshop on Exception Handling, 2012

2010

Applying the B Method for the Rigorous Development of Smart Card Applications.

Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes

Proceedings of the Abstract State Machines, 2010

2009

Refining interfaces: the case of the B method

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira

CoRR, 2009

Formalizing FreeRTOS: First Steps.

David Déharbe, Stephenson Galvão, Anamaria Martins Moreira

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Verified Compilation and the B Method: A Proposal and a First Appraisal.

Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Specification and Runtime Verification of Java Card Programs.

Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

BSmart: A Tool for the Development of Java Card Applications with the B Method.

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

Preface.

Anamaria Martins Moreira, Leila Ribeiro

Proceedings of the Brazilian Symposium on Formal Methods, 2006

AGraphs: Definition, implementation and tools.

David Déharbe, Anamaria Martins Moreira, Demóstenes Sena

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Automation of Java Card component development using the B method.

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

Implementing Local Intervals in CASL.

Regivan Hugo Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Developing Java Card Applications with B.

Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2004

Manipulating algebraic specifications with term-based and graph-based representations.

Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima

J. Log. Algebraic Methods Program., 2004

2003

Simulating Algebraic Specification Genericity on Languages with Initial Semantics.

Anamaria Martins Moreira, Anderson Santana de Oliveira

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

A Tool Support for Reusing ELAN Rule-Based Components.

Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

2002

FERUS: Um Ambiente de Desenvolvimento de Especificações CASL.

Gleydson Lima, Anamaria Martins Moreira, David Déharbe, David Ricardo Do Vale Pereira, Demóstenes Sena, Jorgiano Vidal

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.

David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

2000

Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.

David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues

RITA, 2000

Variable Ordering of BDDs with Parallel Genetic Algorithms.

Umberto Souza da Costa, David Déharbe, Anamaria Martins Moreira

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999

Proof Preservation in Component Generalization.

Anamaria Martins Moreira

Proceedings of the FM'99 - Formal Methods, 1999

Symbolic Model Checking with Fewer Fixpoint Computations.

David Déharbe, Anamaria Martins Moreira

Proceedings of the FM'99 - Formal Methods, 1999

1998

Parametrização de Componentes de Especificação com Preservação de Semântica.

Anamaria Martins Moreira

Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998

1997

Using induction and BDDs to model check invariants.

David Déharbe, Anamaria Martins Moreira

Proceedings of the Advances in Hardware Design and Verification, 1997