Gustavo Henrique Porto de Carvalho

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


Possui graduação em Ciência da Computação pela UFPE (2006), especialização em testes pelo Programa de Residência em Engenharia de Software da UFPE (2007), mestrado e doutorado em Ciência da Computação pela UFPE (2010 e 2016, respectivamente), o último com período sanduíche na Universidade de York (Inglaterra). Professor adjunto do Centro de Informática (CIn) da Universidade Federal de Pernambuco (UFPE), sua principal área de interesse é Engenharia de Software, com ênfase em testes e métodos formais. (Texto informado pelo autor)


Identificação


Nome
Gustavo Henrique Porto de Carvalho
Nome em citações bibliográficas
CARVALHO, Gustavo H. P.;CARVALHO, GUSTAVO

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Avenida Jornalista Aníbal Fernandes
Cidade Universitária
50740560 - Recife, PE - Brasil
Telefone: (81) 21268430
URL da Homepage: http://cin.ufpe.br/~ghpc/


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


2011 - 2016
Doutorado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
com período sanduíche em The University of York, England (UK) (Orientador: Ana Lucia Caneca Cavalcanti).
Título: NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP, Ano de obtenção: 2016.
Orientador: Augusto Cezar Alves Sampaio.
Coorientador: Ana Lucia Caneca Cavalcanti.
2008 - 2010
Mestrado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Management Function Deployment: um Método para o Alinhamento Estratégico da Melhoria dos Processos de Gerenciamento de Projetos de Software,Ano de Obtenção: 2010.
Orientador: Fabio Queda Bueno da Silva.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2007 - 2007
Especialização em Residência em Análise de Testes. (Carga Horária: 552h).
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: CIn-BTC Management Maturity Assessment.
Orientador: Hermano Perrelli de Moura.
Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.
2002 - 2006
Graduação em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Um Modelo Preditivo para Desenvolvimento de Jogos de Computador.
Orientador: Hermano Perrelli de Moura.




Formação Complementar


2013 - 2013
PostGraduate Students who Teach (PGWT) Residential. (Carga horária: 24h).
The University of York, England (UK), YORK UNIVERSITY, Inglaterra.
2009 - 2009
Curso Avançado em Engenharia e Gestão de Requisito. (Carga horária: 28h).
Centro de Tecnologia de Software para Exportação do Recife, SOFTEX/RECIFE, Brasil.
2006 - 2006
Curso de Marketing. (Carga horária: 60h).
Faculdade Integrada do Recife, FIR, Brasil.
2006 - 2006
Curso de Capacitação de Empreendedores (CADE). (Carga horária: 100h).
Empreendedores Associados de Pernambuco, EMASPE, Brasil.


Atuação Profissional



The University of York, York, Inglaterra.
Vínculo institucional

2013 - 2014
Vínculo: Bolsista, Enquadramento Funcional: Doutorado Sanduíche, Regime: Dedicação exclusiva.
Outras informações
Doutorado Sanduíche pelo programa Ciência sem Fronteiras

Atividades

01/2014 - 03/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Assistente de Ensino (Postgraduate Teaching Assistant) - Software Engineering Project (SEPR)
Assistente de Ensino (Postgraduate Teaching Assistant) - Software Measurement & Testing (SMAT)
10/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Assistente de Ensino (Postgraduate Teaching Assistant) - Software Engineering Project (SEPR)

Universität Bremen, UNI BREMEM, Alemanha.
Vínculo institucional

2012 - 2012
Vínculo: Visitante, Enquadramento Funcional: Visita Científica
Outras informações
Visita científica à Universidade de Bremen (Alemanha) para comparar diferentes estratégias de testes baseados em modelos. Em particular, analisou-se a geração de testes a partir de requisitos, modelos UML e modelos formais.


Halmstad University, HH, Suécia.
Vínculo institucional

2016 - 2016
Vínculo: Visitante, Enquadramento Funcional: Visita Científica
Outras informações
Visita científica à Universidade de Halmstad (Suécia) para comparar diferentes relações de conformidade no contexto de sistemas híbridos.


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

2017 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2011 - 2016
Vínculo: Aluno, Enquadramento Funcional: Aluno de Pós-graduação
Outras informações
Aluno do Programa de Pós-Graduação (Doutorado). Orientador: Augusto Cezar Alves Sampaio.

Vínculo institucional

2008 - 2010
Vínculo: Bolsista, Enquadramento Funcional: Aluno de Pós-graduação, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Aluno do Programa de Pós-Graduação (Mestrado). Orientador: Fabio Queda Bueno da Silva.

Vínculo institucional

2007 - 2007
Vínculo: Bolsista, Enquadramento Funcional: Aluno e Analista de Testes, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Aluno e Analista de testes no projeto entre o CIn-UFPE e a Motorola (Brazil Test Center - BTC).

Vínculo institucional

2002 - 2006
Vínculo: Aluno, Enquadramento Funcional: Aluno de Graduação

Vínculo institucional

2004 - 2005
Vínculo: Voluntário, Enquadramento Funcional: Aluno de Iniciação Científica, Carga horária: 12
Outras informações
Aluno voluntário do Programa Institucional de Bolsas de Iniciação Científica (PIBIC/CNPq/UFPE) com o projeto: Investigando a Utilização de Protocolos de Negociação em Sistemas Multiagentes. Orientadora: Patricia Cabral de A. Restelli Tedesco.

Vínculo institucional

2003 - 2004
Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações
Monitor da disciplina Algoritmos e Estruturas de Dados (www.cin.ufpe.br/~if672) dos cursos de graduação do CIn-UFPE (Ciência da Computação e Engenharia da Computação) durante os semestres letivos de 2003.1, 2003.2, 2004.1 e 2004.2. Orientadora: Katia Silva Guimarães.

Vínculo institucional

2003 - 2004
Vínculo: Voluntário, Enquadramento Funcional: Aluno de Iniciação Científica, Carga horária: 12
Outras informações
Aluno voluntário do Programa Institucional de Bolsas de Iniciação Científica (PIBIC/CNPq/UFPE) com o projeto: Virtual.Prob ? Ambiente Virtual para Auxílio e Verificação do Aprendizado. Orientadora: Patricia Cabral de A. Restelli Tedesco.

