Henrique Emanuel Mostaert Rebelo

possui doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (2014), mestrado em Engenharia da Computação pela Universidade de Pernambuco (2008), e graduação em Sistemas de Informação pela Faculdades Integradas Barros Melo (2005). Atuou como Research Intern da Microsoft Research (EUA) no ano de 2010. Atualmente é Professor Adjunto na Universidade Federal de Pernambuco, e desenvolve pesquisas em Engenharia de Software e Linguagens de Programação, atuando principalmente nos seguintes temas e na integração entre eles: Modularidade de Software, Linguagens de Especificação (Design by Contract), Linhas de Produtos de Software, e Evolução e Transformação/Checagem de equivalência de Programas.

Informações coletadas do Lattes em 19/11/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2009 - 2014

Universidade Federal de Pernambuco
Título: Contract Modularity in Design by Contract Languages
, Ano de obtenção: 2014. Ricardo Massa Ferreira Lima. Coorientador: Gary T. Leavens. Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.

Mestrado em Engenharia da Computação

2006 - 2008

Universidade de Pernambuco
Título: Implementing JML Contracts with AspectJ
, Ano de Obtenção: 2008.Ricardo Massa Ferreira Lima.Coorientador: Márcio Lopes Cornélio. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Sistemas de Informação

2002 - 2005

Faculdades Integradas Barros Melo
Título: Erlang, Uma linguagem Funcional Concorrente: Ambiente de Programação, Características e um Editor Baseado na Plataforma Eclipse
Orientador: Ricardo Massa Ferreira Lima

Formação complementar

2009 - 2009

Extensão universitária em Oficial Certified ScrumMaster (CSM). (Carga horária: 16h). , SWQuality Consultoria e Sistemas, SWQ, Brasil.

2009 - 2009

Extensão universitária em The SPI Day. (Carga horária: 8h). , SWQuality Consultoria e Sistemas, SWQ, Brasil.

2009 - 2009

Extensão universitária em Oficial Certified Scrum Product Owner (CSPO). (Carga horária: 8h). , SWQuality Consultoria e Sistemas, SWQ, Brasil.

2009 - 2009

M.F. para Geração Automática de Casos de Teste. (Carga horária: 2h). , Simpósio Brasileiro de Métodos Formais, SBMF, Brasil.

2009 - 2009

Introdução ao Teste de Software. (Carga horária: 2h). , Simpósio Brasileiro de Métodos Formais, SBMF, Brasil.

2009 - 2009

Uma Introdução à Programação em Lua. (Carga horária: 2h). , Simpósio Brasileiro de Linguagem de Programação, SBLP, Brasil.

2005 - 2005

Extensão universitária em Programação em Java usando Certificação Digital. (Carga horária: 8h). , Faculdades Integradas Barros Melo, FIBAM, Brasil.

2005 - 2005

Extensão universitária em JCP- Java Certified Programmer. (Carga horária: 30h). , Instituto de Tecnologia Em Informática, ITECI, Brasil.

2005 - 2005

Extensão universitária em Java Server Pages (JSP). (Carga horária: 20h). , Universidade Federal de Pernambuco, UFPE, Brasil.

2005 - 2005

Xquery e Xpath. (Carga horária: 3h). , Simpósio Brasileiro de Linguagem de Programação, SBLP, Brasil.

2005 - 2005

Programação no .Net 2.0. (Carga horária: 3h). , Simpósio Brasileiro de Linguagem de Programação, SBLP, Brasil.

1996 - 2001

Curso de Inglês Módulos Básicos e Avançado. (Carga horária: 540h). , Sociedade Cultural Brasil Estados Unidos, SCBEU, Brasil.

Idiomas

Inglês

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

Espanhol

Compreende Razoavelmente, Fala Razoavelmente, Lê Pouco.

Áreas de atuação

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Organização de eventos

REBELO, HENRIQUE ; LEAVENS, GARY T. ; MONAHAN, R. ; DIETL, W. ; SUMMERS, A. J. ; GRIGORE, R. . 24th Workshop on Formal Techniques for Java-like Programs (FTfJP'22). 2022. (Congresso).

Hridesh Rajan ; Mehdi Bagherzadeh ; BANIASSAD, E. ; REBÊLO, Henrique . ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2020). 2020. (Congresso).

LEAVENS, GARY T. ; GARCIA, A. ; Hridesh Rajan ; REBÊLO, Henrique . The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2018. 2018. (Congresso).

LEAVENS, GARY T. ; Hidehiko Masuhara ; Hridesh Rajan ; REBÊLO, Henrique . 15th Foundations of Aspect-Oriented Languages workshop (FOAL 2016) at AOSD 2016. 2016. (Outro).

LEAVENS, GARY T. ; Hidehiko Masuhara ; Hridesh Rajan ; REBÊLO, Henrique . 14th Foundations of Aspect-Oriented Languages workshop (FOAL 2015) at AOSD 2015. 2015. (Outro).

Francisco Dantas ; REBÊLO, Henrique . 11th Workshop on Software Modularity (WMod 2014). 2014. (Congresso).

