Anamaria Martins Moreira Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto: JCML: A specification language for the runtime verification of Java Card programs. Sci. Comput. Program. 77(4): 533-550 (2012)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ernesto Cid Brasil de Matos, Anamaria Martins Moreira: BETA: A B Based Testing Approach. SBMF 2012: 51-66
2010
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes: Applying the B Method for the Rigorous Development of Smart Card Applications. ASM 2010: 203-216
2009
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Déharbe, Stephenson Galvão, Anamaria Martins Moreira: Formalizing FreeRTOS: First Steps. SBMF 2009: 101-117
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ian Mackie, Anamaria Martins Moreira (Eds.): Proceedings Tenth International Workshop on Rule-Based Programming. EPTCS 21, 2009
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Refining interfaces: the case of the B method. CoRR abs/0907.2039 (2009)
2008
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anamaria Martins Moreira, Leila Ribeiro: Preface. Electr. Notes Theor. Comput. Sci. 195: 1 (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2007
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Regivan H. Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes: Implementing Local Intervals in CASL. Electr. Notes Theor. Comput. Sci. 184: 133-149 (2007)
2006
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Déharbe, Anamaria Martins Moreira, Demóstenes Sena: AGraphs: Definition, implementation and tools. ECEASST 1 (2006)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Automation of Java Card component development using the B method. ICECCS 2006: 259-268
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana: A Tool Support for Reusing ELAN Rule-Based Components. Electr. Notes Theor. Comput. Sci. 86(2): 77-91 (2003)
2002
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA 2002: 207-221
2000
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Umberto S. Costa, David Déharbe, Anamaria Martins Moreira: Variable Ordering of BDDs with Parallel Genetic Algorithms. PDPTA 2000
1999
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Déharbe, Anamaria Martins Moreira: Symbolic Model Checking with Fewer Fixpoint Computations. World Congress on Formal Methods 1999: 272-288
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anamaria Martins Moreira: Proof Preservation in Component Generalization. World Congress on Formal Methods 1999: 1866
1997
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Déharbe, Anamaria Martins Moreira: Using induction and BDDs to model check invariants. CHARME 1997: 203-213

Coauthor Index

1Umberto S. Costa
[c4]
2Umberto Souza da Costa
[j11] [j10]
3Bartira Dantas
[j9]
4David Déharbe (David Boris Paul Déharbe)
[c9] [j9] [c8] [i1] [c7] [j7] [j5] [c6] [j3] [c5] [j1] [c4] [c3] [c1]
5Stephenson Galvão
[j9] [c8]
6Bruno Emerson Gurgel Gomes
[c9] [i1] [c7] [j7] [c6]
7Valério Medeiros Júnior
[j9]
8Gleydson Lima
[j3]
9Katiane R. Lopes
[j6]
10Ian Mackie
[e1]
11Ernesto Cid Brasil de Matos
[c10]
12Katia Moraes
[c9]
13Martin A. Musicante
[j11] [j10]
14Plácido A. Souza Neto
[j11] [j10]
15Anderson Santana de Oliveira (Anderson Santana)
[j4] [j2]
16Leila Ribeiro (Leila Ribeiro Korff)
[j8] [j1]
17Christophe Ringeissen
[j3] [j2] [c5]
18Vanderlei Moraes Rodrigues
[j1]
19Regivan H. Nunes Santiago
[j6]
20Demóstenes Sena
[j5]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 18:51:59 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page