Henrique RebÍlo
Henrique RebÍlo
Professor of Computer Science, Universidade Federal de Pernambuco
Verified email at - Homepage
Cited by
Cited by
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
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
Conditional equivalence
M Kawaguchi, SK Lahiri, H Rebelo
Microsoft, MSR-TR-2010-119, Tech. Rep, 2010
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
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
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
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
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
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
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
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
Mutual summaries: Unifying program comparison techniques
C Hawblitzel, M Kawaguchi, SK Lahiri, H RebÍlo
This page intentionally left (not quite) empty, 40, 2011
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
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
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
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
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
Quantifying the effects of aspectual decompositions on design by contract modularization: A maintenance study
H Rebelo, R Lima, U Kulesza, M Ribeiro, Y Cai, R Coelho, C Sant'Anna, ...
International Journal of Software Engineering and Knowledge Engineering 23†…, 2013
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
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
The system can't perform the operation now. Try again later.
Articles 1–20