Gabriel Alves de Albuquerque Junior

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


Possui graduação em Engenharia da Computação pela Universidade de Pernambuco (2004), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2007) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2013). Tem experiência na área de ciência da computação, com ênfase em pesquisa operacional e performabilidade. Além disso, atuou desde 2001 no desenvolvimento de aplicações JEE. Professor adjunto da Universidade Federal Rural de Pernambuco (UFRPE), no departamento de estatística e informática (DEINFO), atua como pesquisador principalmente nas áreas de avaliação de performabilidade e ciência de dados. (Texto informado pelo autor)


Identificação


Nome
Gabriel Alves de Albuquerque Junior
Nome em citações bibliográficas
ALVES, G.;de Albuquerque, Gabriel Alves;Alves, Gabriel;ALVES DE ALBUQUERQUE, GABRIEL


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


2008 - 2013
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Modelagem e Avaliação de Desempenho Operacional e Ambiental em Cadeias de Suprimentos Verdes, Ano de obtenção: 2013.
Orientador: Paulo Romero Martins Maciel.
Coorientador: Ricardo Massa Ferreira Lima.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2005 - 2007
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Avaliação de Desempenho de Cadeias de Suprimentos Utilizando Componentes GSPN,Ano de Obtenção: 2007.
Orientador: Paulo Romero Martins Maciel.
Coorientador: Ricardo Massa Ferreira Lima.
1998 - 2004
Graduação em Engenharia da Computação.
Universidade de Pernambuco, UPE, Brasil.
Título: EZPetri: Um ambiente para redes de Petri no Eclipse.
Orientador: Ricardo Massa Ferreira Lima.




Formação Complementar


2002 - 2002
Java Server Pages. (Carga horária: 12h).
Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.
2002 - 2002
Objetos Distribuídos com Enterprise Java Beans. (Carga horária: 36h).
Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.
2001 - 2001
Programador Trainee (CPT). (Carga horária: 417h).
Instituto de Tecnologia em Informática, ITIL, Brasil.


Atuação Profissional



Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

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


Pitang, PITANG, Brasil.
Vínculo institucional

2008 - 2013
Vínculo: Consultor, Enquadramento Funcional: Consultor no Desenvolvimento, Carga horária: 30
Outras informações
Presta consultoria no desenvolvimento de aplicações JEE


Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
Vínculo institucional

2005 - 2008
Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 30
Outras informações
Participando atualmente de um projeto o projeto SAGe desenvolvido para a FAPESP (Fundação de Amparo à Pesquisa do Estado de São Paulo). Este sistema é feito em Java para WEB.

Atividades

01/2005 - 02/2008
Serviços técnicos especializados , Matriz, .

Serviço realizado
Desenvolvimento do Sistema SAGe.

São Mateus Frigorifico, SMT, Brasil.
Vínculo institucional

2003 - 2005
Vínculo: Celetista, Enquadramento Funcional: Arquiteto de Software, Carga horária: 30
Outras informações
Foram desenvolvidos o site da empresa e o sistema de custo. Ambos os sistemas foram desenvolvidos utilizando Java (J2EE) para WEB. Atuação nas áreas de levantamento de requisitos, análise, arquitetura e desenvolvimento dos softwares.

Atividades

03/2004 - 03/2005
Serviços técnicos especializados .

Serviço realizado
Desenvolvimento do sistema de custo da empresa.
11/2003 - 03/2004
Serviços técnicos especializados .

Serviço realizado
Desenvolvimento do site da empresa.

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

2003 - 2004
Vínculo: Colaborador, Enquadramento Funcional: Pesquisa, Carga horária: 20

Vínculo institucional

2003 - 2003
Vínculo: Colaborador, Enquadramento Funcional: Monitor, Carga horária: 4
Outras informações
Monitoria na disciplina Linguagem de Programação 3 (Orientação a Objetos)

Vínculo institucional

