Thiago M. Castro

According to our database, Thiago M. Castro authored at least 8 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Pierre-Yves Schobbens, Gilles Perrouin

Expert Syst. Appl., April, 2023

2021

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

2020

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.

Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

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

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

2017

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

2015

NeoIDL: A Domain Specific Language for Specifying REST Contracts Detailed Design and Extended Evaluation.

Lucas Lima, Rodrigo Bonifácio, Edna Dias Canedo, Thiago M. Castro, Ricardo Fernandes, Alisson Palmeira, Uirá Kulesza

Int. J. Softw. Eng. Knowl. Eng., 2015

NeoIDL: A Domain-Specific Language for Specifying REST Services.

Rodrigo Bonifácio, Thiago M. Castro, Ricardo Fernandes, Alisson Palmeira, Uirá Kulesza

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015