Henrique Rebêlo

29 papers A* 1A 3C 3Misc 1Journal 5Unranked 15
YearRankTypeTitle / Venue / Authors
2022 — ed.
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022
FTfJP@ECOOP
Henrique Rebêlo
2021 A conf
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification.
ICST
Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim
2017 — conf
Aspect-Oriented Programming Reloaded.
SBLP
Henrique Rebêlo, Gary T. Leavens
2016 J jnl
Assessing Idioms for a Flexible Feature Binding Time.
Comput. J.
Rodrigo Andrade, Márcio Ribeiro, Henrique Rebêlo, Paulo Borba, Vaidas Gasiunas, Lucas Satabin
2015 — conf
Enforcing information hiding in interface specifications: a client-aware checking approach.
MODULARITY (Companion)
Henrique Rebêlo, Gary T. Leavens
2015 — conf
Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets.
SEMS@ICSE
Pedro Maia, Jorge Mendes, Jácome Cunha, Henrique Rebêlo, João Saraiva
2015 J jnl
Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets.
CoRR
Pedro Maia, Jorge Mendes, Jácome Cunha, Henrique Rebêlo, João Saraiva
2014 — conf
AspectJML: modular specification and runtime checking for crosscutting contracts.
MODULARITY
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 J jnl
Flexible Feature Binding with AspectJ-based Idioms.
J. Univers. Comput. Sci.
Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba
2014 — conf
Modularizing crosscutting contracts with AspectJML.
MODULARITY (Companion)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2013 — conf
AspectJ-Based Idioms for Flexible Feature Binding.
SBCARS
Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba
2013 — conf
Client-aware checking and information hiding in interface specifications with JML/ajmlc.
SPLASH (Companion Volume)
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima
2013 — conf
Identifying and specifying crosscutting contracts with AspectJML.
SPLASH (Companion Volume)
Henrique Rebêlo
2013 — conf
Modular aspect-oriented design rule enforcement with XPIDRs.
FOAL
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro
2013 J jnl
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study.
Sci. Comput. Program.
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira
2013 J jnl
Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study.
Int. J. Softw. Eng. Knowl. Eng.
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Márcio Ribeiro, Yuanfang Cai, Roberta Coelho, Cláudio Sant'Anna, Alexandre Mota
2013 A conf
Towards Modularly Comparing Programs Using Automated Theorem Provers.
CADE
Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo
2012 C conf
Checking Contracts for AOP using XPIDRs.
SEKE
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro
2012 C conf
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice.
SEKE
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro
2012 A* conf
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.
CAV
Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo
2011 — conf
An annotation-based approach for JCSP concurrent programming: a quantitative study.
MISS@AOSD
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna
2011 — conf
Assessing Idioms for Implementing Features with Flexible Binding Times.
CSMR
Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba
2011 C conf
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study.
SEKE
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, César A. L. de Oliveira
2011 — conf
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach.
FTfJP@ECOOP
Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor
2011 — conf
Towards client-aware interface specifications.
OOPSLA Companion
Henrique Rebêlo
2010 — conf
An Aspect-based Approach for Concurrent Programming using CSP Features.
ICSOFT (2)
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima
2010 — conf
The contract enforcement aspect pattern.
SugarLoafPLoP
Henrique Rebêlo, Ricardo M. F. Lima, Uirá Kulesza, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, José Elias Araújo
2008 A conf
A JML Compiler Based on AspectJ.
ICST
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares
2008 Misc conf
Implementing Java modeling language contracts with AspectJ.
SAC
Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio