Henrique Emanuel Mostaert Rebêlo

  • Endereço para acessar este CV: http://lattes.cnpq.br/2340616806258461
  • Última atualização do currículo em 17/01/2019


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 Pesquisador Interno 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. (Texto informado pelo autor)


Identificação


Nome
Henrique Emanuel Mostaert Rebêlo
Nome em citações bibliográficas
REBÊLO, Henrique;REBELO, HENRIQUE

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 - Caixa-postal: 53030150
Telefone: (81) 21268430
Ramal: 4344
Fax: (81) 21268438
URL da Homepage: http://www.cin.ufpe.br/~hemr


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


2009 - 2014
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Contract Modularity in Design by Contract Languages, Ano de obtenção: 2014.
Orientador: 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.
2006 - 2008
Mestrado em Engenharia da Computação.
Universidade de Pernambuco, UPE, Brasil.
Título: Implementing JML Contracts with AspectJ,Ano de Obtenção: 2008.
Orientador: 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.
2002 - 2005
Graduação em Sistemas de Informação.
Faculdades Integradas Barros Melo, FIBAM, Brasil.
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
Uma Introdução à Programação em Lua. (Carga horária: 2h).
Simpósio Brasileiro de Linguagem de Programação, SBLP, Brasil.
2009 - 2009
Introdução ao Teste de Software. (Carga horária: 2h).
Simpósio Brasileiro de Métodos Formais, SBMF, 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.
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.


Atuação Profissional



Microsoft Research, MSR, Estados Unidos.
Vínculo institucional

2010 - 2010
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.


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

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

Vínculo institucional

2009 - 2014
Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador

Atividades

3/2009 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .


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

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

Atividades

06/2013 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Paradigmas de Linguagens de Programação
Introdução a Microinformática

Faculdades Integradas Barros Melo, FIBAM, Brasil.
Vínculo institucional

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

Atividades

2/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)
8/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

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

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


Pitang Consultoria e Sistemas, PITANG, Brasil.
Vínculo institucional

2006 - 2006
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

2/2006 - 7/2006
Serviços técnicos especializados , Desenvolvimento, .

Serviço realizado
Engenheiro de Software.

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

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

Atividades

7/2005 - 1/2006
Estágios , Centro de Estudos e Sistemas Avançados do Recife, .

Estágio realizado
CESAR.

Faculdades Integradas Barros Melo, FIBAM, Brasil.
Vínculo institucional

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

Vínculo institucional

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



Linhas de pesquisa


1.
Modularidade de Contratos

Objetivo: O objetivo desta linha de pesquisa é investigar o uso de conceitos de orientação a aspectos, e outras técnicas de modularização de software recentes, para modularizar a especificação e implementação de contratos (Design by Contract) em diferentes artefatos (requisitos, arquitetura, projeto detalhado, código, e testes) de desenvolvimento de software. Com isto pretende-se facilitar o reuso e aumentar a produtividade no desenvolvimento e manutenção destes contratos formais..
Palavras-chave: Modularidade; Design By Contract; Programação Orientada a Aspectos; Técnicas Avançadas de Modularização.
2.
Checagem Consistente de Programas Orientados a Objetos Formalmente Especificados

Objetivo: O foco desta linha de pesquisa é investigar e definir uma técnica de checagem dinâmica de contratos, para programas orientados a objejtos, que seja consistente com o raciocínio modular de programas formalmente especificados. Este raciocínio modular é explicado pelos conceitos de "behavioral subtyping" e "supertype abstraction". O problema é que as ferrametas atuais de checagem dinâmica de contratos necessitam dos tipos dinâmicos das classes que por sua vez podem ser desconhecidos por um cliente que usa uma chamada de método polimorfica. Portanto, chamada de métodos polimóficos combinados com dispacho dinâmico (dynamic dispatch) das linguagens orientadas a objetos podem causar um problema fundametal na forma modular na qual os contratos são checados em tempo de execução. Este problema fundamental está associado ao raciocínio global das especificações de todos os subtipos, desde que temos que considerar todo tipo dinâmico possível para saber qual pré e/ou pós-condições estão sendo utilizadas para checagem da corretude de uma chamada de método. Com isso pretendemos garantir o raciocínio modular (não global) de programas formalmente especificados mesmo utilizando ferramentas de checagem dinâmicas.
Palavras-chave: Design By Contract; Behavioral Subtyping; Checagem Dinâmica Consistente de Contratos.
3.
Monitorando Programas Orientados a Objetos Formalmente Especificados com Orientação a Aspectos

