Currículo do Sistema de Currículos Lattes (Anamaria Martins Moreira)

Dados pessoais

Nome	Anamaria Martins Moreira
Nome em citações bibliográficas	MOREIRA, A. M.;MOREIRA, A
Sexo	Feminino

Endereço profissional

Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
DIMAp/CCET UFRN - Campus Universitario de Lagoa Nova
Lagoa Nova
59072-970 - Natal, RN - Brasil
Telefone: (84) 32153814 Ramal: 213 Fax: (84) 32153813
URL da Homepage: http://www.dimap.ufrn.br/~anamaria

Formação acadêmica/Titulação

2002 - 2003

Pós-Doutorado .
Laboratoire Lorrain de Recherche en Informatique et ses Applications.
Bolsista do(a): Institut National de Recheche En Informatique Et Automatique ,INRIA ,França .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

1990 - 1995

Doutorado em Informatique .
Institut National Polytechnique de Grenoble.
Título: La Généralisation: un Outil pour la Réutilisation, Ano de Obtenção: 1995.
Orientador: Paul Jacquet.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática.

1987 - 1990

Mestrado em Informática .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: UM TRADUTOR DE PROLOG PARA PASCAL, Ano de Obtenção: 1990.
Orientador: JOSE LUCAS MOURAO RANGEL NETTO.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Compilacao; Continuacoes; Prolog.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
Setores de atividade: Informática.

1980 - 1984

Graduação em Engenharia Elétrica .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.

Formação complementar

2010 - 2011

Prog. de movilidad mercosur en educacion superior. (Carga horária: 60h).
Universidad de La Republica.

2007 - 2008

Gestão da Internacionalização das IFES. (Carga horária: 130h).
Associação Nacional dos Dirigentes das IFES.

Atuação profissional

Ministério da Educação, MEC, Brasil.

Vínculo institucional

1999 - 2002

Vínculo: Outro, Enquadramento Funcional: consultor Ad-hoc, Carga horária: 0

Outras informações

Consultor ad-hoc para avaliação de cursos de graduação em computação

Atividades

6/1999 - 3/2002	Conselhos, Comissões e Consultoria, Sesu, .
	Cargo ou função Consultor para avaliação de cursos de graduação.

Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

Vínculo institucional

1998 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: Professor-pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1997 - 1997

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: professor-pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

02/2011 - Atual	Ensino, Engenharia de Software, Nível: Graduação.
	Disciplinas ministradas Elementos de Matemática para a Computação

10/2004 - Atual	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Projetos de pesquisa Engineering of Smart Card Applications

12/1997 - Atual	Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Cargo ou função membro de colegiado de pós-graduação.

6/1997 - Atual	Ensino, Sistemas e Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Engenharia de Software Especificações Formais Estágio Docência em Computação Estudo Orientado Técnicas Fundamentais de Inteligência Artificial Teoria da Computação

3/1997 - Atual	Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Linhas de pesquisa Engenharia de Software Concepção de Sistemas Digitais Teoria e Inteligência Computacional

3/1997 - Atual	Ensino, Ciência da Compuatação e Engenharia da Computação, Nível: Graduação.
	Disciplinas ministradas Engenharia de Software Especificação e Verificação de Programas Introdução à Engenharia da Computação Introdução à Engenharia de Software Organização e Arquitetura de Computadores I Proposta de Relatório de Graduação Técnicas de Especificação Formal Tópicos Especiais em Computação - Testes de Software

10/2010 - 06/2011	Direção e administração, Secretaria de Relações Internacionais, .
	Cargo ou função Secretária de Relações Internacionais.

02/2008 - 10/2010	Direção e administração, Gabinete do Reitor, .
	Cargo ou função Assessora para Assuntos Internacionais.

07/2006 - 12/2008	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Projetos de pesquisa Um formato de representação e comunicação de informações baseado em grafos - AGRAPHS

9/2003 - 08/2007	Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .
	Cargo ou função Membro de comissão permanente - Comissão Permanente de Desenvolvimento Institucional (CPDI).

7/2003 - 7/2005	Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Cargo ou função Chefe de Departamento.

4/2001 - 4/2004	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Projetos de pesquisa Projeto FERUS - cooperação internacional - UFRN/LORIA(França)

7/2001 - 3/2002	Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .
	Cargo ou função Membro de comissão permanente - CPDI - Comissão Permanente para o Desenvolvimento Institucional.

12/2000 - 3/2002	Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Cargo ou função membro de colegiado de curso de graduação.

6/2000 - 3/2002	Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .
	Cargo ou função Membro de colegiado superior - CONSEPE.

9/1998 - 9/2000	Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Cargo ou função Coordenador de Programa.

Carnegie Mellon University, CMU, Estados Unidos.

Vínculo institucional

1995 - 1997

Vínculo: Pesquisador Visitante, Enquadramento Funcional: Coodenadora de Equipe, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

9/1995 - 1/1997	Pesquisa e desenvolvimento , Language Technologies Institute, Center For Machine Translation.
	Linhas de pesquisa Processamento de Linguagem Natural

Institut Universitaire Technologique de Valence, IUT-VALENCE, França.

Vínculo institucional

1994 - 1995

Vínculo: Outro, Enquadramento Funcional: ATER - Attaché Temporaire de Enseignement e R, Carga horária: 20

Atividades

10/1994 - 7/1995	Ensino, Informatique, Nível: Graduação.
	Disciplinas ministradas Algoritmos

Medidata, MEDIDATA, Brasil.

Vínculo institucional

1984 - 1987

Vínculo: Servidor público ou celetista, Enquadramento Funcional: ENGENHARIA PROJETISTA DE HARDWARE, Carga horária: 40

Atividades

12/1984 - 03/1987	Pesquisa e desenvolvimento .
	Linhas de pesquisa DESENVOLVIMENTO EXPERIMENTAL

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.

Vínculo institucional

