Gustavo Rezende Silva

According to our database, Gustavo Rezende Silva authored at least 5 papers between 2017 and 2023.

Collaborative distances:

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

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

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

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2017

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

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017