Atividades

08/2018 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados (75h)
08/2018 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta para Computação (60h)
08/2018 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Engenharia de Software 1 (60h)
08/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Engenharia de Software (75h)
01/2018 - 07/2018
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta para Computação (60h)
01/2018 - 07/2018
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Críticos (60h)
08/2017 - 12/2017
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Banco de Dados (60h)
Verificação de Software (60h)
04/2017 - 07/2017
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Administração de Banco de Dados (60h)
Banco de Dados (60h)

Universidade de Pernambuco, UPE, Brasil.
Vínculo institucional

2016 - 2017
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Vínculo institucional

2010 - 2016
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Outras informações
Nomeação publicada no Diário Oficial do Estado de Pernambuco, ano LXXXVII, No 115 (19 de junho de 2010), página 16, referente ao concurso (Edital 02/2010) para Professor Universitário Assistente da Universidade de Pernambuco (UPE) na Escola Politécnica de Pernambuco (POLI) na área de Linguagem de Programação.

Atividades

01/2017 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Métodos Formais (60h)
08/2016 - Atual
Pesquisa e desenvolvimento , Escola Politécnica de Pernambuco (POLI), Programa de Pós-Graduação em Engenharia de Computação.

08/2016 - 12/2016
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Especificação e Verificação de Sistemas (60h)
08/2016 - 12/2016
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Métodos Formais (60h)
01/2016 - 07/2016
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Software (60h)
Compiladores (60h)
Métodos Formais (60h)
01/2015 - 07/2015
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Software (60h)
Compiladores (60h)
Métodos Formais (60h)
08/2014 - 12/2014
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Engenharia de Software Experimental (60h)
Métodos Formais (60h)
01/2013 - 07/2013
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Engenharia de Software Experimental (60h)
Metodologia Científica (60h)
08/2012 - 12/2012
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Engenharia de Software Experimental (60h)
Metodologia Científica (60h)
01/2012 - 07/2012
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Metodologia Científica (60h)
Engenharia de Software Experimental (60h)
Compiladores (60h)
08/2011 - 12/2011
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Engenharia de Software Experimental (60h)
Metodologia Científica (60h)
01/2011 - 07/2011
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Engenharia de Software Experimental (60h)
Metodologia Científica (60h)
08/2010 - 12/2010
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60h)
Engenharia de Software Experimental (60h)
Projeto de Compiladores (60h)

Tribunal de Justiça do Estado de Pernambuco, TJ/PE, Brasil.
Vínculo institucional

2009 - 2010
Vínculo: Servidor Público, Enquadramento Funcional: Analista de Sistemas, Carga horária: 30
Outras informações
Membro da Equipe de Garantia da Qualidade, parte da Unidade de Melhoria Contínua de Serviços de TI.


Incubadora de Empresas de Base Tecnológica do ITEP, INCUBATEP, Brasil.
Vínculo institucional

2006 - 2007
Vínculo: Incubado, Enquadramento Funcional: Incubado, Carga horária: 40
Outras informações
Membro de empresa incubada na área de produção de conteúdo de entretenimento 3D.


Faculdade de Informática e Tecnologia de Pernambuco, FATECPE, Brasil.
Vínculo institucional

2010 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Professor
Outras informações
Professor de curso de férias em Ciência da Computação Professor de disciplinas da graduação em Ciência da Computação

Vínculo institucional

2008 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Professor
Outras informações
Professor de disciplinas da graduação em Ciência da Computação

Atividades

01/2010 - 07/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (72h)
01/2010 - 01/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Curso de Férias de Sistemas Distribuídos (72h)
01/2009 - 07/2009
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (72h)
Sistemas Distribuídos (72h)
08/2008 - 12/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (72h)
Sistemas Distribuídos (72h)
07/2008 - 07/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Curso de Férias de Sistemas Distribuídos (72h)

JYNX Playware, JYNX, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Prestador de Serviços, Enquadramento Funcional: Líder de Equipe (ScrumMaster) e Líder Técnico, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Projeto realizado pelo C.E.S.A.R e pela Jynx Playware. Escopo do projeto: criação de jogo 3D para dispositivos móveis utilizando a API Mascot. Cliente: empresa multinacional.


Preloud Entretenimento Eletrônico Brasil LTDA, PRELOUD, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Estagiário, Enquadramento Funcional: Desenvolvedor, Carga horária: 20
Outras informações
Desenvolvedor de jogos 3D para plataforma PC utilizando a Torque Game Engine (TGE).



Linhas de pesquisa


1.
Engenharia de Software
2.
Métodos Formais


Projetos de pesquisa