1984 - 1984

Vínculo: Outro, Enquadramento Funcional: MONITORA

Vínculo institucional

1983 - 1984

Vínculo: bolsista, Enquadramento Funcional: ESTAGIARIA

Vínculo institucional

1981 - 1982

Vínculo: bolsista, Enquadramento Funcional: ESTAGIARIA

Atividades

3/1990 - 7/1990	Ensino, Engenharia da Computação, Nível: Graduação.
	Disciplinas ministradas COMPLEMENTOS ELETRONICOS (MINISTRADA A ALUNOS DO CURSO DE ENGENHARIA DA COMPUTACAO)

07/1983 - 12/1984	Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Engenharia Elétrica.
	Linhas de pesquisa DESENVOLVIMENTO EXPERIMENTAL Redes de Computadores

03/1981 - 12/1982	Estágios .
	Estágio realizado TESTE E MANUTENCAO DE EQUIPAMENTOS ELETRONICOS.

Linhas de Pesquisa

1.	DESENVOLVIMENTO EXPERIMENTAL

2.	DESENVOLVIMENTO EXPERIMENTAL

3.	Redes de Computadores

4.	Engenharia de Software

5.	Concepção de Sistemas Digitais

6.	Teoria e Inteligência Computacional

7.	Processamento de Linguagem Natural

Projetos de Pesquisa

2006 - 2008

Um formato de representação e comunicação de informações baseado em grafos - AGRAPHS

Descrição: Aplicações de software, de modo geral, utilizam estruturas de dados, com suas bibliotecas de manipulação, para a representação de informações. Listas, pilhas, árvores e grafos são algumas dessas estruturas. Tradicionalmente, essas estruturas eram definidas de maneira ad-hoc para cada aplicação. Hoje em dia, no entanto, esse tipo de procedimento é considerado pouco eficiente, e a tendência é no sentido de aumentar o grau de reusabilidade e interoperabilidade dessas respresentações, através de sua padronização. Nesse contexto, definimos os Agraphs, uma estrutura de dados para representação de informações com sua biblioteca de manipulação ou API (Application Programming Interface). Agraphs são grafos direcionados tipados que permitem arestas multivaloradas e grafos hierárquicos. Essa estrutura de dados foi até agora objeto de um trabalho de conclusão de curso e de uma dissertação de mestrado. O projeto Agraphs aqui apresentado tem como principal objetivo buscar subsídios para complementar e aperfeiçoar o trabalho iniciado com a proposta do formato, aplicando-o a contextos variados para avaliação da sua generalidade e aplicabilidade, melhorando o formato em si e o suporte oferecido aos seus usuários, tornando-o mais robusto e utilizável. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Anamaria Martins Moreira - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 2.

2004 - Atual

Engineering of Smart Card Applications

Descrição: A tecnologia de cartões inteligentes é um dos atores mais recentes no mundo das tecnologias da informação. Um cartão inteligente é um dispositivo similar a um cartão de crédito atual, porém comporta um micro-processador e um circuito de memória embutidos. Acoplado a um leitor de cartões, tem poder de processamento para executar diferentes tipos de aplicações, tais como carteira eletrônica, sistema de crédito, sistema de controle de acesso. Os cartões inteligentes são um meio conveniente e seguro de transferência de dados e aplicativos para comunicar e atualizar esses dados em colaboração com outros dispositivos tais como telefones celulares, terminais de acesso de televisão digital (set-top box) e catracas eletrônicas. A segurança é uma preocupação constante dos desenvolvedores de cartões inteligentes. Tipicamente, uma aplicação em cartão inteligente é difundida a milhões de exemplares, frequentemente para aplicações críticas. Atualizar uma aplicação para corrigir uma falha é economicamente inviável e pode ser fatal para a sobrevivência econômica da empresa responsável. Nesse contexto, o uso de métodos rigorosos para o desenvolvimento de aplicações é uma necessidade, que pode ser comprovada pelo interesse demonstrado por líderes do mercado como a empresa GemPlus na aplicação de métodos formais. O projeto SMART enquadra-se no desenvolvimento de ferramentas de suporte à engenharia rigorosa de aplicações para cartões inteligentes com a linguagem JavaCard. Dois bem-sucedidos paradigmas de engenharia rigorosa de software foram instanciados. Atualmente, uma continuação desse projeto encontra-se em execução, com uma tese de doutorado e uma dissertação de mestrado que visam aperfeiçoar os resultados preliminares obtidos na fase inicial do projeto SMART. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 10) / Mestrado acadêmico ( 3) .
Integrantes: David Déharbe - Coordenador / Anamaria Martins Moreira - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Federal do Rio Grande do Norte - Bolsa..

2001 - 2004

Projeto FERUS - cooperação internacional - UFRN/LORIA(França)

