Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. - Adriano Gomes; Alexandre Mota 001; Augusto Sampaio 001; Felipe A. S. Ferri; Julio Buzzi (ISoLA (1), 2010)

Evolving a Safe System Design Iteratively. - Alexandre Mota 001; Joabe Jesus; Adriano Gomes; Felipe A. S. Ferri; Edson H. Watanabe (SAFECOMP, 2010)

Constructive model-based analysis for safety assessment. - Adriano Gomes; Alexandre Mota 001; Augusto Sampaio 001; Felipe A. S. Ferri; Edson H. Watanabe (Int. J. Softw. Tools Technol. Transf., 2012)

Pah Pum: A project management tool based on TAKT PM. - Deyvson da Silva; Adriano Gomes; Rafael Macieira; Emanoel C. G. F. Silva; Sérgio Soares (SBES, 2020)

Effective Agile Contracts Framework for Software Innovation Projects. - Adriano Gomes (EASE, 2023)

Predicting Employee Attrition in a Multi-company Setting. - Adriano Gomes; Luís M. Silva; João Pedro Cruz (IDEAL (1), 2024)