2013 - Atual
Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 16/06/2014.
Descrição: Neste projeto, propomos a sistematização de vários aspectos do projeto de grandes sistemas, particularmente, com ênfase em Sistemas de Sistemas (SoS, Systems of Sytems). O escopo inclui modelagem (semiformal e formal), verificação (análise formal de propriedades) e teste de tais sistemas. Utilizamos a linguagem SysML para descrever requisitos e os modelos de análise e projeto (design) de um SoS. SysML é uma linguagem semiformal, amplamente utilizada na indústria, com uma semântica definida em linguagem natural e através do uso de meta-modelos, também semiformais. Portanto, ambiguidades nos modelos SysML podem induzir a erros de implementação. No processo proposto, o modelo em SysML é traduzido (automaticamente) para um modelo descrito na linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos reativos, a linguagem baseada em modelos Z, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra, fazendo de Circus não apenas uma linguagem de especificação, mas também de programação. Como segunda etapa do processo proposto, o modelo Circus será verificado com o objetivo de se garantir a preservação de propriedades de interesse. Isto permitirá, inicialmente, verificar a consistência, tanto individual, como integrada, dos diagramas SysML do sistema. Um outro aspecto da análise é o desenvolvimento de uma estratégia que garanta, por construção, a ausência de problemas clássicos como deadlock no SoS, a partir da verificação da ausência de deadlock em seus componentes. O desafio desta análise é escalabilidade. Como terceira e última etapa do processo, complementar à verificação, será desenvolvida uma estratégia automática de geração de vetores de teste a partir da especificação em Circus. Finalmente, o escopo do projeto inclui uma avaliação, em um ambiente industrial, com o apoio da Embraer, da eficácia dos métodos de modelagem, análise e teste propostos, através da aplicação na área de aviação e na arquitetura IMA (Integrated Modular Avionics) em particular. Este projeto inclui um breve relato das metas atingidas no período anterior. Alguns resultados, restritos a aspectos de controle em CSP e testados em exemplos pequenos, serão estendidos para um formalismo multiparadigma (Circus) e validados em aplicações reais de IMA..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (4) .
Integrantes: Gustavo Henrique Porto de Carvalho - Integrante / Alexandre Mota - Integrante / Augusto Sampaio - Coordenador / Marcio Cornelio - Integrante / Sidney Nogueira - Integrante / Ana Cavalcanti - Integrante / Lucas Lima - Integrante / Juliano Iyoda - Integrante / Joabe Jesus - Integrante / Marcel Oliveira - Integrante / José Oliveira - Integrante / Pedro Antonino - 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

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 05/07/2014.
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 plug-ins 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 plug-ins, 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: Gustavo Henrique Porto de Carvalho - Integrante / Alexandre Mota - Integrante / Augusto Sampaio - Coordenador / Marcio Cornelio - Integrante / Ana Cavalcanti - Integrante / Lucas Lima - Integrante / Juliano Iyoda - Integrante / Jim Woodcock - Integrante / Cristiano Bertolini - Integrante / André Didier - Integrante.Financiador(es): Comunidade Européia - Auxílio financeiro.
2010 - 2014
Confiabilidade e Segurança em Software Crítico Embarcado

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 05/07/2014.
Descrição: Sistemas Embarcados têm se tornado cada vez mais comuns no suporte à execução de atividades críticas, tais como controle, monitoração e tomada de decisões, onde falhas podem resultar em perdas ou injúrias a pessoas, ao meio ambiente ou a negócios. Tais sistemas se enquadram no quinto grande desafio da SBC que tem como enfoque o desenvolvimento tecnológico de qualidade de sistemas. O objetivo deste projeto é prover fundamentação teórica e tecnologia para o desenvolvimento de software crítico embarcado, correto e seguro, com base na aplicação de técnicas de modelagem formal, transformação, geração automática, vericação de modelos e validação através de teste de software. Serão considerados aspectos e conceitos tais como abstração, tradução de linguagens, independência de plataforma, verificação de propriedades temporais e análise probabilística. As soluções serão aplicadas, prioritariamente, ao domínio aeronáutico, através de cooperação com a empresa Embraer, e de material de transporte metro-ferroviário, através de uma colaboração com a empresa AeS..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Gustavo Henrique Porto de Carvalho - Integrante / Alexandre Mota - Integrante / Augusto Sampaio - Coordenador / Juliano Iyoda - Integrante / Marcel Oliveira - Integrante / Paulo Borba - Integrante / David Deharbe - Integrante / Patrícia Machado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2011
Estudos Empíricos Aplicados ao Management Function Deployment (MFD)
Descrição: O MFD é um método através do qual é possível identificar quais melhorias nos processos de gerenciamento de projetos devem ser priorizadas em função dos objetivos estratégicos traçados pela organização. O objetivo geral deste projeto é submeter este método a estudos empíricos com o intuito de melhor compreender seus benefícios e limitações..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Gustavo Henrique Porto de Carvalho - Coordenador / Denis Silva da Silveira - Integrante.Financiador(es): Escola Politécnica de Pernambuco - Bolsa.Número de orientações: 3
2007 - 2010
Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 05/07/2014.
Descrição: Este projeto tem como enfoque o uso combinado de métodos formais e técnicas de teste baseado em modelos para sistemas embarcados de tempo real. O principal objetivo é compartilhar conhecimentos e experiências para promover avanços conjuntos nesta área de pesquisa. Em particular, procuramos com este projeto promover o desenvolvimento tecnológico de qualidade de sistemas corretos e seguros. O projeto considera as seguintes direções de pesquisa: (1) investigação de modelos de sistemas de software heterogêneos com características tais como não-determinismo, tempo e interrupção; (2) desenvolvimento de padrões de modelagem para sistemas embarcados utilizando formalismos baseados em estados e processos; (3) proposta de padrões de desenvolvimento baseado em refinamento de modelos baseados em estados e processos; (4) geração automática de código para hardware e software; (5) testes a partir de modelos parciais, considerando sua geração a partir de casos de teste abstratos e comportamento observável; (6) aprimoramento de técnicas atuais para a geração de casos de teste considerando critérios semânticos de cobertura além dos critérios de cobertura estrutural, bem como relações de conformidade pertinentes e critérios de cobertura de verificação de modelos; (7) investigação das relações de conformidade com base em falha e divergência em álgebras de processo; (8) proposta de estratégias para a seleção automática de casos de teste com base em funções de similaridade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Gustavo Henrique Porto de Carvalho - Integrante / Alexandre Mota - Integrante / Augusto Sampaio - Coordenador / Marcio Cornelio - Integrante / Juliano Iyoda - Integrante / Joabe Jesus - Integrante / Paulo Borba - Integrante / Patrícia Machado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Revisor de periódico


2016 - 2017
Periódico: Information and Software Technology
2017 - Atual
Periódico: SCIENCE OF COMPUTER PROGRAMMING
2017 - 2017
Periódico: JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY


