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