RIBEIRO, Márcio ; SANT`ANNA, Cláudio ; FERRARI, Fabiano Cutigi ; REBÊLO, Henrique . VII Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2013). 2013. (Congresso).

BORBA, Paulo ; GARCIA, A. ; Sérgio Soares ; REBÊLO, Henrique . 10th International Conference on Aspect-Oriented Software Development (AOSD 2011). 2011. (Congresso).

LEAVENS, GARY T. ; REBÊLO, Henrique . 10th Foundations of Aspect-Oriented Languages workshop (FOAL 2011) at AOSD 2011. 2011. (Congresso).

LIMA, R. M. F. ; REBÊLO, Henrique . IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Congresso).

Participação em eventos

24th Workshop on Formal Techniques for Java-like Programs (FTfJP). 2022. (Congresso).

Congresso Brasileiro de Software: Teoria e Pratica (CBSoft 2019). 2019. 2019. (Congresso).

Congresso Brasileiro de Software: Teoria e Pratica (CBSoft 2017). 2017. Aspect-Oriented Programming Reloaded [at SBLP 2017]. 2017. (Congresso).

Modularity'15: 14th International Conference of Aspect-Oriented Software Development (AOSD 2015). 2015. (Congresso).

SPLASH '15: The 3rd ACM international conference companion on Object oriented programming systems languages and applications companion. 2015. (Congresso).

XXXV Congresso da Sociedade Brasileira de Computação (CSBC 2015). 2015. (Congresso).

Congresso Brasileiro de Software: Teoria e Pratica (CBSoft 2014). 2014. (Congresso).

SPLASH '14: The 3rd ACM international conference companion on Object oriented programming systems languages and applications companion. 2014. (Congresso).

IV Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2013). 2013. (Congresso).

SPLASH '13: The 4th ACM international conference companion on Object oriented programming systems languages and applications companion. 2013. (Congresso).

VII Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2013). 2013. (Congresso).

24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012). Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. 2012. (Congresso).

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

SPLASH '12: The 3rd ACM international conference companion on Object oriented programming systems languages and applications companion. 2012. (Congresso).

VI Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012). 2012. (Congresso).

10th ACM International Conference of Aspect-Oriented Software Development (AOSD 2011). Participei como Student Volunteer do 10th ACM International Conference on Aspect-Oriented Software Development (AOSD 2011). 2011. (Congresso).

23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011). Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. 2011. (Congresso).

II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011). Modular Contracts with Procedures, Annotations, Pointcuts and Advice (presented at XV SBLP 2011). 2011. (Congresso).

Microsoft Research Faculty Summit 2011. Microsoft Research Faculty Summit 2011. 2011. (Congresso).

SPLASH '11: The 2nd ACM international conference companion on Object oriented programming systems languages and applications companion. Towards Client-Aware Interface Specifications. 2011. (Congresso).

iV Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2010), CBSoft 2010. 2010. (Simpósio).

VIII Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010) at CBSoft 2010. The Contract Enforcement Aspect Pattern. 2010. (Congresso).

XIV Brazilian Symposium on Programming Languages (SBLP 2010), CBSoft 2010. 2010. (Simpósio).

XXIV Brazilian Symposium on Software Engineering (SBES 2010), CBSoft 2010. 2010. (Simpósio).

ACM International Collegiate Programming Contest (ICPC) - XIV Maratona de Programação.Juiz da Maratona. 2009. (Outra).

III Brazilian Workshop on Systematic and Automated Software Testing. 2009. (Outra).

III Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009).Guiding the use of AspectJ Advice: An Initial Assessment. 2009. (Outra).

Third Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2009). In XIII Brazilian Symposium on Programming Languages (SBLP 2009). 2009. (Outra).

XII Brazilian Symposium on Formal Methods (SBMF 2009). 2009. (Simpósio).

XIII Brazilian Symposium on Programming Languages (SBLP 2009).Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings. 2009. (Simpósio).

XXIII Brazilian Symposium on Software Engineering (SBES 2009). 2009. (Simpósio).

23rd Annual ACM Symposium on Applied Computing.Implementing Java Modeling Language Contracts with AspectJ. 2008. (Simpósio).

7th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008). In 16th ACM SIGSOFT International Symposium on The Fondations of Software Engeneering (FSE 2008).JML and Aspects: The Benefits of instrumenting JML Features with AspectJ. 2008. (Simpósio).

ACM International Collegiate Programming Contest (ICPC) - XIII Maratona de Programação.Juiz da Maratona. 2008. (Outra).

First International Conference on Software Testing, Verification and Validation. A JML compiler based on AspectJ. 2008. (Congresso).

Sixth Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2007). 2007. (Congresso).

XI Simpósio Brasileiro de Linguagens de Programação (SBLP 2007). 2007. (Simpósio).

9ª Jornada de Iniciação Científica: Ano Internacional da Física, PIBIC/FACEPE/CNPq.Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri. 2005. (Seminário).

IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005). 2005. (Simpósio).

II Seminário de Iniciação Científica, Núcleo de Pesquisa do CESBAM (II SIC-CESBAM).Programação Concorrente usando Erlang. 2004. (Seminário).

Participação em bancas

Aluno: Tayse Virgulino Ribeiro

REBÊLO, Henrique; ALVES, E. L. G.; CORNÉLIO, MÁRCIO. Análise e Visualização de Dados aplicadas à Evolução de Projetos de Software. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Everton Renne Barros de Oliveira

REBÊLO, Henrique; ALVES, E. L. G.;CORNÉLIO, M. L. Relação entre refatorações e code smells na evolução de projetos de software e seu reflexo em medidas de software. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Lucas Ferreira de Lima

BONIFACIO, RodrigoREBÊLO, Henrique; SOUSA JUNIOR, R. T.. Contratos Rest Robustos e Leves: Uma Abordagem em Design By Contract com NeoIDL. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de Brasília.

Aluno: MICAEL SOARES DE FRANÇA

REBÊLO, Henrique; MARCZAK, S. S.; SARAIVA, J. A. G.. Avaliando o Uso de Ferramentas de Medição como Fator Determinante para Adoção de Métricas de Manutenibilidade de Software em Companhias Brasileiras de Software. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: MICAEL SOARES DE FRANÇA

REBÊLO, Henrique; SARAIVA, J. A. G.; MARCZAK, S. S.. Avaliando o Uso de Ferramentas de Medição como Fator Determinante para Adoção de Métricas de Manutenibilidade de Softawre em Companhias Brasileiras de Software. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Rafael Brandão Lobo

REBÊLO, Henrique; CACHO, N. A. A.;CASTOR, Fernando. Deadlocks as Runtime Exceptions. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Max Arruda Diniz Filho

REBÊLO, Henrique; VIANA, T. A.;CORNÉLIO, M. L. Um Estudo de Caso Envolvendo a Implementação de um Processo de Coaching para Desenvolvimento de Software. 2009. Monografia (Aperfeiçoamento/Especialização em Gestão Global de Projetos) - Universidade de Pernambuco.

Aluno: Edviges Mariza Campos de Magalhães

REBÊLO, Henrique; VIANA, T. A.;GUSMÃO, C. M. G.. Identificação dos Principais Fatores de Riscos na Implantação de um PMO em uma Organização com Foco em Tecnologia da Informação. 2009. Monografia (Aperfeiçoamento/Especialização em Gestão Global de Projetos) - Universidade de Pernambuco.

Aluno: Ioná da Costa Aguiar

REBÊLO, HenriqueOLIVEIRA, Adriano Lorena Inácio deLIMA, R. M. F.. Melhorias ao Processo de Desenvolvimento de Software da MV Sistemas. 2009. Monografia (Aperfeiçoamento/Especialização em Gestão Global de Projetos) - Universidade de Pernambuco.

Aluno: Isabella de Fátima Silva Guedes

REBÊLO, Henrique; CORREIA, Breno César Spindola; VIANA, T. A.. Monitoramento do Ensino Educacional das Escolas Estaduais. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: Hélio Vasco Pereira Lima

REBÊLO, Henrique; CORREIA, Breno César Spindola; VIANA, T. A.. Auditoria e Banco de Dados. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: Rafael Luiz Ribeiro da Costa

REBÊLO, Henrique; CORREIA, Breno César Spindola; VIANA, T. A.. Modelagem De Dados para Data Warehouse Utilizando Técnicas de Aquisição de Conhecimento. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: Saulo Vasconcelos de Lima

SANTANA, C. A.REBÊLO, Henrique; VIANA, T. A.. Estudo de Consumo. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: Webber de Souza Fantini

SANTANA, C. A.REBÊLO, Henrique; VIANA, T. A.. Data Mining for Web. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: Márcio Brasil de Sá Leitão

SANTANA, C. A.REBÊLO, Henrique; VIANA, T. A.. Data Mining para Tomada de Decisão. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: ERONITA MARIA LUIZINES VAN LEIJDEN

PIRES, C. E. S.;CALABRIA, E. G.REBÊLO, Henrique. Data Warehousing Usando a Ferramenta Qlikview. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: Flávio do Rego Barros

TAVARES, E. A. G.REBÊLO, HenriqueSANTANA, C. A.; CORREIA, Breno César Spindola. Aspectos de Segurança em Voip. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Segurança Redes de Computadores) - Faculdades Integradas Barros Melo.

Aluno: Ebe Ernani Pedrosa Neto

GUSMÃO, C. M. G.REBÊLO, HenriqueSANTANA, C. A.. Implementando Alta Disponibilidade Usando Real Application CLusters. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Aluno: Joao Pedro Ramos Moisakis

REBÊLO, HenriqueBORBA, Paulo. Usando Transformações de Código para Melhorar Detecção de Conflitos de Teste através de Ferramentas de Geração de Testes de Unidade. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Otavio Vera Cruz Gomes

REBÊLO, Henrique; Teixeira, Leopoldo. Estudo comparativo para migração de banco de dados SQL para NoSQL em aplicações Android. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Igor Carneiro da Silva

SARMENTO, A. A. M.;REBÊLO, Henrique. POSSIBILITANDO A MANIPULAÇÃO DE COMPORTAMENTOS EM PRODUTOS VIRTUAIS SEM CONHECIMENTO DE TECNOLOGIA. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

Aluno: Lerisson Florêncio de Freitas

REBÊLO, Henrique; Teixeira, Leopoldo. COMPREENDENDO A UTILIZAÇÃO DO ANDROID JETPACK NO DESENVOLVIMENTO DE APLICATIVOS ANDROID DE CÓDIGO ABERTO. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco.

Aluno: Alice Zloccowick Borner de Oliveira

BORBA, PauloREBÊLO, Henrique. Aperfeiçoando técnicas de merge entre blocos de inicialização estáticos para uma ferramenta de merge semiestruturado. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Allan de Lima Araujo

Vinicius Garcia;REBÊLO, Henrique. Análise e detecção de métodos usados para coleta de informações sensíveis em Crimes Cibernéticos. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Albertinin Mourato Santos

Teixeira, Leopoldo;REBÊLO, Henrique. Compreendendo a Adoção da Linguagem Kotlin em Repositórios Android. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Júlio Alexandre Pedrosa de Melo

Vinicius Garcia;REBÊLO, Henrique. Uma proposta de Arquitetura de Referência para DevOps. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco.

Aluno: Gabriel Henrique Daniel da Silva

Teixeira, Leopoldo;REBÊLO, Henrique. Ferramenta voltada para o aprendizado do funcionamento de parsers. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Igor Vinícius Pinheiro Cordeiro Leão

REBÊLO, HenriqueSérgio Soares. Consolidando Design By Contract Através do AspectJML Web. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Sarah Cristina Silva Cruz

Sérgio SoaresREBÊLO, Henrique. Estudo Comparativo entre Frameworks de Front-End. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Maria Gabriela Toledo de Moraes Cardoso

CASTOR, FernandoREBÊLO, Henrique. Adicionando Informações Contextuais a Exceções de Deadlock. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Rafael Acevedo de Aguiar

CASTOR, FernandoREBÊLO, Henrique. Um estudo sobre a incidência de bugs relacionados a deadlocks em aplicações C# de código aberto. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Antonio Alves Correia

Teixeira, Leopoldo;REBÊLO, Henrique. Uma ferramenta de refactoring para disciplinar anotações em linhas de produto de software. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Luiz Américo Mesquita Jardim

REBÊLO, Henrique; TOLEDO, T.;RIBEIRO, Márcio. Integrando JML a Interfaces Emergentes. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

Aluno: Manoel Francisco Quintas Correia

REBÊLO, HenriqueSANTANA, C. A.; VIANA, T. A.. Business Intelligence: Um Comparativo Oracle Vs Microsoft. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

Aluno: Eduardo Lessa de Andrade Cavalcanti

GUSMÃO, C. M. G.; ANDRADE, E. C.;REBÊLO, Henrique. Um Estudo de Caso da Adoção das Práticas do Extreme Programming. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

Aluno: Leonardo Sebastião daSilva

TAVARES, E. A. G.; ANDRADE, E. C.;REBÊLO, Henrique. Ginga: Middleware Para TV Digital Interativa Brasileira. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

Aluno: Breno Santos de Carvalho

GUSMÃO, C. M. G.REBÊLO, HenriqueSANTANA, C. A.. DICOM: A Padronização das Imagens Médicas. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

Aluno: João Erinaldo Rocha de Oliveira

GUSMÃO, C. M. G.REBÊLO, HenriqueSANTANA, C. A.. TV Digital. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

Aluno: Hebert de Carvalho Pontes

ALBUQUERQUE, E. Q.;REBÊLO, HenriqueSANTANA, C. A.. Radio - Frequency Identification - RFID. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

TIMES, V. C.; SARMENTO, A. A. M.;REBÊLO, Henrique. Concurso para Seleção de Professor Substituto. 2021. Universidade Federal de Pernambuco.

TIMES, V. C.; SARMENTO, A. A. M.;REBÊLO, Henrique. Concurso para Seleção de Professor Substituto. 2019. Universidade Federal de Pernambuco.

REBÊLO, Henrique; PEREIRA FILHO, O. M. C.. Comissão para Análise de Recursos Contra a Recusa de Matrícula. 2018. Universidade Federal de Pernambuco.

REBÊLO, Henrique; PEREIRA FILHO, O. M. C.. Comissão para Análise de Recursos Contra a Recusa de Matrícula. 2017. Universidade Federal de Pernambuco.

REBÊLO, Henrique; PEREIRA FILHO, O. M. C.. Comissão para Análise de Recursos Contra a Recusa de Matrícula. 2016. Universidade Federal de Pernambuco.

Orientou

Mike Christian de Sousa Araujo

Uma abordagem orientada a aspecto para escrita de história do usuário com Gherkin; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Henrique Emanuel Mostaert Rebêlo;

Fabricio Soares da Silva

Uma Extensão do Diagrama de Classe em Aspect-Oriented Design Model (AODM) para modelagem de Design by Contract; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Henrique Emanuel Mostaert Rebêlo;

Alan de Oliveira Silva

Aplicando Design by Contract em web services RESTful; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Henrique Emanuel Mostaert Rebêlo;

Igor Carneiro da Silva

Análise e Visualização de Dados aplicadas à Evolução de Projetos de Software; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Henrique Emanuel Mostaert Rebêlo;

Carlos Eduardo Barros Leal Pessoa De Mello

Plataforma Para Gerenciamento de Trabalhos de Graduação Utilizando NodeJS; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Henrique Emanuel Mostaert Rebêlo;

Igor Vinícius Pinheiro Cordeiro Leão

Consolidando Design By Contract Através do AspectJML Web; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Henrique Emanuel Mostaert Rebêlo;

Fagner Fernandes Cândido da Silva

Programação Orientada a Aspectos com AspectJ nos Frameworks Java Atuais; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Henrique Emanuel Mostaert Rebêlo;

Manoel Francisco Quintas Correia

Business Intelligence: Um Comparativo Oracle Vs Microsoft; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo; Orientador: Henrique Emanuel Mostaert Rebêlo;

Produções bibliográficas

ANDRADE, Rodrigo ; RIBEIRO, Márcio ; REBÊLO, Henrique ; BORBA, Paulo ; GASIUNAS, VAIDAS ; SATABIN, LUCAS . Assessing Idioms for a Flexible Feature Binding Time. Computer Journal (Print) , v. 59, p. 1-32, 2016.
ANDRADE, Rodrigo ; RIBEIRO, Márcio ; REBÊLO, Henrique ; BORBA, Paulo ; GASIUNAS, VAIDAS ; SATABIN, LUCAS . Assessing Idioms for a Flexible Feature Binding Time. Computer Journal (Online) , v. 59, p. bxv054-32, 2016.
ANDRADE, RODRIGO ; RIBEIRO, Márcio ; REBÊLO, Henrique ; BORBA, PAULO ; GASIUNAS, VAIDAS ; SATABIN, LUCAS . Assessing Idioms for a Flexible Feature Binding Time. Computer Journal (Print) , v. 59, p. bxv054-32, 2015.
ANDRADE, Rodrigo ; REBÊLO, Henrique ; RIBEIRO, Márcio ; BORBA, Paulo . Flexible feature binding with AspectJ-based idioms. Journal of Universal Computer Science (Online) , v. 20, p. 692-719, 2014.
REBÊLO, Henrique ; LIMA, R. M. F. ; KULESZA, U. ; RIBEIRO, Márcio ; Yuanfang Cai ; COELHO, R. S. ; SANT`ANNA, Cláudio ; MOTA, Alexandre . 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.
REBÊLO, Henrique ; LIMA, R. M. F. ; LEAVENS, GARY T. ; CORNÉLIO, M. L ; MOTA, Alexandre ; Oliveira, Cesar A. L. . Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Science of Computer Programming (Print) , v. v, p. p-p, 2012.
REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L . Implementing JML Contracts with AspectJ: Improving Instrumentation and Checking of JML Contracts. 1. ed. Saarbrucken, Germany: LAP LAMBERT Academic Publishing, 2012.
REBÊLO, Henrique ; LIMA, R. M. F. . Programação Funcional Usando Erlang. Revista CESBAM, Olinda, , v. 5, p. 05 - 17, 20 abr. 2004.
Teixeira, Leopoldo ; MIRANDA, BRENO ; REBELO, HENRIQUE ; D'AMORIM, MARCELO . Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Porto de Galinhas. 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021. p. 82.
REBÊLO, Henrique ; LEAVENS, GARY T. . Aspect-Oriented Programming Reloaded. In: the 21st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017. New York: ACM Press, 2017. p. 1.
REBÊLO, Henrique ; LEAVENS, GARY T. . Enforcing information hiding in interface specifications: a client-aware checking approach. In: Companion the 14th International Conference, 2015, Fort Collins. Companion Proceedings of the 14th International Conference on Modularity - MODULARITY Companion 2015. New York: ACM Press. p. 47-51.
Pedro Maia ; Jorge Mendes ; Jácome Cunha ; REBÊLO, Henrique ; João Saraiva . Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets. In: The 2nd Workshop on Software Engineering Methods in Spreadsheets, 2015, Florence. The 2nd Workshop on Software Engineering Methods in Spreadsheets (SEMS'15) at ICSE'15, 2015.
REBÊLO, Henrique ; LEAVENS, GARY T. ; Mehdi Bagherzadeh ; Hridesh Rajan ; LIMA, R. M. F. ; ZIMMERMAN, D. M. ; CORNÉLIO, M. L ; Thomas Thum . AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. In: 13th International Conference on Modularity, 2014, Lugano. Proceedings of the 13th International Conference on Modularity (Modularity 2014), 2014. p. 157-168.
REBÊLO, Henrique ; LEAVENS, GARY T. ; LIMA, R. M. F. ; BORBA, Paulo ; RIBEIRO, Márcio . Modular Aspect-Oriented Design Rule Enforcement with XPIDRs. In: Foundations of Aspect-Oriented Languages (FOAL 2013), 2013, Fukuoka, Japão. Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages - FOAL '13, 2013.
Chris Hawblitzel ; Ming Kawaguchi ; Shuvendu K. Lahiri ; REBÊLO, Henrique . Towards Modularly Comparing Programs Using Automated Theorem Provers. In: The 24th International Conference on Automated Deduction (CADE-24), 2013, Lake Placid, New York, USA. Proceedings of the 24th International Conference on Automated Deduction (CADE-24). Berlin: Springer Berlin Heidelberg, 2013. p. 282-299.
ANDRADE, Rodrigo ; REBELO, HENRIQUE ; RIBEIRO, MARCIO ; BORBA, Paulo . AspectJ-Based Idioms for Flexible Feature Binding. In: 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2013, Brasília. 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, 2013. p. 59-68.
Shuvendu K. Lahiri ; Chris Hawblitzel ; Ming Kawaguchi ; REBÊLO, Henrique . SYMDIFF: a language-agnostic semantic diff tool for imperative programs. In: 24th International Conference on Computer Aided Verification (CAV 2012), 2012, Berkeley, CA, USA. Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012). Berlin: Springer Berlin Heidelberg, 2012. v. 7358. p. 712-717.
REBÊLO, Henrique ; LIMA, R. M. F. ; MOTA, Alexandre ; Oliveira, Cesar A. L. ; RIBEIRO, Márcio . Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco Bay. Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012). Skokie, IL, USA: Knowledge Systems Institute Graduate School, 2012. p. 148-153.
ANDRADE, Rodrigo ; RIBEIRO, Márcio ; Vaidas Gasiunas ; Lucas Satabin ; REBÊLO, Henrique ; BORBA, Paulo . Assessing Idioms for Implementing Features with Flexible Binding Times. In: 15th European Conference on Software Maintenance and Reengineering (CSMR 2011), 2011, Oldenburg. Proceedings of the 15th European Conference on Software Maintenance and Reengineering (CSMR 2011), 2011. p. 231-240.
ARAÚJO, J. E. Q. C. ; REBÊLO, Henrique ; LIMA, R. M. F. ; MOTA, Alexandre ; KULESZA, U. ; SANT`ANNA, Cláudio . An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study. In: 1st Workshop on Modularity in Systems Software (Miss 2011), AOSD 2011, 2011, Porto de Galinhas. Proceedings of the 1st workshop on Modularity in Systems Software (Miss 2011), AOSD 2011. New York, NY: ACM, 2011. p. 7-11.
REBÊLO, Henrique ; LIMA, R. M. F. ; KULESZA, U. ; SANT`ANNA, Cláudio ; COELHO, R. S. ; MOTA, Alexandre ; RIBEIRO, Márcio ; Oliveira, Cesar A. L. . Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. In: 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 2011, Miami. Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011). Skokie, IL, USA: Knowledge Systems Institute Graduate School, 2011. p. 450-455.
REBÊLO, Henrique ; LIMA, R. M. F. ; LEAVENS, GARY T. . Modular Contracts with Procedures, Annotations, Pointcuts and Advice. In: 15th Brazilian Symposium on Programming Languages (SBLP 2011), 2011, São Paulo. Proceedings of the 15th Brazilian Symposium on Programming Languages (SBLP 2011), 2011.
Chris Hawblitzel ; Ming Kawaguchi ; Shuvendu K. Lahiri ; REBÊLO, Henrique . Mutual Summaries: Unifying Program Comparison Techniques. In: First International Workshop on Intermediate Verification Languages (Boogie 2011), 2011, Wrocław, Poland. Proceedings of the First International Workshop on Intermediate Verification Languages (Boogie 2011), 2011. p. 40-52.
REBÊLO, Henrique ; COELHO, R. S. ; LIMA, R. M. F. ; LEAVENS, GARY T. ; Marieke Huisman ; MOTA, Alexandre ; CASTOR, Fernando . On the Interplay of Exception Handling and Design by Contract: An Aspect-oriented Recovery Approach. In: The 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), ECOOP 2011, 2011. Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs (FTfJP 2011), 2011.
ARAÚJO, J. E. Q. C. ; REBÊLO, Henrique ; LIMA, R. M. F. ; MOTA, Alexandre ; CASTOR, Fernando ; MASSONI, T. L. ; Juliana Lucena ; Filipe Lima . An Aspect-Based Approach for Concurrent Programming using CSP Features. In: 5th International Conference on Software and Data Technologies (ICSOFT'10), 2010, Athens. Proceedings of the 5th International Conference on Software and Data Technologies, 2010. p. 226-231.
REBÊLO, Henrique ; LIMA, R. M. F. ; KULESZA, U. ; COELHO, R. S. ; MOTA, Alexandre ; RIBEIRO, Márcio ; ARAÚJO, J. E. Q. C. . The Contract Enforcement Aspect Pattern. In: 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010) at CBSoft 2010, 2010, Salvador. 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010) at CBSoft 2010, 2010.
REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L ; LEAVENS, GARY T. ; MOTA, Alexandre ; Oliveira, Cesar A. L. . Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings. In: 13th Brazilian Symposium on Programming Languages (SBLP'09), 2009, Gramado. Proceedings of the 13th Brazilian Symposium on Programming Languages (SBLP'09), 2009. p. 117-130.
RIBEIRO, Márcio ; ANDRADE, Rodrigo ; BORBA, Paulo ; BONIFACIO, Rodrigo ; REBÊLO, Henrique . Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times. In: 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09), SBES 2009, 2009, Fortaleza. Proceedings o the 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09). Fortaleza, 2009. p. 1-6.
REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L ; Sérgio Soares . A JML compiler based on AspectJ. In: First International Conference on Software Testing, Verification and Validation (ICST'08), 2008, Lillehammer. Proceedings of the first International Conference on Software Testing, Verification and Validation (ICST'08). Los Alamitos, CA: IEEE Computer Society, 2008. v. 0. p. 541-544.
REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L ; Sérgio Soares ; FERREIRA, Leopoldo . Implementing Java Modeling Language Contracts with AspectJ. In: 23rd Annual ACM Symposium on Applied Computing (SAC'08), 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC'08). New York, NY: ACM, 2008. p. 228-233.
REBÊLO, Henrique ; Sérgio Soares ; LIMA, R. M. F. ; BORBA, Paulo ; CORNÉLIO, M. L . JML and Aspects: The Benefits of instrumenting JML Features with AspectJ. In: 7th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'08), FSE 2008, 2008, Georgia. Proceedings of the 7th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), FSE 2008, 2008. p. 11-18.
LIMA, Alessandro Barbosa ; VITORINO, Jairson ; REBÊLO, Henrique . Buzzmonitor: A Tool For Measuring Word Of Mouth Level In On-Line Communities. In: IADIS International Conference - e-Commerce, 2005, Portugal. Proceedings of the IADIS International Conference - e-Commerce, 2005.
REBÊLO, Henrique ; LEAVENS, GARY T. ; BAGHERZADEH, MEHDI ; RAJAN, HRIDESH ; LIMA, RICARDO ; ZIMMERMAN, DANIEL M. ; CORNÉLIO, MÁRCIO ; THÜM, THOMAS . Modularizing crosscutting contracts with AspectJML. In: the 13th international conference, 2014, Lugano. Proceedings of the 13th international conference on Modularity - MODULARITY '14. New York: ACM Press. p. 21-24.
REBÊLO, Henrique . Identifying and specifying crosscutting contracts with AspectJML. In: the 2013 companion publication for conference, 2013, Indianapolis. Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13. New York: ACM Press. p. 115-116.
REBÊLO, Henrique ; LEAVENS, GARY T. ; LIMA, RICARDO MASSA . Client-aware checking and information hiding in interface specifications with JML/ajmlc. In: the 2013 companion publication for conference, 2013, Indianapolis. Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13. New York: ACM Press, 2013. p. 11-12.
REBÊLO, Henrique . Towards client-aware interface specifications. In: SPLASH '11: The 2nd ACM international conference companion on Object oriented programming systems languages and applications companion, 2011. Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion (SPLASH 11), 2011. p. 71-74.
REBÊLO, Henrique ; RIBEIRO, Márcio . Guiding the use of AspectJ Advice: An Initial Assessment. In: 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09), SBES 2009, 2009, Fortaleza. Proceedings o the 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09). Fortaleza, 2009. p. 63-64.
Carlos Eduardo Pontual ; BONIFACIO, Rodrigo ; REBÊLO, Henrique ; RIBEIRO, Márcio ; BORBA, Paulo . Modularizing Variabilities with CaesarJ Collaboration Interfaces. In: 3rd International Workshop on Assessment of Contemporary Modularization Techniques (ACoM.09), OOPSLA 2009, 2009, Orlando. Proceedings of the 3rd International Workshop on Assessment of Contemporary Modularization Techniques (ACoM.09), 2009. p. 0-0.
REBÊLO, Henrique ; LIMA, R. M. F. ; MOTA, Alexandre ; Oliveira, Cesar A. L. ; RIBEIRO, Márcio . Checking Contracts for AOP Using XPIDRs. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco Bay. Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012. p. A-5-A-5.
REBÊLO, Henrique ; LIMA, R. M. F. . Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri. In: 9ª Jornada de Iniciação Científica: Ano Internacional da Física, PIBIC/FACEPE/CNPq, 2005, Recife. Anais da 9ª Jornada de Iniciação Científica: Ano Internacional da Física, PIBIC/FACEPE/CNPq, 2005. p. 261-262.
REBÊLO, Henrique . On the Abstraction, Information Hiding, and Crosscutting Modularity. 2015. (Apresentação de Trabalho/Seminário).
REBÊLO, Henrique . Checking Contracts for AOP Using XPIDRs. 2012. (Apresentação de Trabalho/Conferência ou palestra).
REBÊLO, Henrique . Checking Contracts for AOP Using XPIDRs. 2012. (Apresentação de Trabalho/Seminário).
REBÊLO, Henrique . Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. 2012. (Apresentação de Trabalho/Conferência ou palestra).
REBÊLO, Henrique . Assessing the Impact of Aspects on Design By Contract Effort. 2011. (Apresentação de Trabalho/Seminário).
REBÊLO, Henrique . Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. 2011. (Apresentação de Trabalho/Conferência ou palestra).
REBÊLO, Henrique ; LIMA, R. M. F. ; KULESZA, U. ; COELHO, R. S. ; MOTA, Alexandre ; RIBEIRO, Márcio ; ARAÚJO, J. E. Q. C. . The Contract Enforcement Aspect Pattern. 2010. (Apresentação de Trabalho/Congresso).
REBÊLO, Henrique . Static Semantic Diff. 2010. (Apresentação de Trabalho/Outra).
REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L ; LEAVENS, GARY T. ; MOTA, Alexandre ; Oliveira, Cesar A. L. . Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings. 2009. (Apresentação de Trabalho/Simpósio).
REBÊLO, Henrique ; RIBEIRO, Márcio . Guiding the use of AspectJ Advice: An Initial Assessment. 2009. (Apresentação de Trabalho/Outra).
REBÊLO, Henrique . AOP Framed!. 2009. (Apresentação de Trabalho/Seminário).
REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L ; Sérgio Soares ; FERREIRA, Leopoldo . Implementing Java Modeling Language Contracts with AspectJ. 2008. (Apresentação de Trabalho/Simpósio).
REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L ; Sérgio Soares . A JML compiler based on AspectJ. 2008. (Apresentação de Trabalho/Congresso).
REBÊLO, Henrique ; Sérgio Soares ; LIMA, R. M. F. ; BORBA, Paulo ; CORNÉLIO, M. L . JML and Aspects: The Benefits of instrumenting JML Features with AspectJ. 2008. (Apresentação de Trabalho/Simpósio).
REBÊLO, Henrique . An Aspect-Oriented Approach to implement JML Features. 2008. (Apresentação de Trabalho/Seminário).
REBÊLO, Henrique . Desenvolvimento de Software Orientado a Aspectos. 2008. (Apresentação de Trabalho/Conferência ou palestra).
REBÊLO, Henrique ; LIMA, R. M. F. . Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri. 2005. (Apresentação de Trabalho/Outra).
REBÊLO, Henrique ; LIMA, R. M. F. . Programação Concorrente usando Erlang. 2004. (Apresentação de Trabalho/Seminário).

