No photo of G. Rezende Silva

G. Rezende Silva

 https://orcid.org/0000-0001-5253-9241

Fingerprint

Dive into the research topics where G. Rezende Silva is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Conference contribution

  • MROS: A framework for robot self-adaptation

    Silva, G. R., Garcia, N. H., Bozhinoski, D., Deshpande, H., Oviedo, M. G., Wasowski, A., Montero, M. R. & Corbato, C. H., 2023, Proceedings of the 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion, ICSE-Companion 2023. IEEE, p. 151-155

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    34 Downloads (Pure)

  • SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles

    Silva, G. R., Pasler, J., Zwanepol, J., Alberts, E., Lizeth Tapia Tarifa, S., Gerostathopoulos, I., Johnsen, E. B. & Corbato, C. H., 2023, Proceedings - 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2023. IEEE, p. 181-187

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    6 Citations (Scopus)
    34 Downloads (Pure)

  • A Formal Model of Metacontrol in Maude

    Päßler, J., Aguado, E., Silva, G. R., Tarifa, S. L. T., Corbato, C. H. & Johnsen, E. B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Proceedings of the 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 575-596 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    38 Downloads (Pure)