Ricardo Caldas

According to our database, Ricardo Caldas authored at least 14 papers between 2018 and 2024.

Collaborative distances:

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

2024

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 Nunes Rodrigues, Thorsten Berger

IEEE Trans. Software Eng., October, 2024

A Driver-Vehicle Model for ADS Scenario-Based Testing.

Rodrigo Queiroz, Divit Sharma, Ricardo Caldas, Krzysztof Czarnecki, Sergio García, Thorsten Berger, Patrizio Pelliccione

IEEE Trans. Intell. Transp. Syst., August, 2024

Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach.

João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione

IEEE Softw., 2024

Towards an Engineering Discipline for Resilient Cyber-Physical Systems.

Ricardo Diniz Caldas

CoRR, 2024

Search-based Trace Diagnostic.

Gabriel Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi

CoRR, 2024

Runtime Verification and Field Testing for ROS-Based Robotic Systems.

Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger

CoRR, 2024

2023

EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early.

Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, Matthias Mayr

Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023

2022

An architecture for mission coordination of heterogeneous robots.

Gabriel S. Rodrigues, Ricardo Caldas, Gabriel Araujo, Vicente de Moraes, Genaína Nunes Rodrigues, Patrizio Pelliccione

J. Syst. Softw., 2022

2021

Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain.

Eric Bernd Gil, Ricardo Diniz Caldas, Arthur Rodrigues, Gabriel Levi Gomes da Silva, Genaína Nunes Rodrigues, Patrizio Pelliccione

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.

Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns.

Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos, Patrizio Pelliccione, Danny Weyns, Thorsten Berger

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

A hybrid approach combining control theory and AI for engineering self-adaptive systems.

Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

2019

Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach.

Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

2018

A learning approach to enhance assurances for real-time self-adaptive systems.

Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018