2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
Projetos
2026
Em progresso
Unifying Theories of Programming Basics in Lean 4 (https://zenodo.org/records/22033610)
2025
Em progresso
Verificação Formal e Sugestão Automática de Propriedades em Contratos Inteligentes: Integrando LLMs e Preservacao Semântica
2022
Concluído
Formalização de STPA: Uma Aplicação Industrial envolvendo Robôs, Celulares e Urnas Eletrônicas
2021
Em progresso
Residência em Robótica e Inteligência Artificial Aplicadas a Testes
2019
Concluído
Modelagem, Análise, Simulação e Implementação de Sistemas de Sistemas (SoS): Enxame de Robôs
2019
Concluído
Análise de Confiabilidade para Sistemas Robóticos descritos em RoboChart
2017
Em progresso
RoboTIC@ - Information and Communication Technology for Robotics and Applications
2015
Em progresso
Processos de Testes de Dispositivos Móveis (Cooperação CIn-Motorola)
2014
Concluído
Verificação de Modelos com Estados Enriquecidos
Apoio - CNPQ e Outros financiadores
2012
Concluído
Desenvolvimento sistemático e rigoroso para sistemas aeronáuticos
Apoio - CNPQ e Outros financiadores
2011
Concluído
COMPASS Comprehensive Modelling for Advanced Systems of Systems
2010
Concluído
Análise de Segurança de Sistemas Aviônicos com Métodos Formais
Apoio - CNPQ e Outros financiadores
2007
Concluído
Combinando Tecnicas de Metodos Formais e Teste na Construcao de Sistemas Embarcados de Tempo Real
2006
Em progresso
Uma Estratégia para Desenvolvimento Sistemático de Aplicações Críticas
2005
Concluído
Projeto Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste
2002
Concluído
Formal Methods and UML-RT Integration
Apoio - CNPQ e Outros financiadores
2002
Concluído
Derivação Automática de Aspectos a partir de Programa em Java
Projetos
2026
Em progresso
Unifying Theories of Programming Basics in Lean 4 (https://zenodo.org/records/22033610)
2025
Em progresso
Verificação Formal e Sugestão Automática de Propriedades em Contratos Inteligentes: Integrando LLMs e Preservacao Semântica
2022
Concluído
Formalização de STPA: Uma Aplicação Industrial envolvendo Robôs, Celulares e Urnas Eletrônicas
2021
Em progresso
Residência em Robótica e Inteligência Artificial Aplicadas a Testes
2019
Concluído
Modelagem, Análise, Simulação e Implementação de Sistemas de Sistemas (SoS): Enxame de Robôs
2019
Concluído
Análise de Confiabilidade para Sistemas Robóticos descritos em RoboChart
2017
Em progresso
RoboTIC@ - Information and Communication Technology for Robotics and Applications
2015
Em progresso
Processos de Testes de Dispositivos Móveis (Cooperação CIn-Motorola)
2014
Concluído
Verificação de Modelos com Estados Enriquecidos
Apoio - CNPQ e Outros financiadores
2012
Concluído
Desenvolvimento sistemático e rigoroso para sistemas aeronáuticos
Apoio - CNPQ e Outros financiadores
2011
Concluído
COMPASS Comprehensive Modelling for Advanced Systems of Systems
2010
Concluído
Análise de Segurança de Sistemas Aviônicos com Métodos Formais
Apoio - CNPQ e Outros financiadores
2007
Concluído
Combinando Tecnicas de Metodos Formais e Teste na Construcao de Sistemas Embarcados de Tempo Real
2006
Em progresso
Uma Estratégia para Desenvolvimento Sistemático de Aplicações Críticas
2005
Concluído
Projeto Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste
2002
Concluído
Formal Methods and UML-RT Integration
Apoio - CNPQ e Outros financiadores
2002
Concluído
Derivação Automática de Aspectos a partir de Programa em Java
acm
Alexandre Cabral Mota
Professor Titular
Processamento e Sintese de midias digitais
Design Thinking
E-mail
acm@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4336
Sala
B210
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
acm
Alexandre Cabral Mota
Professor Titular
Processamento e Sintese de midias digitais
Design Thinking
E-mail
acm@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4336
Sala
B210
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
