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
442018
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
332016
Preliminary steps towards modeling blockchain oriented software
H Rocha, S Ducasse
2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software …, 2018
232018
How Annotations are Used in Java: An Empirical Study.
H Rocha, MT Valente
SEKE, 426-431, 2011
222011
Microservices in practice: A survey study
M Viggiato, R Terra, H Rocha, MT Valente, E Figueiredo
arXiv preprint arXiv:1808.04836, 2018
192018
The influence factors on ethereum transaction fees
GA Pierro, H Rocha
2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software …, 2019
182019
Ethereum query language
S Bragagnolo, H Rocha, M Denker, S Ducasse
Proceedings of the 1st International Workshop on Emerging Trends in Software …, 2018
182018
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), 1-14, 2015
162015
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
92017
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
92013
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
SmartAnvil: Open-Source. Tool Suite for Smart Contract Analysis.
S Ducasse, H Rocha, S Bragagnolo, M Denker
Blockchain and Web 3.0: Social, Economic, and Technological Challenges 1, 2019
72019
Smartinspect: Smart contract inspection technical report
S Bragagnolo, H Rocha, M Denker, S Ducasse
72017
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
Presenting Tendermint: Idiosyncrasies, Weaknesses, and Good Practices
A Amoordon, H Rocha
2019 IEEE International Workshop on Blockchain Oriented Software Engineering …, 2019
52019
Test amplification in the pharo smalltalk ecosystem
M Abdi, H Rocha, S Demeyer
Proceedings IWST 2019 International Workshop on Smalltalk Technologies. ESUG, 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
VI Escola Regional de Banco de Dados (ERBD), 1-4, 2010
52010
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
42020
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
The system can't perform the operation now. Try again later.
Articles 1–20