de Souza Neto, João Batista; Moreira, Anamaria Martins; Vargas-Solar, Genoveva; Musicante, Martin A. Modeling big data processing programs. (English) Zbl 1475.68081 Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 101-118 (2020). MSC: 68N30 68Q85 68T09 PDFBibTeX XMLCite \textit{J. B. de Souza Neto} et al., Lect. Notes Comput. Sci. 12475, 101--118 (2020; Zbl 1475.68081) Full Text: DOI
da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A. JCML: A specification language for the runtime verification of Java card programs. (English) Zbl 1243.68137 Sci. Comput. Program. 77, No. 4, 533-550 (2012). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{U. S. da Costa} et al., Sci. Comput. Program. 77, No. 4, 533--550 (2012; Zbl 1243.68137) Full Text: DOI
Dantas, Bartira; Déharbe, David; Galvão, Stephenson; Martins Moreira, Anamaria; Medeiros Júnior, Valério Verified compilation and the B method: a proposal and a first appraisal. (English) Zbl 1347.68079 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 79-96 (2009). MSC: 68N30 68N15 68N20 PDFBibTeX XMLCite \textit{B. Dantas} et al., Electron. Notes Theor. Comput. Sci. 240, 79--96 (2009; Zbl 1347.68079) Full Text: DOI
da Costa, Umberto Souza; Martins Moreira, Anamaria; Musicante, Martin A.; Souza Neto, Plácido A. Specification and runtime verification of Java card programs. (English) Zbl 1347.68063 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 61-78 (2009). MSC: 68N19 68N15 68N20 68Q60 PDFBibTeX XMLCite \textit{U. S. da Costa} et al., Electron. Notes Theor. Comput. Sci. 240, 61--78 (2009; Zbl 1347.68063) Full Text: DOI
Moreira, Anamaria Martins (ed.); Ribeiro, Leila (ed.) Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. (English) Zbl 1276.68022 Electronic Notes in Theoretical Computer Science 195. Amsterdam: Elsevier. 229 p., electronic only (2008). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{A. M. Moreira} (ed.) and \textit{L. Ribeiro} (ed.), Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17--23, 2006. Amsterdam: Elsevier (2008; Zbl 1276.68022) Full Text: Link
Santiago, Regivan H. N.; Moreira, Anamaria Martins Implementing local intervals in CASL. (English) Zbl 1279.68234 Sampaio, Augusto (ed.), Proceedings of the second Brazilian symposium on formal methods (SBMF 2005), Porto Alegre, RS, Brazil, November 30, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 184, 133-149 (2007). MSC: 68Q65 PDFBibTeX XMLCite \textit{R. H. N. Santiago} and \textit{A. M. Moreira}, Electron. Notes Theor. Comput. Sci. 184, 133--149 (2007; Zbl 1279.68234) Full Text: DOI
Moreira, Anamaria Martins; Ringeissen, Christophe; Déharbe, David; Lima, Gleydson Manipulating algebraic specifications with term-based and graph-based representations. (English) Zbl 1068.68084 J. Log. Algebr. Program. 59, No. 1-2, 63-87 (2004). MSC: 68Q65 PDFBibTeX XMLCite \textit{A. M. Moreira} et al., J. Log. Algebr. Program. 59, No. 1--2, 63--87 (2004; Zbl 1068.68084) Full Text: DOI
Déharbe, David; Moreira, Anamaria Martins; Ringeissen, Christophe Improving symbolic model checking by rewriting temporal logic formulae. (English) Zbl 1045.68091 Tison, Sophie (ed.), Rewriting techniques and applications. 13th international conference, RTA 2002, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43916-1). Lect. Notes Comput. Sci. 2378, 207-221 (2002). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{D. Déharbe} et al., Lect. Notes Comput. Sci. 2378, 207--221 (2002; Zbl 1045.68091) Full Text: Link
Déharbe, David; Martins Moreira, Anamaria Symbolic model checking with fewer fixpoint computations. (English) Zbl 0954.68103 Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 272-288 (1999). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{D. Déharbe} and \textit{A. Martins Moreira}, Lect. Notes Comput. Sci. 1708, 272--288 (1999; Zbl 0954.68103)