Alexandre Cabral Mota

Bolsista de Produtividade Desen. Tec. e Extensão Inovadora do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/2794026545404598
  • Última atualização do currículo em 21/11/2018


Possui doutorado em Ciência da Computação pelo Centro de Informática - UFPE (2001). Atualmente é professor Associado III. Especialidade é Métodos Formais, focando: CSP, model checking, theorem proving, modelagem formal e refinamento. Atualmente vem investindo também na parte de Engenharia de Software Experimental, baseada em testes e simulações probabilísticas. Objetivo atual é aplicar Métodos Formais e Engenharia de Software Experimental para auxiliar no desenvolvimento de sistemas aeronáuticos, particularmente no entendimento e aplicação de Métodos Formais em Sistemas de Controle bem como no processo de Safety Assessment. De 2004 a 2008 fez pesquisas relacionadas a uma colaboração entre o Centro de Informática-UFPE e a Motorola. E desde 2006 vem colaborando com a Embraer. Foi vice-coordenador do Projeto COMPASS (Comprehensive Modelling for Advanced Systems of Systems), lado Brasil, financiado pela Comunidade Européia, edital FP7 durante 2011 e 2014. Atualmente é coordenador do projeto de pesquisa CIn-Motorola cujo foco é o teste de celulares. (Texto informado pelo autor)


Identificação


Nome
Alexandre Cabral Mota
Nome em citações bibliográficas
MOTA, A.;Mota, A;Mota, Alexandre;MOTA, ALEXANDRE CABRAL

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática, Departamento de Sistemas de Computação.
Avenida Jornalista Aníbal Fernandes
Cidade Universitária
50740560 - Recife, PE - Brasil - Caixa-postal: 7851
Telefone: (81) 21268430
Ramal: 4336
Fax: (81) 21268438
URL da Homepage: http://www.cin.ufpe.br/


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


1998 - 2001
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Model Checking CSPz: Techniques to Overcome State Explosion, Ano de obtenção: 2001.
Orientador: Augusto Cézar Alves Sampaio.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Model checking; Abstract Interpretation; Data Independence; Z Data Refinement.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Aeronáutica e Espaço; Desenvolvimento de Programas (Software).




Atuação Profissional



Comunidade Européia, CE, Grã-Bretanha.
Vínculo institucional

2011 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Vice-coordenador no Brasil


Faculdade Integrada do Recife, FIR, Brasil.
Vínculo institucional

2002 - 2002
Vínculo: Funcionário, Enquadramento Funcional: Professor titular, Carga horária: 20
Outras informações
Relacionado às atividades de ensino, ministrei cursos de Lógica e Compiladores. Participei do projeto de iniciação científica, como orientador de 2 alunos, lançado no período em que me encontrava nesta instituição.

Atividades

2/2002 - 6/2002
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Teoria dos Compiladores

Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado III, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2015
Vínculo: , Enquadramento Funcional: Professor Associado II, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2001 - 2002
Vínculo: Professor substituto, Enquadramento Funcional: Professor substituto, Carga horária: 20
Outras informações
Professor Substituto

Vínculo institucional

1998 - 1999
Vínculo: Bolsista DTI, Enquadramento Funcional: , Carga horária: 20

Atividades

8/2015 - Atual
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
IF669 - Introdução à Programação (Curso: Engenharia da Computação)
7/2002 - Atual
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
IN1112 - Especificação de Sistemas Distribuídos
6/2002 - Atual
Pesquisa e desenvolvimento , Departamento de Sistemas de Computação, Departamento de Sistemas de Computação.

3/2015 - 8/2015
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
IN1112 - Especificação de Sistemas Distribuídos
3/2015 - 8/2015
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
IF669 - Introdução à Programação
2/2001 - 6/2002
Ensino, Ciência da Computação (Professor Substituto), Nível: Graduação

Disciplinas ministradas
Linguagens de Programação
Métodos Formais
1/1998 - 1/1999
Outras atividades técnico-científicas , Centro de Informática, Centro de Informática.

Atividade realizada
Implementação de um Simulador em Java.


Linhas de pesquisa


1.
Métodos Formais
2.
Verificação de Modelos
3.
Orientação a Objetos
4.
Orientação a Aspectos
5.
Testes formais


Projetos de pesquisa


