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 | 53 | 2018 |
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 | 23 | 2020 |
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 | 21 | 2019 |
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 | 17 | 2021 |
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 | 15 | 2021 |
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 | 7 | 2022 |
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 | 5 | 2024 |
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 | 4 | 2023 |
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 | 1 | 2021 |
Runtime Verification and Field 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 | | 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 | | 2024 |