My Talks

  INVITED TALKS

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

 PRESENTATION SLIDES

• 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.
  [.pdf]


• 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.
  [.pdf]


• 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.
  [.pdf]


• 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.
  [.pdf]


• Henrique Rebêlo
  A JML compiler based on AspectJ. 1st International Conference on Software Testing, Verification and Validation, April 2008, Lillehammer, Norway.
  [.pdf]


• Henrique Rebêlo
  Implementing Java Modeling Language Contracts with AspectJ. 23rd ACM Symposium on Applied Computing, March 2008, Fortaleza, Brazil.
  [.pdf]