Henrique Rocha
Henrique Rocha
Verified email at uantwerpen.be
TitleCited byYear
SmartInspect: solidity smart contract inspector
S Bragagnolo, H Rocha, M Denker, S Ducasse
2018 International Workshop on Blockchain Oriented Software Engineering …, 2018
222018
An empirical study on recommendations of similar bugs
H Rocha, MT Valente, H Marques-Neto, GC Murphy
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
162016
How Annotations are Used in Java: An Empirical Study.
H Rocha, MT Valente
SEKE, 426-431, 2011
152011
On-the-fly extraction of hierarchical object graphs
H de Brito, HT Marques-Neto, R Terra, H Rocha, MT Valente
Journal of the Brazilian Computer Society 19 (1), 15, 2013
82013
Ethereum query language
S Bragagnolo, H Rocha, M Denker, S Ducasse
Proceedings of the 1st International Workshop on Emerging Trends in Software …, 2018
72018
Solidity parsing using smacc: Challenges and irregularities
H Rocha, S Ducasse, M Denker, J Lecerf
Proceedings of the 12th edition of the International Workshop on Smalltalk …, 2017
72017
NextBug: a Bugzilla extension for recommending similar bugs
H Rocha, G De Oliveira, H Marques-Neto, MT Valente
Journal of Software Engineering Research and Development 3 (1), 3, 2015
72015
Preliminary steps towards modeling blockchain oriented software
H Rocha, S Ducasse
2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software …, 2018
62018
Microservices in Practice: A Survey Study
M Viggiato, R Terra, H Rocha, MT Valente, E Figueiredo
arXiv preprint arXiv:1808.04836, 2018
52018
Smartinspect: Smart contract inspection technical report
S Bragagnolo, H Rocha, M Denker, S Ducasse
52017
Mining the impact of evolution categories on object-oriented metrics
H Rocha, C Couto, C Maffort, R Garcia, C Simoes, L Passos, MT Valente
Software Quality Journal 21 (4), 529-549, 2013
52013
Nextbug: A tool for recommending similar bugs in open-source systems
H Rocha, G Oliveira, H Maques-Neto, MT Valente
V Brazilian Conference on Software: Theory and Practice–Tools Track (CBSoft …, 2014
32014
TerraER: Uma Ferramenta voltada ao Ensino do Modelo de Entidade-Relacionamento
HSC Rocha, R Terra
VI Escola Regional de Banco de Dados (ERBD), 1-4, 2010
32010
Smartanvil: Open-source tool suite for smart contract analysis
S Ducasse, H Rocha, S Bragagnolo, M Denker, C Francomme
22019
DCL 2.0: modular and reusable specification of architectural constraints
H Rocha, RS Durelli, R Terra, S Bessa, MT Valente
Journal of the Brazilian Computer Society 23 (1), 12, 2017
22017
Desenvolvimento de um sistema de captura de movimento de baixo custo
RR Coelho, DR Coelho, HSC Rocha, GG Cunha, PEC da COPPE
Symposium of Virtual and Augmented Reality, 2011
22011
Uma abordagem para recuperação da arquitetura dinâmica de sistemas de software
H Alves, H Rocha, R Terra, MT Valente
IV Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de …, 2010
22010
The influence factors on ethereum transaction fees
GA Pierro, H Rocha
2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software …, 2019
12019
A Quality-oriented Approach to Recommend Move Method Refactorings
CMS Couto, H Rocha, R Terra
Proceedings of the 17th Brazilian Symposium on Software Quality, 11-20, 2018
12018
Quality-oriented Move Method Refactoring
CMS Couto, H Rocha, R Terra
12017
The system can't perform the operation now. Try again later.
Articles 1–20