Á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: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Métodos Formais.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2016
Professor homenageado do curso de Engenharia de Computação (Turma 2015.2), Universidade de Pernambuco.
2016
Professor homenageado do curso de Engenharia de Computação (Turma 2016.1), Universidade de Pernambuco.
2015
Professor homenageado do curso de Engenharia de Computação (Turma 2014.2), Universidade de Pernambuco.
2013
IELTS (L. 8.0; R. 8.5; W. 7.0; S. 7.0 - Overall 7.5; CEFR level C1), University of Cambridge - ESOL Examinations.
2009
Professor Homenageado da Turma de Ciência da Computação 2009.2, FATECPE.
2007
Aluno Destaque em Análise de Testes, Projeto CIn-UFPE e Motorola Industrial Ltda..
2004
Medalha de Bronze na Maratona de Programação, Sociedade Brasileira de Computação.
2003
Vencedor do I Concurso de Melhor Projeto - Categoria: 2o Período, Centro Acadêmico da Computação - UFPE.
2003
First Certificate in English (FCE), University of Cambridge - ESOL Examinations.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
ARAUJO, HUGO2017 ARAUJO, HUGO ; CARVALHO, Gustavo H. P. ; MOHAQEQI, MORTEZA ; MOUSAVI, MOHAMMAD REZA ; SAMPAIO, A. C. A. . Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation. SCIENCE OF COMPUTER PROGRAMMING, v. 162, p. 35-54, 2017.

2.
CARVALHO, GUSTAVO2016 CARVALHO, GUSTAVO; CAVALCANTI, ANA ; SAMPAIO, Augusto . Modelling timed reactive systems from natural-language requirements. Formal Aspects of Computing, v. 28, p. 725-765, 2016.

3.
CARVALHO, GUSTAVO2014 CARVALHO, GUSTAVO; FALCÃO, Diogo ; BARROS, Flavia ; SAMPAIO, Augusto ; MOTA, Alexandre ; 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.

Capítulos de livros publicados
1.
Gibson-Robinson, Thomas ; Broadfoot, Guy ; CARVALHO, GUSTAVO ; Hopcroft, Philippa ; Lowe, Gavin ; Nogueira, Sidney ; O Halloran, Colin ; SAMPAIO, Augusto . FDR: From Theory to Industrial Application. In: Thomas Gibson-Robinson; Philippa Hopcroft; Ranko Lazić. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 65-87.

Textos em jornais de notícias/revistas
1.
CARVALHO, GUSTAVO; SAMPAIO, Augusto ; MOTA, Alexandre ; BARROS, Flavia . NAT2TEST: from Natural Language Requirements to Test Cases. Aerospace America Magazine - 2014 in Review, , v. 52, p. 45 - 45, 01 dez. 2014.

Trabalhos completos publicados em anais de congressos
1.
SANTOS, Tainã ; CARVALHO, GUSTAVO ; SAMPAIO, Augusto . Formal Modelling of Environment Restrictions from Natural-Language Requirements. In: Simpósio Brasileiro de Métodos Formais, 2018, Salvador. Proceedings of the 21th Brazilian Symposium On Formal Methods, 2018. v. 11254. p. 252-270.

2.
OLIVEIRA, Bruno ; CARVALHO, GUSTAVO ; MOUSAVI, Mohammad ; SAMPAIO, Augusto . Simulation of hybrid systems from natural-language requirements. In: IEEE Conference on Automation Science and Engineering, 2017, Xi'an. Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017.

3.
BARZA, Sérgio ; CARVALHO, GUSTAVO ; IYODA, Juliano ; SAMPAIO, Augusto ; MOTA, Alexandre ; BARROS, Flavia . Model Checking Requirements. In: Simpósio Brasileiro de Métodos Formais, 2016, Natal. Proceedings of the 19th Brazilian Symposium On Formal Methods, 2016. v. 10090. p. 217-234.

4.
SILVA, Bruno ; CARVALHO, GUSTAVO ; SAMPAIO, Augusto . Test Case Generation from Natural Language Requirements using CPN Simulation. In: Simpósio Brasileiro de Métodos Formais, 2015, Belo Horizonte. Proceedings of the 18th Brazilian Symposium On Formal Methods, 2015.

5.
CARVALHO, GUSTAVO; CARVALHO, Ana Paula B. A. de ; ROCHA, E. ; SAMPAIO, Augusto ; CAVALCANTI, A. . A Formal Model for Natural-Language Timed Requirements of Reactive Systems. In: International Conference on Formal Engineering Methods, 2014, Luxemburgo. Proceedings of the International Conference on Formal Engineering Methods, 2014.

6.
CARVALHO, GUSTAVO; FALCÃO, Diogo ; BARROS, Flavia ; SAMPAIO, Augusto ; MOTA, Alexandre ; MOTTA, Leonardo ; BLACKBURN, Mark . Test Case Generation from Natural Language Requirements based on SCR Specifications. In: Symposium On Applied Computing, 2013, Coimbra. Proceedings of the 28th Symposium On Applied Computing, 2013.

7.
CARVALHO, GUSTAVO; SAMPAIO, Augusto ; MOTA, Alexandre . A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. In: International Conference on Formal Engineering Methods, 2013, Queenstown. Proceedings of the International Conference on Formal Engineering Methods, 2013.

8.
CARVALHO, GUSTAVO; BARROS, Flavia ; LAPSCHIES, Florian ; SCHULZE, Uwe ; PELESKA, Jan . Model Based Testing from Controlled Natural Language Requirements. In: International Workshop on Formal Techniques for Safety-Critical Systems, 2013, Queenstown. Proceedings of the International Workshop on Formal Techniques for Safety-Critical Systems, 2013.

9.
Ling Shi ; Yang Liu ; Jun Sun ; Jin Song Dong ; CARVALHO, GUSTAVO . An Analytical and Experimental Comparison of CSP Extensions and Tools. In: International Conference on Formal Engineering Methods, 2012, Kyoto. Proceedings of the International Conference on Formal Engineering Methods, 2012.

10.
CARVALHO, GUSTAVO; FALCÃO, Diogo ; MOTA, Alexandre ; SAMPAIO, Augusto . A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Proceedings of the 15th Brazilian Symposium On Formal Methods, 2012.

11.
GLASNER, Júlio G. ; FERRAZ, Carlos A. G. ; CARVALHO, Ana Paula B. A. de ; CARVALHO, Gustavo H. P. . Sensibilidade a Contexto na Gestão Eficiente de Energia Elétrica. In: XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2010, Gramado. Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2010.

