Papers

Home

Papers

Talks

Projects

CV

 

 

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

  JOURNAL PAPERS

  • 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. (accepted to appear)

  • 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, 2012. (accepted to appear)

  CONFERENCE and WORKSHOP PAPERS

  • 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. (accepted to appear).

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

  • 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