Henrique Reblo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2008–2021
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICST | Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. | Leopoldo Teixeira, Breno Miranda, Henrique Reblo, Marcelo d'Amorim |
| 2015 | ICSE | Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets. | Pedro Maia, Jorge Mendes, Jcome Cunha, Henrique Reblo, Joo Saraiva |
| 2013 | CADE | Towards Modularly Comparing Programs Using Automated Theorem Provers. | Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Reblo |
| 2013 | OOPSLA | Identifying and specifying crosscutting contracts with AspectJML. | Henrique Reblo |
| 2013 | OOPSLA | Client-aware checking and information hiding in interface specifications with JML/ajmlc. | Henrique Reblo, Gary T. Leavens, Ricardo Massa Ferreira Lima |
| 2012 | CAV | SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. | Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Reblo |
| 2012 | SEKE | Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. | Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Csar A. L. de Oliveira, Mrcio Ribeiro |
| 2012 | SEKE | Checking Contracts for AOP using XPIDRs. | Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Csar A. L. de Oliveira, Mrcio Ribeiro |
| 2011 | ECOOP | On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. | Henrique Reblo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor |
| 2011 | OOPSLA | Towards client-aware interface specifications. | Henrique Reblo |
| 2011 | SEKE | Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. | Henrique Reblo, Ricardo Massa Ferreira Lima, Uir Kulesza, Cludio Sant'Anna, Roberta Coelho, Alexandre Mota, Mrcio Ribeiro, Csar A. L. de Oliveira |
| 2010 | ICSoft | An Aspect-based Approach for Concurrent Programming using CSP Features. | Jos Elias Arajo, Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima |
| 2008 | ICST | A JML Compiler Based on AspectJ. | Henrique Reblo, Ricardo Massa Ferreira Lima, Mrcio Cornlio, Srgio Soares |
| 2008 | SAC | Implementing Java modeling language contracts with AspectJ. | Henrique Reblo, Srgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Mrcio Cornlio |