Descrição: Aproveitando os conhecimentos complementares dos parceiros franceses e brasileiros nas áreas de sistemas de reescritura e especificaçoes algébricas, o projeto FERUS tem como principal objetivo contribuir para a área de especificação e reutilização de software. Essa contribuição deverá efetuar-se principalmente através das atividades abaixo discriminadas: 1. Aplicação das técnicas formais desenvolvidas pelos parceiros brasileiros, implementando-se um gerenciador de bibliotecas de componentes reutilizáveis, e sendo gerado material e conhecimento práticos que forneçam subsídios para a continuação do desenvolvimento da teoria. 2. Estudo das construções de estruturação oriundas da área de especificações algébricas e sua aplicação à linguagem de especificação e prototipagem ELAN (desenvolvida pelos parceiros franceses no projeto PROTHEO), permitindo torná-la mais modular. 3 Integração dos resultados acima a ELAN e ao ambiente da linguagem de especificação algébrica CASL (linguagem federadora de especificações algébricas promovida pelo grupo de trabalho europeu CoFI - The Common Framework Initiative for Algebraic Specification and Development), provendo suporte para manutenção de bibliotecas de componentes reutilizáveis especificados em CASL, facilitando a verificação de propriedades desses componentes e a integração CASL-ELAN. 4. Definição de uma extensão de CASL que comporte a aritmética intervalar, a fim de oferecer uma ferramenta para a especificação de sistemas que involvam dados contínuos, como é o caso na área de computação científica. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 6) / Especialização ( 0) / Mestrado acadêmico ( 4) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: David Boris Paul Déharbe - Integrante / Samantha Escobar Peraça - Integrante / Virgínia Carneiro de Paula - Integrante / Regivan Hugo Nunes Santiago - Integrante / Christophe Ringeissen - Integrante / Gleydson Lima - Integrante / Jorgiano Vidal - Integrante / Demostenes Sena - Integrante / David Pereira - Integrante / Patricia Duarte de Lima Machado - Integrante / Anderson Santana - Integrante / Benjamin R C Bedregal - Integrante / Claude Kirchner - Integrante / Helene Kirchner - Integrante / Anamaria Martins Moreira - Coordenador.
Financiador(es): Universidade Federal do Rio Grande do Norte - Bolsa / Universidade Federal de Campina Grande - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Institut National de Recheche En Informatique Et Automatique - Auxílio financeiro / Institut National de Recheche En Informatique Et Automatique - Cooperação.
Número de produções C, T & A: 11 / Número de orientações: 4.

Revisor de periódico

2005 - 2005	Periódico: Journal of the Brazilian Computer Society (0104-6500)
2006 - 2006	Periódico: Information and Software Technology (0950-5849)
2009 - 2010	Periódico: Science of Computer Programming

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
2.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
3.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
4.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Idiomas

Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol	Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.
Francês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, M. A. ; Souza Neto, P. A. . Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science, v. 240, p. 61-78, 2009.

2.	ROCHA, B. P. F. D. ; DÉHARBE, D. ; Galvão, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., V . Verified Compilation and the B Method: A Proposal and a First Appraisal. Electronic Notes in Theoretical Computer Science, v. 240, p. 79-96, 2009.

3.	GOMES, B ; MOREIRA, A. M. ; DEHARBE, D . Developing Java Card Applications with B. Electronic Notes in Theoretical Computer Science, v. 184, p. 81-96, 2007.

4.	SANTIAGO, R. H. N. ; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. Electronic Notes in Theoretical Computer Science, v. 184, p. 133-149, 2007.

5.	DÉHARBE, D. ; MOREIRA, A. M. ; SENA, D. . Agraphs: Definition, implementation and tools. Electronic Communications of the EASST, v. 1, p. 3, 2006.

6.	MOREIRA, A. M. ; RINGEISSEN, Christophe ; DÉHARBE, David Boris Paul ; LIMA, Gleydson . Manipulating Algebraic Specifications with Term based and Graph based Representations. Journal of Logic and Algebraic Programming, Holanda, v. 59, p. 63-87, 2004.

7.	MOREIRA, A. M. ; SANTANA, A. . Simulating Algebraic Specification Genericity on Languages with Initial Semantics. Electronic Notes in Theoretical Computer Science, Campina Grande, Brazil, v. 95, p. 131-148, 2004.

8.	MOREIRA, A. M. ; RINGEISSEN, Christophe ; SANTANA, A. . A Tool Support for Reusing ELAN Rule-Based Components. Electronic Notes in Theoretical Computer Science, Espanha, v. 86, n. 2, 2003.

9.	DÉHARBE, David Boris Paul ; MOREIRA, A. M. ; RIBEIRO, L. ; RODRIGUES, V. M. . Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 7, n. 1, p. 7-48, 2000.

Livros publicados/organizados ou edições

1.	RIBEIRO, L. (Org.) ; MOREIRA, A. M. (Org.) . Brazilian Symposium on Formal Methods - SBMF 2006. 1. ed. Porto Alegre: , 2006. v. 1. 256 p.

2.	MOREIRA, A. M. (Org.) ; COSTA, U. S. (Org.) . IV Workshop Técnico CIentífico do DIMAp - DIMAp 20 anos, Artigos Selecionados. Natal: Edufrn - Editora da UFRN, 2005. v. 1. 165 p.

3.	MOREIRA, A. M. (Org.) ; MELO, A. C. V. (Org.) . Proceedings of the II Workshop on Formal Methods. , 1999. v. 1. 107 p.

Capítulos de livros publicados

1.	RAMOS, K.D.N. ; RIBEIRO, C. M. F. A. ; MOREIRA, A. M. ; SILVA, I. S. . A formal approach for network-on-chip design. In: Ben A. Abderazek. (Org.). Multicore Systems on Chips. 1 ed. : Research Signpost, 2008, v. , p. 141-162.

Trabalhos completos publicados em anais de congressos

1.

GOMES, B. E. G. ; DÉHARBE, D. ; MOREIRA, A. M. ; MORAES, K. K. O. . Applying the B Method for the Rigorous Development of Smart Card Applications. In: International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010), 2010, Orford. Abstract State Machines, Alloy, B and Z. Berlin : Springer, 2010. v. 5977. p. 203-216.

2.	HENTZ, C. ; MOREIRA, A. M. . Geração de Sentenças para testes a partir de descrições de linguagens. In: Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009. p. 55-65.

3.	DÉHARBE, D. ; Galvão, S. ; MOREIRA, A. M. . Formalizing FreeRTOS: First Steps. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications, LNCS, 2009. v. 5902. p. 101-117.

4.

ROCHA, B. P. F. D. ; DÉHARBE, D. ; Galvão, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., V . Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B. In: XXXV Seminário Integrado de Software e Hardware (SEMISH 2008), 2008, Belem. Anais do XXX Congresso da Sociedade Brasileira de Computação. Porto Alegre : Sociedade Brasileira de Computação, 2008. p. 1-15.

