2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

Teixeira, Leopoldo; MIRANDA, BRENO; REBELO, HENRIQUE; D'AMORIM, MARCELO
[ICST] 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
2017

Aspect-Oriented Programming Reloaded

REBÊLO, Henrique; LEAVENS, GARY T.
[SBLP] the 21st Brazilian Symposium
2016

Assessing Idioms for a Flexible Feature Binding Time

ANDRADE, Rodrigo; RIBEIRO, Márcio; REBÊLO, Henrique; BORBA, Paulo; GASIUNAS, VAIDAS; SATABIN, LUCAS
Computer Journal (Print)
2015

Enforcing information hiding in interface specifications: a client-aware checking approach

REBÊLO, Henrique; LEAVENS, GARY T.
[MODULARITY] Companion the 14th International Conference
2015

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets

Pedro Maia; Jorge Mendes; Jácome Cunha; REBÊLO, Henrique; João Saraiva
The 2nd Workshop on Software Engineering Methods in Spreadsheets
2014

Flexible feature binding with AspectJ-based idioms

ANDRADE, Rodrigo; REBÊLO, Henrique; RIBEIRO, Márcio; BORBA, Paulo
Journal of Universal Computer Science (Online)
2014

Modularizing crosscutting contracts with AspectJML

REBÊLO, Henrique; LEAVENS, GARY T.; BAGHERZADEH, MEHDI; RAJAN, HRIDESH; LIMA, RICARDO; ZIMMERMAN, DANIEL M.; CORNÉLIO, MÁRCIO; THÜM, THOMAS
[MODULARITY] the 13th international conference
2014

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts

REBÊLO, Henrique; LEAVENS, GARY T.; Mehdi Bagherzadeh; Hridesh Rajan; LIMA, R. M. F.; ZIMMERMAN, D. M.; CORNÉLIO, M. L; Thomas Thum
13th International Conference on Modularity
2013

AspectJ-Based Idioms for Flexible Feature Binding

ANDRADE, Rodrigo; REBELO, HENRIQUE; RIBEIRO, MARCIO; BORBA, Paulo
[SBCARS] 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
2013

Towards Modularly Comparing Programs Using Automated Theorem Provers

Chris Hawblitzel; Ming Kawaguchi; Shuvendu K. Lahiri; REBÊLO, Henrique
The 24th International Conference on Automated Deduction (CADE-24)
2013

Modular Aspect-Oriented Design Rule Enforcement with XPIDRs

REBÊLO, Henrique; LEAVENS, GARY T.; LIMA, R. M. F.; BORBA, Paulo; RIBEIRO, Márcio
Foundations of Aspect-Oriented Languages (FOAL 2013)
2013

Identifying and specifying crosscutting contracts with AspectJML

REBÊLO, Henrique
[SPLASH] the 2013 companion publication for conference
2013

QUANTIFYING THE EFFECTS OF ASPECTUAL DECOMPOSITIONS ON DESIGN BY CONTRACT MODULARIZATION: A MAINTENANCE STUDY

REBÊLO, Henrique; LIMA, R. M. F.; KULESZA, U.; RIBEIRO, Márcio; Yuanfang Cai; COELHO, R. S.; SANT`ANNA, Cláudio; MOTA, Alexandre
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
2013

Client-aware checking and information hiding in interface specifications with JML/ajmlc

REBÊLO, Henrique; LEAVENS, GARY T.; LIMA, RICARDO MASSA
[SPLASH] the 2013 companion publication for conference
2012

Checking Contracts for AOP Using XPIDRs

REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; Oliveira, Cesar A. L.; RIBEIRO, Márcio
[SEKE] 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)
2012

SYMDIFF: a language-agnostic semantic diff tool for imperative programs

Shuvendu K. Lahiri; Chris Hawblitzel; Ming Kawaguchi; REBÊLO, Henrique
[CAV] 24th International Conference on Computer Aided Verification (CAV 2012)
2012

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study

REBÊLO, Henrique; LIMA, R. M. F.; LEAVENS, GARY T.; CORNÉLIO, M. L; MOTA, Alexandre; Oliveira, Cesar A. L.
Science of Computer Programming (Print)
2012

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice

REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; Oliveira, Cesar A. L.; RIBEIRO, Márcio
[SEKE] 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)
2011

Towards client-aware interface specifications

REBÊLO, Henrique
[SPLASH] SPLASH '11: The 2nd ACM international conference companion on Object oriented programming systems languages and applications companion
2011

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study

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.
[SEKE] 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011)
2011

Assessing Idioms for Implementing Features with Flexible Binding Times

ANDRADE, Rodrigo; RIBEIRO, Márcio; Vaidas Gasiunas; Lucas Satabin; REBÊLO, Henrique; BORBA, Paulo
[CSMR] 15th European Conference on Software Maintenance and Reengineering (CSMR 2011)
2011

On the Interplay of Exception Handling and Design by Contract: An Aspect-oriented Recovery Approach

REBÊLO, Henrique; COELHO, R. S.; LIMA, R. M. F.; LEAVENS, GARY T.; Marieke Huisman; MOTA, Alexandre; CASTOR, Fernando
The 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), ECOOP 2011
2011

An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study

ARAÚJO, J. E. Q. C.; REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; KULESZA, U.; SANT`ANNA, Cláudio
1st Workshop on Modularity in Systems Software (Miss 2011), AOSD 2011
2011