Objetivo: O foco desta linha de pesquisa é investigar e definir o uso de conceitos de orientação a aspectos para monitorar aplicações orientadas a objetos. Essa monitoração consiste em checagens estáticas e dinâmicas das aplicações OO onde os contratos sãq definidos em termos de pré- e pós-condições. Além disso, essa monitoração tem o objetivo de garantir que quando, por exemplo, um erro de pré-condição seja detectado seja propagado ao cliente. Tratamentos erroneous de exceções podem descartar violações de contratos encontrados no código em tempo de execução. Com isso pretendemos aumentar os níveis de confiabilidades das aplicações orientadas a objetos usando mecanismos de programação orientada a aspectos..
4.
Modularidade de Programas Orientados a Aspectos Usando Especificações Formais

Objetivo: O objetivo desta linha de pesquisa é avançar na teoria e prática da programação orientada a aspectos. Como chamadas de métodos polimorficas na programação orientada a objetos, a orientação a aspectos utiliza seus recursos avançados de modularização de código por meio de indireção adicional duruante a execução de progrmas. Linguages orientadas a aspectos permitem a inserção declarativa de código em múltiplos pontos arbitrários da execução de um programa. A natureza arbitrária e declarativa dessa indireção em AOP implica que um programador, no geral, tem que realizar um análise global do programa para entender a execução de um programa orientado a aspectos. Portanto, o foco desta linha de pesquisa é como realizar o raciocínio estático modular (entendimento) em programas orientados a aspectos e ao mesmo tempo mantendo todo os benefícios em termos de menos espalhamento e entrelaçamento de código quando utizado os mecanismos declarativos de AOP. Além, disso esta linha de pesquisa tem o objetivo de identificar uma disciplina baseada em regras de design (design rules) com especificações formais (pré- e pós-condições) para melhorar o raciocínio modular e garantir a corretude de programas orientados a aspectos..
Palavras-chave: Programação Orientada a Aspectos; Modularidade; Design Rules; Design By Contract.


Projetos de pesquisa


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 especificar 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/definiçã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.
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.
2014 - Atual
Ferramentas para Evolução Segura de Linhas de Produtos de Software
Descrição: Variabilidade em sistemas de software é importante para que sistemas sejam adequados às necessidades de usuários, e flexíveis o suficiente para que possamos usá-los em diferentes contextos sem necessariamente desenvolvê-los do zero. No entanto, variabilidade cria uma tensão entre reuso e custos de desenvolvimento e manutenção. Linhas de produtos de software planejam variabilidade visando reduzir significativamente o esforço de desenvolvimento, custos e time to market. Tal planejamento requer investimento inicial e gera custos de manutenção a longo prazo, pois variações geram um número exponencial de configurações. Caso não sejam utilizados métodos adequados, os custos de manutenção podem superar os benefícios esperados. Este projeto visa desenvolver técnicas para melhoria do processo de evolução de linhas de produtos de software, explorando também o desenvolvimento de ferramentas com base formal. O projeto integra pesquisa de diferentes comunidades, incluindo métodos formais, análise estática, e refactoring, com o objetivo de tornar a evolução de linhas de produtos de software mais segura.
Situação: Em andamento; Natureza: Pesquisa.
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.
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): 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: 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


Projetos de extensão


2005 - 2005
BuzzMonitor uma ferramenta para monitoração do Boca-Boca em comunidades on-line
Descrição: A E-LIFE Comunicação é a primeira empresa brasileira especializada em estimular e monitorar a comunicação boca-a-boca entre os internautas sobre marcas, produtos e serviços a partir de comunidades on-line, blogues, sites pessoais, fóruns, e onde quer que ocorram de forma pública diálogos espontâneos de consumidores on-line. Desta maneira houve um interesse de desenvolver essa ferramenta de monitoração boca-boca conhecida como BuzzMonitor.
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Emanuel Mostaert Rebêlo - Integrante / Jairson Vitorino - Coordenador / Alessandro Barbosa Lima - Integrante.
Número de produções C, T & A: 2


Membro de corpo editorial


2012 - Atual
Periódico: International Journal on Advances in Softw


Revisor de periódico


2011 - 2011
Periódico: Science of Computer Programming (Print)
2012 - Atual
Periódico: International Journal of Software Engineering and Knowledge Engineering
2014 - Atual
Periódico: Science of Computer Programming (Print)


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


Idiomas


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


Prêmios e títulos


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.


Produções



Produção bibliográfica
Citações

