Papers

Home

Papers

Talks

Projects

CV

 

 

See also Microsoft Academic, DBLP, ACM(author page; keyword search), Google Scholar.

  Selected Publications

  • Leopoldo Teixeira, Breno Miranda, Henrique Rebęlo, and Marcelo d'Amorim Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification. In Proc. of the IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), Porto de Galinhas, Virtual [due to COVID-19], April 12-16, 2021.

  • Henrique Rebęlo and Gary T. Leavens. Aspect-Oriented Programming Reloaded. In Proceedings of SBLP 2017.

  • Henrique Rebęlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, and Thomas Thüm. AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. In Proc. of the 13th International Conference on Modularity (Modularity 2014), Lugano, Switzerland, April 22-26, 2014.

  • Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebęlo. Towards Modularly Comparing Programs using Automated Theorem Provers. In Proc. of the 24th International Conference on Automated Deduction (CADE-24 2013), Lake Placid, New York, USA, June 9-14, 2013, pp. 282-299.

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

  • Henrique Rebęlo, Ricardo Lima, Márcio Cornélio, Sérgio Soares. A JML compiler based on AspectJ. In 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. In 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%)

  • More...

 

 

Last update: 10/26/2021 by Henrique Rebęlo