Outras produções

REBÊLO, Henrique ; LIMA, R. M. F. ; LEAVENS, GARY T. ; CORNÉLIO, M. L ; Sérgio Soares . Ajmlc: Aspect-Oriented JML Compiler. 2009.

REBÊLO, Henrique ; VITORINO, Jairson ; LIMA, Alessandro Barbosa . Buzmonitor: A Tool For Measuring Word Of Mouth Level In On-Line Communities. 2005.

REBÊLO, Henrique ; LIMA, R. M. F. ; Oliveira, Cesar A. L. ; RODRIGUES, C. M. DE O. ; BRAGA, P. L. ; TRAJANO, V. F. ; MEDEIROS, R. W. ; OLIVEIRA JR, F. G. A. DE . PetriLogic: Ambiente Educacional para Ensino de Métodos Formais. 2005.

REBÊLO, Henrique . ErlCreator: An Eclipse IDE plugin for Erlang. 2005.

REBÊLO, Henrique ; LEAVENS, GARY T. ; LIMA, R. M. F. . Modular Enforcement of Supertype Abstraction and Information Hiding with Client-Side Checking. Technical report CS-TR-12-03. 2012.

Chris Hawblitzel ; Ming Kawaguchi ; Shuvendu K. Lahiri ; REBÊLO, Henrique . Mutual summaries and relative termination. Technical report MSR-TR-2011-112. 2011.