12.
CARVALHO, Gustavo H. P.; SILVA, Fabio Q. B. da ; FRANCA, Alberto C. C. . Management Function Deployment: um Método para o Alinhamento Estratégico da Melhoria dos Processos de Gerenciamento de Projetos de Software. In: IX Simpósio Brasileiro de Qualidade de Software, 2010, Belém. Anais do IX Simpósio Brasileiro de Qualidade de Software, 2010. p. 135-149.

13.
CARVALHO, Gustavo H. P.; COSTA, Cleyverson P. ; CASTRO, Carla V. R. ; MOURA, Hermano P. ; SILVA, Fabio Q. B. da . Modelos de Maturidade em Gerenciamento de Projetos: um Estudo de Caso a partir do KPMMM. In: X Seminário Internacional de Gerenciamento de Projetos, 2010, São Paulo. Anais do X Seminário Internacional de Gerenciamento de Projetos, 2010. p. 1-8.

14.
CARVALHO, Gustavo H. P.; SILVA, Fabio Q. B. da . Uma Proposta para o Alinhamento Estratégico da Melhoria dos Processos de Incubação Presentes no Modelo CERNE. In: XX Seminário Nacional de Parques Tecnológicos e Incubadoras de Empresas, 2010, Campo Grande. Anais do XX Seminário Nacional de Parques Tecnológicos e Incubadoras de Empresas, 2010. p. 1-15.

15.
CARVALHO, Gustavo H. P.; VASCONCELOS, Alexandre M. L. de ; SILVA, Fabio Q. B. da . Um Processo de Recomendação de Modelos de Maturidade em Gerenciamento de Projetos. In: IV Congresso Brasileiro de Gerenciamento de Projetos, 2009, Belo Horizonte. Anais do IV Congresso Brasileiro de Gerenciamento de Projetos, 2009. p. 1-10.

16.
ISLABÃO, M. H. ; CAMPOS, M. A. ; TEDESCO, P. C. A. R. ; CARVALHO, Gustavo H. P. . Ambiente de Auxílio e Verificação de Aprendizado. In: VII Congresso ÍberoAmericano de Informática Educativa, 2004, Monterrey. Anais do VII Congresso ÍberoAmericano de Informática Educativa, 2004. p. 58-67.

Resumos expandidos publicados em anais de congressos
1.
ARAUJO, Hugo ; CARVALHO, GUSTAVO ; SAMPAIO, Augusto ; MOUSAVI, Mohammad ; TAROMIRAD, Masoumeh . A Process for Sound Conformance Testing of Cyber-Physical Systems. In: International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 2017, Tokyo. Proceedings of the 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 2017.

2.
CARVALHO, GUSTAVO; BARROS, Flavia ; CARVALHO, Ana Paula B. A. de ; CAVALCANTI, A. ; MOTA, Alexandre ; SAMPAIO, Augusto . NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP. In: International Conference on Software Engineering and Formal Methods, 2015, York. Proceedings of the International Conference on Software Engineering and Formal Methods, 2015.

3.
CARVALHO, GUSTAVO; CABRAL, Rafael ; MOTA, Alexandre . A Formal Analysis of Concurrent Assembly Code based on CSP. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Short Papers Proceedings of the 15th Brazilian Symposium On Formal Methods, 2012.

4.
CARVALHO, GUSTAVO; DIAS, Tarciana ; MOTA, Alexandre ; SAMPAIO, Augusto . Analytical Comparison of Refinement Checkers. In: 14th Brazilian Symposium on Formal Methods, 2011, São Paulo. Short Papers Proceedings of 14th Brazilian Symposium on Formal Methods, 2011. p. 61-66.

5.
CARVALHO, Gustavo H. P.; SILVA, Fabio Q. B. da . Um Método para o Planejamento Estratégico do Gerenciamento de Projetos de Software. In: VII Workshop de Teses e Dissertações em Qualidade de Software (WTDQS - SBQS), 2009, Ouro Preto. Anais do VII Workshop de Teses e Dissertações em Qualidade de Software, 2009. p. 1-6.

Resumos publicados em anais de congressos
1.
CARVALHO, GUSTAVO; LEONARDO, Hugo ; MOHAQEQI, Morteza ; MOUSAVI, Mohammad ; SAMPAIO, Augusto . Generating Sound Test-Suite by Adaptive Sampling of Hybrid Automata Models. In: MODPROD Workshop on Model-based Product Development, 2017, Linköping. Proceedings of MODPROD Workshop on Model-based Product Development, 2017.

Apresentações de Trabalho
1.
SANTOS, Tainã ; CARVALHO, GUSTAVO ; SAMPAIO, A. C. A. . Formal Modelling of Environment Restrictions from Natural-Language Requirements. 2018. (Apresentação de Trabalho/Simpósio).

2.
OLIVEIRA, Bruno ; CARVALHO, GUSTAVO ; MOUSAVI, Mohammad ; SAMPAIO, Augusto . Simulation of hybrid systems from natural-language requirements. 2017. (Apresentação de Trabalho/Congresso).

3.
SILVA, Bruno ; CARVALHO, GUSTAVO ; SAMPAIO, Augusto . Test Case Generation from Natural Language Requirements using CPN Simulation. 2015. (Apresentação de Trabalho/Simpósio).

4.
CARVALHO, GUSTAVO; BARROS, Flavia ; CARVALHO, Ana Paula B. A. de ; CAVALCANTI, A. ; MOTA, Alexandre ; SAMPAIO, Augusto . NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP. 2015. (Apresentação de Trabalho/Congresso).

5.
CARVALHO, GUSTAVO; CARVALHO, Ana Paula B. A. de ; ROCHA, E. ; SAMPAIO, Augusto ; CAVALCANTI, A. . A Formal Model for Natural-Language Timed Requirements of Reactive Systems. 2014. (Apresentação de Trabalho/Congresso).

6.
CARVALHO, GUSTAVO; FALCÃO, Diogo ; BARROS, Flavia ; SAMPAIO, Augusto ; MOTA, Alexandre ; MOTTA, Leonardo ; BLACKBURN, Mark . Test Case Generation from Natural Language Requirements based on SCR Specifications. 2013. (Apresentação de Trabalho/Congresso).

