Anamaria Martins Moreira

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

15EEDavid 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
14EEAnamaria Martins Moreira, Leila Ribeiro: Preface. Electr. Notes Theor. Comput. Sci. 195: 1 (2008)
13EERegivan H. Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes: Implementing Local Intervals in CASL. Electr. Notes Theor. Comput. Sci. 184: 133-149 (2007)
12EEBruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe: Developing Java Card Applications with B. Electr. Notes Theor. Comput. Sci. 184: 81-96 (2007)
11EEDavid Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Automation of Java Card component development using the B method. ICECCS 2006: 259-268
10EEDavid Déharbe, Anamaria Martins Moreira, Demóstenes Sena: AGraphs: Definition, implementation and tools. ECEASST 1: (2006)
9EEAnamaria Martins Moreira, Anderson Santana de Oliveira: Simulating Algebraic Specification Genericity on Languages with Initial Semantics. Electr. Notes Theor. Comput. Sci. 95: 131-148 (2004)
8EEAnamaria 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)
7EEAnamaria Martins Moreira, Christophe Ringeissen, Anderson Santana: A Tool Support for Reusing ELAN Rule-Based Components. Electr. Notes Theor. Comput. Sci. 86(2): (2003)
6EEDavid Déharbe, Anamaria Martins Moreira, Christophe Ringeissen: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA 2002: 207-221
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)
3EEAnamaria Martins Moreira: Proof Preservation in Component Generalization. World Congress on Formal Methods 1999: 1866
2EEDavid Déharbe, Anamaria Martins Moreira: Symbolic Model Checking with Fewer Fixpoint Computations. World Congress on Formal Methods 1999: 272-288
1 David Déharbe, Anamaria Martins Moreira: Using induction and BDDs to model check invariants. CHARME 1997: 203-213

Coauthor Index

1Umberto S. Costa [5]
2David Déharbe [1] [2] [4] [5] [6] [8] [10] [11] [12] [15]
3Bruno Emerson Gurgel Gomes [11] [12] [15]
4Gleydson Lima [8]
5Katiane R. Lopes [13]
6Anderson Santana de Oliveira (Anderson Santana) [7] [9]
7Leila Ribeiro (Leila Ribeiro Korff) [4] [14]
8Christophe Ringeissen [6] [7] [8]
9Vanderlei Moraes Rodrigues [4]
10Regivan H. Nunes Santiago [13]
11Demóstenes Sena [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)