| 2026 | COMPSAC | A Graphical Tool for Provenance Template Authoring: Visual Modeling and Automated PROV-N Generation. | Marcos Alves Vieira, Srgio T. Carvalho, Thamer Horbylon Nascimento |
| 2025 | Interact | Player Experience Evaluation in Digital Games: A Multidimensional Model. | Daniela Fernandes Do Nascimento, Gislainy Crisostomo Velasco, Bruna Barbosa, Srgio T. Carvalho, Luciana de Oliveira Berretta |
| 2024 | MODELSWARD | MDE-Based Graphical Tool for Modeling Data Provenance According to the W3C PROV Standard. | Marcos Alves Vieira, Srgio T. Carvalho |
| 2022 | UCC | Use of multilevel resource clustering for service placement in fog computing environments. | Helberth Borelli, Fbio M. Costa, Srgio T. Carvalho |
| 2018 | EATIS | Workflow Management Platform for Orchestration of Ubiquitous Care Plan Services. | Eliseu Germano, Bruno Silvestre, Hugo A. Ribeiro, Srgio T. Carvalho |
| 2013 | SEKE | Runtime Monitoring and Auditing of Self-Adaptive Systems (S). | Daniel H. Carmo, Srgio T. Carvalho, Leonardo Gresta Paulino Murta, Orlando Loques |
| 2012 | ICSE | Variabilities as first-class elements in product line architectures of homecare systems. | Srgio T. Carvalho, Leonardo Murta, Orlando Loques |