Henrique Rebêlo

Cited by

	All	Since 2018
Citations	621	227
h-index	12	6
i10-index	13	4

2009201020112012201320142015201620172018201920202021202220238 20 21 18 66 79 60 57 55 57 48 30 38 33 21

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á KuleszaAssociate Professor of Software Engineering, Federal University of Rio Grande do Norte (UFRN), DIMApVerified email at dimap.ufrn.br
Hridesh RajanDept. Chair of Computer Science (AAAS Fellow, ACM Distinguished Scientist), Iowa State UniversityVerified email at acm.org
Mehdi BagherzadehAssociate Professor of Computer Science, Oakland UniversityVerified email at oakland.edu
Thomas ThümProfessor of Computer Science, University of Ulm, GermanyVerified email at uni-ulm.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 Twente and Universidade Federal de PernambucoVerified email at cin.ufpe.br
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	225	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	70	2013
Conditional equivalence M Kawaguchi, SK Lahiri, H Rebelo Microsoft, MSR-TR-2010-119, Tech. Rep, 2010	48	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	29	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
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
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	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	10	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
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	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
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	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