On-the-Fly and Non-invasive Extraction of Runtime Architectures Using Hierarchical Object Graphs. - Hugo de Brito; Henrique Rocha; Ricardo Terra; Marco Túlio Valente (SBCARS, 2010)

How Annotations are Used in Java: An Empirical Study. - Henrique Rocha; Marco Túlio Valente (SEKE, 2011)

On-the-fly extraction of hierarchical object graphs. - Hugo de Brito; Humberto T. Marques-Neto; Ricardo Terra; Henrique Rocha; Marco Túlio Valente (J. Braz. Comput. Soc., 2013)

Mining the impact of evolution categories on object-oriented metrics. - Henrique Rocha; César Couto; Cristiano Amaral Maffort; Rogel Garcia; Clarisse Simões; Leonardo Teixeira Passos; Marco Túlio Valente (Softw. Qual. J., 2013)

NextBug: a Bugzilla extension for recommending similar bugs. - Henrique Rocha; Guilherme de Oliveira; Humberto Marques-Neto; Marco Túlio Valente (J. Softw. Eng. Res. Dev., 2015)

Characterizing Bug Workflows in Mozilla Firefox. - Henrique Rocha; Guilherme de Oliveira; Marco Túlio Valente; Humberto Marques-Neto (SBES, 2016)

An Empirical Study on Recommendations of Similar Bugs. - Henrique Rocha; Marco Túlio Valente; Humberto Marques-Neto; Gail C. Murphy (SANER, 2016)

Quality-oriented Move Method Refactoring. - Christian Marlon Souza Couto; Henrique Rocha; Ricardo Terra (BENEVOL, 2017)

Hyper-linked communications: WebRTC enabled asynchronous collaboration. - Henrique Rocha; Ricardo Lopes Pereira (ICC, 2017)

Solidity Parsing Using SmaCC: Challenges and Irregularities. - Henrique Rocha; Stéphane Ducasse; Marcus Denker; Jason Lecerf (IWST, 2017)

DCL 2.0: modular and reusable specification of architectural constraints. - Henrique Rocha; Rafael Serapilha Durelli; Ricardo Terra; Sândalo Bessa; Marco Túlio Valente (J. Braz. Comput. Soc., 2017)

Ethereum Query Language. - Santiago Bragagnolo; Henrique Rocha; Marcus Denker; Stéphane Ducasse (WETSEB@ICSE, 2018)

Preliminary Steps Towards Modeling Blockchain Oriented Software. - Henrique Rocha; Stéphane Ducasse (WETSEB@ICSE, 2018)

A Quality-oriented Approach to Recommend Move Method Refactorings. - Christian Marlon Souza Couto; Henrique Rocha; Ricardo Terra (SBQS, 2018)

SmartInspect: solidity smart contract inspector. - Santiago Bragagnolo; Henrique Rocha; Marcus Denker; Stéphane Ducasse (IWBOSE@SANER, 2018)

Microservices in Practice: A Survey Study. - Markos Viggiato; Ricardo Terra; Henrique Rocha; Marco Túlio Valente; Eduardo Figueiredo 001 (CoRR, 2018)

Adopting Program Synthesis for Test Amplification. - Mehrdad Abdi; Henrique Rocha; Serge Demeyer (BENEVOL, 2019)

The influence factors on ethereum transaction fees. - Giuseppe Antonio Pierro; Henrique Rocha (WETSEB@ICSE, 2019)

GAP: Forecasting commit activity in git projects. - Alexandre Decan; Eleni Constantinou; Tom Mens; Henrique Rocha (J. Syst. Softw., 2020)

Challenges and Perils of Testing Database Manipulation Code. - Maxime Gobert 001; Csaba Nagy 001; Henrique Rocha; Serge Demeyer; Anthony Cleve (CAiSE, 2021)

Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits. - Serge Demeyer; Henrique Rocha; Darin Verheijke (ISoLA (2), 2022)

Blockchain-Oriented Software Variant Forks: A Preliminary Study. - Henrique Rocha; John Businge (SANER, 2022)

An exploratory study on solidity guards and ether exchange constructs. - Darin Verheijke; Henrique Rocha (WETSEB@ICSE, 2022)

Small-Amp: Test amplification in a dynamically typed language. - Mehrdad Abdi; Henrique Rocha; Serge Demeyer; Alexandre Bergel (Empir. Softw. Eng., 2022)

A user-oriented model for Oracles' Gas price prediction. - Giuseppe Antonio Pierro; Henrique Rocha; Stéphane Ducasse; Michele Marchesi; Roberto Tonelli (Future Gener. Comput. Syst., 2022)

Special Issue on Software Health of Software Ecosystems. - Eleni Constantinou; Dario Di Nucci; Raula Gaikovina Kula; Henrique Rocha (Sci. Comput. Program., 2022)

Comparing smart contract vulnerability detection tools. - Jarno Ottati; Giacomo Ibba; Henrique Rocha (BENEVOL, 2023)

How Developers Implement Property-Based Tests. - Arthur Lisboa Corgozinho; Marco Túlio Valente; Henrique Rocha (ICSME, 2023)

Snapshot Testing Dataset. - Emily Bui; Henrique Rocha (MSR, 2023)

Best practices of testing database manipulation code. - Maxime Gobert 001; Csaba Nagy 001; Henrique Rocha; Serge Demeyer; Anthony Cleve (Inf. Syst., 2023)

Snapshot testing in practice: Benefits and drawbacks. - Victor Pezzi Gazzinelli Cruz; Henrique Rocha; Marco Túlio Valente (J. Syst. Softw., 2023)

Results of Blockchain-Oriented Software Engineering 2024 Workshop: Speculations on Blockchain for Energy Communities management. - Roberto Tonelli; Andrea Bracciali; Henrique Rocha (SANER (Companion), 2024)

A test amplification bot for Pharo/Smalltalk. - Mehrdad Abdi; Henrique Rocha; Alexandre Bergel; Serge Demeyer (J. Comput. Lang., 2024)