Papers

Home

Papers

Talks

Projects

CV

 

 

See also Microsoft Academic, DBLP, ACM(author page; keyword search), Google Scholar.

  JOURNAL PAPERS

  • Rodrigo Andrade, Márcio Ribeiro, Henrique Rebęlo, Paulo Borba, Vaidas Gasiunas, and Lucas Satabin. Assessing Idioms for a Flexible Feature Binding Time. Comput. J. 59(1): 1-32 (2016).

  • Rodrigo Andrade, Henrique Rebęlo, Márcio Ribeiro, and Paulo Borba. Flexible Feature Binding with AspectJ-based Idioms. J. UCS 20(5): 692-719 (2014).

  • Henrique Rebęlo, Ricardo Lima, Uirá Kulesza, Cláudio Sant'Anna, Yuanfang Cai, Roberta Coelho, Alexandre Mota, and Márcio Ribeiro. Quantifying the Effects of Aspectual Decompositions on Design By Contract Modularization: A Maintenance Study. International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing Company, 2013.

  • Henrique Rebęlo, Ricardo Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César Oliveira. Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Program Transformations: An Empirical Study. Journal of Science of Computer Programming, Elsevier, Volume 78, Issue 8, 1 August 2013, Pages 1137–1156.

  CONFERENCE and WORKSHOP PAPERS

  • Leopoldo Teixeira, Breno Miranda, Henrique Rebęlo, and Marcelo d'Amorim Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification. In Proc. of the IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), Porto de Galinhas, Virtual [due to COVID-19], April 12-16, 2021.

  • Henrique Rebęlo and Gary T. Leavens. Aspect-Oriented Programming Reloaded. In Proceedings of SBLP 2017.

  • Pedro Maia, Jorge Mendes, Jácome Cunha, Henrique Rebęlo, and Joăo Saraiva. Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets. In Proc. of the 2nd Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015.

  • Henrique Rebęlo and Gary T. Leavens. Enforcing Information Hiding in Interface Specifications: A Client-Aware Checking Approach. In Companion Proc. of the 14th International Conference on Modularity (Modularity 2015), Fort Collins, CO, USA, March 16-19, 2015, pp. 47-51

  • Henrique Rebęlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, and Thomas Thüm. AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. In Proc. of the 13th International Conference on Modularity (Modularity 2014), Lugano, Switzerland, April 22-26, 2014.

  • Rodrigo Andrade, Henrique Rebęlo, Márcio Ribeiro, and Paulo Borba. AspectJ-based Idioms for Flexible Feature Binding . In Proc. of the 7th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2013), Brasilia, Brazil, September 29 to October 4, 2013, pp. 75-84.
    (Distinguished Paper Award)

  • Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebęlo. Towards Modularly Comparing Programs using Automated Theorem Provers. In Proc. of the 24th International Conference on Automated Deduction (CADE-24 2013), Lake Placid, New York, USA, June 9-14, 2013, pp. 282-299.

  • Henrique Rebęlo, Gary T. Leavens, Ricardo Lima, Paulo Borba, and Márcio Ribeiro. Modular Aspect-Oriented Design Rule Enforcement with XPIDRs. In Proc. of the 12th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2013) at AOSD 2013, Fukuoka, Japan, March 26, 2013, pp. 13-18.

  • Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, and Henrique Rebęlo. SymDiff: A language-agnostic semantic diff tool for imperative programs. In Proc. of the 24th International Conference on Computer Aided Verification (CAV 2012), California, USA, July 7-13, 2012, pp. 712-717.

  • Henrique Rebęlo, Ricardo Lima, Alexandre Mota, César Oliveira, and Márcio Ribeiro. Enforcing Contracts for Aspect-Oriented Programs with Annotations, Pointcuts and Advice. In Proc. of the 24th International Conf. on Software Engineering and Knowledge Engineering (SEKE 2012), San Francisco Bay, USA, July 1-3, 2012, pp. 148-153. (conf. accep. Rate for full papers = 27%)

  • Henrique Rebęlo, Ricardo Lima, Alexandre Mota, César Oliveira, and Márcio Ribeiro. Checking Contracts for AOP using XPIDRs. In Proc. of the 24th International Conf. on Software Engineering and Knowledge Engineering (SEKE 2012), Demo Session, San Francisco Bay, USA, July 1-3, 2012, pp. A-5.
    (Best Demo Award)

  • Henrique Rebęlo. Towards Client-Aware Interface Specifications. In Proceeding of OOPSLA Companion 2011 (SPLASH 2011), Doctoral Symposium, Portland, OR, USA, October 22 - 27, 2011,
    pp. 71-74.

  • Henrique Rebęlo, Ricardo Lima, and Gary T. Leavens. Modular Contracts with Procedures, Annotations, Pointcuts and Advice. In Proc. of the XV Brazilian Symposium on Programming Languages (SBLP 2011), Săo Paulo, Brazil, September 29-30, 2011.

  • Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebęlo. Mutual Summaries: Unifying Program Comparison Techniques. In Proc. of the 1st Workshop on Intermediate Verification Languages (Boogie 2011) at CADE-23 2011, Wroclaw, Poland, August 1, 2011.

  • Henrique Rebęlo, Roberta Coelho, Ricardo Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor. On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In Proc. of the 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011) at ECOOP 2011, Lancaster, UK, July 26, 2011.

  • Henrique Rebęlo, Ricardo Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, and César Oliveira. Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. In Proc. of the 23rd International Conf. on Software Engineering and Knowledge Engineering (SEKE 2011), Miami, USA, July 7-9, 2011, pp. 450-455. (conf. accep. Rate for full papers = 31%)

  • Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebęlo, Paulo Borba. Assessing Idioms for Implementing Features with Flexible Binding Times. In Proceedings of the 15th European Conf. Software Maintenance and Reengineering (CSMR), Oldenburg, Germany, March 2011, pp. 231-240. (accep. Rate = 28%)

  • José Elias Araújo, Henrique Rebęlo, Ricardo Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna. An annotation-based approach for JCSP concurrent programming: a quantitative study. In Proceedings of the 1st workshop on Modularity in systems software (MISS 2011) at AOSD 2011, Lancaster, Porto de Galinhas, Pernambuco, Brazil, March 22, 2011.

  • H. Rebęlo, R. Lima, U. Kulesza, R. Coelho, A. Mota, M. Ribeiro, J. E. Araujo. The Contract Enforcement Aspect Pattern. In Proceedings of the 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP'10), Salvador, Brazil, September 2010.

  • J. E. Araujo, H. Rebęlo, R. Lima, A. Mota, F. Castor, T. Lima, J. Lucena, F. Lima. An Aspect-Based Approach for Concurrent Programming using CSP Features. In Proc. of the 5th International Conference on Software and Data Technologies (ICSOFT 2010), Athens, Greece, July 2010.

  • Carlos Eduardo Pontual, Rodrigo Bonifácio, Henrique Rebęlo, Márcio Ribeiro, Paulo Borba. Modularizing Variabilities with CaesarJ Collaboration Interfaces. In Proc. 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM.09), OOPSLA 2009, Orlando, Florida, USA, 26 October 2009.

  • Márcio Ribeiro, Rodrigo Cardoso, Paulo Borba, Rodrigo Bonifácio, Henrique Rebęlo. Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?. In Proc. of the III Latin American Workshop on Aspect-Oriented Software Development, LA-WASP'2009, SBES 2009, October 2009, Fortaleza, Ceará – Brazil.

  • Henrique Rebęlo & Márcio Ribeiro Guiding the use of AspectJ Advice: An Initial Assessment. In Proc. of the III Latin American Workshop on Aspect-Oriented Software Development, LA-WASP'2009, SBES 2009, Poster Session, October 2009, Fortaleza, Ceará – Brazil.

  • Henrique Rebęlo, Ricardo Lima, Márcio Cornélio, Gary T. Leavens, Alexandre Mota, César Oliveira. Optimizing JML Feature Compilation in Ajmlc using Aspect-Oriented Refactorings. In Proc. of the XIII Brazilian Symposium on Programming Languages (SBLP 2009), Gramado, Rio Grande do Sul, Brazil, August 2009. (Nomination for the Best Paper Award, accep. Rate < 35%)

  • Henrique Rebęlo, Sérgio Soares, Ricardo Lima, Paulo Borba, Márcio Cornélio. JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. In Proc. of the 7th International Workshop on Specification and Verification of Component-Based Systems, (SAVCBS'08), FSE 2008, Atlanta, Georgia, USA, November 9-14, 2008. (accep. Rate = 40%)

  • Henrique Rebęlo, Ricardo Lima, Márcio Cornélio, Sérgio Soares. A JML compiler based on AspectJ. In Proc. of the 1st Internacional Conference on Software Testing, Verification, and Validation (ICST 2008), Lillehammer, Norway, April 9-11, 2008, pp. 541-544. (accep. Rate = 29%)

  • Henrique Rebęlo, Ricardo Lima, Márcio Cornélio, Sérgio Soares, Leopoldo Ferreira. Implementing Java Modeling Language Contracts using AspectJ. In Proc. of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Ceará, Brazil, March 16-20, 2008, pp. 228-233. (accep. Rate ~ 30%)

  • Alessandro Lima, Jairson Vitorino, Henrique Rebęlo. Buzzmonitor: A Tool For Measuring Word Of Mouth Level In On-Line Communities. In Proc. of the Internacional Conference on E-Commerce (IADIS 2005), Porto, Portugal, October 19-22, 2005.

 TECHNICAL REPORTS

 

 MASTER'S THESIS

 

 PUBLICATIONS IN PORTUGUESE

 

 

Last update: 07/17/2012 by Henrique Rebęlo