Security Threats in Cloud Computing Models: Domains and Proposals. - Carlo Marcelo Revoredo da Silva; Jose Lutiano Costa da Silva; Ricardo Batista Rodrigues; Glaucia Melissa Medeiros Campos; Leandro Marques Nascimento; Vinicius Cardoso Garcia (IEEE CLOUD, 2013)

A Survey of Formalization Approaches to Service Composition. - Glaucia Melissa Medeiros Campos; Nelson Souto Rosa; Luís Ferreira Pires (IEEE SCC, 2014)

A Survey of Cost Accounting in Service-Oriented Computing. - Robson Wagner Albuquerque de Medeiros; Nelson Souto Rosa; Glaucia Melissa Medeiros Campos; Luís Ferreira Pires (SERVICES, 2014)

Adaptive Service Composition Based on Runtime Verification of Formal Properties. - Glaucia Melissa Medeiros Campos; Nelson Souto Rosa; Luís Ferreira Pires (HICSS, 2017)

Using software architecture principles and lightweight formalisation to build adaptive middleware. - Nelson S. Rosa; Glaucia Melissa Medeiros Campos; David Cavalcanti 001 (ARM@Middleware, 2017)

An adaptive middleware in Go. - Nelson S. Rosa; Glaucia Melissa Medeiros Campos; David Cavalcanti 001 (ARM@Middleware, 2018)

Lightweight formalisation of adaptive middleware. - Nelson S. Rosa; Glaucia Melissa Medeiros Campos; David Junio Mota Cavalcanti (J. Syst. Archit., 2019)

Adaptive middleware in go - a software architecture-based approach. - Nelson Souto Rosa; David Cavalcanti 001; Glaucia Melissa Medeiros Campos; Andre Silva (J. Internet Serv. Appl., 2020)