2002 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Monitor, Carga horária: 4
Outras informações
Monitoria na disciplina Linguagem de Programação 3 (Orientação a Objetos)

Atividades

06/2003 - 12/2004
Pesquisa e desenvolvimento , Conselho de Ensino, Pesquisa e Extensão, .

Linhas de pesquisa
EZPetri

Instituto de Tecnologia em Informática, ITECI, Brasil.
Vínculo institucional

2002 - 2003
Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 30
Outras informações
Participação em projetos no C.E.S.A.R. desenvolvidos para a EMPREL (Empresa Municipal de Informática), que visam o cadastro de mercantis e imobiliários do recife. Sistemas feitos em Java (J2EE) para WEB.

Atividades

02/2003 - 11/2003
Serviços técnicos especializados .

Serviço realizado
Desenvolvimento do Cadastro Imobiliário do Recife.
02/2002 - 11/2003
Serviços técnicos especializados .

Serviço realizado
Desenvolvimento do Cadastro de Mercantis do Recife.
02/2002 - 11/2003
Serviços técnicos especializados .

Serviço realizado
Desenvolvimento do Cadastro de Pessoas do Recife.

José Faustino & Cia. LTDA., SJT, Brasil.
Vínculo institucional

2000 - 2000
Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 40


Empresa Metropolitana de Transportes Urbanos, EMTU, Brasil.
Vínculo institucional

1999 - 2000
Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 20



Linhas de pesquisa


1.
EZPetri

Objetivo: Desenvolver um ambiente para integração de ferramentas de redes de petri, ou que utilizem este formalismo para realizar alguma finalidade. O ambiente foi desenvolvido como plugins do Eclipse..
Grande área: Ciências Exatas e da Terra
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.
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.
Palavras-chave: Eclipse; Petri nets; Plug-in.


Projetos de pesquisa


2005 - 2006
Teaching Formal Methods Through Eclipse - IBM Faculty Award
Descrição: A disciplina de Métodos formais está presente no currículo de muitos cursos de graduação, mestrado e doutorado na área de Ciência da Computação. Devido aos conceitos matemáticos e aspectos teóricos envolvidos, a disciplina é normalmente ensinada através de métodos tradicionais (quadro branco e slides). Além disso, as ferramentas computacionais disponíveis não contemplam as modernas tecnologias voltadas para a área de ensino e aprendizagem. Em particular, nenhuma delas oferece um ambiente virtual de ensino e aprendizagem, com facilidades para troca de informações e experiências sobre o tema em estudo. Finalmente, requisitos de extensibilidade não são considerados por tais ferramentas. Este projeto propõe o desenvolvimento de um ambiente educacional para ensino de métodos formais em cursos de graduação baseado no Eclipse. Petri nets será a técnica de especificação formal a ser adotada. O ambiente educacional será parte do framework EZPetri. O framework EZPetri é uma perspectiva da plataforma Eclipse voltada para redes de Petri. Ele adota o Petri Net Markup Language (PNML) como formato interno para representação das redes [2]. A união do Eclipse e PNML tem se mostrado um instrumento bastante efetivo para a integração de ferramentas e aplicações baseadas em redes de Petri. Atualmente, três aplicações estão sendo integradas ao framework: estimativa de consumo de potência em software; um modelo SystemC para redes de Petri; síntese de escalas para sistemas de tempo real críticos. Tais aplicações foram desenvolvidas com nenhum conhecimento sobre o EZPetri. EZPetri é portanto um terreno fértil para a combinação de ferramentas e aplicações baseadas em redes de Petri em um único ambiente. oferecendo uma nova perspectiva de integração para a comunidade de redes de Petri..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (1) .
Integrantes: Gabriel Alves de Albuquerque Junior - Integrante / Ricardo Massa Ferreira Lima - Coordenador / César Augusto Lins de Oliveira - Integrante / Henrique Emanuel Mostaert Rebêlo - Integrante / Frederico Guilherme Alvares de Oliveira Jr. - Integrante / Renata Wanderley Medeiros - Integrante / Vanessa Figueiredo Trajano - Integrante / Petrônio Braga - Integrante / Leopoldo Pires Ferreira - Integrante.Financiador(es): IBM Research Brazil - Auxílio financeiro.


