Universidade Federal de Pernambuco Centro de Informática da UFPE University of Central Florida
  Home Projects Our Team      

About Us

Publications

Talks

Downloads

Related Links

 

 

Publications

Papers

  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%)
    [Abstract] [.pdf] [.bib]

 

  2008

  • 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. 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%)
    [Abstract] [.pdf] [.bib]

  • 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%)
    [Abstract] [.pdf] [.bib]

  • 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%)
    [Abstract] [.pdf] [.bib]

 

 TECHNICAL REPORTS

  • 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 Programming Laws: An Empirical Study. Technical report CS-TR-10-01, School of Electrical Engineering and Computer Science, University of Central Florida, February 2010.
    [Abstract] [.pdf] [.bib]

  • 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. Technical report CS-TR-09-05, School of Electrical Engineering and Computer Science, University of Central Florida, April 2009.
    [Abstract] [.pdf] [.bib]

 

 MASTER'S THESIS

  • Henrique Rebęlo
    Implementing JML Contracts with AspectJ
    Master's Thesis, Departament of Computing and Systems, State University of Pernambuco, Brazil, May 2008.
    [Abstract] [.pdf][.bib]

Centro de Informática UFPE
Cidade Universitária - CEP 50740-540
Recife/PE - Brazil
Tel - +55 (81) 2126 8430 ext. 4770

Contact Us