Anamaria Martins Moreira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1999–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CaiSE | Mutation Operators for Large Scale Data Processing Programs in Spark. | Joo Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin Alejandro Musicante |
| 2015 | TAP | Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. | Anamaria Martins Moreira, Cleverton Hentz, David Dharbe, Ernesto Cid Brasil de Matos, Joo Batista de Souza Neto, Valrio de Medeiros Jr. |
| 2012 | ICSE | Handling contract violations in Java card using explict exception channels. | Juliana Araujo, Rafael Souza, Nlio Cacho, Anamaria Martins Moreira, Plcido A. Souza Neto |
| 2006 | ICECCS | Automation of Java Card component development using the B method. | David Dharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
| 2000 | PDPTA | Variable Ordering of BDDs with Parallel Genetic Algorithms. | Umberto Souza da Costa, David Dharbe, Anamaria Martins Moreira |
| 1999 | FM | Symbolic Model Checking with Fewer Fixpoint Computations. | David Dharbe, Anamaria Martins Moreira |
| 1999 | FM | Proof Preservation in Component Generalization. | Anamaria Martins Moreira |