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

  Selected Publications

  • 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, 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:
09/29/2017 by Henrique Rebęlo