2015 - Atual
Processos de Testes de Dispositivos Móveis
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (23) / Mestrado acadêmico: (10) / Doutorado: (4) .
Integrantes: Alexandre Cabral Mota - Integrante / Alexandre Mota - Coordenador / Juliano Iyoda - Integrante / Carlos Alexandre de Barros Mello - Integrante / Daniel Carvalho da Cunha - Integrante / Abel Guilhermino da Silva Filho - Integrante / Eduardo Antonio Guimarães Tavares - Integrante / Kelvin Lopes Dias - Integrante / Paulo Romero Martins Maciel - Integrante / Ricardo Martins de Abreu e Silva - Integrante / Tsang Ing Ren - Integrante.
2015 - Atual
Seleção Automática de Testes de Regressão para Dispositivos Móveis (Cooperação CIn-Motorola)
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Alexandre Cabral Mota - Integrante / Alexandre Mota - Coordenador.
2014 - Atual
Verificação de Modelos com Estados Enriquecidos
Descrição: Neste projeto (o qual é apoiado pela Embraer), propomos a construção de um verificador automático de modelos (model checker) para uma linguagem formal,seguindo fielmente sua semântica operacional estruturada e que seja capaz de lidar com espaço de estados enriquecido com tipos de dados complexos, tais como conjuntos, sequências,bags, etc. (Tipos de dados provenientes da linguagem formal Z). O formalismo alvo deste projeto é a linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra. Tal combinação faz de Circus não apenas uma linguagem de especificação, mas também de programação. Circus é um formalismo adequado para descrever os vários aspectos do projeto de grandes sistemas, particularmente, com ênfase em Sistemas de Sistemas (SoS, Systems of Sytems)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Alexandre Cabral Mota - Integrante / Alexandre Mota - Coordenador / Adalberto Farias - Integrante / Augusto Sampaio - Integrante / Juliano Iyoda - Integrante / André Didier - Integrante / Fabio Soares dos Santos - Integrante / Rafael Pereira de Araújo - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - 2014
Desenvolvimento sistemático e rigoroso para sistemas aeronáuticos
Descrição: Este projeto objetiva empregar técnicas de teste, métodos formais e de análise de segurança em sistemas aeronáuticos. O principal desafio é promover avanços teórico-práticos para a indústria aeronáutica bem como as áreas de pesquisa associadas. Em particular, procuramos com este projeto permitir que sistemas aeronáuticos sejam desenvolvidos com ainda mais qualidade, onde corretude e segurança são os principais fatores envolvidos, não obstante requerendo um custo menor do que o empregado atualmente. A Embraer (Empresa Brasileira de Aeronáutica S.A.), visando satisfazer requisitos de desenvolvimento e certificação de sistemas, usa padrões sistemáticos e rigorosos como a FAR 25.1309 (Federal Aviation Regulations)[FAR25] e ARP 4754, 4761 (Aerospace Recommended Practice) [ARP4754, ARP4761]. Estes padrões definem guias para a produção de sistemas e equipamentos de aviação, os quais devem executar suas funções de acordo com o especificado (comportamento funcional ou nominal), tendo como resultado um nível de confiança em segurança (comportamento com falhas ou anormal) alto, tal qual requer o domínio aeronáutico. Desta forma, desde 2006 a Embraer vem manifestando interesse em colaborar com as pesquisas realizadas pelo proponente deste projeto (ver Anexo I) com o objetivo de diminuir o custo com o desenvolvimento de seus sistemas aeronáuticos e ao mesmo tempo aumentar a confiabilidade e segurança sobre os mesmos. Desde o início desta colaboração Universidade-Indústria, temos conseguido satisfazer a três maiores objetivos para a pesquisa brasileira (e mundial): (i) Publicar resultados científicos alcançados; (ii) Transferir tais resultados para a indústria como tecnologia; (iii) Formar capital humano qualificado. Este projeto considerará as seguintes direções de pesquisa: (1) definição de um cálogo de refatoramentos para introdução de tolerância a falhas; (2) investigação sobre a corretude dos refatoramentos deste catálogo; (3) experimentação dos refatoramentos em metodol.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) .
Integrantes: Alexandre Cabral Mota - Coordenador / Adalberto Farias - Integrante / Augusto Sampaio - Integrante / Juliano Iyoda - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2014
COMPASS Comprehensive Modelling for Advanced Systems of Systems
Descrição: COMPASS will augment existing industry tools and practice with an underlying modelling language in which Systems of Systems (SoS) architectures and contracts can be expressed. A formal semantic foundation the first to be developed specifically for SoS engineering will enable this language to support analysis of global SoS properties. The language and methods will be supported by an open, extendible tools platform with integrated prototype plugins for model construction, dynamic analysis by simulation and test automation, static analysis by model checking and proof, and links to an established architectural modelling language (SysML). These strengthened foundations and tools will support enhanced methods guidelines that help users embed this new technology in industrial SoS practice. Technical advances in COMPASS are focussed on industry needs evaluated through substantial industry led case studies in three diverse and complementary areas. These will be augmented by challenge problems solicited from a range of SoS stakeholders and developer organisations through a special interest group. The open platform, tools plugins, semantics, development guidelines, industry case study experience and challenge problems will ensure that COMPASS‟s outputs can be readily exploited by SoS developers and stakeholders as well as in future research and development..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Alexandre Cabral Mota - Integrante / Adalberto Farias - Integrante / Márcio Cornélio - Integrante / Marcel Oliveira - Integrante / Juliano Iyoda - Integrante / André Didier - Integrante / Gustavo Carvalho - Integrante / Augusto Cezar Alves Sampaio - Coordenador / Lucas Albertins - Integrante / Jim Woodcock - Integrante / Ana Cavalcanti - Integrante.Financiador(es): Comunidade Européia - Cooperação.
2010 - 2012
Análise de Segurança de Sistemas Aviônicos com Métodos Formais
Descrição: Este projeto tem como enfoque empregar técnicas de Métodos Formais e de Análise de Segurança de Sistemas em sistemas aeronáuticos. O principal objetivo é promover avanços teórico-práticos nestas áreas de pesquisa. Em particular, procuramos com este projeto permitir que sistemas aeronáuticos sejam desenvolvidos com ainda mais qualidade, onde corretude e segurança são os principais fatores envolvidos, entretanto requerendo um custo menor do que o empregado atualmente. Resumo A Embraer (Empresa Brasileira de Aeronáutica S.A.) tem utilizado como meio de cumprimento de requisitos de desenvolvimento e certificação de sistemas os padrões FAR 25.1309 (Federal Aviation Regulations)[FAR25] e ARP 4754, 4761 (Aerospace Recommended Practice) [ARP4754, ARP4761]. Esses padrões definem guias para a produção de sistemas e equipamentos de aviação, os quais que devem executar suas funções esperadas (comportamento nominal ou normal) com um nível de confiança em segurança (comportamento com falhas ou anormal) de acordo com os requisitos aeronáuticos determinados. Desta forma, a Embraer manifestou interesse em colaborar com o presente projeto de pesquisa (ver Anexo I) com o objetivo de diminuir o custo com o desenvolvimento de seus sistemas aeronáuticos e ao mesmo tempo aumentar a confiabilidade e segurança sobre os mesmos. Resumo O projeto considerará as seguintes direções de pesquisa: (1) investigação de notações formais para modelar sistemas aeronáuticos heterogêneos com características tais como não-determinismo, probabilidade e tempo; (2) proposta de uso de linguagens formais como semântica para diagramas de bloco, árvores de falhas, cadeias de markov, diagramas de influência e diagramas de seqüências de eventos; (3) emprego de verificação e validação formal de sistemas para a análise de propriedades funcionais, não-funcionais e/ou de segurança de sistemas aeronáuticos; (4) suporte para geração automática de modelos formais a partir de modelos de falhas de sistemas contínuos, discre.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Alexandre Cabral Mota - Coordenador / Adalberto Farias - Integrante / Augusto Sampaio - Integrante / Juliano Iyoda - Integrante / Adriano Gomes - Integrante / Flávia Soares - Integrante / Luis Filipe - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2012
Análise de Segurança Baseada em Modelos para Sistemas Autônomos
Descrição: O futuro da exploração espacial implica em sistemas ainda mais complexos. Percebe-se um esforço mundial em desenvolver dispositivos cada vez mais autônomos que não dependam apenas do controle humano remoto em terra para recuperar-se de eventuais falhas. Sendo assim, pode-se alcançar uma maior probabilidade de êxito na missão desde que o sistema autônomo seja confiável. A importância do desenvolvimento do controle de satélites artificiais tolerantes a falhas é evidente. Tomemos como exemplo os satélites que possuem uma curta janela de comunicação com a terra durante o período de uma órbita completa. Uma pequena falha no sistema que o levasse a não detectar o momento exato para transmitir seus dados resultaria na perda da telemetria e, consequentemente, no precoce fim da missão, mesmo que outros dispositivos ainda estivessem funcionando perfeitamente. Técnicas de simulações e testes estão bastante difundidas nesse setor para reduzir as probabilidades de falha. Apesar de úteis, elas não são completas, pois carregam consigo dois problemas básicos: ausência de garantia da corretude do funcionamento dos sistemas e alto custo para remodelá-los em caso de falhas encontradas tardiamente durante os testes. Com esse projeto estamos dispostos a aplicar técnicas de Métodos Formais e Análise de Segurança e Sistemas (associadas a linguagens de especificação formais e ferramentas de Model Checker) aos dispositivos críticos que compõem um satélite artificial. Sendo assim, seremos capazes de modelá-los matematicamente (quer sejam hardware ou software) sem a necessidade de qualquer implementação anterior. Implicando, assim, em um menor custo envolvido no processo. A partir de então, será possível extrair propriedades do sistema, detectar ambiguidades, imprecisões, incoerências, calcular a probabilidade de ocorrência de eventos indesejados e verificar todos os estados aos quais o sistema esta sujeito (garantindo, dessa forma, sua corretude). Tudo indica que essa abordagem ofere.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Alexandre Cabral Mota - Coordenador / Adalberto Farias - Integrante / Augusto Sampaio - Integrante / Juliano Iyoda - Integrante / Adriano Gomes - Integrante / Flávia Soares - Integrante / Luis Filipe - Integrante.Financiador(es): Agência Espacial Brasileira - Auxílio financeiro.
2007 - 2009
Combinando Tecnicas de Metodos Formais e Teste na Construcao de Sistemas Embarcados de Tempo Real
Descrição: O valor total do projeto: R$ 415.903,16, dividos nas seguintes rubricas: R$ 110.000,00 (custeio), R$ 85.800,00 (capital), R$ 220.103,16 (bolsas). O projeto envolve o CIn, a UFCG e a UFRN..
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2008
Uma Estratégia para Desenvolvimento Sistemático de Aplicações Críticas
Descrição: A Embraer (Empresa Brasileira de Aeronáutica S.A.) tem utilizado como meio de cumprimento de requisitos de certificação de software o padrão DO-178B [RTCA]. O padrão DO-178B define guias para a produção de software para sistemas e equipamentos de aviação que executam sua função esperada com um nível de confiança em segurança de acordo com os requisitos aeronáuticos. Desta forma, a Embraer manifestou interesse em colaborar com o presente projeto de pesquisa com o objetivo de evoluir de um ciclo de desenvolvimento V (onde várias atividades do desenvolvimento de sistemas é realizada ainda manualmente) para um ciclo de desenvolvimento Y (onde, exceto pelos requisitos do sistema, as demais atividades são realizadas automaticamente e com presença mínima de falhas). Assim sendo, seus requisitos precisam ser documentados formalmente, com propriedades verificadas, projeto e implementação gerados automaticamente e, finalmente, propriedades testadas diretamente a partir da implementação do sistema, para obter uma garantia adicional de que a implementação não sofreu qualquer distorção após considerar requisitos não-funcionais..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Alexandre Cabral Mota - Coordenador / Adalberto Farias - Integrante / Augusto Sampaio - Integrante / Joabe Bezerra de Jesus Júnior - Integrante / Ana Lúcia Caneca Cavalcanti - Integrante.Financiador(es): Centro de Informática - Auxílio financeiro.Número de orientações: 1
2005 - 2008
Projeto Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste
Descrição: A atividade de testes, pela própria natureza, objetiva identificar erros, mas, em geral, não garante a ausência de erros. A principal razão é que o número de cenários a considerar é, usualmente, infinito. Portanto, a comunidade científica, em cooperação com a indústria de TI, está sempre buscando o desenvolvimento de técnicas que contribuam para tornar a atividade de teste progressivamente mais efetiva. Os resultados têm impacto evidente na qualidade de produtos desenvolvidos, na produtividade das organizações envolvidas e, conseqüentemente, no custo de desenvolvimento. No contexto de uma cooperação já existente entre a Motorola do Brasil e o Centro de Informática (CIn) da UFPE, o objetivo mais amplo deste projeto é contribuir com todo o processo de testes da Motorola..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (10) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Alexandre Cabral Mota - Integrante / Augusto Sampaio - Integrante / Paulo Borba - Coordenador / Alexandre Vasconcelos - Integrante / Patrícia Duarte de Lima Machado - Integrante / André Santos - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.
2002 - 2006
Formal Methods and UML-RT Integration
Descrição: O objetivo geral deste projeto é integrar métodos semi-formais, usados para especificação e modelagem, e que possuem grande apelo prático, com métodos formais, que oferecem uma base matemática sólida complementar. Em particular, a notação gráfica UML [B99] (e sua extensão para tempo real, UML-RT [P99]) será uma linguagem de referência para o projeto, devido a sua ampla aceitação prática. A integração de UML-RT com métodos formais visa contribuir com um processo de desenvolvimento de software que permita a geração de artefatos (documentos) com semântica bem definida, ou seja, não-ambíguos, consistentes e precisos. Por outro lado, a integração visa difundir o uso de métodos formais na Indústria, encapsulando-os através dos diagramas de UML. Um dos requisitos centrais do processo integrado é flexibilidade: o desenvolvedor pode optar pelo grau de formalismo usado em seu projeto, podendo variar desde uma descrição puramente em UML até uma especificação completamente formal, para descrever tanto os aspectos estáticos quanto os dinâmicos da modelagem. O passo inicial do projeto proposto é a definição de uma linguagem de especificação formal capaz de capturar todos os elementos conceituais disponíveis em UML-RT, pois, do nosso conhecimento, não há, na literatura, um formalismo que integre objetos, concorrência e tempo real (elementos de UML-RT). Entretanto, ao invés de criar uma tal linguagem por completo, o objetivo é, novamente, utilizar princípios de integração de teorias e ferramentas [P99], com o propósito de definir uma linguagem de especificação formal através da combinação de outras já bem definidas e com comprovada aceitação pela Comunidade Científica. Em diversos trabalhos de pesquisa realizados anteriormente [MS01,MS02,SSC01,CW02,SWC02], obtivemos resultados interessantes com relação à integração, ortogonal e formal, de diversos aspectos envolvidos no processo de especificação, modelagem e análise de software. Em particular, estudamos a combinação de nota.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Alexandre Cabral Mota - Integrante / Augusto Sampaio - Coordenador / Ana Lúcia Caneca Cavalcanti - Integrante / James Charles Paul Woodcock - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1
2002 - 2002
Derivação Automática de Aspectos a partir de Programa em Java
Descrição: Projeto consiste em analisar o código-fonte de um programa em Java e extrair semi-automaticamente aspectos relevantes sobre tal programa. A partir da internvenção de um usuário, a escolha por esses ou aqueles trechos de código se tornariam aspectos e assim o programa seria reescrito de forma a explorar os aspectos selecionados. A situação ideal é que os aspectos relevem características importantes sobre o software mas sejam ortogonais ao seu objetivo maior, ou seja, o software pode ser desenvolvido sem a preocupação de armazenamento em banco de dados. Tal parte poderia ser implantada como um aspecto do software..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Alexandre Cabral Mota - Coordenador / George Fragoso - Integrante / Jonas Lima - Integrante.Financiador(es): Faculdade Integrada do Recife - Bolsa.


