Anamaria Martins Moreira Vis

*	2009
18	EE	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Refining interfaces: the case of the B method CoRR abs/0907.2039: (2009)
17	EE	Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto: Specification and Runtime Verification of Java Card Programs. Electr. Notes Theor. Comput. Sci. 240: 61-78 (2009)
16	EE	Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior: Verified Compilation and the B Method: A Proposal and a First Appraisal. Electr. Notes Theor. Comput. Sci. 240: 79-96 (2009)
	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

Coauthor Index

1	Umberto S. Costa	[5]
2	Umberto Souza da Costa	[17]
3	Bartira Dantas	[16]
4	David Déharbe	[1] [2] [4] [5] [6] [8] [10] [11] [12] [15] [16] [18]
5	Stephenson Galvão	[16]
6	Bruno Emerson Gurgel Gomes	[11] [12] [15] [18]
7	Valério Medeiros Júnior	[16]
8	Gleydson Lima	[8]
9	Katiane R. Lopes	[13]
10	Martin A. Musicante	[17]
11	Plácido A. Souza Neto	[17]
12	Anderson Santana de Oliveira (Anderson Santana)	[7] [9]
13	Leila Ribeiro (Leila Ribeiro Korff)	[4] [14]
14	Christophe Ringeissen	[6] [7] [8]
15	Vanderlei Moraes Rodrigues	[4]
16	Regivan H. Nunes Santiago	[13]
17	Demóstenes Sena	[10]

Colors in the list of coauthors