Skip to main content
Info for…

Explore Greyhound Nation

Department of Computer Science

Henrique Rocha, Ph.D.

Assistant Professor
Headshot

Office Hours

Walk-in or by appointment. Virtual office hours on zoom by appointment only. 

Education

  • Ph.D., Computer Science, UFMG, Brazil, 2016.
  •  M.Sc., Electrical Engineering, Pontifical Catholic University of Minas Gerais, Brazil, 2006.
  • B.S., Computer Science, Pontifical Catholic University of Minas Gerais, Brazil, 2003.

Research Experience

  • PostDoc, Inria Lille Nord Europe, France, 2017-2018.
  • PostDoc, University of Antwerp, Belgium, 2019-2021.

Courses Taught

  •  CS 482 - Software Engineering
  •  CS 496 - Senior Project
  •  CS 456 - Web Programming

Publications

  • H. Rocha, M. T. Valente, H. Marques-Neto and G. C. Murphy, "An Empirical Study on Recommendations of Similar Bugs," 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016, pp. 46-56, doi: 10.1109/SANER.2016.87. Paper available on http://www.dcc.ufmg.br/~mtov/pub/2016-saner-nextbug.pdf
  • S. Bragagnolo, H. Rocha, M. Denker and S. Ducasse, "SmartInspect: Solidity Smart Contract Inspector," 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 2018, pp. 9-18, doi: 10.1109/IWBOSE.2018.8327566. Paper available on https://hal.inria.fr/hal-01831075/document
  • G. A. Pierro, H. Rocha, S. Ducasse, M. Marchesi, R. Tonelli, "A user-oriented model for Oracles’ Gas price prediction", Future Generation Computer Systems, Volume 128, 2022, pp. 142-157, ISSN 0167-739X, doi: 10.1016/j.future.2021.09.021. Paper available on https://hal.inria.fr/hal-03427370/document
  • M. Gobert, C. Nagy, H. Rocha, S. Demeyer, A. Cleve, "Challenges and Perils of Testing Database Manipulation Code". 33rd International Conference on Advanced Information Systems Engineering (CAiSE). Springer, Cham. 2022, doi: 10.1007/978-3-030-79382-1_14. Paper available on https://drive.google.com/file/d/16N-IDNjuMJ3tyemNfqOQcDIQymSY13Fu/view
  • M. Viggiato, R. Terra, H. Rocha, M. T. Valente, E. Figueiredo, "Microservices in Practice: A Survey Study", VI Workshop on Software Visualization, Evolution and Maintenance (VEM), 2018. Paper available on https://arxiv.org/pdf/1808.04836 

Areas of Specialization

  •  Empirical Software Engineering
  •  Software Testing
  •  Blockchain-Oriented Software Engineering
  •  Microservices and Service-Oriented Architecture
  •  Software Maintenance