REBÊLO, Henrique ; LIMA, R. M. F. ; LEAVENS, GARY T. . Modular Contracts with Procedures, Annotations, Pointcuts and Advice. Technical report CS-TR-11-05. 2011.

REBÊLO, Henrique ; COELHO, R. S. ; LIMA, R. M. F. ; LEAVENS, GARY T. ; HUISMAN, MARIEKE ; MOTA, Alexandre ; CASTOR, Fernando . On the Interplay of Exception Handling and Design by Contract. Technical Report CS-TR-11-02. 2011.

Ming Kawaguchi ; Shuvendu K. Lahiri ; REBÊLO, Henrique . Conditional equivalence. Technical report MSR-TR-2010-119. 2010.

REBÊLO, Henrique ; LIMA, R. M. F. ; LEAVENS, GARY T. ; CORNÉLIO, M. L ; MOTA, Alexandre ; Oliveira, Cesar A. L. . Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study. Technical report CS-TR-10-01. 2010.

REBÊLO, Henrique ; LIMA, R. M. F. ; CORNÉLIO, M. L ; LEAVENS, GARY T. ; MOTA, Alexandre ; Oliveira, Cesar A. L. . Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings. Technical report CS-TR-09-05. 2009.

LEAVENS, GARY T. ; GARCIA, A. ; REBÊLO, Henrique . Proceedings of the The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2018. 2018. (Editoração/Anais).