7.
CARVALHO, GUSTAVO; SAMPAIO, Augusto ; MOTA, Alexandre . A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. 2013. (Apresentação de Trabalho/Congresso).

8.
CARVALHO, GUSTAVO; BARROS, Flavia ; LAPSCHIES, Florian ; SCHULZE, Uwe ; PELESKA, Jan . Model Based Testing from Controlled Natural Language Requirements. 2013. (Apresentação de Trabalho/Congresso).

9.
CARVALHO, GUSTAVO; FALCÃO, Diogo ; MOTA, Alexandre ; SAMPAIO, Augusto . A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. 2012. (Apresentação de Trabalho/Simpósio).

10.
CARVALHO, GUSTAVO; CABRAL, Rafael ; MOTA, Alexandre . A Formal Analysis of Concurrent Assembly Code based on CSP. 2012. (Apresentação de Trabalho/Simpósio).

11.
CARVALHO, GUSTAVO; DIAS, Tarciana ; MOTA, Alexandre ; SAMPAIO, Augusto . Analytical Comparison of Refinement Checkers. 2011. (Apresentação de Trabalho/Simpósio).

12.
CARVALHO, Gustavo H. P.; SILVA, Fabio Q. B. da ; FRANCA, Alberto C. C. . Management Function Deployment: um Método para o Alinhamento Estratégico da Melhoria dos Processos de Gerenciamento de Projetos de Software. 2010. (Apresentação de Trabalho/Congresso).

13.
CARVALHO, Gustavo H. P.; COSTA, Cleyverson P. ; CASTRO, Carla V. R. ; MOURA, Hermano P. ; SILVA, Fabio Q. B. da . Modelos de Maturidade em Gerenciamento de Projetos: um Estudo de Caso a partir do KPMMM. 2010. (Apresentação de Trabalho/Seminário).

14.
CARVALHO, Gustavo H. P.; PESSOA, Dinaldo A. ; PESSOA, Saulo A. . Apresentação do Protótipo: Relic Hunters. 2006. (Apresentação de Trabalho/Seminário).

15.
CARVALHO, Gustavo H. P.; TEDESCO, P. C. A. R. . O Problema da Patrulha. 2004. (Apresentação de Trabalho/Congresso).

16.
CARVALHO, Gustavo H. P.; GUIMARAES, K. . A Monitoria da Disciplina de Algoritmos e Estruturas de Dados. 2004. (Apresentação de Trabalho/Congresso).

17.
CARVALHO, Gustavo H. P.; GUIMARAES, K. . A Monitoria da Disciplina de Algoritmos e Estruturas de Dados. 2003. (Apresentação de Trabalho/Congresso).


Produção técnica
Programas de computador sem registro
1.

2.
PRELOUD ; CARVALHO, Gustavo H. P. . Die drei Freunde von der Reitschule ? Der Geheimnisvolle. 2005.

3.
PRELOUD ; CARVALHO, Gustavo H. P. . Laura?s Tierklinik. 2005.


Demais tipos de produção técnica
1.
CARVALHO, GUSTAVO. Reasoning with the Coq proof assistant. 2018. (Curso de curta duração ministrado/Outra).

2.
Wilkerson de L. Andrade ; CARVALHO, Gustavo H. P. ; Patrícia D. L. Machado . Model-Based Testing for Real-Time Systems. 2012. (Curso de curta duração ministrado/Outra).

3.
CARVALHO, Gustavo H. P.. Professor de Curso de C++. 2007. .

4.
CARVALHO, Gustavo H. P.. Professor de Curso de Desenvolvimento de Jogos 3D. 2006. .

5.
CARVALHO, Gustavo H. P.. Professor de Curso de C. 2005. .

6.
CARVALHO, Gustavo H. P.. Professor de Curso de C/C++. 2005. .

7.
CARVALHO, Gustavo H. P.. Professor de Curso de C. 2005. .

8.
CARVALHO, Gustavo H. P.. Professor de Curso de C/C++. 2004. .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
GAMA, KIEV; CARVALHO, Gustavo H. P.; CASTOR, Fernando. Participação em banca de José Benito Fernandes de Araújo Neto. Uma abordagem estática para recomendar estruturas de dados Java para melhorar o consumo de energia. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
TEICHRIEB, Veronica; TEIXEIRA, J. M.; CARVALHO, GUSTAVO. Participação em banca de João Gabriel Santiago Mauricio de Abreu.pARagraph: a Library for Efficient Document Image Retrieval. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

2.
JESUS, J.; CARVALHO, GUSTAVO. Participação em banca de Daniel de França Figueroa.MC-Test: Uma Ferramenta para testes de cobertura e testes de mutação. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

3.
JESUS, J.; CARVALHO, GUSTAVO. Participação em banca de Gemerson Gerardo Feitosa Gonçalves.Uma Avaliação do Ensino de Métodos Formais no Brasil. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

4.
VALENCA, Mêuser; CARVALHO, GUSTAVO. Participação em banca de Hartur Barreto Brito.Teaching Logic - Uma Ferramenta para Auxiliar o Ensino de Lógica. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

5.
CARVALHO, Gustavo H. P.; CRUZ NETO, G. G.. Participação em banca de Francisco Monte Sousa Sobrinho.Proposta de um guia de verificação de sucesso com base em educação empreendedora. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

6.
DIAS, Tarciana; CARVALHO, Gustavo H. P.. Participação em banca de Tainã Maria dos Santos.Representação em CSP# de sistemas reativos baseados em fluxo de dados. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

7.
LOIOLA, E. M.; CARVALHO, Gustavo H. P.. Participação em banca de Eduardo Augusto de Oliveira Nazaré.SeleniumTG: uma Ferramenta WEB para Geração de Scripts de Teste. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

8.
JESUS, J.; CARVALHO, Gustavo H. P.. Participação em banca de Rafael Farias Cabral.Um Mapeamento entre Assembly e CSP: Analisando Formalmente Programas Concorrentes. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