Revisor de periódico


2011 - Atual
Periódico: IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Huma


Á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: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.


Idiomas


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


Prêmios e títulos


2004
PIBIC/POLI 2004, UPE - Escola Politécnica.
2003
Sun Certified Programmer for the Java 2 Platform 1.4, Sun.


Produções



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

1.
DANTAS, R.2018DANTAS, R. ; DANTAS, J. ; ALVES, G. ; MACIEL, P. R. M. . Analysis of a Performability Model for the BRT System. International Journal of Data Mining, Modelling and Management, v. 1, p. 1-6, 2018.

2.
GONCALVES, R.2017GONCALVES, R. ; TAVARES, EDUARDO ; SILVA, B. ; ALVES, G. . Stochastic modelling of taxpayer assistance centre for performability evaluation. International Journal of Business Process Integration and Management (Print), v. 8, p. 53, 2017.

3.
ARAUJO, J.2016ARAUJO, J. ; MATOS, R. ; CONCEICAO, V. ; Alves, Gabriel ; MACIEL, P. . Impact of capacity and discharging rate on battery life time: A stochastic model to support mobile device autonomy planning. Pervasive and Mobile Computing, v. 32, p. 1, 2016.

4.
ALVES, G.;de Albuquerque, Gabriel Alves;Alves, Gabriel;ALVES DE ALBUQUERQUE, GABRIEL2013 ALVES, G.; MACIEL, P. R. M. ; Maciel, Paulo ; LIMA, Ricardo Massa Ferreira ; MAGNANI, F. . Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE Transactions on Systems, Man, and Cybernetics: Systems, p. 1-15, 2013.

5.
Alves, Gabriel2011 Alves, Gabriel; Maciel, Paulo ; Lim, Ricardo ; Magnani, Fábio ; Arcoverde, Adilson . Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. Electronic Notes in Theoretical Computer Science, v. 275, p. 5-21, 2011.

6.
ALVES, G.;de Albuquerque, Gabriel Alves;Alves, Gabriel;ALVES DE ALBUQUERQUE, GABRIEL2010 ALVES, G.; Maciel, Paulo Romero Martins ; Lima, Ricardo Massa Ferreira ; Zimmermann, Armin . . IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans, v. 40, p. 1025-1044, 2010.

7.
ALVES, G.;de Albuquerque, Gabriel Alves;Alves, Gabriel;ALVES DE ALBUQUERQUE, GABRIEL2008ALVES, G.; MACIEL, P. ; LIMA, R. . Stochastic evaluation of supply chains and replenishment policies with Petri net components. International Journal of Services Operations and Informatics, v. 3, p. 221-241, 2008.

8.
TAVARES, E.2005TAVARES, E. ; BARRETO, R. ; MACIEL, P. ; OLIVEIRA, M. ; ARCOVERDE JR., A. O. ; ALVES, G. ; LIMA, R. ; BARROS, L. ; BESSA, A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. Lecture Notes in Computer Science, v. 3728, p. -, 2005.

Capítulos de livros publicados
1.
ALVES, G.; MACIEL, P. ; LIMA, R. ; MAGNANI, F. . Business and Environment Performance Evaluation in Supply Chains: a Formal Model-Driven Approach. In: Mamun Habib. (Org.). Supply Chain Management - Applications and Simulations. : , 2011, v. , p. 157-182.

