DINIZ CALDAS, RICARDO
DINIZ CALDAS, RICARDO
A Driver-Vehicle Model for ADS Scenario-Based Testing
2024-01-01 Queiroz, Rodrigo; Sharma, Divit; Caldas, Ricardo; Czarnecki, Krzysztof; García, Sergio; Berger, Thorsten; Pelliccione, Patrizio
A hybrid approach combining control theory and AI for engineering self-adaptive systems
2020-01-01 Caldas, Ricardo Diniz; Rodrigues, Arthur; Gil, Eric Bernd; Rodrigues, Genaína Nunes; Vogel, Thomas; Pelliccione, Patrizio
A learning approach to enhance assurances for real-time self-adaptive systems
2018-01-01 Rodrigues, Arthur; Caldas, Ricardo Diniz; Rodrigues, Genaína Nunes; Vogel, Thomas; Pelliccione, Patrizio
An adaptive testing approach based on field data
2025-01-01 Silva, Samira; Caldas, Ricardo; Pelliccione, Patrizio; Bertolino, Antonia
An architecture for mission coordination of heterogeneous robots
2022-01-01 Rodrigues, Gabriel; Caldas, Ricardo; Araujo, Gabriel; de Moraes, Vicente; Rodrigues, Genaína; Pelliccione, Patrizio
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
2021-01-01 Gil, Eric Bernd; Caldas, Ricardo; Rodrigues, Arthur; Da Silva, Gabriel Levi Gomes; Rodrigues, Genaína Nunes; Pelliccione, Patrizio
Different approaches for testing body sensor network applications
2025-01-01 Silva, Samira; Caldas, Ricardo; Pelliccione, Patrizio; Bertolino, Antonia
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
2024-01-01 Costa de Araujo, João Paulo; Rodrigues, Genaína Nunes; Carwehl, Marc; Vogel, Thomas; Grunske, Lars; Caldas, Ricardo; Pelliccione, Patrizio
EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection
2024-01-01 Rizwan, Momina; Reichenbach, Christoph; Caldas, Ricardo; Mayr, Matthias; Krueger, Volker
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; García, Sergio; Caldas, Ricardo; Von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems
2024-01-01 Diniz Caldas, Ricardo; García, Juan Antonio Piñera; Schiopu, Matei; Pelliccione, Patrizio; Rodrigues, Genaína; Berger, Thorsten
Taming uncertainty in the assurance process of self-adaptive systems: A goal-oriented approach
2019-01-01 Felix Solano, G.; Diniz Caldas, R.; Nunes Rodrigues, G.; Vogel, T.; Pelliccione, P.
Towards Adaptable and Uncertainty-Aware Behavior Trees
2025-01-01 Rostamnia, Mehran; Filippone, Gianluca; Diniz Caldas, Ricardo; Pelliccione, Patrizio
Towards Assured Mission Adaptation of Multi-Robot Systems
2026-01-01 Romeiro, Vicente; Diniz Caldas, Ricardo; Filippone, Gianluca; Pelliccione, Patrizio; Berger, Thorsten; Nunes Rodrigues, Genaina
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
2021-01-01 Caldas, Ricardo; Ghzouli, Razan; Papadopoulos, Alessandro V.; Pelliccione, Patrizio; Weyns, Danny; Berger, Thorsten
{EzSkiROS}: A Case Study on Embedded Robotics {DSLs} to Catch Bugs Early
2023-01-01 Rizwan, Momina; Caldas, Ricardo; Reichenbach, Christoph; Mayr, Matthias
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Driver-Vehicle Model for ADS Scenario-Based Testing | 1-gen-2024 | Queiroz, Rodrigo; Sharma, Divit; Caldas, Ricardo; Czarnecki, Krzysztof; García, Sergio; Berger, Thorsten; Pelliccione, Patrizio | |
| A hybrid approach combining control theory and AI for engineering self-adaptive systems | 1-gen-2020 | Caldas, Ricardo Diniz; Rodrigues, Arthur; Gil, Eric Bernd; Rodrigues, Genaína Nunes; Vogel, Thomas; Pelliccione, Patrizio | |
| A learning approach to enhance assurances for real-time self-adaptive systems | 1-gen-2018 | Rodrigues, Arthur; Caldas, Ricardo Diniz; Rodrigues, Genaína Nunes; Vogel, Thomas; Pelliccione, Patrizio | |
| An adaptive testing approach based on field data | 1-gen-2025 | Silva, Samira; Caldas, Ricardo; Pelliccione, Patrizio; Bertolino, Antonia | |
| An architecture for mission coordination of heterogeneous robots | 1-gen-2022 | Rodrigues, Gabriel; Caldas, Ricardo; Araujo, Gabriel; de Moraes, Vicente; Rodrigues, Genaína; Pelliccione, Patrizio | |
| Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain | 1-gen-2021 | Gil, Eric Bernd; Caldas, Ricardo; Rodrigues, Arthur; Da Silva, Gabriel Levi Gomes; Rodrigues, Genaína Nunes; Pelliccione, Patrizio | |
| Different approaches for testing body sensor network applications | 1-gen-2025 | Silva, Samira; Caldas, Ricardo; Pelliccione, Patrizio; Bertolino, Antonia | |
| Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach | 1-gen-2024 | Costa de Araujo, João Paulo; Rodrigues, Genaína Nunes; Carwehl, Marc; Vogel, Thomas; Grunske, Lars; Caldas, Ricardo; Pelliccione, Patrizio | |
| EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection | 1-gen-2024 | Rizwan, Momina; Reichenbach, Christoph; Caldas, Ricardo; Mayr, Matthias; Krueger, Volker | |
| RoboMAX: Robotic Mission Adaptation eXemplars | 1-gen-2021 | Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; García, Sergio; Caldas, Ricardo; Von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S. | |
| Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems | 1-gen-2024 | Diniz Caldas, Ricardo; García, Juan Antonio Piñera; Schiopu, Matei; Pelliccione, Patrizio; Rodrigues, Genaína; Berger, Thorsten | |
| Taming uncertainty in the assurance process of self-adaptive systems: A goal-oriented approach | 1-gen-2019 | Felix Solano, G.; Diniz Caldas, R.; Nunes Rodrigues, G.; Vogel, T.; Pelliccione, P. | |
| Towards Adaptable and Uncertainty-Aware Behavior Trees | 1-gen-2025 | Rostamnia, Mehran; Filippone, Gianluca; Diniz Caldas, Ricardo; Pelliccione, Patrizio | |
| Towards Assured Mission Adaptation of Multi-Robot Systems | 1-gen-2026 | Romeiro, Vicente; Diniz Caldas, Ricardo; Filippone, Gianluca; Pelliccione, Patrizio; Berger, Thorsten; Nunes Rodrigues, Genaina | |
| Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns | 1-gen-2021 | Caldas, Ricardo; Ghzouli, Razan; Papadopoulos, Alessandro V.; Pelliccione, Patrizio; Weyns, Danny; Berger, Thorsten | |
| {EzSkiROS}: A Case Study on Embedded Robotics {DSLs} to Catch Bugs Early | 1-gen-2023 | Rizwan, Momina; Caldas, Ricardo; Reichenbach, Christoph; Mayr, Matthias |