SCOPUS
Total de trabalhos:16
Total de citações:25
Henrique Rebêlo  Data: 08/05/2014

Outras
Total de trabalhos:33
Total de citações:140
Henrique Rebêlo  Data: 06/05/2014

Artigos completos publicados em periódicos

1.
ANDRADE, Rodrigo2016ANDRADE, 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.

2.
ANDRADE, Rodrigo2014ANDRADE, 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.

3.
REBÊLO, Henrique;REBELO, HENRIQUE2013 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.

4.
REBÊLO, Henrique;REBELO, HENRIQUE2012 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.

Livros publicados/organizados ou edições
1.
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.

2.
LEAVENS, GARY T. (Org.) ; Hridesh Rajan (Org.) ; REBÊLO, Henrique (Org.) . Proceedings of the 10th international workshop on Foundations of aspect-oriented languages (FOAL 2011). 10. ed. , 2011.

Textos em jornais de notícias/revistas
1.
REBÊLO, Henrique; LIMA, R. M. F. . Programação Funcional Usando Erlang. Revista CESBAM, Olinda, , v. 5, p. 05 - 17, 20 abr. 2004.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

Resumos expandidos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

Resumos publicados em anais de congressos
1.
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.

2.
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.

Apresentações de Trabalho
1.
REBÊLO, Henrique. On the Abstraction, Information Hiding, and Crosscutting Modularity. 2015. (Apresentação de Trabalho/Seminário).

2.
REBÊLO, Henrique. Checking Contracts for AOP Using XPIDRs. 2012. (Apresentação de Trabalho/Conferência ou palestra).

3.
REBÊLO, Henrique. Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. 2012. (Apresentação de Trabalho/Conferência ou palestra).

4.
REBÊLO, Henrique. Checking Contracts for AOP Using XPIDRs. 2012. (Apresentação de Trabalho/Seminário).

5.
REBÊLO, Henrique. Assessing the Impact of Aspects on Design By Contract Effort. 2011. (Apresentação de Trabalho/Seminário).

6.
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).

7.
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).

8.
REBÊLO, Henrique. Static Semantic Diff. 2010. (Apresentação de Trabalho/Outra).

9.
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).

10.
REBÊLO, Henrique; RIBEIRO, Márcio . Guiding the use of AspectJ Advice: An Initial Assessment. 2009. (Apresentação de Trabalho/Outra).

11.
REBÊLO, Henrique. AOP Framed!. 2009. (Apresentação de Trabalho/Seminário).

12.
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).

13.
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).

14.
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).

15.
REBÊLO, Henrique. An Aspect-Oriented Approach to implement JML Features. 2008. (Apresentação de Trabalho/Seminário).

16.
REBÊLO, Henrique. Desenvolvimento de Software Orientado a Aspectos. 2008. (Apresentação de Trabalho/Conferência ou palestra).

17.
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).

18.
REBÊLO, Henrique; LIMA, R. M. F. . Programação Concorrente usando Erlang. 2004. (Apresentação de Trabalho/Seminário).


Produção técnica
Programas de computador sem registro
1.
REBÊLO, Henrique; LIMA, R. M. F. ; LEAVENS, GARY T. ; CORNÉLIO, M. L ; Sérgio Soares . Ajmlc: Aspect-Oriented JML Compiler. 2009.

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

3.
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.

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

Trabalhos técnicos
1.
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.

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

3.
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.

4.
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.

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

6.
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.

7.
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.


Demais tipos de produção técnica
1.
REBÊLO, Henrique. Introdução a Programação Orientada a Aspectos. 2014. (Curso de curta duração ministrado/Extensão).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

14.
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.

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

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

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

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



Patentes e registros



Programa de computador
1.
Shuvendu K. Lahiri ; Chris Hawblitzel ; REBÊLO, Henrique ; Ming Kawaguchi . SymDiff. 2010.
Patente: Programa de Computador. Número do registro: ACADEMIC USE ONL, título: "SymDiff" , Instituição de registro: Microsoft Research.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
REBÊLO, Henrique; MARCZAK, S. S.; SARAIVA, J. A. G.. Participação em banca de Micael Soares de França. 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.

2.
BONIFACIO, Rodrigo; REBÊLO, Henrique; SOUSA JUNIOR, R. T.. Participação em banca de Lucas Ferreira de Lima. 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.

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

Monografias de cursos de aperfeiçoamento/especialização
1.
REBÊLO, Henrique; VIANA, T. A.; CORNÉLIO, M. L. Participação em banca de Max Arruda Diniz FIlho. 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.

