Petri Net Inside RFID Database Integrated with RFID Indoor Positioning System for Mobile Robots Position Control. - José Jean-Paul Zanlucchi de Souza Tavares; Rodrigo Hiroshi Murofushi; Lucas Henriques Silva; Gustavo Rezende Silva (PNSE @ Petri Nets, 2017)

A Formal Model of Metacontrol in Maude. - Juliane Päßler; Esther Aguado; Gustavo Rezende Silva; Silvia Lizeth Tapia Tarifa; Carlos Hernández Corbato; Einar Broch Johnsen (ISoLA (1), 2022)

MROS: A framework for robot self-adaptation. - Gustavo Rezende Silva; Nadia Hammoudeh Garcia; Darko Bozhinoski; Harshavardhan Deshpande; Mario Garzon Oviedo; Andrzej Wasowski; Mariano Ramírez Montero; Carlos Hernández Corbato (ICSE Companion, 2023)

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. - Gustavo Rezende Silva; Juliane Päßler; Jeroen Zwanepol; Elvin Alberts; Silvia Lizeth Tapia Tarifa; Ilias Gerostathopoulos; Einar Broch Johnsen; Carlos Hernández Corbato (SEAMS, 2023)

Runtime Architecture and Task Plan Co-Adaptation for Autonomous Robots with Metaplan. - Jeroen M. Zwanepol; Gustavo Rezende Silva; Carlos Hernández Corbato (CoRR, 2023)

ROSA: a knowledge-based solution for robot self-adaptation. - Gustavo Rezende Silva; Juliane Päßler; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen; Carlos Hernández Corbato (Frontiers Robotics AI, 2025)