Seguir
Henrique Rebêlo
Henrique Rebêlo
Professor of Computer Science, Universidade Federal de Pernambuco
Dirección de correo verificada de cin.ufpe.br - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20