Modular Contracts with Procedures, Annotations, Pointcuts and Advice

REBÊLO, Henrique; LIMA, R. M. F.; LEAVENS, GARY T.
[SBLP] 15th Brazilian Symposium on Programming Languages (SBLP 2011)
2011

Mutual Summaries: Unifying Program Comparison Techniques

Chris Hawblitzel; Ming Kawaguchi; Shuvendu K. Lahiri; REBÊLO, Henrique
First International Workshop on Intermediate Verification Languages (Boogie 2011)
2010

The Contract Enforcement Aspect Pattern

REBÊLO, Henrique; LIMA, R. M. F.; KULESZA, U.; COELHO, R. S.; MOTA, Alexandre; RIBEIRO, Márcio; ARAÚJO, J. E. Q. C.
[SUGARLOAFPLOP] 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010) at CBSoft 2010
2010

An Aspect-Based Approach for Concurrent Programming using CSP Features

ARAÚJO, J. E. Q. C.; REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; CASTOR, Fernando; MASSONI, T. L.; Juliana Lucena; Filipe Lima
[ICSOFT] 5th International Conference on Software and Data Technologies (ICSOFT'10)
2009

Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings

REBÊLO, Henrique; LIMA, R. M. F.; CORNÉLIO, M. L; LEAVENS, GARY T.; MOTA, Alexandre; Oliveira, Cesar A. L.
[SBLP] 13th Brazilian Symposium on Programming Languages (SBLP'09)
2009

Modularizing Variabilities with CaesarJ Collaboration Interfaces

Carlos Eduardo Pontual; BONIFACIO, Rodrigo; REBÊLO, Henrique; RIBEIRO, Márcio; BORBA, Paulo
3rd International Workshop on Assessment of Contemporary Modularization Techniques (ACoM.09), OOPSLA 2009
2009

Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times

RIBEIRO, Márcio; ANDRADE, Rodrigo; BORBA, Paulo; BONIFACIO, Rodrigo; REBÊLO, Henrique
3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09), SBES 2009
2009

Guiding the use of AspectJ Advice: An Initial Assessment

REBÊLO, Henrique; RIBEIRO, Márcio
3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09), SBES 2009
2008

Implementing Java Modeling Language Contracts with AspectJ