5.	COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, M. A. ; Souza Neto, P. A. . Specification and Runtime Verification of Java Card Programs. In: Brazilian Symposium on Formal Methods, 2008, Salvador, BA. Proceedings of SBMF 2008. Salvador : EDUFBA, 2008. p. 83-98.

6.	ROCHA, B. P. F. D. ; DÉHARBE, D. ; Galvão, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., V . Applying the B method to take on the grand challenge of verified compilation. In: Brazilian Symposium on Formal Methods, 2008, Salvador, BA. Proceedings of SBMF 2008. Salvador : EDUFBA, 2008. p. 35-50.

7.	DÉHARBE, D. ; MOREIRA, A. M. ; MUNIZ, P. ; RUSSO, A. . Modelling Control Systems in B: an Industrial Case Study. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Proceedings of the Brazilian Symposium on Formal Methods, 2007. p. 112-127.

8.	DÉHARBE, D. ; MOREIRA, A. M. ; SENA, D. . Agraphs: Definition Implementation and Tools. In: Third International Workshop on Graph Based Tools (GraBaTs 2006), 2006, Natal. Third International Workshop on Graph Based Tools (GraBaTs 2006), 2006. p. 106-117.

9.

DÉHARBE, D. ; GOMES, B. E. G. ; MOREIRA, A. M. . Automation of Java Card Component Development Using the B Method. In: 11th International Conference on Engineering of Complex Computer Systems, 2006, Stanford. Proceedings Eleventh International Conference on Engineering of Complex Computer Systems. Los Alamitos : IEEE Computer Society, 2006. p. 259-268.

10.	RAMOS, K.D.N. ; RIBEIRO, C. M. F. A. ; MOREIRA, A. M. ; SILVA, I. S. . A Formal Approach for Network on Chip Design. In: International Workshop on SoC and MCSoC design, 2006, Yogykarta. Frontiers in Mobile and Web Computing: Proceedings of MoMM2006 & iiWAS2006 Workshops, 2006. v. 1. p. 347-358.

11.	MOREIRA, A. M. ; DÉHARBE, David Boris Paul ; GOMES, B. E. G. . Developing Java Card Applications with B. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. p. 63-77.

12.	SANTIAGO, R. H. N. ; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. p. 112-127.

13.	MOREIRA, A. M. ; SANTANA, A. . Simulating Algebraic Specification Genericity on Languages with Initial Semantics. In: Workshop de Métodos Formais, 2003, Campina Grande. WMF'2003 - VI Workshop de Métodos Formais - ANAIS, 2003. p. 89-104.

14.

MOREIRA, A. M. ; RINGEISSEN, Christophe ; SANTANA, A. . A Tool Support for Reusing ELAN Rule-Based Components. In: International Workshop on Rule-Based Programming, 2003, Valencia. Proceedings of the 4th International Workshop on Rule-Based Programming, RULE'03. Valencia : Universidad Politécnica de Valencia, 2003. p. 67-82.

15.

DÉHARBE, David Boris Paul ; MOREIRA, A. M. ; RINGEISSEN, Christophe . Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. In: Conference on Rewriting Techniques and Applications - RTA, 2002, Copenhagen. Rewriting Techniques and Applications 2002. Berlin : Springer-Verlag, 2002. v. 2378. p. 207-221.

16.	SACRAMENTO, W. ; MOREIRA, A. M. ; SOUZA FILHO, G. L. ; BATISTA, T. . Especificação Formal e Implementação de Mecanismos de Seguranca para a Resolução de Nomes no DNS. In: SBRC, 2002, Buzios-RJ. Anais do 20o. Simposio Brasileiro de Redes de Computadores, 2002. v. II. p. 862-877.

17.	COSTA, U. S. ; MOREIRA, A. M. ; DÉHARBE, David Boris Paul . Advances in BDD Reduction with Parallel Genetic Algorithms. In: 10th International Workshop on Logic and Synthesis - IWLS, 2001, Gralibakken, 2001. p. 84-90.

18.	COSTA, U. S. ; DÉHARBE, D. ; MOREIRA, A. M. . Variable Ordering of BDDs with Parallel Genetic Algorithms. In: PDPTA, 2000, Las Vegas. Proceedings og the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000. v. II. p. 1181-1186.

19.	COSTA, U. S. ; MOREIRA, A. M. ; DÉHARBE, David Boris Paul . A cache based parallel genetic algorithm for the BDD ordering problem. In: 12th Symposium on Computer Architecture and High Performance Computing - SABC-PAD'2000, 2000, São Pedro (SP). Pproceedings of the SBAC-PAD'2000, 2000. p. 99-104.

20.	DÉHARBE, David Boris Paul ; MOREIRA, A. M. ; RIBEIRO, L. ; RODRIGUES, V. M. . Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. In: SBES'2000, 2000, João Pessoa, 2000.

