DINIZ CALDAS, RICARDO

DINIZ CALDAS, RICARDO  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.012 secondi).
Titolo Data di pubblicazione Autore(i) File
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
An adaptive testing approach based on field data 1-gen-2025 Silva, Samira; Caldas, Ricardo; Pelliccione, Patrizio; Bertolino, Antonia
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
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 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