Using induction and BDDs to model check invariants. - David Déharbe; Anamaria Martins Moreira (CHARME, 1997)

Parametrização de Componentes de Especificação com Preservação de Semântica. - Anamaria Martins Moreira (SBES, 1998)

Symbolic Model Checking with Fewer Fixpoint Computations. - David Déharbe; Anamaria Martins Moreira (World Congress on Formal Methods, 1999)

Proof Preservation in Component Generalization. - Anamaria Martins Moreira (World Congress on Formal Methods, 1999)

Variable Ordering of BDDs with Parallel Genetic Algorithms. - Umberto Souza da Costa; David Déharbe; Anamaria Martins Moreira (PDPTA, 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 001; Vanderlei Moraes Rodrigues (RITA, 2000)

Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. - David Déharbe; Anamaria Martins Moreira; Christophe Ringeissen (RTA, 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 (SBES, 2002)

A Tool Support for Reusing ELAN Rule-Based Components. - Anamaria Martins Moreira; Christophe Ringeissen; Anderson Santana (RULE@RDP, 2003)

Simulating Algebraic Specification Genericity on Languages with Initial Semantics. - Anamaria Martins Moreira; Anderson Santana de Oliveira (WMF, 2003)

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)

Developing Java Card Applications with B. - Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira; David Déharbe (SBMF, 2005)

Implementing Local Intervals in CASL. - Regivan Hugo Nunes Santiago; Anamaria Martins Moreira; Katiane R. Lopes (SBMF, 2005)

Automation of Java Card component development using the B method. - David Déharbe; Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira (ICECCS, 2006)

AGraphs: Definition, implementation and tools. - David Déharbe; Anamaria Martins Moreira; Demóstenes Sena (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Preface. - Anamaria Martins Moreira; Leila Ribeiro 001 (SBMF, 2006)

BSmart: A Tool for the Development of Java Card Applications with the B Method. - David Déharbe; Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira (ABZ, 2008)

Specification and Runtime Verification of Java Card Programs. - Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto (SBMF, 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 (SBMF, 2008)

Formalizing FreeRTOS: First Steps. - David Déharbe; Stephenson Galvão; Anamaria Martins Moreira (SBMF, 2009)

Refining interfaces: the case of the B method - David Déharbe; Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira (CoRR, 2009)

Applying the B Method for the Rigorous Development of Smart Card Applications. - Bruno Emerson Gurgel Gomes; David Déharbe; Anamaria Martins Moreira; Katia Moraes (ASM, 2010)

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 (WEH@ICSE, 2012)

BETA: A B Based Testing Approach. - Ernesto Cid Brasil de Matos; Anamaria Martins Moreira (SBMF, 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)

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. - Cleverton Hentz; Jurgen J. Vinju; Anamaria Martins Moreira (ICTSS, 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. (TAP@STAF, 2015)

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)

Semantic Web Services testing: A Systematic Mapping study. - João Batista de Souza Neto; Anamaria Martins Moreira; Martin A. Musicante (Comput. Sci. Rev., 2018)

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 (CAiSE, 2020)

Modeling Big Data Processing Programs. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (SBMF, 2020)

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)

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)

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)