publications

2024

  1. A driver-vehicle model for ADS scenario-based testing
    Rodrigo Queiroz, Divit Sharma, Ricardo Caldas, and 4 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, and 3 more authors
    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, and 4 more authors
    IEEE Software, 2024
  4. Search-based Trace Diagnostic
    Gabriel Araujo, Ricardo Caldas, Federico Formica, and 3 more authors
    (under submission), 2024
  5. Towards an Engineering Discipline to Resilient Cyber-Physical Systems
    Ricardo Caldas
    Doctoral Symposium (FSE’24), 2024

2023

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

2022

  1. An architecture for mission coordination of heterogeneous robots
    Gabriel Rodrigues, Ricardo Caldas, Gabriel Araujo, and 3 more authors
    Journal of Systems and Software, 2022

2021

  1. RoboMAX: Robotic Mission Adaptation eXemplars
    Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, and 10 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, and 3 more authors
    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, and 3 more authors
    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, and 3 more authors
    In Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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, and 2 more authors
    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, and 2 more authors
    In Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, May 2018

Worldmap of co-authoring