Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Anamaria Martins Moreira
2010 – today
- 2012
[j11]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)- [c10]Ernesto Cid Brasil de Matos, Anamaria Martins Moreira: BETA: A B Based Testing Approach. SBMF 2012: 51-66
- 2010
- [c9]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
2000 – 2009
- 2009
- [j10]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)
- [j9]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)
- [c8]David Déharbe, Stephenson Galvão, Anamaria Martins Moreira: Formalizing FreeRTOS: First Steps. SBMF 2009: 101-117
- [e1]Ian Mackie, Anamaria Martins Moreira (Eds.): Proceedings Tenth International Workshop on Rule-Based Programming. EPTCS 21, 2009
- [i1]David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Refining interfaces: the case of the B method. CoRR abs/0907.2039 (2009)
- 2008
- [j8]
- [c7]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
- [j7]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)
- [j6]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
- [j5]David Déharbe, Anamaria Martins Moreira, Demóstenes Sena: AGraphs: Definition, implementation and tools. ECEASST 1 (2006)
- [c6]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
- [j4]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)
- [j3]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
- [j2]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
- [c5]David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA 2002: 207-221
- 2000
- [j1]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)
- [c4]Umberto S. Costa, David Déharbe, Anamaria Martins Moreira: Variable Ordering of BDDs with Parallel Genetic Algorithms. PDPTA 2000
1990 – 1999
- 1999
- [c3]David Déharbe, Anamaria Martins Moreira: Symbolic Model Checking with Fewer Fixpoint Computations. World Congress on Formal Methods 1999: 272-288
- [c2]Anamaria Martins Moreira: Proof Preservation in Component Generalization. World Congress on Formal Methods 1999: 1866
- 1997
- [c1]David Déharbe, Anamaria Martins Moreira: Using induction and BDDs to model check invariants. CHARME 1997: 203-213
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:16 CEST by the dblp team