Follow
Ricardo D. Caldas
Ricardo D. Caldas
Other namesRicardo Diniz Caldas, Ricardo Caldas
Postdoc in Computer Science, Gran Sasso Science Institute (GSSI)
Verified email at gssi.it - Homepage
Title
Cited by
Cited by
Year
A learning approach to enhance assurances for real-time self-adaptive systems
A Rodrigues, RD Caldas, GN Rodrigues, T Vogel, P Pelliccione
2018 IEEE/ACM 13th International Symposium on Software Engineering for …, 2018
582018
RoboMAX: Robotic Mission Adaptation eXemplars
M Askarpour, C Tsigkanos, C Menghi, R Calinescu, P Pelliccione, ...
2021 International Symposium on Software Engineering for Adaptive and Self …, 2021
332021
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
RD Caldas, A Rodrigues, EB Gil, GN Rodrigues, T Vogel, P Pelliccione
2020 IEEE/ACM 15th International Symposium on Software Engineering for …, 2020
322020
Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach
GF Solano, RD Caldas, GN Rodrigues, T Vogel, P Pelliccione
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
252019
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
EB Gil, R Caldas, A Rodrigues, GLG da Silva, GN Rodrigues, ...
2021 International Symposium on Software Engineering for Adaptive and Self …, 2021
212021
An architecture for mission coordination of heterogeneous robots
G Rodrigues, R Caldas, G Araujo, V de Moraes, G Rodrigues, ...
Journal of Systems and Software, 111363, 2022
182022
A driver-vehicle model for ADS scenario-based testing
R Queiroz, D Sharma, R Caldas, K Czarnecki, S García, T Berger, ...
IEEE Transactions on Intelligent Transportation Systems, 2024
132024
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
M Rizwan, R Caldas, C Reichenbach, M Mayr
2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering …, 2023
72023
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
R Caldas, JAP García, M Schiopu, P Pelliccione, G Rodrigues, T Berger
IEEE Transactions on Software Engineering 50 (10), 2544 - 2567, 2024
6*2024
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
JPC de Araujo, GN Rodrigues, M Carwehl, T Vogel, L Grunske, R Caldas, ...
IEEE Software, 2024
32024
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
R Caldas, R Ghzouli, AV Papadopoulos, P Pelliccione, D Weyns, ...
2021 IEEE International Conference on Autonomic Computing and Self …, 2021
32021
Different approaches for testing body sensor network applications
S Silva, R Caldas, P Pelliccione, A Bertolino
Journal of Systems and Software, 112336, 2025
2025
EzSkiROS: Enhancing Robot Skill Composition with Embedded DSL for Early Error Detection
M Rizwan, C Reichenbach, R Caldas, M Mayr, V Krueger
Frontiers in Robotics and AI 11, 1363443, 2025
2025
Meta-Adaptation Goals: Leveraging Feedback Loop Requirements for Effective Self-Adaptation
R Groner, RD Caldas, R Wohlrab
2024 IEEE International Conference on Autonomic Computing and Self …, 2024
2024
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
RD Caldas
arXiv preprint arXiv:2407.15562, 2024
2024
Search-based Trace Diagnostic
G Araujo, R Caldas, F Formica, G Rodrigues, P Pelliccione, C Menghi
arXiv preprint arXiv:2406.17268, 2024
2024
From Chance to Choice: Strategies to Attaining Resilience in Cyber-Physical Systems
RD Caldas
Chalmers University of Technology, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–17