21.	DÉHARBE, D. ; MOREIRA, A. M. . Symbolic Model Checking With Fewer Fixpoint Computations. In: First World Congress in Formal Methods (FM'99), 1999, Toulouse (França). Berlin : Springer-Verlag, 1999. v. 1708. p. 272-288.

22.	MOREIRA, A. M. . Novo Perfil Profissional: Inclusão de Métodos Formais Em Currículos Sobrecarregados. In: VI Workshop sobre Educação em Informática, 1998, Belo Horizonte (MG). Anais do Congresso da SBC'1998, 1998. v. I. p. 465-474.

23.	MOREIRA, A. M. . Parametrização de Componentes de Especificação Com Preservação de Semântica. In: XII simpósio Brasileiro de Engenharia de Software, 1998, Maringá (PR). Anais do XII Simpósio Brasileiro de Engenharia de Software, 1998. p. 155-170.

24.	DÉHARBE, D. ; MOREIRA, A. M. . Using Induction And Bdds To Model Check Invariants. In: CHARME'97: Advanced Research Working Conference on Correct Hardware Design and Verification Methods, 1997, Montreal (Canadá). Advances in Hardware Design and Verification, 1997. p. 203-213.

25.	JACQUET, P. ; MOREIRA, A. M. . Proposals For A Methodical Approach To Generalization Of Specification Components. In: XII SEMISH, 1994, Caxambu, 1994. p. 193-207.

26.	JACQUET, P. ; MOREIRA, A. M. . Some Ideas on a Methodic Approach to Generalization. In: ERCIM Workshop on Development and Transformation of Programs, 1993, Nancy, 1993.

27.	LOCK, H. ; MOREIRA, A. M. . Issues in the Implementation of Prolog and their Optimization. In: Euromicro 91, 1991, Viena, 1991.

28.	CHAME, J. F. ; SOARES, L. F. G. ; VIEIRA, M. F. ; MOREIRA, A. M. . Tranceptores Para Redes Locais Em Barra Comum.. In: V CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTACAO / XII SEMISH, 1985, Porto Alegre/RS, 1985. p. 0-0.

Resumos expandidos publicados em anais de congressos

1.	SANTOS, S. de O. ; MOREIRA, A. M. . KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. In: II Congresso Brasileiro de Software - CBSoft, 2011, São Paulo. Anais do WTDSoft, 2011.

2.

MOREIRA, A. M. ; MATOS, E. ; SOUZA, F. M. ; COELHO, R. S. . Generating Test Cases From B Speciﬁcations: An Industrial Case Study. In: 22nd International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Montréal : Centre de Recherche Informatique de Montréal (CRIM), 2010. p. 55-60.

3.

DÉHARBE, D. ; FONTAINE, P. ; MERZ, S. ; MOREIRA, A. M. ; OLIVEIRA, A. S. . Towards automating proofs for model-based software engineering. In: COLIBRI - Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009, Bento Gonçalves. COLIBRI - Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009. p. 1-6.

4.

GOMES, B. E. G. ; MOREIRA, A. M. ; DÉHARBE, D. ; MORAES, K. K. O. . A Ferramenta BSmart para o Desenvolvimento Rigoroso de Aplicações Java Card com o Método Formal B. In: Simpósio Brasileiro em Engenharia de Software - Seção de Ferramentas, 2007, João Pessoa. Anais do Simpósio Brasileiro em Engenharia de Software - Seção de Ferramentas, 2007. p. 11-17.

5.	GOMES, B. E. G. ; MOREIRA, A. M. . BSmart: a Method and a Tool for Development of Java Card Applications with B. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis. XI Workshop de Teses e Dissertações em Engenharia de Software (WTES), 2006. v. 1. p. 61-66.

Resumos publicados em anais de congressos

1.	DÉHARBE, D. ; GOMES, B. E. G. ; MOREIRA, A. M. . BSmart: a tool for the development of Java Card applications with the B method. In: First International Conference on Abstract State Machines, B and Z (ABZ), 2008, Londres. Abstract State Machines, B and Z. Berlin : Springer, 2008. p. 351-352.

2.	MOREIRA, A. M. . A Generalization Structuring Construct for CASL. In: 16th International Workshop on Algebraic Development Techniques - WADT'2002, 2002, Munique. 16th International Workshop on Algebraic Development Techniques. Munique : Institut fur Informatik, LMU Munchen, 2002. p. 41-42.

3.	LIMA, Gleydson ; MOREIRA, A. M. ; DÉHARBE, D. ; PEREIRA, D. ; SENA, D. ; VIDAL, J. . FERUS: um ambiente de desenvolvimento de especificações CASL. In: Simposio Brasileiro de Engenharia de Sofwtare - secao de ferramentas, 2002, Gramado. SBES'02, 2002. p. 1-6.

4.	PERAÇA, S. E. ; MOREIRA, A. M. . Proposta de uma Ferramenta de Apoio Formal à Especificação e Re-Utilização de Software. In: III Workshop de Métodos Formais, 2000, João Pessoa. SBES'2000 - Workshops - Anais, 2000. p. 134-138.

5.	MOREIRA, A. M. . Proof Preservation In Component Generalization. In: First World Congress on Formal Methods (FM'99), 1999, Toulouse (França). FM99 - Formal Methods. Berlin : Springer-Verlag, 1999. v. II. p. 1866-1866.

6.	DÉHARBE, D. ; MOREIRA, A. M. . Model Checking Invariants With Reduced Complexity. In: Logic, Proofs and Algorithms'98, 1998, Campinas (SP). Logic, Proofs and Algorithms'98, 1998. p. 9-10.

Artigos aceitos para publicação

1.	COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, M. A. ; Souza Neto, P. A. . JCML: A Specification Language for the Runtime Verification of Java Card Programs. Science of Computer Programming (Print), 2010.

Produção técnica

Trabalhos técnicos

1.	MOREIRA, A. M. ; RINGEISSEN, Christophe . Generalizing CASL Specification Components and Presenrving Rewrite Proofs. 2003.

Demais tipos de produção técnica

1.	MOREIRA, A. M. ; MACKIE, I. . International Workshop on Rule-Based Programming (RULE). 2009. (Co-Chair de comitê de programa).

2.	MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2009. 2009. (membro de comite de programa).

3.	MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software - SBES 2009. 2009. (membro de comite de programa).

4.	MOREIRA, A. M. . Conferência Latino Americana de Informática - CLEI 2009. 2009. (membro de comite de programa).

5.	MOREIRA, A. M. . International RuleML Symposium on Rule Interchange and Applications. 2009. (membro de comite de programa).

6.	RIBEIRO, L. ; MOREIRA, A. M. . Electronic Notes in Theoretical Computer Science n.195. 2008. (Editoração/Periódico).

7.	MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2008. 2008. (membro de comite de programa).

8.	MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software - SBES 2008. 2008. (membro de comite de programa).

9.	MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2007. 2007. (membro de comite de programa).

10.	MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software - SBES 2007. 2007. (membro de comite de programa).

11.	MOREIRA, A. M. . International Conference on Graph Transformations. 2006. (membro de comite de programa).

12.	MOREIRA, A. M. . International Workshop on Software Evolution Through Transformations. 2006. (membro de comite de programa).

13.	MOREIRA, A. M. . Brazilian Workshop on Logical and Semantic Frameworks, with Applications. 2006. (membro de comite de programa).

14.	RIBEIRO, L. ; MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2006. 2006. (Co-Chair de comitê de programa).

15.	MOREIRA, A. M. ; DÉHARBE, David Boris Paul . Software Engineering with the B method. 2005. (Curso de curta duração ministrado/Outra).

16.	MOREIRA, A. M. . Simpósio Brasileiro de Métodos Formais. 2005. (membro de comite de programa).

17.	MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Softwrae. 2004. (membro de comite de programa).

18.	MOREIRA, A. M. . Workshop de Teses e Dissertações em Engenharia de Software. 2004. (membro de comite de programa).

19.	MOREIRA, A. M. . Simpósio Brasileiro de Métodos Formais. 2004. (membro de comite de programa).

20.	MOREIRA, A. M. . Workshop de Métodos Formais . 2003. (membro de comite de programa).

21.	MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software. 2003. (membro de comite de programa).

22.	MOREIRA, A. M. . Workshop de Metodos Formais. 2002. (membro de comite de programa).

23.	MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2002. (membro de comite de programa).

24.	MOREIRA, A. M. . ACM SIGPLAN Workshop on Rule Based Programming. 2002. (revisor externo).

25.	MOREIRA, A. M. . 2nd Ibero American Workshop on Software Engineering and Knowledge Enguneering. 2002. (membro de comite de programa).

26.	MOREIRA, A. M. . Workshop de Metodos Formais. 2002. (membro de comite de programa).

27.	MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2002. (membro de comite de programa).

28.	MOREIRA, A. M. . Workshop de Metodos Formais. 2001. (membro de comite de programa).

29.	MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2001. (membro de comite de programa).

30.	MOREIRA, A. M. . Workshop de Metodos Formais. 2001. (membro de comite de programa).

31.	MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2001. (membro de comite de programa).

32.	MOREIRA, A. M. . Workshop de Metodos Formais. 2000. (membro de comite de programa).

33.	MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2000. (membro de comite de programa).

34.	MOREIRA, A. M. . Workshop de Metodos Formais. 2000. (membro de comite de programa).

35.	MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2000. (membro de comite de programa).

Bancas

Participação em bancas examinadoras

Dissertações

1.	MOREIRA, A. M.; IERUSALIMSCHY, R.; COELHO, R. S.. Participação em banca de Cleverton Henz Antunes. Geração Automática de Testes a partir de Descrições de Linguagens. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.	MOREIRA, A; DÉHARBE, D.; Cavalcanti, A.; Maitelli, A.. Participação em banca de Valerio Gutemberg de Medeiros Junior. Aplicação do método B ao projeto formal de software embarcado. 2009. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.	MOREIRA, A. M.; SAMPAIO, A. C.; Mota, A.. Participação em banca de Lucas Albertins de Lima. Test Case Prioritization based on data reuse for black-box environments. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.	MOREIRA, A. M.; COELHO, R. S.; OLIVEIRA, M.; Mota, A.. Participação em banca de Fernanda Monteiro de Souza. Geração de Casos de Teste a partir de Especificações B. 2009. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

5.

LEITE, J. C.; Saibel C.; MOREIRA, A. M.. Participação em banca de Lirisnei Gomes de Souza. Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

6.	MOREIRA, A. M.; MUSICANTE, M. A.; COSTA, U. S.; BORBA, P. H. M.. Participação em banca de Plácido Antonio de Souza Neto. JCML - Java Card Modeling Language: Definição e Implementação. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

7.	MOREIRA, A. M.; SAMPAIO, A. C.; DÉHARBE, D.; OLIVEIRA, M.. Participação em banca de Bruno Emerson Gurgel Gomes. BSmart: Desenvolvimento Rigoroso de Aplicações Java Card com base no Método Formal B. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

8.	LEITE, J. C.; BARANAUSKAS, M. C. C.; MOREIRA, A. M.. Participação em banca de Thaís Lima Machado. Visual IMML - um perfil UML para a modelagem de interfaces de usuário. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

9.	NUNES, D.; LAMB, L. C.; MOREIRA, A. M.; RIBEIRO, L.. Participação em banca de Antonio Soares de Azevedo Terceiro. Semantics for an Algebraic Specification Language. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

10.	MOREIRA, A. M.; IERUSALIMSCHY, R.; DÉHARBE, D.; MUSICANTE, M. A.. Participação em banca de Demóstenes Santos de Sena. Agraphs: Definição, Implementação e Ferramentas. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

11.

SANTIAGO, R. H. N.; HAEUSLER, E. H.; MOREIRA, A. M.; BEDREGAL, Benjamin R C. Participação em banca de Adriano Xavier Carvalho. Sostema de Reescrita de termos par aintervalos: em diração a um modelo formal para a computação intervalar. 2005. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

12.

MOREIRA, A. M.; SANTIAGO, R. H. N.; HAEUSLER, E. H.. Participação em banca de Anderson Santana de Oliveira. Uma ferramenta para suporte formal à evolução e reutilização para linguagens de especificação algébrica com semântica inicial. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

13.	MOREIRA, A. M.. Participação em banca de Katiane Ribeiro Lopes. A linguagem de especificação algébrica CASL e o tipo de dados intervalos. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

14.	MOREIRA, A. M.; BEDREGAL, Benjamin R C; CAMPOS, Marcília Andrade. Participação em banca de Samara Pereira da Costa Melo. Especificação do Tipo Intervalar Parametrizado em CASL. 2003. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

15.	MOREIRA, A. M.; DÉHARBE, D.; REIS, A. I.. Participação em banca de Jorgiano Marcio Bruno Vidal. Ordenacao Inicial de BDDs para verificacao de Sistemas de Transicao Finita. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

16.

MOREIRA, A. M.; FERNANDES, J. H. C.; PAULA, V. C.; MACHADO, P. D. L.. Participação em banca de Samantha Escobar Peraca. Arquitetura e Biblioteca para FERUS - Apoio Formal a Especificacao e Re-Utilizacao de Software. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

17.	MOREIRA, A. M.. Participação em banca de Aline Maria Malachini Miotto. Especificacao de um modelo formal para aplicacoes em sistemas hipermidia abertos. 2001. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

18.

ROCHA, B. P. F. D.; MOREIRA, A. M.; DÉHARBE, David Boris Paul; SAMPAIO, A. C.; PAULA, V. C.. Participação em banca de Bartira Paraguaçu Falcão Dantas da Rocha. A Linguagem de Descrição de Arquiteturas ZCL-CSP. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

19.	MOREIRA, A. M.; DÉHARBE, David Boris Paul; MARTINS, Simone de Lima. Participação em banca de Umberto da Souza Costa. Ordenação de Variáveis de BDDs utilizando Algoritmos Genéticos Paralelos. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

20.

RIBEIRO, C. M. F. A.; MOREIRA, A. M.; SOUZA FILHO, G. L.; MAGALHÃES, M. F.; LOPES, A. B.. Participação em banca de Claudia Maria Fernandes de Araújo Ribeiro. Especificação Formal de Mecanismos de Sincronização em Aplicações Multimídia Baseadas no Premo. 1999. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Teses de doutorado

1.	MOREIRA, A. M.. Participação em banca de Simone André da Costa Cavalheiro. Abordagem Relacional de Gramáticas de Grafos. 2010. Tese (Doutorado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul.

2.

IERUSALIMSCHY, R.; HAEUSLER, E. H.; MOREIRA, A. M.. Participação em banca de Sergio Queiroz de Medeiros. Um estudo sobre gramáticas de expressões de parsing e a sua correspondência com expressões regulares e gramáticas livres de contexto LL(k)-forte. 2010. Tese (Doutorado em Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

3.

SILVA, I. S.; RIBEIRO, C. M. F. A.; LIMA. J.A.G.; MOREIRA, A. M.; BEDREGAL, Benjamin R C; OLIVEIRA, L. A.. Participação em banca de Karla Darlene N. Ramos. CADZ: Uma metodologia de projeto baseada em Z para redes-em-chip. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

4.	MOREIRA, A. M.. Participação em banca de Rohit Gheyi. A Refinement Theory for Alloy. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.	MOREIRA, A. M.; DÉHARBE, D.; CAMPOS, S.; COELHO JUNIOR, C.; MOURA, A.; CHI, W. H.; VIEIRA, N. J.. Participação em banca de Umberto Souza da Costa. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

6.	MOREIRA, A. M.; NUNES, D.; MOREIRA, A.; RIBEIRO, L.; MARTINI, A.. Participação em banca de Ana Paula Ludke Ferreira. Object Oriented Grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

7.

MOREIRA, A. M.; HAEUSLER, E. H.; LUCENA, C. P.; BRAGA, C.; LEITE, J.; SOARES, L. F. G.. Participação em banca de Marcelo Fagundes Felix. Análise formal de modelos de software orientada por abstrações arquiteturais. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

8.	MOREIRA, A. M.. Participação em banca de Ana Lucia Moura. Revisitando Co-rotinas. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

9.	SANTIAGO, R. H. N.; MOREIRA, A. M.; QUEIROZ, R. G. B.; CLAUDIO, D. M.; COSTA, A. C. R.. Participação em banca de Regivan Hugo Nunes Santiago. Teoria das Equações Intervalares Locais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Qualificações de doutorado

1.	MUSICANTE, M. A.; MOREIRA, A. M.. Participação em banca de Placido Antonio de Souza Neto. Uma Proposta de Metodologia para o Desenvolvimento de Aplicações Web Baseadas em PEWS. 2010. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.	SAMPAIO, A. C.; MOREIRA, A. M.; DÉHARBE, D.. Participação em banca de Bruno Emerson Gurgel Gomes. Desenvolvimento Formal de Aplicações para Smart Cards. 2010. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.

MOREIRA, A. M.; RIBEIRO, C. M. F. A.; SILVA, I. S.. Participação em banca de Karla Darlene N. Ramos. Modelo de Comunicação Concorrente em Ambiente MPSoC Baseado em NoC, Utilizando o Padrão MPI. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

4.	MOREIRA, A. M.; RIBEIRO, L.; NUNES, D.. Participação em banca de Ana Paula Ludtke Ferreira. Object-Oriented Graph-Grammars. 2004. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

5.

FERNANDES, J. H. C.; MOREIRA, A. M.; ORGAMBIDE, A. C. F.; BORBA, P. H. M.. Participação em banca de Jorge Henrique Cabral Fernandes. Corpus: uma Abordagem para Construção de Sistemas Computacionais Abertos de Natureza Distribuída, Concorrente, Dinâmica e Baseada em Eventos. 2000. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Pernambuco.

Participação em bancas de comissões julgadoras

Concurso público

1.	MOREIRA, A. M.. Professor Adjunto. 2009. Universidade Federal de Campina Grande.

2.	MOREIRA, A. M.. Professor Adjunto. 2008. Universidade Federal Rural do Semiárido.

3.	MOREIRA, A. M.. Professor Substituto em Teoria da Computacao. 2001. Universidade Federal do Rio Grande do Norte.

4.	MOREIRA, A. M.. Professor Assistente em Engenharia de Software. 2000. Universidade Estadual do Sudoeste da Bahia.

5.	MOREIRA, A. M.; ACCIOLY, Benedito; GOTTGTROY, Marcia de Paiva Bastos. Professor Adjunto. 1998. Universidade Federal do Rio Grande do Norte.

Avaliação de cursos

1.	MOREIRA, A. M.; BORTOLOZZI, F.. Autorizacao de curso de Sistemas de Informacao. 2002. Ministério da Educação.

2.	MOREIRA, A. M.; FORTES, R. P.. Autorizacao de curso de Sistemas de Informacao. 2001. Ministério da Educação.

3.	MOREIRA, A. M.; SANTANA, R. H. C.. Autorizacao de curso de Sistemas de Informacao. 2001. Ministério da Educação.

Eventos

Participação em eventos

1.	II Congresso Brasileiro de Software - CBSoft.KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B Simone. 2011. (Simpósio).

2.	Reunião anual do Forum de Assessorias Internacionais das IES.Repreentação da UFRN. 2011. (Outra).

3.	International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010).Applying the B Method for the Rigorous Development of Smart Card Applications. 2010. (Simpósio).

4.	22nd International Conference on Testing Software and Systems.Generating Test Cases From B Speciﬁcations: An Industrial Case Study. 2010. (Simpósio).

5.	Reunião anual do Forum de Assessorias Internacionais das IES.Repreentação da UFRN. 2010. (Outra).

6.	Reunião anual do Forum de Assessorias Internacionais das IES.Apresentação da AAI-UFRN. 2009. (Encontro).

7.	Semana Franco-Brasileira de Educação Superior. 2009. (Outra).

8.	III Seminário Nacional do REUNI " Inovações Acadêmicas: Reestruturação e Impactos Administrativos". 2008. (Seminário).

9.	Encontro de Cooperação Internacional.Apresentação da AAI-UFRN. 2008. (Encontro).

10.	Forum de reitores Brasil-Japão. 2008. (Encontro).

Organização de eventos

1.	MOREIRA, A. M. . Simpósio Brasileiro de Métodos Formais. 2006. (Congresso).

2.	MOREIRA, A. M. ; RIBEIRO, L. . International Conference on Graph Transformations. 2006. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Viviane de Menezes Ramalho. Testes a partir de gramáticas: áreas de aplicação. Início: 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.

Simone de Oliveira Santos. KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B.. Início: 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.	Ernesto Cid Brasil de Matos. Geração de Testes a partir de Especificações B. Início: 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Cleverton Hentz. Geração de Testes a partir de gramáticas. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Anamaria Martins Moreira.

2.	Fernanda Monteiro de Souza. Geração de Casos de Teste a partir de Especificações B. 2009. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Anamaria Martins Moreira.

3.

Bruno Emerson Gurgel Gomes. BSmart: Desenvolvimento Rigoroso de Aplicações Java Card com base no Método Formal B. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Anamaria Martins Moreira.

4.	Plácido Antonio de Souza Neto. JCML - Java Card Modeling Language: Definição e Implementação. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Anamaria Martins Moreira.

5.	Demostenes Santos de Sena. Agraphs: Definição, Implementação e Ferramentas. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Anamaria Martins Moreira.

6.

Anderson Santana de Oliveira. Uma ferramenta p/ suporte formal à evolução e reutilização de software p/ linguagens de especificação algébrica com semântica inicial. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Anamaria Martins Moreira.

7.	Samantha Escobar Peraca. Arquitetura e Biblioteca para FERUS - apoio Formal a Especificacao e Re-Utilizacao de componentes de Software. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Anamaria Martins Moreira.

8.

Umberto Souza da Costa. Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos. 2000. 120 f. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Anamaria Martins Moreira.

Trabalho de conclusão de curso de graduação

1.	Ricardo José Sales Junior. "Implementing Genetic Algorithms and Clusters for Test Cases Prioritization". 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Anamaria Martins Moreira.

2.	Itamir de Morais Barroca Filho. Ferramenta para a geração de dados de teste a partir de especificações B. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Anamaria Martins Moreira.

3.	Rafael Chacon. Especificação formal de software para implementação de legislação. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Anamaria Martins Moreira.

4.	Joaz Santana Praxedes Junior. Estudo de Caso para Agraphs. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Anamaria Martins Moreira.

5.	Dhalmo Krause de Oliveira. Reengenharia de FERUS. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Anamaria Martins Moreira.

6.

Thiago Fernandes Silva Dutra. KitSmart: um kit de tipos e estruturas de dados projetados com o método B para o desenvolvimento rigoroso em Java Card. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

7.

Bruno Emerson Gurgel Gomes. Geração de Código Java Card a partir de Especificações Formais em Linguagem B. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

8.	Fernanda Monteiro de SOuza. Geração de dados de testes a partir de especificações feitas em linguagem B. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Anamaria Martins Moreira.

9.	Demostenes Sena. Geração Automática de Agraphs. 2003. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Anamaria Martins Moreira.

Iniciação Científica

1.	Giuliano Vilela Cid. Aperfeiçoamento do KitSmart e integração com BSmart. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

2.

Katia Karine de Oliveira Moraes. Geração de APIs para encapsulamento de plataforma Java Card. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

3.	Joaz Santana Praxedes Junior. Estudo de Caso para Agraphs. 2006. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

4.	Itamir de Morais Barroca Filho. Especificação e Refinamento em B. 2005. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

5.	Katia Karine de Oliveira Moraes. especificação em B dos tipos básicos Java Card. 2005. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

6.	Thiago Fernandes SIlva Dutra. suporte ao desenvolvimento de aplicações Java Card. 2005. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.

7.	Ibanez Cavalcanti Ferreira. Estudo de Caso para FERUS. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Anamaria Martins Moreira.