9.
JESUS, J.; CARVALHO, Gustavo H. P.. Participação em banca de Bruno Fonseca Lins de Oliveira.Uso de Constraint Solvers na Geração de Dados de Teste: Um Mapeamento Sistemático da Literatura. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

10.
CARVALHO, Gustavo H. P.; FERNANDES, S. M. M.. Participação em banca de Bruno Junqueira Alves.Estudo Comparativo entre Métodos Ágeis e Tradicionais de Fabricação de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

11.
LOIOLA, E. M.; CARVALHO, Gustavo H. P.. Participação em banca de Lamartine Veras Sampaio de Souza.Geração Automática de Casos de Teste a partir de Casos de Uso: Um Mapeamento Sistemático da Literatura. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

12.
LOIOLA, E. M.; CARVALHO, Gustavo H. P.. Participação em banca de Hiroshi Nishimura Gonçalves.Geração de Testes Automatizados Utilizando o Selenium. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

13.
LOIOLA, E. M.; CARVALHO, Gustavo H. P.. Participação em banca de Augusta Raiana Marques de Figueredo.Um Mapeamento Sistemático da Atividade de Testes no Ambiente de Desenvolvimento Distribuído. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

14.
JESUS, J.; CARVALHO, Gustavo H. P.. Participação em banca de Hugo Leonardo C. de O. Lima.Análise Formal de Código Java Concorrente. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

15.
JESUS, J.; CARVALHO, Gustavo H. P.. Participação em banca de Matheus Levi Pereira Torres.CSPm x CSP#: Uma Análise Experimental de Problemas Clássicos de Concorrência. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

16.
JESUS, J.; CARVALHO, Gustavo H. P.. Participação em banca de Tiago Xavier Lopes da Silva.Geração Automática de Scripts de Teste Utilizando o Selenium. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

17.
CARVALHO, Gustavo H. P.; JESUS, J.. Participação em banca de Gabriel Baracuhy Macedo Melo.Uma IDE para SableCC. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

18.
CARVALHO, Gustavo H. P.; JESUS, J.. Participação em banca de Rafael Calado Pantaleão Camara.Explorando Ferramentas de GCS Open Source para Atender Exigências do COBIT®. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

19.
CARVALHO, Gustavo H. P.; MENEZES, L. C. S.. Participação em banca de Diego Albuquerque de Araújo.Uma Extensão Orientada a Aspectos para C#. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
SIBALDO, M. A. A.; MENDONCA, S. F. T. O.; CARVALHO, Gustavo H. P.. Concurso público de provas e títulos para professor assistente da UAG/UFRPE, edital No 26/2012, nas matérias: Compiladores, Teoria da Computação e Áreas Afins. 2013. Universidade Federal Rural de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
DeepSpec Summer School. 2018. (Encontro).

2.
Escola de Informática Teórica e Métodos Formais.Reasoning with the Coq proof assistant. 2018. (Outra).

3.
Simpósio Brasileiro de Métodos Formais.Formal Modelling of Environment Restrictions from Natural-Language Requirements. 2018. (Simpósio).

4.
Escola de Informática Teórica e Métodos Formais. 2017. (Outra).

5.
IEEE Conference on Automation Science and Engineering. Simulation of hybrid systems from natural-language requirements. 2017. (Congresso).

6.
Simpósio Brasileiro de Métodos Formais. 2017. (Simpósio).

7.
Escola de Informática Teórica e Métodos Formais. 2016. (Outra).

8.
Halmstad Summer School on Testing. 2016. (Outra).

9.
Simpósio Brasileiro de Métodos Formais. 2016. (Simpósio).

10.
International Conference on Software Engineering and Formal Methods. NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP. 2015. (Congresso).

11.
Simpósio Brasileiro de Métodos Formais.Test Case Generation from Natural Language Requirements using CPN Simulation. 2015. (Simpósio).

12.
International Conference on Formal Engineering Methods. A Formal Model for Natural-Language Timed Requirements of Reactive Systems. 2014. (Congresso).

13.
PROWESS (Property-based testing of web services) midterm workshop. 2014. (Encontro).

14.
28th Symposium On Applied Computing. Test Case Generation from Natural Language Requirements based on SCR Specifications. 2013. (Congresso).

15.
International Conference on Formal Engineering Methods. A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. 2013. (Congresso).

16.
International Workshop on Formal Techniques for Safety-Critical Systems. Model Based Testing from Controlled Natural Language Requirement. 2013. (Congresso).

17.
III Congresso Brasileiro de Software: Teoria e Prática. 2012. (Congresso).

18.
Simpósio Brasileiro de Métodos Formais.A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. 2012. (Simpósio).

19.
Simpósio Brasileiro de Métodos Formais.A Formal Analysis of Concurrent Assembly Code based on CSP. 2012. (Simpósio).

20.
14th Brazilian Symposium on Formal Methods.Analytical Comparison of Re nement Checkers. 2011. (Simpósio).

21.
V Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2011. (Simpósio).

22.
XV Simpósio Brasileiro de Linguagens de Programação. 2011. (Simpósio).

23.
XXV Simpósio Brasileiro de Engenharia de Software. 2011. (Simpósio).

24.
XXXI Congresso da Sociedade Brasileira de Computação. 2011. (Congresso).

25.
22nd IFIP International Conference on Testing Software and Systems. 2010. (Congresso).

26.
IV Brazilian Workshop on Systematic and Automated Software Testing. 2010. (Encontro).

27.
IX Simpósio Brasileiro de Qualidade de Software.Management Function Deployment: um Método para o Alinhamento Estratégico da Melhoria dos Processos de Gerenciamento de Projetos de Software. 2010. (Simpósio).

28.
XIII Brazilian Symposium on Formal Methods. 2010. (Simpósio).

29.
X Seminário Internacional de Gerenciamento de Projetos.Modelos de Maturidade em Gerenciamento de Projetos: um Estudo de Caso a partir do KPMMM. 2010. (Seminário).

30.
Seminário em Gestão, Organização e Liderança. 2006. (Seminário).

