Henrique Rebêlo

Cited by

	All	Since 2016
Citations	518	238
h-index	10	7
i10-index	13	4

200820092010201120122013201420152016201720182019202020213 8 19 21 19 65 78 62 50 50 59 46 32 1

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 LahiriPrincipal 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 Computer Science, Federal University of Rio Grande do Norte (UFRN), DIMApVerified email at dimap.ufrn.br
Hridesh RajanProfessor, Iowa State University, Dept. of Computer ScienceVerified email at acm.org
Mehdi BagherzadehAssistant Professor, Dept. 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. ZimmermanPrincipal Researcher, Galois, Inc.Verified 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 CastorUniversidade 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 International Conference on Computer Aided Verification, 712-717, 2012	174	2012
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	53	2013
Conditional equivalence M Kawaguchi, SK Lahiri, H Rebelo Microsoft, MSR-TR-2010-119, Tech. Rep, 2010	43	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	40	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	23	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	22	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	13	2014
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	13	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
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
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	10	2011
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	10	2008
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study H Rebêlo, R Lima, GT Leavens, MR CornéLio, A Mota, C Oliveira Science of Computer Programming 78 (8), 1137-1156, 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	8	2013
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	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
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	7	2009
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	7	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	6	2013

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

Upload PDF

Follow this author

Cited by

Co-authors