Concepedia

Henrique Rebêlo

HR

Statistics

Publications

4

Citations

89

H-Index

4

Active since

2008

Affiliations

Universidade Federal de Pernambuco(Current)

University of Central Florida

Henrique Rebêlo is an author at Universidade Federal de Pernambuco specializing in system software, formal methods, and formal verification.

Top concepts

Publications per year

2008–2014

4

Publications

4

Conditional equivalence

Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo · 2010 · 36 citations

Implementing Java modeling language contracts with AspectJ

Henrique Rebêlo, Sérgio Soares, Ricardo Lima et al. · 2008 · 24 citations

, , +21

AspectJML

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh et al. · 2014 · 19 citations

, , +15

Modular aspect-oriented design rule enforcement with XPIDRs

Henrique Rebêlo, Gary T. Leavens, Ricardo Lima et al. · 2013 · 10 citations

, , +19

1–4 of 4