Revisor de periódico


2006 - 2006
Periódico: ACTA INFORMATICA
2007 - 2008
Periódico: Journal of Universal Computer Science (Online)
2010 - 2010
Periódico: International Journal On Advances in Software
2012 - 2012
Periódico: Formal Aspects of Computing (Internet)
2013 - Atual
Periódico: Formal Aspects of Computing (Internet)
2013 - Atual
Periódico: The Journal of Systems and Software
2013 - Atual
Periódico: Formal Aspects of Computing
2014 - Atual
Periódico: Science of Computer Programming (Print)
2016 - Atual
Periódico: Information and Software Technology
2016 - Atual
Periódico: Information Processing Letters (Print)
2017 - Atual
Periódico: Anais da Academia Brasileira de Ciências (Online)
2018 - Atual
Periódico: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of


Revisor de projeto de fomento


2015 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2011 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Á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/Especialidade: Métodos Formais.
2.
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.


Idiomas


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


Prêmios e títulos


2018
Palestrante convidado, Brazilian Symposium on Formal Methods.
2016
2o melhor artigo científico no Simpósio de Teste - SAST, Sociedade Brasileira de Computação.
2013
Melhor Docente do Curso de Residência em Software, Convênio CIn/Motorola.
2009
Best Paper Award para o artigo A Mechanyzed Strategy for Safe Abstraction of CSP Specifications, Simpósio Brasileiro de Métodos Formais - SBMF.
2002
1o Lugar no Concurso de Teses de Doutorado, Sociedade Brasileira de Computação.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:31
Total de citações:106
Fator H:6
A. Mota; Alexandre Mota  Data: 25/01/2017

SCOPUS
Total de trabalhos:177
Total de citações:231

Outras
Total de trabalhos:25
Total de citações:289
A. Mota  Data: 25/01/2017

Artigos completos publicados em periódicos

1.
REIS, J.2018REIS, J. ; MOTA, A. . Aiding exploratory testing with pruned GUI models. INFORMATION PROCESSING LETTERS, v. 133, p. 49-55, 2018.

2.
OLIVEIRA, M. V. M.2016OLIVEIRA, M. V. M. ; ANTONINO, P. ; RAMOS, R. ; SAMPAIO, A. C. A. ; MOTA, A. ; ROSCOE, A. W. . Rigorous development of component-based systems using component metadata and patterns. Formal Aspects of Computing, v. 1, p. 1-68, 2016.

3.
Mota, Alexandre2016Mota, Alexandre; IYODA, JULIANO ; MARANHÃO, HEITOR . Program Synthesis by Model Finding. Information Processing Letters (Print), v. 1, p. 1, 2016.

4.
Didier, André2016Didier, André ; Mota, Alexandre . An algebra of temporal faults. Information Systems Frontiers (Print), v. 1, p. 1, 2016.

5.
MOTA, A.2015MOTA, A.; FARIAS, A. ; WOODCOCK, J. ; LARSEN, P. G. . Model checking CML: tool development and industrial applications. Formal Aspects of Computing, v. 27, p. 975-1001, 2015.

6.
CARVALHO, GUSTAVO2014CARVALHO, GUSTAVO ; Digo Falcão ; F. Barros ; SAMPAIO, A. C. A. ; MOTA, A. ; MOTTA, LEONARDO ; BLACKBURN, MARK . NAT2TEST$_{SCR}$: Test case generation from natural language requirements based on SCR specifications. Science of Computer Programming (Print), v. 95, p. 275-297, 2014.

7.
SAMPAIO, A. C. A.2014SAMPAIO, A. C. A. ; Nogueira, Sidney ; MOTA, A. ; ISOBE, YOSHINAO . Sound and mechanised compositional verification of input-output conformance. Software Testing, Verification & Reliability, v. 24, p. 289-319, 2014.