REBÊLO, Henrique; LIMA, R. M. F.; CORNÉLIO, M. L; Sérgio Soares; FERREIRA, Leopoldo
[SAC] 23rd Annual ACM Symposium on Applied Computing (SAC'08)
2008

A JML compiler based on AspectJ

REBÊLO, Henrique; LIMA, R. M. F.; CORNÉLIO, M. L; Sérgio Soares
[ICST] First International Conference on Software Testing, Verification and Validation (ICST'08)
2008

JML and Aspects: The Benefits of instrumenting JML Features with AspectJ

REBÊLO, Henrique; Sérgio Soares; LIMA, R. M. F.; BORBA, Paulo; CORNÉLIO, M. L
7th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'08), FSE 2008
2005

Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri

REBÊLO, Henrique; LIMA, R. M. F.
9ª Jornada de Iniciação Científica: Ano Internacional da Física, PIBIC/FACEPE/CNPq
2005

Buzzmonitor: A Tool For Measuring Word Of Mouth Level In On-Line Communities

LIMA, Alessandro Barbosa; VITORINO, Jairson; REBÊLO, Henrique
IADIS International Conference - e-Commerce

Publicações

2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

Teixeira, Leopoldo; MIRANDA, BRENO; REBELO, HENRIQUE; D'AMORIM, MARCELO
[ICST] 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
2017

Aspect-Oriented Programming Reloaded

REBÊLO, Henrique; LEAVENS, GARY T.
[SBLP] the 21st Brazilian Symposium
2016

Assessing Idioms for a Flexible Feature Binding Time

ANDRADE, Rodrigo; RIBEIRO, Márcio; REBÊLO, Henrique; BORBA, Paulo; GASIUNAS, VAIDAS; SATABIN, LUCAS
Computer Journal (Print)
2015

Enforcing information hiding in interface specifications: a client-aware checking approach

REBÊLO, Henrique; LEAVENS, GARY T.
[MODULARITY] Companion the 14th International Conference
2015

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets

Pedro Maia; Jorge Mendes; Jácome Cunha; REBÊLO, Henrique; João Saraiva
The 2nd Workshop on Software Engineering Methods in Spreadsheets
2014

Flexible feature binding with AspectJ-based idioms

ANDRADE, Rodrigo; REBÊLO, Henrique; RIBEIRO, Márcio; BORBA, Paulo
Journal of Universal Computer Science (Online)
2014

Modularizing crosscutting contracts with AspectJML

REBÊLO, Henrique; LEAVENS, GARY T.; BAGHERZADEH, MEHDI; RAJAN, HRIDESH; LIMA, RICARDO; ZIMMERMAN, DANIEL M.; CORNÉLIO, MÁRCIO; THÜM, THOMAS
[MODULARITY] the 13th international conference
2014

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts

REBÊLO, Henrique; LEAVENS, GARY T.; Mehdi Bagherzadeh; Hridesh Rajan; LIMA, R. M. F.; ZIMMERMAN, D. M.; CORNÉLIO, M. L; Thomas Thum
13th International Conference on Modularity
2013

AspectJ-Based Idioms for Flexible Feature Binding

ANDRADE, Rodrigo; REBELO, HENRIQUE; RIBEIRO, MARCIO; BORBA, Paulo
[SBCARS] 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
2013

Towards Modularly Comparing Programs Using Automated Theorem Provers

Chris Hawblitzel; Ming Kawaguchi; Shuvendu K. Lahiri; REBÊLO, Henrique
The 24th International Conference on Automated Deduction (CADE-24)
2013

Modular Aspect-Oriented Design Rule Enforcement with XPIDRs

REBÊLO, Henrique; LEAVENS, GARY T.; LIMA, R. M. F.; BORBA, Paulo; RIBEIRO, Márcio
Foundations of Aspect-Oriented Languages (FOAL 2013)
2013

Identifying and specifying crosscutting contracts with AspectJML

REBÊLO, Henrique
[SPLASH] the 2013 companion publication for conference
2013

QUANTIFYING THE EFFECTS OF ASPECTUAL DECOMPOSITIONS ON DESIGN BY CONTRACT MODULARIZATION: A MAINTENANCE STUDY

REBÊLO, Henrique; LIMA, R. M. F.; KULESZA, U.; RIBEIRO, Márcio; Yuanfang Cai; COELHO, R. S.; SANT`ANNA, Cláudio; MOTA, Alexandre
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
2013

Client-aware checking and information hiding in interface specifications with JML/ajmlc

REBÊLO, Henrique; LEAVENS, GARY T.; LIMA, RICARDO MASSA
[SPLASH] the 2013 companion publication for conference
2012

Checking Contracts for AOP Using XPIDRs

REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; Oliveira, Cesar A. L.; RIBEIRO, Márcio
[SEKE] 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)
2012

SYMDIFF: a language-agnostic semantic diff tool for imperative programs

Shuvendu K. Lahiri; Chris Hawblitzel; Ming Kawaguchi; REBÊLO, Henrique
[CAV] 24th International Conference on Computer Aided Verification (CAV 2012)
2012

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study

REBÊLO, Henrique; LIMA, R. M. F.; LEAVENS, GARY T.; CORNÉLIO, M. L; MOTA, Alexandre; Oliveira, Cesar A. L.
Science of Computer Programming (Print)
2012

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice

REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; Oliveira, Cesar A. L.; RIBEIRO, Márcio
[SEKE] 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)
2011

Towards client-aware interface specifications

REBÊLO, Henrique
[SPLASH] SPLASH '11: The 2nd ACM international conference companion on Object oriented programming systems languages and applications companion
2011

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study

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.
[SEKE] 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011)
2011

Assessing Idioms for Implementing Features with Flexible Binding Times

ANDRADE, Rodrigo; RIBEIRO, Márcio; Vaidas Gasiunas; Lucas Satabin; REBÊLO, Henrique; BORBA, Paulo
[CSMR] 15th European Conference on Software Maintenance and Reengineering (CSMR 2011)
2011

On the Interplay of Exception Handling and Design by Contract: An Aspect-oriented Recovery Approach

REBÊLO, Henrique; COELHO, R. S.; LIMA, R. M. F.; LEAVENS, GARY T.; Marieke Huisman; MOTA, Alexandre; CASTOR, Fernando
The 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), ECOOP 2011
2011

An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study

ARAÚJO, J. E. Q. C.; REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; KULESZA, U.; SANT`ANNA, Cláudio
1st Workshop on Modularity in Systems Software (Miss 2011), AOSD 2011
2011

Modular Contracts with Procedures, Annotations, Pointcuts and Advice

REBÊLO, Henrique; LIMA, R. M. F.; LEAVENS, GARY T.
[SBLP] 15th Brazilian Symposium on Programming Languages (SBLP 2011)
2011

Mutual Summaries: Unifying Program Comparison Techniques

Chris Hawblitzel; Ming Kawaguchi; Shuvendu K. Lahiri; REBÊLO, Henrique
First International Workshop on Intermediate Verification Languages (Boogie 2011)
2010

The Contract Enforcement Aspect Pattern

REBÊLO, Henrique; LIMA, R. M. F.; KULESZA, U.; COELHO, R. S.; MOTA, Alexandre; RIBEIRO, Márcio; ARAÚJO, J. E. Q. C.
[SUGARLOAFPLOP] 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010) at CBSoft 2010
2010

An Aspect-Based Approach for Concurrent Programming using CSP Features

ARAÚJO, J. E. Q. C.; REBÊLO, Henrique; LIMA, R. M. F.; MOTA, Alexandre; CASTOR, Fernando; MASSONI, T. L.; Juliana Lucena; Filipe Lima
[ICSOFT] 5th International Conference on Software and Data Technologies (ICSOFT'10)
2009

Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings

REBÊLO, Henrique; LIMA, R. M. F.; CORNÉLIO, M. L; LEAVENS, GARY T.; MOTA, Alexandre; Oliveira, Cesar A. L.
[SBLP] 13th Brazilian Symposium on Programming Languages (SBLP'09)
2009

Modularizing Variabilities with CaesarJ Collaboration Interfaces

Carlos Eduardo Pontual; BONIFACIO, Rodrigo; REBÊLO, Henrique; RIBEIRO, Márcio; BORBA, Paulo
3rd International Workshop on Assessment of Contemporary Modularization Techniques (ACoM.09), OOPSLA 2009
2009

Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times

RIBEIRO, Márcio; ANDRADE, Rodrigo; BORBA, Paulo; BONIFACIO, Rodrigo; REBÊLO, Henrique
3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09), SBES 2009
2009

Guiding the use of AspectJ Advice: An Initial Assessment

REBÊLO, Henrique; RIBEIRO, Márcio
3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'09), SBES 2009
2008

Implementing Java Modeling Language Contracts with AspectJ

REBÊLO, Henrique; LIMA, R. M. F.; CORNÉLIO, M. L; Sérgio Soares; FERREIRA, Leopoldo
[SAC] 23rd Annual ACM Symposium on Applied Computing (SAC'08)
2008

A JML compiler based on AspectJ

REBÊLO, Henrique; LIMA, R. M. F.; CORNÉLIO, M. L; Sérgio Soares
[ICST] First International Conference on Software Testing, Verification and Validation (ICST'08)
2008

JML and Aspects: The Benefits of instrumenting JML Features with AspectJ

REBÊLO, Henrique; Sérgio Soares; LIMA, R. M. F.; BORBA, Paulo; CORNÉLIO, M. L
7th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'08), FSE 2008
2005

Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri

REBÊLO, Henrique; LIMA, R. M. F.
9ª Jornada de Iniciação Científica: Ano Internacional da Física, PIBIC/FACEPE/CNPq
2005

Buzzmonitor: A Tool For Measuring Word Of Mouth Level In On-Line Communities

LIMA, Alessandro Barbosa; VITORINO, Jairson; REBÊLO, Henrique
IADIS International Conference - e-Commerce
hemr

Henrique Emanuel Mostaert Rebêlo

Professor Adjunto I

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do lattes de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do LinkedIn de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do DBLP de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do ORCID de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do Scholar de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do sigaa de Henrique Emanuel Mostaert Rebêlo
E-mail
hemr@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4344
Sala
A007
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
hemr

Henrique Emanuel Mostaert Rebêlo

Professor Adjunto I

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do lattes de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do LinkedIn de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do DBLP de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do ORCID de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do Scholar de Henrique Emanuel Mostaert Rebêlo
Link para o perfil do sigaa de Henrique Emanuel Mostaert Rebêlo
E-mail
hemr@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4344
Sala
A007
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações