NeoIDL: A Domain-Specific Language for Specifying REST Services. - Rodrigo Bonifácio; Thiago M. Castro; Ricardo Fernandes; Alisson Palmeira; Uirá Kulesza (SEKE, 2015)

NeoIDL: A Domain Specific Language for Specifying REST Contracts Detailed Design and Extended Evaluation. - Lucas Lima 004; Rodrigo Bonifácio; Edna Dias Canedo; Thiago M. Castro; Ricardo Fernandes; Alisson Palmeira; Uirá Kulesza (Int. J. Softw. Eng. Knowl. Eng., 2015)

Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain. - Leonardo Pessoa; Paula Fernandes; Thiago M. Castro; Vander Alves; Genaína Nunes Rodrigues; Hervaldo Sampaio Carvalho (Inf. Softw. Technol., 2017)

Feature-family-based reliability analysis of software product lines. - André Lanna; Thiago M. Castro; Vander Alves; Genaína Nunes Rodrigues; Pierre-Yves Schobbens; Sven Apel (Inf. Softw. Technol., 2018)

All roads lead to Rome: Commuting strategies for product-line reliability analysis. - Thiago M. Castro; André Lanna; Vander Alves; Leopoldo Teixeira; Sven Apel; Pierre-Yves Schobbens (Sci. Comput. Program., 2018)

A Machine-Verified Theory of commuting strategies for product-line reliability analysis - Thiago M. Castro (2019)

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. - Thayonara Alves; Leopoldo Teixeira; Vander Alves; Thiago M. Castro (SBMF, 2020)

A Formal Framework of Software Product Line Analyses. - Thiago M. Castro; Leopoldo Teixeira; Vander Alves; Sven Apel; Maxime Cordy; Rohit Gheyi (ACM Trans. Softw. Eng. Methodol., 2021)

Providing command and control agility: A software product line approach. - Junier Caminha Amorim; Eduardo Lemos Rocha; Luigi Minardi; Vander Alves; Edison Pignaton de Freitas; Thiago M. Castro; Moussa Amrani; James Ortiz 001; Pierre-Yves Schobbens; Gilles Perrouin (Expert Syst. Appl., 2023)