8.
REBÊLO, Henrique2013MOTA, A.; REBÊLO, Henrique ; LIMA, R. M. F. ; KULESZA, U. ; RIBEIRO, Márcio ; Yuanfang Cai ; COELHO, R. S. ; SANT`ANNA, Cláudio . QUANTIFYING THE EFFECTS OF ASPECTUAL DECOMPOSITIONS ON DESIGN BY CONTRACT MODULARIZATION: A MAINTENANCE STUDY. International Journal of Software Engineering and Knowledge Engineering, v. 23, p. 913-941, 2013.

9.
REBÊLO, Henrique2013REBÊLO, Henrique ; LIMA, RICARDO ; LEAVENS, GARY T. ; CORNÉLIO, MÁRCIO ; Mota, Alexandre ; OLIVEIRA, CÉSAR . Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Science of Computer Programming (Print), v. 78, p. 1137-1156, 2013.

10.
Gomes, Adriano2012Gomes, Adriano ; MOTA, A. ; SAMPAIO, A. C. A. ; Sampaio, Augusto ; Ferri, Felipe ; Watanabe, Edson . Constructive model-based analysis for safety assessment. International Journal on Software Tools for Technology Transfer (Internet), v. 1, p. 1-30, 2012.

11.
NOGUEIRA, SIDNEY2012NOGUEIRA, SIDNEY ; Sampaio, Augusto ; Mota, Alexandre . Test generation from state based use case models. Formal Aspects of Computing, v. 26, p. 441-490, 2012.

12.
BARBOSA, R.2011BARBOSA, R. ; COSTA, A. ; TEDESCO, P. ; MOTA, A. . Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. Revista de Informática Teórica e Aplicada (Impresso), v. 13, p. 389-411, 2011.

13.
Ramos, Rodrigo2010Ramos, Rodrigo ; Sampaio, Augusto ; Mota, Alexandre . Conformance notions for the coordination of interaction components. Science of Computer Programming (Print), v. 75, p. 350-373, 2010.

14.
Duarte, Rafael2010Duarte, Rafael ; Mota, Alexandre ; Sampaio, Augusto . Introducing concurrency in sequential Java via laws. Information Processing Letters (Print), v. 111, p. 129-134, 2010.

15.
Didier, André2009Didier, André ; Farias, Adalberto ; Mota, Alexandre . Checking Z Data Refinements Using Traces Refinement. Electronic Notes in Theoretical Computer Science, v. 240, p. 129-148, 2009.

16.
FARIAS, A.2008MOTA, A.; FARIAS, A. ; SAMPAIO, A. . Compositional abstraction ofCSP Z processes. Journal of the Brazilian Computer Society (Impresso), v. 14, p. 23-44, 2008.

17.
SOUZA, C.2008SOUZA, C. ; PERES, G. ; MOTA, A. . Unificando Modelos de Casos de Teste e de Requisitos. Revista IEEE América Latina, v. 6, p. 267-274, 2008.

18.
BERTOLINI, C.2008BERTOLINI, C. ; MOTA, A. . Uma Estratégia para teste de Conformidade Automático em Sistemas Embarcados (Qualis C). Revista IEEE América Latina, v. 6, p. 290-297, 2008.

19.
FEITOSA, CLELIO2008FEITOSA, CLELIO ; PERES, GLAUCIA ; Mota, Alexandre . IDEAS05: Unifying Models of Test Cases and Requirements. Revista IEEE América Latina, v. 6, p. 267-274, 2008.

20.
FERREIRA, PATRÍCIA2008FERREIRA, PATRÍCIA ; Sampaio, Augusto ; Mota, Alexandre . Viewing CSP Specifications with UML-RT Diagrams. Electronic Notes in Theoretical Computer Science, v. 195, p. 57-74, 2008.

21.
BORGES, R.2007BORGES, R. ; MOTA, A. . Integrating UML and Formal Methods. Electronic Notes in Theoretical Computer Science, v. 184, p. 97-112, 2007.

22.
MACHADO, P.2007MACHADO, P. ; SILVA, D. ; MOTA, A. . Towards Property Oriented Testing. Electronic Notes in Theoretical Computer Science, v. 184, p. 3-19, 2007.

23.
SAMPAIO, A.2004 SAMPAIO, A. ; MOTA, A. ; RAMOS, R. . Class and Capsule Refinement in UML for Real Time. Electronic Notes in Theoretical Computer Science, Campina Grande, Brazil, v. 95, p. 23-51, 2004.

24.
MOTA, A.;Mota, A;Mota, Alexandre;MOTA, ALEXANDRE CABRAL2001 MOTA, A.; SAMPAIO, A. . Model-checking CSP-Z: strategy, tool support and industrial application. Science of Computer Programming (Print), v. 40, p. 59-96, 2001.

Capítulos de livros publicados
1.
Conserva Filho, M. S. ; Marinho, R. ; MOTA, A. ; WOODCOCK, J. . Analysing RoboChart with Probabilities. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 198-214.

2.
da Silva, Tarciana Dias ; Sampaio, Augusto ; Mota, Alexandre . Verifying Transformations of Java Programs Using Alloy. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 110-126.

3.
NOGUEIRA, SIDNEY ; Falcão, Taciana Pontual ; Mota, Alexandre ; Oliveira, Emanuel ; Moraes, Itamar ; Pereira, Iverson . An Approach for Verifying Educational Robots. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 59-77.

4.
Barza, Sérgio ; CARVALHO, GUSTAVO ; IYODA, JULIANO ; Sampaio, Augusto ; Mota, Alexandre ; BARROS, FLÁVIA . Model Checking Requirements. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 217-234.

5.
Mota, Alexandre; Farias, Adalberto ; Didier, André ; Woodcock, Jim . Rapid Prototyping of a Semantically Well Founded Circus Model Checker. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2014, v. , p. 235-249.

6.
SILVA, ROBSON ; Mota, Alexandre ; STARR, RODRIGO RIZZI . Formal MDE-Based Tool Development. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2014, v. , p. 105-125.

7.
Cavalcanti, Ana ; Mota, Alexandre ; Woodcock, Jim . Simulink Timed Models for Program Verification. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 82-99.

8.
CARVALHO, GUSTAVO ; Sampaio, Augusto ; Mota, Alexandre . A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 148-164.

9.
CARVALHO, GUSTAVO ; Falcão, Diogo ; Mota, Alexandre ; Sampaio, Augusto . A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. , p. 67-82.

10.
Didier, André ; Mota, Alexandre . Identifying Hardware Failures Systematically. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. , p. 115-130.

11.
Jesus, Joabe ; Mota, Alexandre ; Sampaio, Augusto ; Grijo, Luiz . Architectural Verification of Control Systems Using CSP. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2011, v. , p. 323-339.

12.
Gomes, Adriano ; Mota, Alexandre ; Sampaio, Augusto ; Ferri, Felipe ; Buzzi, Julio . Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2010, v. , p. 625-639.

13.
Damasceno, Adriana ; Farias, Adalberto ; Mota, Alexandre . A Mechanized Strategy for Safe Abstraction of CSP Specifications. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2009, v. , p. 118-133.

14.
Sampaio, Augusto ; NOGUEIRA, SIDNEY ; Mota, Alexandre . Compositional Verification of Input-Output Conformance via CSP Refinement Checking. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2009, v. , p. 20-48.

15.
Kaufman, Renata ; Sampaio, Augusto ; Mota, Alexandre . Formalisation and Analysis of Objects as CSP Processes. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2009, v. , p. 236-250.

16.
Ramos, Rodrigo ; Sampaio, Augusto ; Mota, Alexandre . Systematic Development of Trustworthy Component Systems. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2009, v. , p. 140-156.

17.
Ramos, Rodrigo ; Sampaio, Augusto ; Mota, Alexandre . Transformation Laws for UML-RT. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2006, v. , p. 123-137.

18.
Ramos, Rodrigo ; Sampaio, Augusto ; Mota, Alexandre . A Semantics for UML-RT Active Classes via Mapping into Circus. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2005, v. , p. 99-114.

19.
Farias, Adalberto ; Mota, Alexandre ; Sampaio, Augusto . Efficient CSP Z Data Abstraction. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2004, v. , p. 108-127.

Textos em jornais de notícias/revistas
1.
MOTA, A. . NAT2TEST: from Natural Language Requirements to Test Cases. Aerospace America Magazine, p. 45 - 45.

Trabalhos completos publicados em anais de congressos
1.
Lima, C. ; F. Barros ; MOTA, A. ; Santos, I. . SPt: a text mining process to extract relevant areas from SW documents to exploratory tests. In: Brazilian Conference on Intelligent Systems, 2018, São Paulo. 7th Brazilian Conference on Intelligent Systems (BRACIS), 2018. v. 1. p. 1.

2.
Araújo, R. ; MOTA, A. ; NOGUEIRA, S. . Analyzing Cleaning Robots using Probabilistic Model Checking. In: Theory and Application of Reuse, Integration, and Data Science (Book Chapter), 2018, Springer International Publish. Theory and Application of Reuse, Integration, and Data Science, 2018. v. 838.

3.
MOTA, A. . The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser. In: Brazilian Symposium on Formal Methods (DOI: 10.1007/978-3-030-03044-5), 2018, Salvador. Formal Methods: Foundations and Applications. Switzerland: Springer International Publishing, 2018. v. 11254. p. 1-4.

4.
ARAUJO, RAFAEL PEREIRA DE ; MOTA, ALEXANDRE CABRAL ; NOGUEIRA, SIDNEY DE CARVALHO . Probabilistic Analysis Applied to Cleaning Robots. In: 2017 IEEE International Conference on Information Reuse and Integration (IRI), 2017, San Diego. 2017 IEEE International Conference on Information Reuse and Integration (IRI), 2017. p. 275.

5.
MAGALHÃES, CLAUDIO ; ANDRADE, JOÃO ; PERRUSI, LUCAS ; Mota, Alexandre . Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis. In: the 2nd Brazilian Symposium, 2017, Fortaleza. Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York: ACM Press, 2017. p. 1.

6.
MAGALHÃES, CLÁUDIO ; BARROS, FLÁVIA ; Mota, Alexandre ; MAIA, ELIOT . Automatic Selection of Test Cases for Regression Testing. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York: ACM Press, 2016. p. 1.

7.
DIDIER, ANDRE LUIS RIBEIRO ; Mota, Alexandre . A Lattice-Based Representation of Temporal Failures. In: 2015 IEEE International Conference on Information Reuse and Integration (IRI), 2015, San Francisco. 2015 IEEE International Conference on Information Reuse and Integration, 2015. p. 295.

8.
SILVA, ROBSON ; Mota, Alexandre ; STARR, RODRIGO RIZZI . Creating GUI-based DSL formal tools. In: 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), 2013, San Francisco. 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI). p. 520-527.

9.
ANDREWS, ZOE ; PAYNE, RICHARD ; ROMANOVSKY, ALEXANDER ; DIDIER, ANDRE ; Mota, Alexandre . Model-based development of fault tolerant systems of systems. In: 2013 7th Annual IEEE Systems Conference (SysCon), 2013, Orlando. 2013 IEEE International Systems Conference (SysCon). p. 356.

10.
REBÊLO, H. ; LIMA, R. ; Kuleska, U. ; Santanna, C. ; Coelho, R. ; MOTA, A. ; Ribeiro, M. . Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. In: International Conference on Software Engineering and Knowledge Engineering, 2011, Miami. 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 2011.

11.
REBÊLO, Henrique ; COELHO, ROBERTA ; LIMA, RICARDO ; LEAVENS, GARY T. ; HUISMAN, MARIEKE ; Mota, Alexandre ; CASTOR, FERNANDO . On the interplay of exception handling and design by contract. In: the 13th Workshop, 2011, Lancaster. Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11. New York: ACM Press. p. 1.

12.
ARAÚJO, JOSÉ ELIAS ; REBÊLO, Henrique ; LIMA, RICARDO ; Mota, Alexandre ; KULESZA, UIRÁ ; SANT'ANNA, CLÁUDIO . An annotation-based approach for JCSP concurrent programming. In: the 1st workshop, 2011, Porto de Galinhas. Proceedings of the 1st workshop on Modularity in systems software - MISS '11. New York: ACM Press. p. 7.

13.
Carvalho, G. ; Dias, T. ; MOTA, A. ; SAMPAIO, A. . Analytical Comparison of Refinement Checkers. In: Brazilian Symposium on Formal Methods, 2011, São Paulo. 14th Brazilian Symposium on Formal Methods, Short Papers Proceedings, 2011. p. 61-66.

14.
MOTA, A.; JESUS, J. ; GOMES, A. ; FERRI, F. ; WATANABE, E. . Evolving a Safe System Design Iteratively. In: The 29th International Conference on Computer Safety, Reliability and Security, 2010, Viena. The 29th International Conference on Computer Safety, Reliability and Security, 2010. v. 6351. p. 361-374.

15.
BERTOLINI, CRISTIANO ; Mota, Alexandre ; ARANHA, EDUARDO ; FERRAZ, CRISTIANO . GUI Testing Techniques Evaluation by Designed Experiments. In: , 2010, Paris. . p. 235-244.

16.
BERTOLINI, C. ; MOTA, A. ; ARANHA, E. . Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. In: International Symposium on Software Reliability Engineering, 2010, San Jose. Proceedings of the 21th International Symposium on Software Reliability Engineering (ISSRE), 2010. p. 319-328.

17.
REBÊLO, H. ; LIMA, R. ; Kuleska, U. ; Coelho, R. ; MOTA, A. ; Ribeiro, M. . The Contract Enforcement Aspect Pattern. In: SugarLoafPLop, 2010, Salvador. VIII Latin American Conference on Pattern Languages of Programming, 2010. p. 99-114.

18.
REBÊLO, H. ; LIMA, R. ; CORNÉLIO, M. ; LEAVENS, G. ; MOTA, A. ; OLIVEIRA, C. . Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings. In: Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado. SBLP - XIII Simpósio Brasileiro de Linguagens de Programação, 2009. p. 117-130.

19.
BERTOLINI, CRISTIANO ; Mota, Alexandre . Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. In: , 2009, Hanoi. . p. 115-124.

20.
BERTOLINI, CRISTIANO ; PERES, GLAUCIA ; D'AMORIM, MARCELO ; Mota, Alexandre . An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. In: 2009 International Conference on Software Testing Verification and Validation (ICST), 2009, Denver. 2009 International Conference on Software Testing Verification and Validation, 2009. p. 21.

21.
BERTOLINI, C. ; MOTA, A. . Using Refinement Checking as System Testing. In: XI Iberoamerican Workshop on Requirements Engineering and Software Environments, 2008, Recife. IDEAS 2008, 2008. p. 17-30.

22.
Ramos, Rodrigo ; Sampaio, Augusto ; Mota, Alexandre . Framework composition conformance via refinement checking. In: the 2008 ACM symposium, 2008, Fortaleza. Proceedings of the 2008 ACM symposium on Applied computing - SAC '08. New York: ACM Press. p. 119.

23.
NOGUEIRA, S. ; SAMPAIO, A. ; MOTA, A. . Guided Test Generation from CSP Models. In: ICTAC - International Colloquium on Theoretical Aspects of Computing, 2008, Istanbul. 5th International Colloquium on Theoretical Aspects of Computing, 2008. p. 258-273.

24.
PERES, G. ; MOTA, A. . A Tool to Translate CSP Models into English Requirements. In: II Encontro Brasileiro de Teste de Software, 2007, Recife. Encontro Brasileiro de Teste de Software, 2007.

25.
FERREIRA, P. ; SAMPAIO, A. ; MOTA, A. . Viewing CSP specifications with UML-RT diagrams. In: Simpósio Brasileiro de Métodos Formais, 2006, Porto Alegre. SBMF - Simpósio Brasileiro de Métodos Formais, 2006. p. 73-88.

26.
BORGES, R. ; MOTA, A. . Integrando UML e Métodos Formais. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Proceedings of the Brazilian Symposium on Formal Methods, 2005. p. 80-95.

27.
COLE, L. ; BORBA, P. ; MOTA, A. . Proving aspect-oriented programming laws. In: Foundations of Aspect-Oriented Languages, 2005, Chicago. 4th Foundations of Aspect-Oriented Languages (FOAL), 2005. p. 1-10.

28.
MOTA, A.; BORBA, P. ; SAMPAIO, A. . Mechanical Abstraction of CSPz Processes. In: FORMAL METHODS EUROPE, 2002, Copenhagem. FME 2002: Formal Methods - Getting IT Right, 2002. v. 2391. p. 163-183.

29.
MOTA, A.; FARIAS, A. ; SAMPAIO, A. . Efficient Analysis of Infinite CSPZ Processes. In: Workshop de Métodos Formais, 2002, Gramado. 5th Workshop on Formal Methods (WMF'02), 2002. p. 113-128.

30.
MOTA, A.; FARIAS, A. ; SAMPAIO, A. . De CSPz para CSPm: Uma ferramenta transformacional Java. In: Workshop de Métodos Formais, 2001, Rio de Janeiro. 4th Workshop on Formal Methods (WMF'01), 2001. p. 1-10.

31.
MOTA, A.; SAMPAIO, A. . Model Checking Processes with States: An Industrial Case Study. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1998, MARINGÁ. XII SBES - SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1998. p. 23-36.

32.
MOTA, A.; SAMPAIO, A. . Model Checking CSPz. In: European Joint Conferences on the Theory and Practice of Software, 1998, Lisboa. Fundamental Approaches to Software Engineering, 1998. v. 1382. p. 205-220.

Resumos expandidos publicados em anais de congressos
1.
ARAÚJO, JOELSON ; ARAÚJO, JAEDSON ; MAGALHÃES, CLÁUDIO ; ANDRADE, JOÃO ; Mota, Alexandre . Feasibility of using Source Code Changes on the Selection of Text-based Regression Test Cases. In: the 2nd Brazilian Symposium, 2017, Fortaleza. Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing - SAST, 2017. p. 1.

2.
MAGALHÃES, CLÁUDIO ; Mota, Alexandre ; MAIA, ELIOT . Automatically Finding Hidden Industrial Criteria used in Test Selection. In: The 28th International Conference on Software Engineering and Knowledge Engineering, 2016. p. 470.

3.
MOTA, A. ; FARIAS, A. . Implementing an SMT-based Model Checker for CSP from its Operational Semantics. In: Simpósio Brasileiro de Métodos Formais, 2013, Brasília. Simpósio Brasileiro de Métodos Formais 2013, 2013.

4.
Costa, M. ; MOTA, A. . From SCR to SCADE. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Simpósio Brasileiro de Métodos Formais, 2012. v. 1. p. 1-1.

5.
BARBOSA, R. ; COSTA, A. ; TEDESCO, P. ; MOTA, A. . Using CSP in the Formal Specification of the Micro-Organizational Level of Multiagent Systems. In: AT2AI-7, 2010, Vienna. Seventh International Symposium "From Agent Theory to Agent Implementation", 2010.

6.
ARAÚJO, J. ; REBÊLO, H. ; LIMA, R. ; MOTA, A. ; CASTOR, F. ; LIMA, T. ; LUCENA, J. ; LIMA, F. . AN ASPECT-BASED APPROACH FOR CONCURRENT PROGRAMMING USING CSP FEATURES. In: 5th International Conference on Software and Data Technologies, 2010, University of Piraeus. Proceedings of the 5th International Conference on Software and Data Technologies. p. 226.

7.
MOTA, A.; FARIAS, A. ; SAMPAIO, A. . A Support Tool for CSPZ Data Abstraction. In: FORMAL METHODS EUROPE, 2003, Pisa. FM 2003: the 12th International FME Symposium, 2003.

8.
MOTA, A.; SAMPAIO, A. ; BORBA, P. . Model Checking CSPz: Techniques to Overcome State Explosion. In: SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 2002, FLORIANÓPOLIS. XXII CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 2002.

Apresentações de Trabalho
1.
MOTA, A. . Aplicando Métodos Formais em Sistemas Aeronáuticos (Palestrante convidado - INPE). 2014. (Apresentação de Trabalho/Conferência ou palestra).

2.
MOTA, A. . Palestrante convidado (Workshop de Métodos Formais na Embraer): An Introduction to the process algebra CSP and model checker FDR. 2009. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Programas de computador sem registro
1.
REIS, J. ; MOTA, A. . ArcWizard: Identificador de Regiões da Interface de Celular Android associadas à Teste de Regressão. 2018.

2.
ANDRADE, JOÃO ; PERRUSI, LUCAS ; MOTA, A. . AutoTestCoverage: Identificador de Regiões de Aplicações a serem Testadas e seu Monitoramento. 2017.

3.
Magalhães, C. ; ANDRADE, JOÃO ; PERRUSI, LUCAS ; MOTA, A. . AutoTestPlan: Seleção Automática de Casos de Testes baseada em Release Notes. 2016.

4.
Araújo, R. ; MOTA, A. . Gerador de Modelos Probabilísticos PRISM a partir de DSL-Robomind. 2015.

5.
Santos, F. ; MOTA, A. . Verificador de Modelos para Circus. 2015.

6.
MARANHAO, H. P. ; MOTA, A. . Sintetizador Automático de Programas em C. 2015.

7.
MOTA, A. ; FARIAS, A. . Verificador de Modelos para CML. 2014.

8.
DIDIER, A. ; MOTA, A. . Identificador automático de lógicas de falhas. 2012.

9.
Costa, M. ; MOTA, A. ; CORNÉLIO, MÁRCIO . Tradutor de requisitos em SCR para diagramas SCADE. 2012.

10.
Gomes, Adriano ; WESLEY, D. ; MOTA, A. . Extrator automático de modelos PRISM a partir de diagramas Simulink. 2011.

11.
JESUS, J. ; MOTA, A. ; Sampaio, Augusto . Extrator automático de modelos CSP a partir de diagramas Simulink. 2010.


Demais tipos de produção técnica
1.
MOTA, A.; MOURA, A. . Simpósio Brasileiro de Métodos Formais. 2004. (Editoração/Anais).

2.
MOTA, A.. Model Checking: Análise Automática de Software. 2003. (Curso de curta duração ministrado/Outra).

3.
MOTA, A.. Model checking: provando propriedades automaticamente. 2003. (Curso de curta duração ministrado/Outra).

Demais trabalhos
1.
MOTA, A. . IFM 2012. 2012 (Membro do Comitê de Programa) .

2.
MOTA, A. . UML & FM. 2012 (Membro do Comitê de Programa) .

3.
MOTA, A. . SBPC. 2012 (Revisor de Artigo Técnico) .

4.
MOTA, A. . ICFEM. 2012 (Membro do Comitê de Programa) .

5.
MOTA, A. . SBMF. 2012 (Membro do Comitê de Programa) .

6.
MOTA, A. . UML & FM. 2011 (Membro do Comitê de Programa) .

7.
MOTA, A. . FM. 2011 (Revisor de Artigo Técnico) .

8.
MOTA, A. . CBSOFT - Ferramentas. 2011 (Membro do Comitê de Programa) .

9.
MOTA, A. . SBPC. 2011 (Revisor de Artigo Técnico) .

10.
MOTA, A. . UML & FM. 2010 (Membro do Comitê de Programa) .

11.
MOTA, A. . Simpósio Brasileiro de Métodos Formais. 2010 (Membro do Comitê de Programa) .

12.
MOTA, A. . ICFEM 2010. 2010 (Revisor de Artigo Técnico) .

13.
MOTA, A. . FACEPE (Artigos de Iniciação Científica). 2010 (Revisor de Artigo Técnico) .

14.
MOTA, A. . ICST 2011. 2010 (Revisor de Artigo Técnico) .

15.
MOTA, A. . UML & FM. 2009 (Membro do Comitê de Programa) .

16.
MOTA, A. . Simpósio Brasileiro de Métodos Formais. 2009 (Membro do Comitê de Programa) .

17.
MOTA, A. . FACEPE (Artigos de Iniciação Científica). 2009 (Revisor de Artigo Técnico) .

18.
MOTA, A. . UML & FM. 2008 (Membro do Comitê de Programa) .

19.
MOTA, A. . Simpósio Brasileiro de Métodos Formais. 2008 (Membro do Comitê de Programa) .

20.
MOTA, A. . Simpósio Brasileiro de Métodos Formais. 2007 (Membro do Comitê de Programa) .

21.
MOTA, A.. Simpósio Brasileiro de Métodos Formais. 2006 (Membro do Comitê de Programa) .

22.
MOTA, A.. Sociedade Brasileira de Computação. 2006 (Membro da Comissão de Educação) .

23.
MOTA, A.. Software Engineering and Formal Methods (SEFM). 2006 (Revisor de Artigo Técnico) .

24.
MOTA, A.. Journal of the Brazilian Computer Society. 2006 (Revisor de Artigo Técnico) .

25.
MOTA, A.. Simpósio Brasileiro de Métodos Formais. 2005 (Membro do Comitê de Programa) .

26.
MOTA, A.. International Conference on Formal Engineering Methods. 2005 (Membro do Comitê de Programa) .

27.
MOTA, A.. Simpósio Brasileiro de Engenharia de Software (Ferramentas). 2005 (Membro do Comitê de Programa) .

28.
MOTA, A.. Simpósio Brasileiro de Métodos Formais. 2004 (Membro do Comitê de Programa) .

29.
MOTA, A.. Simpósio Brasileiro de Métodos Formais. 2004 (Organizador Local) .

30.
MOTA, A.. Simpósio Brasileiro de Engenharia de Software (Ferramentas). 2004 (Membro do Comitê de Programa) .



Patentes e registros



Programa de computador
1.
CORREIA, A ; IYODA, j. ; MOTA, A. . SISTEMA DE APOIO À GESTÃO EDUCACIONAL - SAGE. 2017.
Patente: Programa de Computador. Número do registro: 512017001102-8, data de registro: 05/09/2017, título: "SISTEMA DE APOIO À GESTÃO EDUCACIONAL - SAGE" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MOTA, A.; ANDRADE, W.; IYODA, j.. Participação em banca de Augusto César Ribeiro da Silva. Teste de gestos: Uma análise da rotação retrato e paisagem. 2018. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

2.
MOTA, A.; Coelho, R.; IYODA, j.. Participação em banca de Jacinto Filipe Silva Reis. Aiding Exploratory Testing with Pruned GUI Models. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

3.
MOTA, A.; ANDRADE, W.; Massoni, T.; FARIAS, A.. Participação em banca de Filiipe Neves Cavalcante. Listas usadas como conjuntos: Um estudo através de ferramenta de reescrita. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
MOTA, A.; IYODA, j.; ALBERTINS, L.. Participação em banca de Alex Antonio Candido Silva. FREVoz: Um framework para automação de testes de voz. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

5.
MOTA, A.; CASTELLETTI, C. H. M.; Garrozi, C.. Participação em banca de PAULO CÉSAR FLORENTINO MARQUES. HealthDrones - Navegação de VANTs autônomos baseada em autômatos celulares. 2017. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.

6.
SOUSA, E.; MOTA, A.; TAVARES, E. A. G.. Participação em banca de Charles Bezerra Moreira. Avaliação de Qualidade de Experiência e Consumo de Energia em Transmissão Adaptativa de Vídeos em Dispositivos Móveis. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
MOTA, A.; NOGUEIRA, S.; IYODA, j.. Participação em banca de Kamilla Rafaelle Fernandes Cardoso. FINDOS - Uma ferramenta para identificação automática de unidades de rastreamento. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
MOTTA, L.; Gheyi, R.; MOTA, A.. Participação em banca de Heitor Paceli Maranhão. Program synthesis from denotational semantics. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
SAMPAIO, A.; NOGUEIRA, S.; MOTA, A.. Participação em banca de Fábio Soares dos Santos. Um verificador de modelos para um subconjunto de Circus em K. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
IYODA, j.; Menezes, Luis; MOTA, A.. Participação em banca de Rafael Pereira de Araújo. Probabilistic Analysis Applied to Robots. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
MOTA, A.; DURAN, A.; ANDRADE, A.. Participação em banca de Efraim Zalmoxis de Almeida Machado. Uso de Sistemas de Transições Modais de Kripke para Representação de Comportamento Parcial durante o Desenvolvimento de Software. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

12.
Alves, V.; MOTA, A.; Rincon, M.. Participação em banca de Thiago Mael de Castro. Estratégias Comutativas para Análise de Confiabilidade em Linha de Produtos de Software. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

13.
MOTA, A.; AMORIM, M.; Pereira, F.. Participação em banca de Mateus Araújo Borges. Techniques to Facilitate Probabilistic Software Analysis of Real-World Programs. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
MOTA, A.; LIMA, R.; FIDALGO, R.. Participação em banca de Antonio Josivaldo do Nascimento Filho. Um catálogo de regras para validações estruturais de diagramas EER. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

15.
MOTA, A.; CORNÉLIO, M.; Massoni, T.. Participação em banca de Karina da Silva Correia. Evolução arquitetural de um Web service: transformação de código e avaliação de arquitetura. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

16.
MOTA, A.; SAMPAIO, A.; FARIAS, A.. Participação em banca de Pedro Ribeiro Gonçalves Antonino. A Refinement based Strategy for Locally Verifying Networks of CSP Processes. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

17.
IYODA, j.; FARIAS, A.; MOTA, A.. Participação em banca de Marcelo Costa Melo de Andrade. Gerando Modelos SCADE a partir de Especificações Descritas em SCR. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

18.
CORNÉLIO, M.; FARIAS, A.; MOTA, A.. Participação em banca de Robson dos Santos e Silva. A Rigorous Methodology for Developing GUI-based DSL Formal Tools. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

19.
MOTA, A.; MOREIRA, A.; OLIVEIRA, M.. Participação em banca de Sarah Raquel da Rocha Silva. BTS: Uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

20.
FARIAS, A.; SAMPAIO, A.; MOTA, A.. Participação em banca de André Luís Ribeiro Didier. Estratégia sistemática para identificar falhas em componentes de hardware usando anotações HW em comportamento nominal. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

21.
MOTA, A.; Gheyi, R.; IYODA, j.. Participação em banca de Diego Machado Dias. Behavioural Preservation in Fault Tolerant Patterns. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

22.
OLIVEIRA, M.; Kreutz, M.; MOTA, A.. Participação em banca de Ivan Soares de Medeiros Júnior. Geração automática de hardware a partir de especificações formais: Estendendo uma abordagem de tradução. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

23.
MOTA, A.; ALENCAR, F.; FIDALGO, R.. Participação em banca de Elvis maranhão de Souza. Um Metamodelo e uma Ferramenta CASE para o Modelo EER. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

24.
MOTA, A.; Coelho, R.; AMORIM, M.. Participação em banca de João Paulo dos Santos Oliveira. Rabbit: A novel approach to find data-races during state-space exploration. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

25.
MOTA, A.; OLIVEIRA, M.; DÉHARBE, D.. Participação em banca de Haniel Moreira Barbosa. Formal Verification of PLC programs using the B Method. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

26.
MOTA, A.; Menezes, Luis; IYODA, j.. Participação em banca de Renata Bezerra e Silva de Araújo. Extração Automática de Modelos CSP a partir de Casos de Uso. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

27.
MOTA, A.; OLIVEIRA, M.; SAMPAIO, A.. Participação em banca de José Dihego da Silva Oliveira. Algebraic Laws for Process Subtyping. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

28.
MOTA, A.; Coelho, R.; LIMA, R.. Participação em banca de José Elias Queiroga da Costa Araújo. AJCSP: um compilador baseado em AspectJ para modularizar a programação concorrente em programas Java. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

29.
MOTA, A.; Leite, J.; OLIVEIRA, M.. Participação em banca de Diego Henrique Oliveira de Souza. Joker: Um Framerwork de Animação para Especificações Formais. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

30.
MOTA, A.; Coelho, R.; Meira, S.. Participação em banca de Paulo Anselmo da Mota Silveira Neto. A Regression Testing Approach for Software Product Lines Architectures. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

31.
MOTA, A.; Neves, A.; BARROS, F.. Participação em banca de Érica Aguiar Andrade Hori. ucsCNL - A Controlled Natural Language for Use Case Specifications. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

32.
Droguett, E.; IYODA, j.; MOTA, A.. Participação em banca de Adriano José Oliveira Gomes. Systematic Model-Based Safety Assessment via Probabilistic Model Checking. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

33.
FERRAZ, C.; IYODA, j.; MOTA, A.. Participação em banca de Thiers Garretti Ramos Sousa. Verificando a corretude de geradores automáticos de código. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

34.
CORNÉLIO, M.; IYODA, j.; MOTA, A.. Participação em banca de Glaucia Boudoux Peres. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

35.
GUSMÃO, C.; VASCONCELOS, A.; MOTA, A.. Participação em banca de Juliana Ochner. Uma Abordagem de Implantação de Testes Baseada em Metodologias Ágeis. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

36.
CORNÉLIO, M.; SAMPAIO, A.; MOTA, A.. Participação em banca de Manoel Messias da Silva Menezes Junior. Mapeando CSP em UML-RT. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

37.
MACHADO, P.; PRUDÊNCIO, R.; MOTA, A.. Participação em banca de Davi Augusto Gadêlha Silva. EvolUniT: Geração e Evolução de Testes de Unidade em Java Utilizando Algoritmos Genéticos. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

38.
CORNÉLIO, M.; SAMPAIO, A.; MOTA, A.. Participação em banca de Flávia Mérylyn Carneiro Falcão. Multi-sincronização em Message Sequence Charts. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

39.
VASCONCELOS, A.; ALBUQUERQUE, J.; MOTA, A.. Participação em banca de Elifrancis Rodrigues Soares. Adaptação do Processo de Desenvolvimento de Software para Análise de Cobertura de Código. 2007. Dissertação (Mestrado em Ciência da Comutação) - Centro de Informática.

40.
VASCONCELOS, A.; SOARES, S.; MOTA, A.. Participação em banca de Clélio Feitosa de Souza. Modelling and Integrating Formal models: From Test Cases and Requirement Models. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

41.
MOTA, A.. Participação em banca de Euclides Arcoverde Neto. Abordagem para Geração Automática de Código para Framework de Automação de Testes. 2007. Dissertação (Mestrado em Ciência da Comutação) - Centro de Informática.

42.
MOTA, A.; MACHADO, P.; GUERRERO, D.. Participação em banca de Daniel Aguiar da Silva. Geração de Objetivos de Teste para Sistemas Reativos baseada na Técnica de Verificação de Modelos CTL. 2006. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

43.
MOTA, A.; MACEDO, H.; BARROS, F.. Participação em banca de Dante Gama Torres. SpecNL: Uma Ferramenta para Gerar Descrições em Linguagem Natural a partir de Especificações de Casos de Teste. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

44.
SAMPAIO, A.; CORNÉLIO, M.; MOTA, A.. Participação em banca de Carla Maria Pinheiro do Nascimento. Verificação de Modelos para um Subconjunto de JCSP. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

45.
MOTA, A.; BORBA, P.; CHAVEZ, C.. Participação em banca de Leonardo Cole Neto. Deriving Refactoring for AspectJ. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

46.
MOTA, A.; MACHADO, P.; GUERRERO, D.; FIGUEIREDO, J.. Participação em banca de André Luiz Lima de Figueiredo. Geração Automática de Casos de Teste para Sistemas baseados em Agentes Móveis. 2005. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

47.
MOTA, A.; FIGUEIREDO, J.; GUERRERO, D.. Participação em banca de Fabrício Vale de Azevedo Guerra. Modelagem de Sistemas com Restrições Temporais em Redes de Petri Orientadas a Objetos. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

48.
MOTA, A.; MACHADO, P.; PERKUSICH, A.; FIGUEIREDO, J.; GUERRERO, D.. Participação em banca de Cássio Leonardo Rodrigues. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

49.
MOTA, A.; SAMPAIO, A.; DÉHARBE, D.. Participação em banca de Walter Miranda Mesquita Neto. Uma Estratégia para Composição Formal de Frameworks. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado
1.
MOTA, A.; SANTOS, A.; LETTNIN, D.; VARGAS, F.; MEDEIROS, V.. Participação em banca de Rafael Melo Macieira. Técnica baseada em contratos para a validação da comunicação de alto nível entre software e hardware. 2018. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

2.
MOTA, A.; Musicante, M.; COSTA, U.; GOMES, B.. Participação em banca de Samuel Lincoln Magalhães Barrocas. Uma estratégia para validar a geração de códigos de Circus para Java. 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
MOTA, A.; Rubira, C.; Bonifácio, R.; Rodrigues, G.. Participação em banca de André Luiz Peron Lanna. Feature-Family-based Reliability Analysis of Software Product Lines. 2017. Tese (Doutorado em Informática) - Universidade de Brasília.

4.
IYODA, j.; OLIVEIRA, A.; MOTA, A.; POZO, A.; CANUTO, A.. Participação em banca de Luciano Soares de Souza. Seleção Multiobjetivo de casos de teste utilizando Técnicas de busca híbridas. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
BORBA, P.; ROSA, N.; BRAGA, C.; RIBEIRO, L.; MOTA, A.. Participação em banca de José Dihego da Silva Oliveira. Constructive Extensibility of Trustworthy Componente-based Systems. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
BORBA, P.; TEIXEIRA, L.; OLIVEIRA, M.; SANTIAGO JUNIOR, V.; MOTA, A.. Participação em banca de Lucas Albertins de Lima. Formalisation of SysML Design Models and an Analysis Strategy using Refinement. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
Musicante, M.; DÉHARBE, D.; OLIVEIRA, M.; MOTA, A.; GOMES, B.. Participação em banca de Valério Gutemberg de Medeiros Júnior. Método B e a síntese verificada para código de montagem. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

8.
MOTA, A.; Droguett, E.; MOURA, M.; CAVALCANTE, C.; GALVINCIO, J.. Participação em banca de Romero Luiz Mendonça Sales Filho. A Novel q-Exponential based Stress-Strength Reliability model and Applications to Fatigue Life with Extreme Values. 2016. Tese (Doutorado em Engenharia de Produção) - Universidade Federal de Pernambuco.

9.
MOREIRA, A.; MOTA, A.; Musicante, M.; RIBEIRO, L.; OLIVEIRA, M.. Participação em banca de Madiel de Souza Conserva Filho. Livelock Analysis for Component-based Systems. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

10.
MOREIRA, A.; LEUSCHEL, M.; OLIVEIRA, M.; MOTA, A.; MACHADO, P.. Participação em banca de Ernesto Cid Brasil de Matos. BETA: uma abordagem de testes baseada em B. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

11.
MOTA, A.; ABRANTES, J.; MACHADO, P.; FARIAS, A.. Participação em banca de Adriana Carla Damasceno. Towards a Test Generation Approach for Compositional Real-Time Systems. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
MOTA, A.; CORNÉLIO, M.; Massoni, T.; BORBA, P.; Gheyi, R.. Participação em banca de Giovanny Fernando Lucero Palma. Algebraic Laws for Object Oriented Programming with References. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

13.
MOTA, A.; FARIAS, A.; ABRANTES, J.; CHAVEZ, C.; MACHADO, P.. Participação em banca de Adriana Carla Damasceno. Towards a test generation approach for compositional real-time systems. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

14.
MOTA, A.. Participação em banca de Bruno Costa e Silva Nogueira. Techniques to Facilitate Probabilistic Software Analysis of Real-world Programs. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

15.
Brelaz, Jaelson; MOTA, A.; CASTOR, F.; Braga, R.; Vivacqua, C.. Participação em banca de Rodrigo Bonifácio de Almeida. Gerenciando Variações de Linhas de Produtos em Cenários de Casos de Uso. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

16.
MELO, A.; OLIVEIRA, M.; IYODA, j.; MOTA, A.; SAMPAIO, A.. Participação em banca de Tiago Lima Massoni. A Model-Driven Approach to Formal Refactoring. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

17.
MOTA, A.. Participação em banca de Rohit Gheyi. A Refinement Theory for Alloy. 2007. Tese (Doutorado em Ciência da Computação) - Centro de Informática.

18.
MOTA, A.; MACIEL, P.; ROSA, N.; WOODCOCK, J.. Participação em banca de Adnan Sherif. A Framework for Specification and Validation of Real Time Systems Using Circus Action. 2006. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

19.
MOTA, A.; FIGUEIREDO, J.; GUERRERO, D.; PERKUSICH, A.. Participação em banca de Leandro Dias da Silva. Especificação e Verificação Sistemática, Formal e Modular de Sistemas Embarcados. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
Lima, M.; LETTNIN, D.; MOTA, A.. Participação em banca de Rafael Melo Macieira. Comunicação confiável entre Device Drivers e Dispositivos de Plataformas embarcadas através da Validação de Propriedades Descritas em Contratos. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
MOTA, A.; DÉHARBE, D.; OLIVEIRA, M.; Musicante, M.. Participação em banca de Valério Gutemberg de Medeiros Júnior. Método B e a síntese verificada para código de montagem. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
BORBA, P.; MOTA, A.; OLIVEIRA, M.. Participação em banca de Lucas Albertins de Lima. Formalisation of SysML Design Models and an Analysis Strategy using Refinement. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
BORBA, P.; MOTA, A.; BRAGA, C.. Participação em banca de José Dihego da Silva Oliveira. Constructive Extensibility of Trustworthy Component-based Systems. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
Rubira, C.; Bonifácio, R.; MOTA, A.. Participação em banca de André Luiz Peron Martins Lanna. Evolução de Linhas de Produtos de Software Dinâmicas, Abertas, e Cientes de Confiabilidade. 2014. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

6.
MOTA, A.; Alves, V.; Rubira, C.; Rodrigues, G.. Participação em banca de André Luis Peron Martins Lanna. Uma abordagem sensível ao histórico de linhas de produtos de software para a verificação de confiabilidade. 2014. Exame de qualificação (Doutorando em Ciências da Informação) - Universidade de Brasília.

7.
MOTA, A.; CORNÉLIO, M.; OLIVEIRA, M.. Participação em banca de Lucas Albertins de Lima. Formalisation of SysML Design Models and an Analysis Strategy using Refinement. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
MOTA, A.; BORBA, P.; MELO, A.. Participação em banca de Rohit Gueyi. A Refinement Theory for Alloy. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
MOTA, A.; SAMPAIO, A.; HAEUSLER, E.. Participação em banca de Tiago Lima Massoni. A Model-Driven Approach to Program Refactoring. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
MOTA, A.; ABRANTES, J.; GUERRERO, D.; PERKUSICH, A.. Participação em banca de Leandro Dias. Síntese e Adaptação de Modelos de Redes de Petri Coloridas. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

11.
MOTA, A.; FIGUEIREDO, J.; SOUZA, B.; PERKUSICH, A.; TURNELL, M.. Participação em banca de Alexandre Scaico. Métodos Formais no Projeto de Interfaces para Sistemas Industriais Críticos. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Trabalhos de conclusão de curso de graduação
1.
MOTA, A.; CORNÉLIO, M.. Participação em banca de Larissa Oliveira Ribeiro da Paz.Aplicando regras de programação para refatoração de programas em Dafny: uma linguagem imperativa com especificação nativa. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

2.
MOTA, A.; BORBA, P.. Participação em banca de Alexandre Torres Vasconcelos.Ferramentas para Construção de Linha de Produtos no ECLIPSE. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Fundação Ford.

3.
MOTA, A.; SAMPAIO, A.. Participação em banca de Andrey Pires Batista.Repositório de Design Patterns para Desenvolvedores. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Fundação Ford.

4.
MOTA, A.; VASCONCELOS, A.. Participação em banca de Célio Andrade de Santana Júnior.Mapeamento do modelo de Melhoria do Processo de Software Brasileiro (MPS-Br) para empresas que utilizam metodologia Extreme Programming (XP) como metodologia de desenvolvimento. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Fundação Ford.

5.
MOTA, A.; BORBA, P.. Participação em banca de Rafael Machado Duarte.Transformação de programas Java seqüenciais em concorrentes. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Fundação Ford.

6.
MOTA, A.; SAMPAIO, A.. Participação em banca de Manuela de Almeida Xavier.Refine: Procedimentos e Recursão. 2003. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
MOTA, A.; GOMES, A.. Participação em banca de Mayra Gomes Cerqueira.Especificação de Sistemas Colaborativos usando Teoria da Atividade. 2003. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
MOTA, A.; VASCONCELOS, A.. Participação em banca de Milena Rocha Leite.ProcessDirection: Uma Ferramenta para Direcionar Processos de Desenvolvimento de Software. 2003. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
MOTA, A.; SAMPAIO, A.. Participação em banca de Rodrigo Teixeira Ramos.Geração Automática de Java Assertions a partir de Especificações Z. 2002. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
MOTA, A.; CORNÉLIO, M.; SOARES, S.. Concurso para professor auxiliar. 2006. Universidade de Pernambuco.

2.
MOTA, A.. Concurso para professor auxiliar. 2003. Universidade de Pernambuco.

Outras participações
1.
MOTA, A.. 67a Reunião da SBPC. 2015. Instituto Ciência Hoje/SBPC.

2.
MOTA, A.. 66a Reunião Anual da SBPC. 2014. Sociedade Brasileira para o Progresso da Ciência - São Paulo.

3.
MOTA, A.. 65a Reunião Anual da SBPC. 2013. Sociedade Brasileira para o Progresso da Ciência - São Paulo.

4.
MOTA, A.. 64a Reunião Anual da SBPC. 2012. Sociedade Brasileira para o Progresso da Ciência - São Paulo.

5.
MOTA, A.; SANTOS, A.; CAVALCANTE, S.. Imagine Cup - Etapa Regional. 2005. Microsoft Brasil.

6.
MOTA, A.. Processo de Avaliação de Projetos do Programa Institucional de Iniciação Científica (2003/2004) - PIBIC/CNPq/UFPE. 2003. Universidade Federal de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Congresso da Sociedade Brasileira de Computação. Congresso da Sociedade Brasileira de Computação. 2006. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
MOTA, A.; MOURA, A. . Simpósio Brasileiro de Métodos Formais. 2004. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Iverson Luís Pereira. Geração automática de casos de testes de GUI a partir de modificações de código internas. Início: 2018. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
José Rafael Cordeiro. Modelo de estimativa de esforço em testes exploratórios guiados. Início: 2018. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).

3.
Marlom Jobsom Dias de Oliveira. Testes de smartfones. Início: 2018. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).

4.
Cláudio José Antunes Salgueiro Magalhães. Seleção de casos de testes a partir de recuperação de informação e processamento de linguagem natural. Início: 2016. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).

Tese de doutorado
1.
Jacinto Filipe Silva Reis. Android Exploratory Testing based on Code Coverage of Regression Testing Suites. Início: 2017. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).

2.
Alexandre Roberto de Souza Correia. Síntese de software. Início: 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Coorientador).

Iniciação científica
1.
Rafael Marinho de Araújo. Análise e Execução de iRobot Create a partir de Análises em CSP e PRISM. Início: 2017. Iniciação científica (Graduando em Engenharia da Computação) - Universidade Federal de Pernambuco. (Orientador).

2.
João Luiz de Andrade Neto. Determinação e Monitoramento de Cobertura de Código Android para Componentes. Início: 2016. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).

3.
Lucas Perrusi. Determinação e Monitoramento de Cobertura de Código Android para Plataforma. Início: 2016. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Jacinto Filipe Silva Reis. Aiding Exploratory Testing with Pruned GUI Models. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

2.
Fábio Soares dos Santos. Uso do framework K na construção de um verificador de modelos correto. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Alexandre Cabral Mota.

3.
Heitor Paceli Maranhão. Program Synthesis from Denotational Semantics. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

4.
Kamila Nayara Carvalho Serafim. Transformação sistemática entre modelos Scade e SCR. 2016. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, . Coorientador: Alexandre Cabral Mota.

5.
Rafael Pereira de Araújo. Probabilistic Analysis Applied to Robots. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

6.
Robson Silva. A Rigorous Methodology for Developing GUI-based DSL Formal Tools. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Alexandre Cabral Mota.

7.
Marcelo Costa. Gerando Modelos SCADE a partir de Especificações Descritas em SCR. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

8.
André Luís Ribeiro Didier. Derivando lógicas de falhas a partir de modelos nominais. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

9.
Adriano José Oliveira Gomes. Systematic Model-Based Safety Assessment of Aircraft Systems via Probabilistic Model Checking. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Alexandre Cabral Mota.

10.
Thiers Garretti Ramos Sousa. Verificando a corretude de geradores automáticos de código. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

11.
Joabe Bezerra de Jesus Júnior. Design and Formal Verification of Fly-by-Wire Flight Control Systems. 2009. Dissertação (Mestrado em Ciência da Comutação) - Universidade Federal de Pernambuco, SOFTEX. Orientador: Alexandre Cabral Mota.

12.
Glaucia Boudoux Peres. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. 2009. Dissertação (Mestrado em Ciência da Comutação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Alexandre Cabral Mota.

13.
Adriana Carla Damasceno. Processo Automatizado de Identificação de Pontos de Teste. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Alexandre Cabral Mota.

14.
Rafael Machado Duarte. Parallelizing Java Programs using Transformation Laws. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Alexandre Cabral Mota.

15.
Clélio Feitosa de Souza. Modelling and Integrating Formal models: From Test Cases and Requirement Models. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Alexandre Cabral Mota.

16.
Euclides Arcoverde Neto. Abordagem para Geração Automática de Código para Framework de Automação de Testes. 2007. Dissertação (Mestrado em Ciência da Comutação) - Centro de Informática, . Orientador: Alexandre Cabral Mota.

17.
Carla Maria Pinheiro do Nascimento. Verificação de Modelos para um Subconjunto JCSP. 2006. 100 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

18.
Patrícia Muniz Ferreira. Geração Automática de Modelos UML-RT a partir de Especificações CSP. 2006. Dissertação (Mestrado em Ciência da Comutação) - Centro de Informática, . Coorientador: Alexandre Cabral Mota.

19.
Sidney de Carvalho Nogueira. Geração Automática de Casos de Teste a Partir de Especificações CSP. 2006. Dissertação (Mestrado em Ciência da Comutação) - Centro de Informática, . Coorientador: Alexandre Cabral Mota.

20.
Sidney de Carvalho Nogueira. Geração Automática de Casos de Teste a Partir de Especificações CSP. 2006. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Alexandre Cabral Mota.

21.
Rodrigo Teixeira. Rigorous Development with UML-RT. 2005. 107 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Alexandre Cabral Mota.

22.
Adalberto Cajueiro de Farias. Efficient and Mechanised Analysis of Infinite CSPz Specifications: Strategy and Tool Support. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Alexandre Cabral Mota.

Tese de doutorado
1.
André Luís Ribeiro Didier. An Algebra of Temporal Faults. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Alexandre Cabral Mota.

2.
Tarciana Dias da Silva. Validating Transformations of OO programs using the Alloy Analyzer. 2017. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, . Coorientador: Alexandre Cabral Mota.

3.
Sidney de Carvalho Nogueira. Test Generation and Compositional Conformance Verification from Input-Output CSP Models. 2012. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Alexandre Cabral Mota.

4.
Cristiano Bertolini. Evaluation of GUI Testing Techniques for System Crashing: From Real to Model-based Controlled Experiments. 2010. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Alexandre Cabral Mota.

5.
Adalberto Cajueiro de Farias. Abstraction of Infinite and Communicating CSPz Processes. 2009. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Alexandre Cabral Mota.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Adilson Silva. Do PDS-BC para o PDLPS-BC: Linhas de Produto de Software no BACEN. 2006. Monografia. (Aperfeiçoamento/Especialização em Gestão da Tecnologia da Informação) - Centro de Informática. Orientador: Alexandre Cabral Mota.

2.
Wallace Horta da Silveira. Utilização de MDA para geração automática de artefatos do PDS-BC. 2006. Monografia. (Aperfeiçoamento/Especialização em Gestão da Tecnologia da Informação) - Centro de Informática. Orientador: Alexandre Cabral Mota.

3.
Francisco José de Abreu. GUIA PARA ESPECIFICAÇÃO DE REQUISITOS. 2006. Monografia. (Aperfeiçoamento/Especialização em Gestão da Tecnologia da Informação) - Centro de Informática. Orientador: Alexandre Cabral Mota.

4.
Marcela Cristina da Rocha Marmo. AUTOMATIC EXTRACTION OF MOBILE BEHAVIOUR FOR UNIFIED PROCESSING OF INDEPENDENT PHONE MODELS. 2005. 61 f. Monografia. (Aperfeiçoamento/Especialização em Curso de Imersão Em Testes) - Convênio Cin Motorola. Orientador: Alexandre Cabral Mota.

Trabalho de conclusão de curso de graduação
1.
Diego Wesley de Carvalho Spíndola. Uma ferramenta para geração de modelos Prism a partir de modelos Simulink. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Alexandre Cabral Mota.

2.
André Luís Ribeiro Didier. Automatic Z Data Refinement. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro de Informática. Orientador: Alexandre Cabral Mota.

3.
Joabe Bezerra de Jesus Júnior. FormalDev: Tool support for generating UML-RT diagrams from CSP specifications. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro de Informática. Orientador: Alexandre Cabral Mota.

4.
José Olino de Campos Lima Junior. Verificando Refatorações Automaticamente. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro de Informática. Orientador: Alexandre Cabral Mota.

5.
Rafael Machado Duarte. Transformação de programas Java seqüenciais em concorrentes. 2005. 67 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Fundação Ford. Orientador: Alexandre Cabral Mota.

6.
Andrey Pires Batista. Repositório de Design Patterns para Desenvolvedores. 2005. 124 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Fundação Ford. Orientador: Alexandre Cabral Mota.

7.
Rafael Magalhães Borges. Integrando UML e Métodos Formais. 2004. 95 f. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Federal de Pernambuco. Orientador: Alexandre Cabral Mota.

Iniciação científica
1.
Gustavo Henrique Lopes de Souza. Desenvolvimento de verificador de modelos em K. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Alexandre Cabral Mota.



Inovação



Programa de computador registrado
1.
CORREIA, A ; IYODA, j. ; MOTA, A. . SISTEMA DE APOIO À GESTÃO EDUCACIONAL - SAGE. 2017.
Patente: Programa de Computador. Número do registro: 512017001102-8, data de registro: 05/09/2017, título: "SISTEMA DE APOIO À GESTÃO EDUCACIONAL - SAGE" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Programa de computador sem registro
1.
Gomes, Adriano ; WESLEY, D. ; MOTA, A. . Extrator automático de modelos PRISM a partir de diagramas Simulink. 2011.

2.
DIDIER, A. ; MOTA, A. . Identificador automático de lógicas de falhas. 2012.

3.
Costa, M. ; MOTA, A. ; CORNÉLIO, MÁRCIO . Tradutor de requisitos em SCR para diagramas SCADE. 2012.

4.
Araújo, R. ; MOTA, A. . Gerador de Modelos Probabilísticos PRISM a partir de DSL-Robomind. 2015.

5.
MOTA, A. ; FARIAS, A. . Verificador de Modelos para CML. 2014.

6.
Santos, F. ; MOTA, A. . Verificador de Modelos para Circus. 2015.

7.
MARANHAO, H. P. ; MOTA, A. . Sintetizador Automático de Programas em C. 2015.

8.
Magalhães, C. ; ANDRADE, JOÃO ; PERRUSI, LUCAS ; MOTA, A. . AutoTestPlan: Seleção Automática de Casos de Testes baseada em Release Notes. 2016.

9.
ANDRADE, JOÃO ; PERRUSI, LUCAS ; MOTA, A. . AutoTestCoverage: Identificador de Regiões de Aplicações a serem Testadas e seu Monitoramento. 2017.

10.
REIS, J. ; MOTA, A. . ArcWizard: Identificador de Regiões da Interface de Celular Android associadas à Teste de Regressão. 2018.


Projetos de pesquisa


Educação e Popularização de C & T



Programa de Computador registrado
1.
CORREIA, A ; IYODA, j. ; MOTA, A. . SISTEMA DE APOIO À GESTÃO EDUCACIONAL - SAGE. 2017.
Patente: Programa de Computador. Número do registro: 512017001102-8, data de registro: 05/09/2017, título: "SISTEMA DE APOIO À GESTÃO EDUCACIONAL - SAGE" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 4:00:43