关注
Ricardo D. Caldas
Ricardo D. Caldas
其他姓名Ricardo Diniz Caldas, Ricardo Caldas
在 chalmers.se 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
282021
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
222019
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
112022
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
72024
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
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
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
R Caldas, JAP García, M Schiopu, P Pelliccione, G Rodrigues, T Berger
arXiv preprint arXiv:2404.11498, 2024
12024
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
系统目前无法执行此操作,请稍后再试。
文章 1–14