LEAVENS, GARY T. ; Hidehiko Masuhara ; Hridesh Rajan ; REBÊLO, Henrique . Proceedings of the 15th Foundations of Aspect-Oriented Languages workshop (FOAL 2016) at AOSD 2016. 2016. (Editoração/Anais).

LEAVENS, GARY T. ; Hidehiko Masuhara ; Hridesh Rajan ; REBÊLO, Henrique . Proceedings of the 14th Foundations of Aspect-Oriented Languages workshop (FOAL 2015) at AOSD 2015. 2015. (Editoração/Anais).

REBÊLO, Henrique . Introdução a Programação Orientada a Aspectos. 2014. (Curso de curta duração ministrado/Extensão).

Francisco Dantas ; REBÊLO, Henrique . Proceedings of the 11th Workshop on Software Modularity (WMod 2014). 2014. (Editoração/Anais).

LEAVENS, GARY T. ; REBÊLO, Henrique . Proceedings of the 10th Foundations of Aspect-Oriented Languages workshop (FOAL 2011) at AOSD 2011. 2011. (Editoração/Anais).

CORNÉLIO, M. L ; Gheyi, Rohit ; MASSONI, T. L. ; REBÊLO, Henrique . Minicurso: Java Modeling Language. 2010. (Curso de curta duração ministrado/Outra).