Trabalhos completos publicados em anais de congressos
1.
JÚNIOR, GERALDO CRUZ ; NASCIMENTO, RAFAELLA ; Alves, Gabriel ; GOUVEIA, ROBERTA . Identificando Correlações e Outliers Entre Bases de Dados Educacionais. In: VI Congresso Brasileiro de Informática na Educação, 2017, Recife. org.crossref.xschema._1.Title@6448898f, 2017. p. 694.

2.
JÚNIOR, GERALDO CRUZ ; NASCIMENTO, RAFAELLA ; CYSNEIROS, GILBERTO ; Alves, Gabriel ; SANTOS, EDNILZA . Internet das Coisas, Games e Data Science a serviço da conscientização e preservação da Caatinga. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife. org.crossref.xschema._1.Title@3de91216, 2017. p. 714.

3.
BEZERRA TORRES, ELTON ; CALLOU, GUSTAVO ; Alves, Gabriel ; ACCIOLY, JOSE ; GUSTAVO, HALLYSON . Performance and availability evaluation of storage services in private cloud. In: 2016 11th Iberian Conference on Information Systems and Technologies (CISTI), 2016, Gran Canaria. 2016 11th Iberian Conference on Information Systems and Technologies (CISTI). p. 1.

4.
DIONÍSIO, MÁVERICK ; OLIVEIRA, AUGUSTO ; FERREIRA, RAFAEL ; BUENO, VALBER ; Alves, Gabriel . Fórum.Edu: Um Fórum Educacional Mobile que utiliza Mineração de Texto. In: Workshops do Congresso Brasileiro de Informática na Educação, 2016, Uberlandia. org.crossref.xschema._1.Title@394ad6e1, 2016. p. 346.

5.
TORRES, ELTON ; CALLOU, GUSTAVO ; Alves, Gabriel ; ACCIOLY, JOSE ; GUSTAVO, HALLYSON . Storage services in private clouds: Analysis, performance and availability modeling. In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016, Budapest. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016. p. 003288.

6.
GONCALVES, R. ; TAVARES, E. ; NASCIMENTO, A. ; SOUSA, E. ; LINS, F. ; Alves, Gabriel . Performability Assessment of a Government Process in the Cloud. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2015, Kowloon Tong. 2015 IEEE International Conference on Systems, Man, and Cybernetics, 2015. v. 1. p. 87-6.

7.
DANTAS, RENATA ; DANTAS, JAMILSON ; Maciel, Paulo ; DANTAS, RENATA ; Alves, Gabriel . Assessment of Bus Rapid Transit (BRT) Time Lags under Probabilistic Uncertainties. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2015, Kowloon Tong. 2015 IEEE International Conference on Systems, Man, and Cybernetics, 2015. v. 1. p. 1273.

8.
NASCIMENTO, ANDERSON ; Alves, Gabriel ; SOUSA, ERICA ; NOGUEIRA, BRUNO ; TAVARES, EDUARDO . Transport mode assessment for inbound logistics: A study based on coffee industry. In: 2014 IEEE International Conference on Systems, Man and Cybernetics SMC, 2014, San Diego. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014. p. 1318-1323.

9.
SOUSA, ERICA ; Maciel, Paulo ; ARAUJO, CARLOS ; Alves, Gabriel ; CHICOUT, FABIO . Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. In: 2009 IEEE Symposium on Computers and Communications (ISCC), 2009, Sousse. 2009 IEEE Symposium on Computers and Communications, 2009. p. 73.

10.
Alves, Gabriel; Maciel, Paulo ; LIMA, RICARDO ; Zimmermann, Armin . Performance evaluation of logistics with componentized stochastic models. In: 2008 IEEE International Conference on Systems, Man and Cybernetics (SMC), 2008, Singapore. 2008 IEEE International Conference on Systems, Man and Cybernetics. p. 2087.

11.
Alves, Gabriel; Maciel, Paulo ; LIMA, RICARDO . A GSPN based approach to evaluate outbound logistics. In: 2007 IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. 2007 IEEE International Conference on Systems, Man and Cybernetics. p. 708-713.

