Henrique Rocha
Henrique Rocha
Verified email at uantwerpen.be
Title
Cited by
Cited by
Year
SmartInspect: solidity smart contract inspector
S Bragagnolo, H Rocha, M Denker, S Ducasse
2018 International Workshop on Blockchain Oriented Software Engineering …, 2018
352018
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
262016
How Annotations are Used in Java: An Empirical Study.
H Rocha, MT Valente
SEKE, 426-431, 2011
182011
Ethereum query language
S Bragagnolo, H Rocha, M Denker, S Ducasse
Proceedings of the 1st International Workshop on Emerging Trends in Software …, 2018
132018
Preliminary steps towards modeling blockchain oriented software
H Rocha, S Ducasse
2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software …, 2018
122018
Microservices in Practice: A Survey Study
M Viggiato, R Terra, H Rocha, MT Valente, E Figueiredo
arXiv preprint arXiv:1808.04836, 2018
102018
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
102015
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
82017
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
82013
The influence factors on ethereum transaction fees
GA Pierro, H Rocha
2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software …, 2019
72019
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-27, 2013
72013
Open-Source Tool Suite for Smart Contract Analysis
S Ducasse, H Rocha, S Bragagnolo, M Denker, C Francomme
Blockchain and Web 3.0: Social, Economic, and Technological Challenges, 2019
62019
Smartinspect: Smart contract inspection technical report
S Bragagnolo, H Rocha, M Denker, S Ducasse
62017
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
62014
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), 1-25, 2017
32017
TerraER: Uma Ferramenta voltada ao Ensino do Modelo de Entidade-Relacionamento
HSC Rocha, R Terra
Escola Regional de Banco de Dados, 2010
32010
Test amplification in the pharo smalltalk ecosystem
M Abdi, H Rocha, S Demeyer
Proceedings of the 14th Edition of the International Workshop on Smalltalk …, 2019
22019
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
22018
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
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