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
412018
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
302016
How Annotations are Used in Java: An Empirical Study.
H Rocha, MT Valente
SEKE, 426-431, 2011
202011
Ethereum query language
S Bragagnolo, H Rocha, M Denker, S Ducasse
Proceedings of the 1st International Workshop on Emerging Trends in Software …, 2018
172018
Preliminary steps towards modeling blockchain oriented software
H Rocha, S Ducasse
2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software …, 2018
162018
Microservices in Practice: A Survey Study
M Viggiato, R Terra, H Rocha, MT Valente, E Figueiredo
arXiv preprint arXiv:1808.04836, 2018
152018
The influence factors on ethereum transaction fees
GA Pierro, H Rocha
2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software …, 2019
132019
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
112015
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
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
82013
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
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
52019
TerraER–an Academic Tool for ER Modeling
H Rocha, R Terra
Methods and Tools 1 (3), 38-41, 2013
52013
TerraER: Uma Ferramenta voltada ao Ensino do Modelo de Entidade-Relacionamento
HSC Rocha, R Terra
Escola Regional de Banco de Dados, 2010
52010
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
42017
Are the Gas Prices Oracle Reliable? A Case Study using the EthGasStation
GA Pierro, H Rocha, R Tonelli, S Ducasse
2020 IEEE International Workshop on Blockchain Oriented Software Engineering …, 2020
32020
Presenting Tendermint: Idiosyncrasies, Weaknesses, and Good Practices
A Amoordon, H Rocha
2019 IEEE International Workshop on Blockchain Oriented Software Engineering …, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20