Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems. - Davi Monteiro Barbosa; Rómulo Gadelha de Moura Lima; Paulo Henrique Mendes Maia; Evilásio Costa Junior (SEAMS@ICSE, 2017)

An Analysis of the Empirical Software Engineering over the last 10 Editions of Brazilian Software Engineering Symposium. - Davi Monteiro Barbosa; Rômulo Gadelha; Thayse Alencar; Bruno Neves; Italo Yeltsin; Thiago Gomes; Mariela I. Cortés (SBES, 2017)

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact). - Davi Monteiro Barbosa; Rómulo Gadelha de Moura Lima; Paulo Henrique Mendes Maia; Evilásio Costa Junior (Dagstuhl Artifacts Ser., 2017)

Beethoven: An Event-Driven Lightweight Platform for Microservice Orchestration. - Davi Monteiro Barbosa; Rômulo Gadelha; Paulo Henrique M. Maia; Lincoln S. Rocha; Nabor C. Mendonça (ECSA, 2018)

Building orchestrated microservice systems using declarative business processes. - Davi Monteiro Barbosa; Paulo Henrique M. Maia; Lincoln S. Rocha; Nabor C. Mendonça (Serv. Oriented Comput. Appl., 2020)

Scen@rist: an approach for verifying self-adaptive systems using runtime scenarios. - Rômulo Gadelha; Lucas Vieira; Davi Monteiro Barbosa; Felipe Vidal; Paulo Henrique M. Maia (Softw. Qual. J., 2020)

Adaptive Observability for Forensic-Ready Microservice Systems. - Davi Monteiro Barbosa; Yijun Yu; Andrea Zisman; Bashar Nuseibeh (IEEE Trans. Serv. Comput., 2023)