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
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
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.
acas
Augusto Cezar Alves Sampaio
Professor Titular
Processamento e Sintese de midias digitais
Design Thinking
E-mail
acas@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4011
Sala
B212
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
acas
Augusto Cezar Alves Sampaio
Professor Titular
Processamento e Sintese de midias digitais
Design Thinking
E-mail
acas@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4011
Sala
B212
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
2022
Em progresso
Síntese e verificação de simulação de sistemas robóticos
Apoio - CNPQ e Outros financiadores
2021
Em progresso
Residência em Robótica e Inteligência Artificial Aplicadas a Testes
2020
Em progresso
Model Transformation from RoboSim to Network of Timed Automata for UPPAAL
2020
Em progresso
Formal analysis of blockchain components
2017
Em progresso
Um Framework Baseado em Modelos para Análise e Teste Composicionais de Sistemas Reativos
2016
Concluído
Reducing Cost of Software: A Scalable Model-Based Verification Framework
2016
Em progresso
INCT para Engenharia de Software (INES)
2015
Em progresso
Validação de Software e Automação de Testes
2013
Concluído
Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica
2012
Concluído
Modelagem e Análise Composicional de Sistemas de Sistemas com Aplicações na Indústria Aeronáutica
Apoio - CNPQ e Outros financiadores
2011
Concluído
COMPASS - Comprehensive Modelling for Advanced Systems of Systems
2010
Concluído
Refatoração sincronizada de programas anotados com especificações formais
2007
Concluído
Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real
Apoio - CNPQ e Outros financiadores
2005
Em progresso
FORMULA - Formal Methods and UML-RT Integration (Edital Universal)
Apoio - CNPQ e Outros financiadores
2005
Em progresso
Testes de aplicações para disseminação, capacitação e manutenção de dispositivios celulares (CT-INFO)
Apoio - CNPQ e Outros financiadores
2004
Em progresso
Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste (Projeto de Pesquisa CIn-Motorola)
2002
Em progresso
Projeto de Automação de Testes (cooperação de P&D CIn-Motorola)
2002
Em progresso
Curso Seqüencial de Formação Complementar em Análise de Testes
2001
Concluído
DARE-COOP - Develoment and Applications of a Refinement Calculus for Object-Oriented Programming
Apoio - CNPQ e Outros financiadores
2001
Concluído
Refinement Calculi for Sequential and Concurrent Programs
1999
Concluído
CO-OP - Calculus of Object-Oriented Programming
Apoio - CNPQ e Outros financiadores
1995
Concluído
Projeto Integrado de Software e Hardware (PISH)
Apoio - CNPQ e Outros financiadores
1995
Concluído
Álgebra de Refinamentos e Aplicações - Projeto de Produtividade em Pesquisa (PQ)
Apoio - CNPQ e Outros financiadores
1994
Concluído
Provably Correct Systems (Keep-in-Touch Activity, funded by the European Comission)
2022
Em progresso
Síntese e verificação de simulação de sistemas robóticos
Apoio - CNPQ e Outros financiadores
2021
Em progresso
Residência em Robótica e Inteligência Artificial Aplicadas a Testes
2020
Em progresso
Model Transformation from RoboSim to Network of Timed Automata for UPPAAL
2020
Em progresso
Formal analysis of blockchain components
2017
Em progresso
Um Framework Baseado em Modelos para Análise e Teste Composicionais de Sistemas Reativos
2016
Concluído
Reducing Cost of Software: A Scalable Model-Based Verification Framework
2016
Em progresso
INCT para Engenharia de Software (INES)
2015
Em progresso
Validação de Software e Automação de Testes
2013
Concluído
Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica
2012
Concluído
Modelagem e Análise Composicional de Sistemas de Sistemas com Aplicações na Indústria Aeronáutica
Apoio - CNPQ e Outros financiadores
2011
Concluído
COMPASS - Comprehensive Modelling for Advanced Systems of Systems
2010
Concluído
Refatoração sincronizada de programas anotados com especificações formais
2007
Concluído
Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real
Apoio - CNPQ e Outros financiadores
2005
Em progresso
FORMULA - Formal Methods and UML-RT Integration (Edital Universal)
Apoio - CNPQ e Outros financiadores
2005
Em progresso
Testes de aplicações para disseminação, capacitação e manutenção de dispositivios celulares (CT-INFO)
Apoio - CNPQ e Outros financiadores
2004
Em progresso
Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste (Projeto de Pesquisa CIn-Motorola)
2002
Em progresso
Projeto de Automação de Testes (cooperação de P&D CIn-Motorola)
2002
Em progresso
Curso Seqüencial de Formação Complementar em Análise de Testes
2001
Concluído
DARE-COOP - Develoment and Applications of a Refinement Calculus for Object-Oriented Programming
Apoio - CNPQ e Outros financiadores
2001
Concluído
Refinement Calculi for Sequential and Concurrent Programs
1999
Concluído
CO-OP - Calculus of Object-Oriented Programming
Apoio - CNPQ e Outros financiadores
1995
Concluído
Projeto Integrado de Software e Hardware (PISH)
Apoio - CNPQ e Outros financiadores
1995
Concluído
Álgebra de Refinamentos e Aplicações - Projeto de Produtividade em Pesquisa (PQ)
Apoio - CNPQ e Outros financiadores
1994
Concluído
Provably Correct Systems (Keep-in-Touch Activity, funded by the European Comission)