REBÊLO, Henrique . Accessibility Chair of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2020)). 2020.

REBÊLO, Henrique . Membro do Comitê de Programa do 23nd edition of the Brazilian Symposium on Programming Languages (SBLP 2019)). 2019.

REBÊLO, Henrique . Membro do Comitê de Programa do XIII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019). 2019.

REBÊLO, Henrique . Membro do Comitê de Programa do 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019). 2019.

REBÊLO, Henrique . Publications Chair of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018). 2018.

REBÊLO, Henrique . Membro do Comitê de Programa do 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018). 2018.

REBÊLO, Henrique . Membro do Comitê de Programa do XII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2018). 2018.

REBÊLO, Henrique . Membro do Comitê de Programa do 11th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2017)). 2017.

REBÊLO, Henrique . Membro do Comitê de Programa do 21st Brazilian Symposium on Programming Languages (SBLP 2017). 2017.

REBÊLO, Henrique . Membro do Comitê de Programa do 29th International Conference on Software Engineering and Knowledge Engineering (SEKE 2017)). 2017.

REBÊLO, Henrique . PC Chair do 15th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2016). 2016.

REBÊLO, Henrique . Student Events (SRC) Co-Chair of the 15th ACM International Conference on Modularity (AOSD 2016). 2016.

REBÊLO, Henrique . Membro do Comitê de Programa do 14th International Conference of Aspect-Oriented Software Development (AOSD 2015). 2015.

REBÊLO, Henrique . Membro do Comitê de Programa do 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015). 2015.

REBÊLO, Henrique . Membro do Comitê de Programa do 14th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2015). 2015.

REBÊLO, Henrique . Membro do Comitê de Programa [position papers] do 14th International Conference of Aspect-Oriented Software Development (AOSD 2015). 2015.

REBÊLO, Henrique . Membro do Comitê de Programa do 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014). 2014.

REBÊLO, Henrique . Membro do Comitê de Programa do X Encontro Anual de Computação (EnAComp 2014). 2014.

REBÊLO, Henrique . Membro do Comitê de Programa do 6th IARIA International Conference on Advances in System Testing and Validation Lifecycle (VALID 2014). 2014.

REBÊLO, Henrique . Membro do Comitê de Programa do 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013). 2013.

REBÊLO, Henrique . Membro do Comitê de Programa do X Encontro Anual de Computação (EnAComp 2013). 2013.

REBÊLO, Henrique . Membro do Comitê de Programa do 6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2013). 2013.

REBÊLO, Henrique . Membro do Comitê de Programa do 5th IARIA International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013). 2013.

REBÊLO, Henrique . Membro do Comitê de Programa do 4th IARIA International Conference on Advances in System Testing and Validation Lifecycle (VALID 2012). 2012.

REBÊLO, Henrique . Membro do Comitê de Programa do 3rd IEEE International Conference on Information Science and Applications (ICISA 2012). 2012.

REBÊLO, Henrique . Membro do Comitê de Programa do 2nd IEEE International Conference on Information Science and Applications (ICISA 2011). 2011.

REBÊLO, Henrique . Membro do Comitê de Programa do 3rd IARIA International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011). 2011.

REBÊLO, Henrique . Proceedings Chair do 10th Foundations of Aspect-Oriented Languages workshop. 2011.

REBÊLO, Henrique . Membro do Comitê de Programa do International Conference on IT Convergence and Security. 2011.

REBÊLO, Henrique . Membro do Comitê de Programa do 2nd IARIA International Conference on Advances in System Testing and Validation Lifecycle (VALID 2010) 2010. 2010.

REBÊLO, Henrique . Membro do Comitê de Programa do 1st IARIA International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009). 2009.

REBÊLO, Henrique . Membro do Conselho Consultivo da Microsoft Innovation Center Pernambuco FY2010 (MIC PE FY2010). 2009.

REBÊLO, Henrique . Membro do Staff convidado, para atuar como Juiz, pelo ACM International Collegiate Programming Contest (ICPC) - XIV Maratona de Programação. 2009.

REBÊLO, Henrique . Membro do Staff convidado, para atuar como Juiz, pelo ACM International Collegiate Programming Contest (ICPC) - XIII Maratona de Programação. 2008.

Projetos de pesquisa

2014 - Atual

