Publications

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, 2012. (Submitted)

  • 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

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

  • Henrique Rebêlo, Ricardo Lima, and Gary T. Leavens. Modular Contracts with Procedures, Annotations, Pointcuts and Advice. 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 Proceedings 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. (conf. accep. Rate = 31%)

  • Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba. Assessing Idioms for Implementing Features with Flexible Binding Times. 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. 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. 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. Proc. 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM.09), OOPSLA 2009, Orlando, Florida, USA, 26 October 2009.

  • 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. 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, Ricardo Lima, Márcio Cornélio, Sérgio Soares. A JML compiler based on AspectJ. 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. 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. Proc. of the Internacional Conference on E-Commerce (IADIS 2005), Porto, Portugal, October 19-22, 2005.

  POSTERS

 

 TECHNICAL REPORTS

 

 MASTER'S THESIS

 

 PUBLICATIONS IN PORTUGUESE

 

 

Last update: 10/10/2011 by Henrique Rebêlo