12.
Alves, Gabriel; Maciel, Paulo ; MASSA, RICARDO . Evaluating Supply Chains with Stochastic Models. In: 2007 IEEE International Conference on Service Operations and Logistics, and Informatics, 2007, Philadelphia. 2007 IEEE International Conference on Service Operations and Logistics, and Informatics. p. 1-6.

13.
ALVES, G.; MACIEL, P. ; LIMA, R. . Modeling and Evaluation of Supply Chains with GSPN Components. In: 2nd International Conference on Performance Evaluation (Valuetools 2007), 2007, Nantes. Prodceedings of the 2nd International Conference on Performance Evaluation, 2007.

14.
TAVARES, E. ; BARRETO, R. ; MACIEL, P. ; OLIVEIRA, M. ; ARCOVERDE, A. ; ALVES, G. ; LIMA, R. ; BARROS, L. ; BESSA, A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: PATMOS, 2005, Leuven. Lecture Notes in Computer Science, 2005. v. 3728. p. 382-392.

15.
Arcoverde, Adilson ; Alves, Gabriel ; LIMA, RICARDO . Petri nets tools integration through Eclipse. In: the 2005 OOPSLA workshop, 2005, San Diego. Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05. New York: ACM Press. p. 90.

16.
ARCOVERDE, A. ; COSTA NETO, A. ; RABELO, A. ; FREITAS, B. ; RIBEIRO, D. ; SILVA, F. ; ALVES, G. ; XAVIER, J. ; FALCAO, T. ; MEDEIROS, V. . An Experience of Modeling and Implementing an Open Source Software Factory Methodology. In: X Simpósio de Informática e V Mostra de Software Acadêmico (SIMS 2005), 2005, Uruguaiana. Anais do X Simpósio de Informática e V Mostra de Software Acadêmico, 2005.

17.
ARCOVERDE, A. ; ALVES, G. ; LIMA, R. ; MACIEL, P. . EZPetri: A Petri net interchange framework for Eclipse based on PNML. In: International Symposium on Leveraging Applications of Formal Method (ISOLA 2004), 2004, Paphos. Proceedings of the International Symposium on Leveraging Applications of Formal Method, 2004.

Resumos expandidos publicados em anais de congressos
1.
BANDEIRA, E. M. N. ; JÚNIOR, GERALDO CRUZ ; ALVES, G. . Análise de Sentimentos e Amplitude de Divulgação dos Eventos Turísticos da Cidade do Recife no Twitter. In: XVII JEPEX, 2017, Recife. Anais do XVII JEPEX, 2017. v. 1.

Resumos publicados em anais de congressos
1.
JÚNIOR, GERALDO CRUZ ; NASCIMENTO, R. L. S. ; GOUVEIA, R. M. M. ; ALVES, G. . Um serious game multiplataforma para o ensino e difusao da cultura da reciclagem. In: XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017, Curitiba. Anais do XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017. v. 1.

2.
JÚNIOR, GERALDO CRUZ ; NASCIMENTO, R. L. S. ; CYSNEIROS FILHO, G. A. A. ; ROLIM, V. B. ; SANTOS, E. ; ALVES, G. . Planejamento de serious games focados nos usuários e a serviço da preservação dos biomas brasileiro. In: XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017, Curitiba. Anais do XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017. v. 1.

Artigos aceitos para publicação
1.
NASCIMENTO, A. ; TAVARES, E. ; ALVES, G. ; SOUSA, E. ; NOGUEIRA, BRUNO . Performability Evaluation of Transport Modes for Cloud-based Inbound Logistics: A Study Based on Coffee Industry. International Journal of Manufacturing Technology and Management, 2017.