31.
V Brazilian Symposium on Computer Games and Digital Entertainment.Round Table I5: Processos de Desenvolvimento de Jogos. 2006. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
CARVALHO, GUSTAVO. Revisor externo do FM - International Symposium on Formal Methods. 2018. (Congresso).

2.
CARVALHO, GUSTAVO. Revisor externo do SEFM - International Conference on Software Engineering and Formal Methods. 2017. (Congresso).

3.
CARVALHO, GUSTAVO. Organizador geral do XX Simpósio Brasileiro de Métodos Formais. 2017. (Congresso).

4.
CARVALHO, Gustavo H. P.. Revisor externo do FM - International Symposium on Formal Methods. 2016. (Congresso).

5.
CARVALHO, Gustavo H. P.. Revisor externo do SBES - Simpósio Brasileiro de Engenharia de Software. 2015. (Congresso).

6.
CARVALHO, Gustavo H. P.. Revisor externo do FM - International Symposium on Formal Methods. 2014. (Congresso).

7.
CARVALHO, Gustavo H. P.. Revisor externo do ICTAC - International Colloquium on Theoretical Aspects of Computing. 2014. (Congresso).

8.
CARVALHO, Gustavo H. P.. Revisor externo do SEFM - International Conference on Software Engineering and Formal Methods. 2013. (Congresso).

9.
CARVALHO, Gustavo H. P.. Membro do comitê de programa do EnAComp - Encontro Anual de Computação. 2013. (Congresso).

10.
CARVALHO, Gustavo H. P.. Revisor externo do SBES - Simpósio Brasileiro de Engenharia de Software. 2012. (Congresso).

11.
CARVALHO, Gustavo H. P.. Revisor externo do ICTAC - International Colloquium on Theoretical Aspects of Computing. 2011. (Congresso).

12.
CARVALHO, Gustavo H. P.. Membro do comitê de programa do SASI - Simpósio Acreano de Sistemas de Informação. 2011. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Igor de Araújo Meira. Geração de testes via provadores de teoremas. Início: 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

Tese de doutorado
1.
Hugo Leonardo da Silva Araujo. Teoria e geração automática de testes para sistemas híbridos. Início: 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. (Coorientador).

Orientações de outra natureza
1.
Bruno José das Chagas Cavalcanti. NAT2TEST: uma ferramenta para gerar testes a partir de requisitos em linguagem natural. Início: 2018. Orientação de outra natureza. Universidade Federal de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Tainã Maria dos Santos. Formal modelling of test environments from natural-language requirements. 2017. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, . Orientador: Gustavo Henrique Porto de Carvalho.

2.
Hugo Leonardo da Silva Araujo. A process for sound conformance testing of Cyber-Physical Systems. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Gustavo Henrique Porto de Carvalho.

3.
Bruno Cesar Ferreira Silva. CPN simulation-based test case generation from natural language requirements. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Gustavo Henrique Porto de Carvalho.

4.
Bruno Medeiros de Oliveira. Simulation of hybrid systems from natural language requirements. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Gustavo Henrique Porto de Carvalho.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Marcela Coelho Barbosa. Benefícios e Boas Práticas da Gerência de Configuração. 2011. Monografia. (Aperfeiçoamento/Especialização em Gestão da Qualidade e da Produtividade) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

Trabalho de conclusão de curso de graduação
1.
Daniel de França Figueroa. MC-Test: Uma Ferramenta para testes de cobertura e testes de mutação. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

2.
Gemerson Gerardo Feitosa Goncalves. Uma Avaliação do Ensino de Métodos Formais no Brasil. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

3.
Hartur Barreto Brito. Teaching Logic - Uma Ferramenta para Auxiliar o Ensino de Lógica. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

4.
Tomaz de Aquino dos Santos Junior. Critérios de Cobertura de Testes Gerados a partir de Linguagem Natural [coorientador]. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

5.
Tainã Maria dos Santos. Representação em CSP# de Sistemas Reativos Baseados em Fluxo de Dados. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

6.
Eduardo Augusto de Oliveira Nazaré. SeleniumTG: uma Ferramenta WEB para Geração de Scripts de Teste. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

7.
Rafael Farias Cabral. Um Mapeamento entre Assembly e CSP: Analisando Formalmente Programas Concorrentes. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

8.
Bruno Fonseca Lins de Oliveira. Uso de Constraint Solvers na Geração de Dados de Teste: Um Mapeamento Sistemático da Literatura. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

9.
Lamartine Veras Sampaio de Souza. Geração Automática de Casos de Teste a partir de Casos de Uso: Um Mapeamento Sistemático da Literatura. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

10.
Hiroshi Nishimura Gonçalves. Geração de Testes Automatizados Utilizando o Selenium. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

11.
Augusta Raiana Marques de Figueredo. Um Mapeamento Sistemático da Atividade de Testes no Ambiente de Desenvolvimento Distribuído. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

12.
Hugo Leonardo C. de O. Lima. Análise Formal de Código Java Concorrente. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

13.
Matheus Levi Pereira Torres. CSPm x CSP#: Uma Análise Experimental de Problemas Clássicos de Concorrência. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

14.
Tiago Xavier. Geração Automática de Scripts de Teste Utilizando o Selenium. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

Iniciação científica
1.
Diogo Filipe Dornelas Falcão. Geração de Testes a partir do Processamento de Linguagem Natural [coorientador]. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

2.
Humberto Beltrão da Cunha Júnior. Estudos Empíricos Aplicados ao Management Function Deployment (MFD). 2011. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

3.
Wagner Melo Nascimento. Transformação entre Modelos de Desenvolvimento de Software. 2011. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Gustavo Henrique Porto de Carvalho.

4.
Lara Dantas Coutinho. Estudos Empíricos Aplicados ao Management Function Deployment (MFD). 2010. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.

5.
Bruna Cavalcanti Galle de Aguiar. Estudos Empíricos Aplicados ao Management Function Deployment (MFD). 2010. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Gustavo Henrique Porto de Carvalho.



Inovação



Programa de computador sem registro
1.




Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 23:26:47