Follow
Henrique Rebêlo
Henrique Rebêlo
Professor of Computer Science, Universidade Federal de Pernambuco
Verified email at cin.ufpe.br - Homepage
Title
Cited by
Cited by
Year
Symdiff: A language-agnostic semantic diff tool for imperative programs
SK Lahiri, C Hawblitzel, M Kawaguchi, H Rebêlo
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
2362012
Towards modularly comparing programs using automated theorem provers
C Hawblitzel, M Kawaguchi, SK Lahiri, H Rebêlo
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
712013
Conditional equivalence
M Kawaguchi, SK Lahiri, H Rebelo
Microsoft, MSR-TR-2010-119, Tech. Rep, 2010
492010
Implementing java modeling language contracts with aspectj
H Rebêlo, S Soares, R Lima, L Ferreira, M Cornélio
Proceedings of the 2008 ACM symposium on Applied computing, 228-233, 2008
422008
AspectJML: Modular specification and runtime checking for crosscutting contracts
H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the 13th international conference on Modularity, 157-168, 2014
302014
Optimizing JML features compilation in ajmlc using aspect-oriented refactorings
H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira
SBLP 9, 117-130, 2009
252009
Modularizing crosscutting contracts with AspectJML
H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the companion publication of the 13th international …, 2014
152014
Aspectj-based idioms for flexible feature binding
R Andrade, H Rebêlo, M Ribeiro, P Borba
2013 VII Brazilian Symposium on Software Components, Architectures and Reuse …, 2013
142013
Modular contracts with procedures, annotations, pointcuts and advice
H Rebêlo, R Lima, GT Leavens
SBLP’11: Proceedings of the 2011 Brazilian Symposium on Programming Languages, 2011
132011
Assessing idioms for implementing features with flexible binding times
R Andrade, M Ribeiro, V Gasiunas, L Satabin, H Rebêlo, P Borba
2011 15th European Conference on Software Maintenance and Reengineering, 231-240, 2011
132011
Modular aspect-oriented design rule enforcement with XPIDRs
H Rebelo, GT Leavens, RMF Lima, P Borba, M Ribeiro
Proceedings of the 12th workshop on Foundations of aspect-oriented languages …, 2013
122013
Mutual summaries: Unifying program comparison techniques
C Hawblitzel, M Kawaguchi, SK Lahiri, H Rebêlo
This page intentionally left (not quite) empty, 40, 2011
122011
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach
H Rebêlo, R Coelho, R Lima, GT Leavens, M Huisman, A Mota, F Castor
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs …, 2011
112011
Client-aware checking and information hiding in interface specifications with JML/Ajmlc
H Rebêlo, GT Leavens, RM Lima
Proceedings of the 2013 companion publication for conference on Systems …, 2013
92013
Quantifying the effects of aspectual decompositions on design by contract modularization: a maintenance study
H Rebêlo, R Lima, U Kulesza, M Ribeiro, Y Cai, R Coelho, C Sant'Anna, ...
International Journal of Software Engineering and Knowledge Engineering 23 …, 2013
92013
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study
H Rebêlo, R Lima, GT Leavens, M Cornélio, A Mota, C Oliveira
Science of Computer Programming 78 (8), 1137-1156, 2013
92013
Does aspectj provide modularity when implementing features with flexible binding times?
M Ribeiro, R Cardoso, P Borba, R Bonifácio, H Rebêlo
Third Latin American Workshop on Aspect-Oriented Software Development (LA …, 2009
92009
A JML compiler based on AspectJ
H Rebêlo, R Lima, M Cornélio, S Soares
2008 1st International Conference on Software Testing, Verification, and …, 2008
92008
Aspect-oriented programming reloaded
H Rebêlo, GT Leavens
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017
72017
The contract enforcement aspect pattern
HM Rebêlo, R Lima, U Kulesza, R Coelho, A Mota, M Ribeiro, JE Araújo
Proceedings of the 8th Latin American Conference on Pattern Languages of …, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20