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
International Conference on Computer Aided Verification, 712-717, 2012
1942012
Towards modularly comparing programs using automated theorem provers
C Hawblitzel, M Kawaguchi, SK Lahiri, H RebÍlo
International Conference on Automated Deduction, 282-299, 2013
572013
Conditional equivalence
M Kawaguchi, SK Lahiri, H Rebelo
Microsoft, MSR-TR-2010-119, Tech. Rep, 2010
462010
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
402008
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
252014
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
222009
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
132014
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
132013
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
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
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
112013
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
112011
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
102011
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
102008
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
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
82013
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
82009
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
JML and aspects: The benefits of instrumenting JML features with AspectJ
H RebÍlo, S Soares, R Lima, P Borba, M Cornťlio
Seventh International Workshop on Specification and Verification of†…, 2008
72008
Aspect-oriented programming reloaded
H RebÍlo, GT Leavens
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017
62017
The system can't perform the operation now. Try again later.
Articles 1–20