My Talks

  INVITED TALKS

• Henrique Rebêlo
  Assessing the Impact of Aspects on Design By Contract Effort. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science, July 14, 2011, Florida, USA. [.pdf]
• Henrique Rebêlo
  AOP Framed!. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science, November 3, 2009, Florida, USA. [.pdf]
• Henrique Rebêlo
  An Aspect-Oriented Approach to implement JML Features. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science, November 17, 2008, Florida, USA. [.pdf]

  LIGHTNING TALKS

• Henrique Rebêlo
  Refactoring Contracts using Aspects: Is it Always Worthwhile?. Lightning Talk in Modularity In Systems and Software (MISS) Workshop at AOSD'11, March 22, 2011, Porto de Galinhas, PE, Brazil. [.pdf]

 PRESENTATION SLIDES

• Henrique Rebêlo
  Modular Contracts with Procedures, Annotations, Pointcuts and Advice. XV Brazilian Symposium on Programming Languages, September, 2011, Sao Paulo, Brazil.
  
• Henrique Rebêlo
  Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. 23rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2011, July 2011, Miami Beach, USA.
  
• Henrique Rebêlo
  The Contract Enforcement Aspect Pattern. 8th Latin American Conference on Pattern Languages of Programming, SugarLoafPLoP 2010, September 23-26, 2010, Salvador, Brazil.
  
• Henrique Rebêlo
  Modularizing Variabilities with CaesarJ Collaboration Interfaces. III Workshop on Assessment of Contemporary Modularization Techniques, ACoM´2009, OOPSLA 2009, October 2009, Orlando, USA.
  
• Henrique Rebêlo
  Guiding the use of AspectJ Advice: An Initial Assessment. III Latin American Workshop on Aspect-Oriented Software Development, LA-WASP´2009, SBES 2009, October 2009, Fortaleza, Ceará – Brazil.
  
• Henrique Rebêlo
  Optimizing JML Feature Compilation in Ajmlc using Aspect-Oriented Refactorings. XIII Brazilian Symposium on Programming Languages, August, 2009, Gramado, Rio Grande do Sul, Brazil.
  
• Henrique Rebêlo
  JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. 7th International Workshop on Specification and Verification of Component-Based Systems, 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, November 2008, Atlanta, USA.
  
• Henrique Rebêlo
  A JML compiler based on AspectJ. 1st International Conference on Software Testing, Verification and Validation, April 2008, Lillehammer, Norway.
  
• Henrique Rebêlo
  Implementing Java Modeling Language Contracts with AspectJ. 23rd ACM Symposium on Applied Computing, March 2008, Fortaleza, Brazil.