Stebėti
Ricardo D. Caldas
Ricardo D. Caldas
Kiti vardaiRicardo Diniz Caldas, Ricardo Caldas
Patvirtintas el. paštas chalmers.se - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
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
572018
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
312021
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
272020
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
232019
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
192021
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
152022
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
92024
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
62023
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, 1-24, 2024
2*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
22024
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
22021
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
Different Approaches for Testing Body Sensor Network Applications
S Silva, R Caldas, P Pelliccione, A Bertolino
Available at SSRN 4876283, 2024
2024
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, 0
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–15