Henrique Rebêlo

Cited by

	All	Since 2020
Citations	658	162
h-index	12	4
i10-index	13	3

200920102011201220132014201520162017201820192020202120222023202420258 19 22 19 67 78 62 51 55 57 49 33 38 42 28 19 2

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)Verified email at cin.ufpe.br
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Márcio RibeiroProfessor - Computer Science - Federal University of AlagoasVerified email at ic.ufal.br
Alexandre MotaLecturer of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Paulo BorbaFederal University of PernambucoVerified email at cin.ufpe.br
Sergio SoaresProfessor Associado de Ciência da Computação, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Cesar A. L. OliveiraInter-American Development BankVerified email at iadb.org
Rodrigo AndradeUniversidade Federal do Agreste de PernambucoVerified email at ufape.edu.br
Uirá KuleszaProfessor of Software Engineering & Computer Science, UFRN (Natal, Brazil)Verified email at dimap.ufrn.br
Hridesh RajanDean, Tulane University School of Science and EngineeringVerified email at acm.org
Mehdi BagherzadehAssociate Professor of Computer Science, Oakland UniversityVerified email at oakland.edu
Thomas ThümProfessor, TU Braunschweig, GermanyVerified email at tu-braunschweig.de
Daniel M. ZimmermanSenior Staff Research Scientist, CertiKVerified email at acm.org
Roberta CoelhoProfessor of Computer Science, Federal University of Rio Grande do NorteVerified email at dimap.ufrn.br
Claudio Sant'AnnaFederal University of BahiaVerified email at dcc.ufba.br
Fernando CastorUniversity of TwenteVerified email at utwente.nl
Rodrigo BonifacioComputer Science Department, University of BrasiliaVerified email at cic.unb.br
Marieke HuismanVerified email at ewi.utwente.nl
Yuanfang CaiProfessor of Computer Science, Drexel UniversityVerified email at cs.drexel.edu

Henrique Rebêlo

Professor of Computer Science, Universidade Federal de Pernambuco

Verified email at cin.ufpe.br - Homepage

Programming Languages Modularity Software Engineering


Title Sort by citations Sort by year Sort by 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	255	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	71	2013
Conditional equivalence M Kawaguchi, SK Lahiri, H Rebelo Microsoft, MSR-TR-2010-119, Tech. Rep, 2010	50	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	42	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	30	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	25	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	15	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	14	2013
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	14	2011
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	13	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	12	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	12	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	11	2011
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	9	2013
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	9	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	9	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	9	2008
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	8	2013
Aspect-oriented programming reloaded H Rebêlo, GT Leavens Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017	7	2017
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	7	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors