publications

Journal Articles

2025

  1. EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection
    Momina Rizwan, Christoph Reichenbach, Ricardo Caldas, Matthias Mayr, and Volker Krueger
    Frontiers in Robotics and AI, 2025
  2. Different approaches for testing body sensor network applications
    Samira Silva, Ricardo Caldas, Patrizio Pelliccione, and Antonia Bertolino
    Journal of Systems and Software, 2025

2024

  1. A driver-vehicle model for ADS scenario-based testing
    Rodrigo Queiroz, Divit Sharma, Ricardo Caldas, Krzysztof Czarnecki, Sergio Garcı́a, and 2 more authors
    IEEE Transactions on Intelligent Transportation Systems, 2024
  2. Runtime Verification and Field-based Testing for ROS-based Robotic Systems
    Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Rodrigues, and 1 more author
    IEEE Transactions on Software Engineering, 2024
  3. Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
    João Paulo Costa Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, and 2 more authors
    IEEE Software, 2024

2022

  1. An architecture for mission coordination of heterogeneous robots
    Gabriel Rodrigues, Ricardo Caldas, Gabriel Araujo, Vicente de Moraes, Genaína Rodrigues, and 1 more author
    Journal of Systems and Software, 2022

Conference Proceedings

2025

  1. Towards Adaptable and Uncertainty-Aware Behavior Trees
    Mehran Rostamnia, Gianluca Filippone, Ricardo Caldas, and Patrizio Pelliccione
    In 2025 IEEE/ACM 7th International Workshop on Robotics Software Engineering (RoSE), 2025

2023

  1. EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
    Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, and Matthias Mayr
    In 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE), 2023

2021

  1. RoboMAX: Robotic Mission Adaptation eXemplars
    Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, and 8 more authors
    In 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2021
  2. Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
    Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos, Patrizio Pelliccione, Danny Weyns, and 1 more author
    In 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Sep 2021
  3. Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
    Eric Bernd Gil, Ricardo Caldas, Arthur Rodrigues, Gabriel Levi Gomes Silva, Genaína Nunes Rodrigues, and 1 more author
    In 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2021

2020

  1. A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
    Ricardo Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaı́na Nunes Rodrigues, Thomas Vogel, and 1 more author
    In Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, May 2020

2019

  1. Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
    Gabriela Félix Solano, Ricardo Caldas, Genaína Nunes Rodrigues, Thomas Vogel, and Patrizio Pelliccione
    In 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2019

2018

  1. A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
    Arthur Rodrigues, Ricardo Caldas, Genaı́na Nunes Rodrigues, Thomas Vogel, and Patrizio Pelliccione
    In Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, Gothenburg, Sweden, May 2018

Others

2024

  1. Search-based Trace Diagnostic
    Gabriel Araujo, Ricardo Caldas, Federico Formica, Genaı́na Rodrigues, Patrizio Pelliccione, and 1 more author
    2024
  2. Towards an Engineering Discipline to Resilient Cyber-Physical Systems
    Ricardo Caldas
    2024

Worldmap of co-authoring