Engenharia de Software para Cidades Inteligentes (PRONEX FACEPE/CNPq), Projeto certificado pelo(a) coordenador(a) Paulo Henrique Monteiro Borba em 22/03/2016., Descrição: Este projeto visa pesquisar, avaliar e aplicar técnicas, ferramentas e processos de engenharia de software para lidar com desafios associados ao contexto de cidades inteligentes. Em particular, pretendemos pesquisar aspectos como variabilidade, modularidade, e a especificação e teste de sistemas distribuídos. Todos esses aspectos serão avaliados e utilizados para o desenvolvimento de uma plataforma aberta de serviços de software urbanos, resultado prático do projeto e que será a base de um modelo de ecossistema de negócios voltado para cidades inteligentes. Esta plataforma visa permitir que terceiros possam consumir e fornecer serviços de software fortemente baseados em dados urbanos. Diferentes tipos de aplicações e serviços poderão ser criados, com a possibilidade de monetizar sobre estas soluções. Contrário à tendência dos grandes fornecedores de soluções, este formato permitirá a participação de diferentes fornecedores, estimulando o mercado local no setor de TIC. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Sérgio Castelo Branco Soares - Integrante / Paulo Henrique Monteiro Borba - Coordenador / Alexandre Mota - Integrante / Adriano Lorena Inacio de Oliveira - Integrante / Fernando José Castor de Lima Filho - Integrante / Ricardo Massa Ferreira Lima - Integrante / CORNÉLIO, MÁRCIO - Integrante / Leopoldo Teixeira - Integrante / Kiev Gama - Integrante / Vinicius Garcia - Integrante / Silvio Meira - Integrante / Andre Santos - Integrante / Jones Albuquerque - Integrante / Ana Carolina Salgado - Integrante / Patricia Tedesco - Integrante / Fabio Queda Bueno da Silva - Integrante / Juliano Yoda - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
2014 - Atual

Desenvolvimento Modular de Contratos, Descrição: Contratos do inglês Design by Contract são um meio para descrição de propriedades funcionais de um sistema. Em um programa orientado a objetos, geralmente utilizamos pré e pós condições, e invariantes de classe para especiﬁcar e ajudar no processo de corretude do programa (redução de erros). O grande problema é que na maioria das vezes esses contratos são recorrentes e não temos mecanismos linguisticos adequados para modularização (evitar o esplhamento) dos mesmos, assim tornando uma tarefa bastante repetitiva e sucetível a erro. Portanto, este projeto de pesquisa visa na investigação/deﬁnição de uma linguagem de contratos na qual recursos linguisticos adequados deverão ser utilizados para modularizar contratos recorrentes ou entrecortantes de um software. Isso ajuda melhorar o reuso, manutenção, e entendimento modular dos contratos de um sistema.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Henrique Emanuel Mostaert Rebêlo - Coordenador / Ricardo Massa Ferreira Lima - Integrante / Leopoldo Teixeira - Integrante.
2014 - Atual

Ferramentas para Evolução Segura de Linhas de Produtos de Software, Descrição: Variabilidade em sistemas de software é importante para que sistemas sejam adequados às necessidades de usuários, e flexíveis o suficiente para que possamos usá-los em diferentes contextos sem necessariamente desenvolvê-los do zero. No entanto, variabilidade cria uma tensão entre reuso e custos de desenvolvimento e manutenção. Linhas de produtos de software planejam variabilidade visando reduzir significativamente o esforço de desenvolvimento, custos e time to market. Tal planejamento requer investimento inicial e gera custos de manutenção a longo prazo, pois variações geram um número exponencial de configurações. Caso não sejam utilizados métodos adequados, os custos de manutenção podem superar os benefícios esperados. Este projeto visa desenvolver técnicas para melhoria do processo de evolução de linhas de produtos de software, explorando também o desenvolvimento de ferramentas com base formal. O projeto integra pesquisa de diferentes comunidades, incluindo métodos formais, análise estática, e refactoring, com o objetivo de tornar a evolução de linhas de produtos de software mais segura. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Henrique Emanuel Mostaert Rebêlo - Coordenador / Márcio Lopes Cornélio - Integrante / Leopoldo Teixeira - Integrante / Leonardo Passos - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
2009 - Atual

Modularização para Contratos de Software, Descrição: Este projeto tem como objetivo implementar e avaliar suporte ao desenvolvimento e evolução modulares de contratos (pré- e pós-condições) software. Nosso plano é definir e implementar o conceito de modularização de contratos crosscutting, que suportará, sob demanda, a modularização de contratos que tendem a se espalhar e entralaçar no código do sistema como um todo. A nossa hipótese principal é que a modularização de contratos, principalmente as de natureza crosscutting, ajudará a alcançar melhores níveis de produtividade e qualidade, e a efetivamente raciocinar sobre contratos apenas com base em suas interfaces. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Paulo Henrique Monteiro Borba - Integrante / Ricardo Massa Ferreira Lima - Integrante / Gary T. Leavens - Coordenador / Hridesh Rajan - Integrante.
2007 - 2008

Desenvolvimento do compilador JML usando Programação Orientada a Aspectos para checagem de asserções, Descrição: Este projeto de pesquisa visa desenvolver o compilador ajmlc (AspectJ JML compiler) com uso de técnicas baeadas em programação orientada a aspectos a fim de se gerar bytecode instrumentados responsáveis por verificar as especificações JML em tempo de execução. Este compilador é um projeto a parte do compilador jmlc de JML. Desta forma, a ferramenta ajmlc será integrada nas ferramentas do projeto JML2 (http://sourceforge.net/projects/jmlspecs/ ). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Sérgio Castelo Branco Soares - Integrante / Paulo Henrique Monteiro Borba - Integrante / Ricardo Massa Ferreira Lima - Coordenador / Márcio Lopes Cornélio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 10
2006 - 2008

Investigando o Desenvolvimento de Aplicações J2ME anotadas com a linguagem formal JML, Descrição: Neste projeto investigaremos uma abordagem orientada a aspectos para modificar o compilador de JML (jmlc), presente na suíte de ferramentas desenvolvida na Universidade de Iowa, com o fim de permitir a compilação de código JML tendo como alvo aplicações J2ME. Isto permitirá a verificação de asserções em tempo de execução utilizando orientação a aspectos. As aplicações desenvolvidas para dispositivos móveis têm tido como alvo os mais diversos domínios de aplicações. Recentemente, tem havido grande ênfase no desenvolvimento de jogos para aparelhos de telefonia celular. Domínios de aplicação como os de softwares bancários exigem que haja segurança a respeito do bom funcionamento das aplicações. Neste caso, precisamos ter o mínimo de certeza de que a aplicação funciona de acordo com sua especificação. A linguagem JML pode ser usada para a especificação detalhada de classes e interfaces escritas na linguagem Java por meio da escrita de anotações no código das mesmas. Com o uso de asserções escritas em JML, descrevemos pré-condições, pós-condições de métodos com também invariantes de classes no estilo do que ficou conhecido como design by contract. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Sérgio Castelo Branco Soares - Integrante / Leopoldo Ferreira - Integrante / Ricardo Massa Ferreira Lima - Coordenador / Márcio Lopes Cornélio - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Financiadora de Estudos e Projetos - Auxílio financeiro., Número de produções C, T & A: 6
2005 - 2006

Teaching Formal Methods Through Eclipse, Descrição: Um celeiro de talentos na áreas em desenvolvimento de ferramentas computacionais. É assim Pernambuco. Poucos dias antes de a Universidade Federal (UFPE) vencer uma das categorias da Imagine Cup da Microsoft, outro grupo de desenvolvedores da Universidade de Pernambuco (UPE) ganhou um incentivo de US$ 15 mil do concurso promovido pela IBM, o Faculty Awards. Se, na prática, a IBM e a Microsoft são concorrentes, também é verdade que ambas estão preocupadíssimas com a formação da nova geração de desenvolvedores. O objetivo do concurso realizado anualmente pela IBM é valorizar a comunidade acadêmica e estimular os projetos de pesquisa. Este ano o Brasil foi representado pela equipe encabeçada pelo professor da UPE Ricardo Massa. O compromisso é auxiliar o aprendizado da disciplina Métodos Formais, comum entre os cursos de Computação. A idéia é usar a plataforma Eclipse da IBM no desenvolvimento de um aplicativo capaz de projetar circuitos digitais e, utilizando métodos formais, identificar erros, verificar e analisar propriedades dos circuitos digitais criados. A ferramenta foi intitulada "Teaching Formal Methods Through Eclipse" (Ensinando métodos formais através do eclipse). O aplicativo ajuda no desenvolvimento de componentes eletrônicos ao oferecer informações detalhadas e precisas sobre eles. Os dados são úteis para que o projetista possa propor melhorias e correções para os sistemas computacionais em fases iniciais do projeto, evitando que problemas se propaguem e reduzindo os custos de desenvolvimento. "O aluno pode testar as falhas, as situações indesejáveis, verificar o desempenho, o consumo de energia de cada componente e a quantidade da área que irá ocupar. A representação do circuito através de uma linguagem formal permite analisar uma variedade de situações que apenas utilizando o cérebro para imaginar ou descrições no quadro ficaria complicado", justifica o coordenador do projeto o Prof. Ricardo Massa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) . , Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Petrônio de Luna Braga - Integrante / Renata Medeiros - Integrante / Vanessa Trajano - Integrante / Cleyton Mário Rodrigues - Integrante / Frederico Álvares - Integrante / Leopoldo Ferreira - Integrante / Ricardo Massa Ferreira Lima - Coordenador / César Augusto Lins de Oliveira - Integrante., Financiador(es): Ibm Coorporation - Auxílio financeiro., Número de produções C, T & A: 1
2004 - 2005

Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri, Descrição: Desenvolvimento de uma metodologia e um ambiente de performane engineering (aplicados em sistemas de middleware) baseados em análise quantitativa e simulações de modelos em redes de Petri estocásticas. A estratégia de modelarmos o middleware em um formalismo que nos permita realizar análise quantitativa e simulações procura automatizar o processo comparativo, aumentando muito a capacidade de análise. Dentre os formalismos existentes as redes de Petri se apresentam como um mecanismo eficiente para representar procotolos de comunicação, elemento de formação básica de sistemas distribuídos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Roberto Delgado Arteiro - Integrante / Ricardo Massa Ferreira Lima - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa., Número de produções C, T & A: 2
2003 - 2004