Apresentações de Trabalho
1.
ALVES, G.; MACIEL, P. ; LIMA, R. ; MAGNANI, F. ; ARCOVERDE JR., A. O. . Towards the evaluation of environment and business trade-offs in supply chains. 2011. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Trabalhos técnicos
1.
ALVES, G.; ARCOVERDE, A. . EZPetri. 2004.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Alves, Gabriel; MACIEL, P.; ROSA, N. S.. Participação em banca de Verônica Conceição Oliveira da Silva. Avaliação de confiabilidade de dispositivos móveis em Mobile Cloud Computing. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
MACIEL, P. R. M.; ALVES, G.; TAVARES, E.. Participação em banca de Alexsandro Marques de Melo. Avaliação de Performailidade de Riscos de Desenvolvimento em Projetos de Software. 2014. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

3.
ROSA, N. S.; ALVES, G.; CALLOU, G. R. A.; MACIEL, P. R. M.. Participação em banca de Matheus D'Eça Torquato de Melo. Modelos de Disponibilidade para Nuvens Privadas: Rejuvenescimento de Software Habilitado por Agendamento de Migração de VMs. 2014. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

4.
MAGNANI, F.; ALVES, G.; WILLMERSDORF, R.. Participação em banca de Eric Monroe Hornsby. Adaptative Systems for the Generation of Electricity, Steam and Chilled Water: Optimization Considering Financial and Environmental Metrics. 2014. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Pernambuco.

5.
IYODA, J.; ALVES, G.; TAVARES, E.. Participação em banca de Anderson Elias do Nascimento. Modelagem e Avaliação de Performabilidade de Modais de Transportes em Logística de Suprimentos: Um estudo baseado na indústria de café. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
ROSA, N. S.; de Albuquerque, Gabriel Alves; Maciel, Paulo Romero Martins. Participação em banca de Débora Stefani Lima de Souza. FlexLoadGenerator - Um Framework para Apoiar o Desenvolvimento de Ferramentas Voltadas a Estudos de Avaliação de Desempenho e Dependabilidade. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
MACIEL, T.; ALVES, G.; CABRAL, G.. Participação em banca de Thaís Moura de Freitas.Aplicação de uma Estratégia de Automação Contínua de Testes no Desenvolvimento de Software. 2015. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal Rural de Pernambuco.

2.
ALVES, G.; ALENCAR, A.; SANTOS, W.. Participação em banca de Elizangela de Lima Lucena.Análise comparativa entre frameworks de interfaces ricas para javaserver faces. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal Rural de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
ALBUQUERQUE, J. O.; CORNELIO, M. L.; ALVES, G.. Concurso Público de Provas e Títulos para Professor Classe, Nível I. 2014. Universidade Federal Rural de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Symposium on Formal Methods.Brazilian Symposium on Formal Methods. 2004. (Simpósio).

2.
PIBIC/POLI.Um Ambiente Integrado para Modelagem e Análise Formal Baseado em Redes de Petri. 2004. (Outra).



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Mário Gomes de Melo. Sistema de Inferência Bayesiana para Diagnóstico Cardiopatológico Congênito com Base na Análise de um ECG. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco. Orientador: Gabriel Alves de Albuquerque Junior.

2.
Geraldo Gomes da Cruz Júnior. Um framework multiplataforma para análise e monitoramento de dados governamentais. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco. Orientador: Gabriel Alves de Albuquerque Junior.

3.
Priscila dos Santos Araujo. Um Algoritmo de Alocação Automatizada para Revisão de Requisitos de Software. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco. Orientador: Gabriel Alves de Albuquerque Junior.

4.
Evismar Almeida de Andrade. Proposta de métodos para identificação do passo utilizando sensores de dispositivos móveis. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco. Orientador: Gabriel Alves de Albuquerque Junior.

5.
Victor Raffael Lins Carlota. Um Sistema de Leilão Reverso Multiatributo com Apoio a Decisão Multicritério. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco. Orientador: Gabriel Alves de Albuquerque Junior.




Página gerada pelo Sistema Currículo Lattes em 12/12/2018 às 22:17:14