A JML Compiler Based on AspectJ. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Márcio Cornélio; Sérgio Soares (ICST, 2008)

Implementing Java modeling language contracts with AspectJ. - Henrique Rebêlo; Sérgio Soares; Ricardo Massa Ferreira Lima; Leopoldo Ferreira; Márcio Cornélio (SAC, 2008)

An Aspect-based Approach for Concurrent Programming using CSP Features. - José Elias Araújo; Henrique Rebêlo; Ricardo Massa Ferreira Lima; Alexandre Mota 001; Fernando Castor; Tiago Lima; Juliana Lucena; Filipe Lima (ICSOFT (2), 2010)

The contract enforcement aspect pattern. - Henrique Rebêlo; Ricardo M. F. Lima; Uirá Kulesza; Roberta Coelho; Alexandre Mota 001; Márcio Ribeiro 001; José Elias Araújo (SugarLoafPLoP, 2010)

An annotation-based approach for JCSP concurrent programming: a quantitative study. - José Elias Araújo; Henrique Rebêlo; Ricardo Massa Ferreira Lima; Alexandre Mota 001; Uirá Kulesza; Cláudio Sant'Anna (MISS@AOSD, 2011)

Assessing Idioms for Implementing Features with Flexible Binding Times. - Rodrigo Andrade; Márcio Ribeiro 001; Vaidas Gasiunas; Lucas Satabin; Henrique Rebêlo; Paulo Borba (CSMR, 2011)

On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. - Henrique Rebêlo; Roberta Coelho; Ricardo M. F. Lima; Gary T. Leavens; Marieke Huisman; Alexandre Mota 001; Fernando Castor (FTfJP@ECOOP, 2011)

Towards client-aware interface specifications. - Henrique Rebêlo (OOPSLA Companion, 2011)

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Uirá Kulesza; Cláudio Sant'Anna; Roberta Coelho; Alexandre Mota 001; Márcio Ribeiro 001; César A. L. de Oliveira (SEKE, 2011)

SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. - Shuvendu K. Lahiri; Chris Hawblitzel; Ming Kawaguchi; Henrique Rebêlo (CAV, 2012)

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Alexandre Mota 001; César A. L. de Oliveira; Márcio Ribeiro 001 (SEKE, 2012)

Checking Contracts for AOP using XPIDRs. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Alexandre Mota 001; César A. L. de Oliveira; Márcio Ribeiro 001 (SEKE, 2012)

Towards Modularly Comparing Programs Using Automated Theorem Provers. - Chris Hawblitzel; Ming Kawaguchi; Shuvendu K. Lahiri; Henrique Rebêlo (CADE, 2013)

Modular aspect-oriented design rule enforcement with XPIDRs. - Henrique Rebêlo; Gary T. Leavens; Ricardo Massa Ferreira Lima; Paulo Borba; Márcio Ribeiro 001 (FOAL, 2013)

Identifying and specifying crosscutting contracts with AspectJML. - Henrique Rebêlo (SPLASH (Companion Volume), 2013)

Client-aware checking and information hiding in interface specifications with JML/ajmlc. - Henrique Rebêlo; Gary T. Leavens; Ricardo Massa Ferreira Lima (SPLASH (Companion Volume), 2013)

AspectJ-Based Idioms for Flexible Feature Binding. - Rodrigo Andrade; Henrique Rebêlo; Márcio Ribeiro 001; Paulo Borba (SBCARS, 2013)

Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Uirá Kulesza; Márcio Ribeiro 001; Yuanfang Cai; Roberta Coelho; Cláudio Sant'Anna; Alexandre Mota 001 (Int. J. Softw. Eng. Knowl. Eng., 2013)

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Gary T. Leavens; Márcio Cornélio; Alexandre Mota 001; César A. L. de Oliveira (Sci. Comput. Program., 2013)

Modularizing crosscutting contracts with AspectJML. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY (Companion), 2014)

AspectJML: modular specification and runtime checking for crosscutting contracts. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY, 2014)

Flexible Feature Binding with AspectJ-based Idioms. - Rodrigo Andrade; Henrique Rebêlo; Márcio Ribeiro 001; Paulo Borba (J. Univers. Comput. Sci., 2014)

Enforcing information hiding in interface specifications: a client-aware checking approach. - Henrique Rebêlo; Gary T. Leavens (MODULARITY (Companion), 2015)

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets. - Pedro Maia; Jorge Mendes 001; Jácome Cunha; Henrique Rebêlo; João Saraiva (SEMS@ICSE, 2015)

Assessing Idioms for a Flexible Feature Binding Time. - Rodrigo Andrade; Márcio Ribeiro 001; Henrique Rebêlo; Paulo Borba; Vaidas Gasiunas; Lucas Satabin (Comput. J., 2016)

Aspect-Oriented Programming Reloaded. - Henrique Rebêlo; Gary T. Leavens (SBLP, 2017)

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. - Leopoldo Teixeira; Breno Miranda; Henrique Rebêlo; Marcelo d'Amorim (ICST, 2021)