Programação Concorrente usando Erlang, Descrição: Este trabalho representa o primeiro tutorial em língua portuguesa da linguagem funcional funcional Erlang. Erlang é uma nova linguagem de programação funcional desenvolvida como uma tentativa de estender linguagens declarativas, como Prolog e ML, com mecanismos para concorrência e manipulação de exceções.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Ricardo Massa Ferreira Lima - Coordenador., Financiador(es): Faculdades Integradas Barros Melo - Bolsa., Número de produções C, T & A: 3

Prêmios

2015

Palestrante convidado com a palestra "On Abstraction, Information Hiding, and Crosscutting Contract Modularity", Colorado State University.

2013

Segundo melhor artigo do VII Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2013), AspectJ-based Idioms for Flexible Feature BInding, com R. Andrade e outros, Sociedade Brasileira de Computação.

2012

Best Demo Paper (Artigo: Checking Contracts for AOP using XPIDRs), 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012).

2012

Palestrante convidado do EECS Seminar Series, com a palestra "Checking Contracts for AOP using XPIDRs", University of Central Florida (UCF), School of Electrical Engineering & Computer Science (EECS).

2011

Palestrante (Lightning Talk) convidado do 1st Workshop on Modularity in systems software (MISS 2011) at AOSD 2011 com a palestra "Refactoring Contracts using Aspects: Is it Always Worthwhile?", 1st Workshop on Modularity in Systems and Software (Miss 2011), AOSD 2011.

2010

Palestrante convidado do SRR Seminar Series, com a palestra "AOP, Program Verification, and Applications", Microsoft Research.

2010

Primeiro Selecionado norte-nordeste do LATAM MSR internship para trabalhar como research intern., Microsoft Research, Redmond.

2009

Certified ScrumMaster (CSM), Scrum Alliance.

2009

Certified Scrum Product Owner (CSPO), Scrum Alliance.

2009

Palestrante convidado do EECS Seminar Series, com a palestra "AOP Framed!", University of Central Florida (UCF), School of Electrical Engineering & Computer Science (EECS).

2009

Convidado para ser o representante Titular do Conselho Consultivo do Microsoft Innovation Center Pernambuco FY2010 (MIC PE FY2010) da Faculdades Integradas Barros Melo - AESO, Microsoft Innovation Center Pernambuco.

2008

Palestrante convidado do EECS Seminar Series, com a palestra "An Aspect-Oriented Approach to implement JML Features", University of Central Florida (UCF), School of Electrical Engineering & Computer Science (EECS).

2006

Láurea do Curso De Bacharelado em Sistemas de Informação (Com a Média Global 9,2), Faculades Integradas Barros Melo.

2006

Primeiro colocado da primeira Seleção/turma para Mestrado em Engenharia da Computação, Universidade de Pernambuco.

2005

Sun Certified Programmer for Java2 platform 1.4, Sun Microsystems.

2005

IBM Faculty Awards - Eclipse Innovation Grant, IBM.

Histórico profissional

Endereço profissional

Universidade Federal de Pernambuco, Centro de Informática. , Avenida Jornalista Aníbal Fernandes, Cidade Universitária, 50740560 - Recife, PE - Brasil - Caixa-postal: 53030150, Telefone: (81) 21268430, Ramal: 4344, Fax: (81) 21268438, URL da Homepage:

Experiência profissional

2010 - 2010

Microsoft Research

Vínculo: Researcher Intern Employment, Enquadramento Funcional: Pesquisador

Outras informações:
Trabalhei no Research in Software Engineering (RISE) group. Neste grupo, o pesquisador Shuvendu Lahiri foi o meu mentor na Microsoft Research. O pesquisador Chris Hawblitzel também faz parte do projeto que trabalhei. Desenvolvemos pesquisa relacionada a equivalência de programas por meio de análise estática e provador de teorema (Z3). Desenvolvemos a ferramenta chamada SymDiff (olhar a seção de Programas de computador com registro) A MSR, a qual trabalhei, fica em Redmond, WA.

2014 - Atual

Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Professsor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

2009 - 2014

Universidade Federal de Pernambuco

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador

Atividades

03/2009
Pesquisa e desenvolvimento, Centro de Informática.,Linhas de pesquisa

2013 - 2014

Universidade Federal Rural de Pernambuco

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

Atividades

06/2013
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Paradigmas de Linguagens de Programação, Introdução a Microinformática

2008 - 2009

Faculdades Integradas Barros Melo

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 6

Atividades

02/2009 - 12/2009
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Técnicas de Programação Imperativa, Lógica para Computação, Arquitetura de Software e Padrões de Projeto, Programação Orientada a Aspectos com AspectJ, Teoria e Implementação de Linguagens Computacionais (Compiladores)
08/2008 - 12/2008
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Desenvolvimento de Software para Dispositivos Móveis, Sistemas de Informação

2005 - 2008

Universidade de Pernambuco

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador, Carga horária: 10

2006 - 2006

Pitang Consultoria e Sistemas

Vínculo: Celetista, Enquadramento Funcional: Engenhenheiro de Software, Carga horária: 8, Regime: Dedicação exclusiva.

Outras informações:
Projeto BACEN - Migração do sistema do Banco de Central da linguagem Natural para Java (Plataforma Java EE). Utilizando Java web (struts) e hibernate (Banco de Dados).

Atividades

02/2006 - 07/2006
Serviços técnicos especializados , Desenvolvimento.,Serviço realizado, Engenheiro de Software.

2005 - 2006

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: Estagiário, Enquadramento Funcional: Engenheiro de Software, Carga horária: 6

Atividades

07/2005 - 01/2006
Estágios , Centro de Estudos e Sistemas Avançados do Recife.,Estágio realizado, CESAR.

2005 - 2005

Faculdades Integradas Barros Melo

Vínculo: Bolsista iniciação científica, Enquadramento Funcional: Pesquisador, Carga horária: 20

2003 - 2004

Faculdades Integradas Barros Melo

Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Pesquisador, Carga horária: 20, Regime: Dedicação exclusiva.