2.
REBÊLO, Henrique; VIANA, T. A.; GUSMÃO, C. M. G.. Participação em banca de Edviges Mariza Campos de Magalhães. 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.

3.
REBÊLO, Henrique; OLIVEIRA, Adriano Lorena Inácio de; LIMA, R. M. F.. Participação em banca de Ioná da Costa Aguiar. 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.

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

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

6.
REBÊLO, Henrique; CORREIA, Breno César Spindola; VIANA, T. A.. Participação em banca de Rafael Luiz Ribeiro da Costa. 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.

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

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

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

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

11.
TAVARES, E. A. G.; REBÊLO, Henrique; SANTANA, C. A.; CORREIA, Breno César Spindola. Participação em banca de Flávio do Rego Barros. 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.

12.
GUSMÃO, C. M. G.; REBÊLO, Henrique; SANTANA, C. A.. Participação em banca de Ebe Ernani Pedrosa Neto. Implementando Alta Disponibilidade Usando Real Application CLusters. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.

Trabalhos de conclusão de curso de graduação
1.
REBÊLO, Henrique; TOLEDO, T.; RIBEIRO, Márcio. Participação em banca de Luiz Américo Mesquita Jardim.Integrando JML a Interfaces Emergentes. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

2.
REBÊLO, Henrique; SANTANA, C. A.; VIANA, T. A.. Participação em banca de 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.

3.
GUSMÃO, C. M. G.; ANDRADE, E. C.; REBÊLO, Henrique. Participação em banca de Eduardo Lessa de Andrade Cavalcanti.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.

4.
TAVARES, E. A. G.; ANDRADE, E. C.; REBÊLO, Henrique. Participação em banca de Leonardo Sebastião daSilva.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.

5.
GUSMÃO, C. M. G.; REBÊLO, Henrique; SANTANA, C. A.. Participação em banca de João Erinaldo Rocha de Oliveira.TV Digital. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

6.
ALBUQUERQUE, E. Q.; REBÊLO, Henrique; SANTANA, C. A.. Participação em banca de Hebert de Carvalho Pontes.Radio - Frequency Identification - RFID. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.

7.
GUSMÃO, C. M. G.; REBÊLO, Henrique; SANTANA, C. A.. Participação em banca de Breno Santos de Carvalho.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.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
SPLASH '15: The 3rd ACM international conference companion on Object oriented programming systems languages and applications companion. 2015. (Congresso).

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

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

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

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

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

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

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

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

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

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

12.
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).

13.
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).

14.
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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

29.
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).

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

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

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

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

34.
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).

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

36.
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).


Organização de eventos, congressos, exposições e feiras
1.
Francisco Dantas ; REBÊLO, Henrique . 11th Workshop on Software Modularity (WMod 2014). 2014. (Congresso).

2.
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).

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

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

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



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
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.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



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

2.
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.


Programa de Computador registrado
1.
Shuvendu K. Lahiri ; Chris Hawblitzel ; REBÊLO, Henrique ; Ming Kawaguchi . SymDiff. 2010.
Patente: Programa de Computador. Número do registro: ACADEMIC USE ONL, título: "SymDiff" , Instituição de registro: Microsoft Research.



Outras informações relevantes


Venho mantendo uma importante colaboração com a Microsoft Research (MSR) com o pesquisador Shuvendu Lahiri (ver nosso projeto SymDiff em: http://research.microsoft.com/en-us/downloads/da38de29-a603-4d60-835d-3c5c0e488740/). Shuvendu Lahiri atuou como meu mentor na MSR quando trabalhei lá como Research Intern em 2010.

Outra importante colaboração que venho mantendo é com o Prof. Gary Leavens (ver projeto JML AOP, que continua em andamento, http://www.cin.ufpe.br/~hemr/JMLAOP). Gary Leavens também atua ativamente como co-orientador de minha tese de doutorado (2009-2013), que por sua vez está inserida no contexto do proejto JMLAOP. Além de Gary Leavens, temos colaborações informais, mas produtivas, com Paulo Borba, Márcio Cornélio, Sergio Soares, Alexandre Mota (Universidade Federal de Pernambuco, UFPE), na área de orientação a aspectos, leis e refatoramentos e concorrência.

- Membro da SBC (Sociedade Brasileira de Computação), desde 2005.
- Membro da ACM (Association for Computing Machinery), desde 2008.
- Membro da IEEE Computer Society, desde 2009.



Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 7:58:38