| 2008 |
|---|
| 15 | EE | David Déharbe,
Bruno Emerson Gurgel Gomes,
Anamaria Martins Moreira:
BSmart: A Tool for the Development of Java Card Applications with the B Method.
ABZ 2008: 351-352 |
| 14 | EE | Anamaria Martins Moreira,
Leila Ribeiro:
Preface.
Electr. Notes Theor. Comput. Sci. 195: 1 (2008) |
| 2007 |
|---|
| 13 | EE | Regivan H. Nunes Santiago,
Anamaria Martins Moreira,
Katiane R. Lopes:
Implementing Local Intervals in CASL.
Electr. Notes Theor. Comput. Sci. 184: 133-149 (2007) |
| 12 | EE | Bruno Emerson Gurgel Gomes,
Anamaria Martins Moreira,
David Déharbe:
Developing Java Card Applications with B.
Electr. Notes Theor. Comput. Sci. 184: 81-96 (2007) |
| 2006 |
|---|
| 11 | EE | David Déharbe,
Bruno Emerson Gurgel Gomes,
Anamaria Martins Moreira:
Automation of Java Card component development using the B method.
ICECCS 2006: 259-268 |
| 10 | EE | David Déharbe,
Anamaria Martins Moreira,
Demóstenes Sena:
AGraphs: Definition, implementation and tools.
ECEASST 1: (2006) |
| 2004 |
|---|
| 9 | EE | Anamaria Martins Moreira,
Anderson Santana de Oliveira:
Simulating Algebraic Specification Genericity on Languages with Initial Semantics.
Electr. Notes Theor. Comput. Sci. 95: 131-148 (2004) |
| 8 | EE | Anamaria Martins Moreira,
Christophe Ringeissen,
David Déharbe,
Gleydson Lima:
Manipulating algebraic specifications with term-based and graph-based representations.
J. Log. Algebr. Program. 59(1-2): 63-87 (2004) |
| 2003 |
|---|
| 7 | EE | Anamaria Martins Moreira,
Christophe Ringeissen,
Anderson Santana:
A Tool Support for Reusing ELAN Rule-Based Components.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
| 2002 |
|---|
| 6 | EE | David Déharbe,
Anamaria Martins Moreira,
Christophe Ringeissen:
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.
RTA 2002: 207-221 |
| 2000 |
|---|
| 5 | | Umberto S. Costa,
David Déharbe,
Anamaria Martins Moreira:
Variable Ordering of BDDs with Parallel Genetic Algorithms.
PDPTA 2000 |
| 4 | | David Déharbe,
Anamaria Martins Moreira,
Leila Ribeiro,
Vanderlei Moraes Rodrigues:
Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.
RITA 7(1): 7-48 (2000) |
| 1999 |
|---|
| 3 | EE | Anamaria Martins Moreira:
Proof Preservation in Component Generalization.
World Congress on Formal Methods 1999: 1866 |
| 2 | EE | David Déharbe,
Anamaria Martins Moreira:
Symbolic Model Checking with Fewer Fixpoint Computations.
World Congress on Formal Methods 1999: 272-288 |
| 1997 |
|---|
| 1 | | David Déharbe,
Anamaria Martins Moreira:
Using induction and BDDs to model check invariants.
CHARME 1997: 203-213 |
