Ricardo Caldas

17 papers C 1Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems.
CoRR
Everaldo Silva Júnior, Lina Marsso, Ricardo Caldas, Marsha Chechik, Genaína Nunes Rodrigues
2025 C conf
An Adaptive Testing Approach Based on Field Data.
AST
Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino
2025 J jnl
An Adaptive Testing Approach Based on Field Data.
CoRR
Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino
2025 J jnl
Different approaches for testing body sensor network applications.
J. Syst. Softw.
Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino
2025 — conf
Towards Adaptable and Uncertainty-Aware Behavior Trees.
RoSE
Mehran Rostamnia, Gianluca Filippone, Ricardo Caldas, Patrizio Pelliccione
2024 J jnl
A Driver-Vehicle Model for ADS Scenario-Based Testing.
IEEE Trans. Intell. Transp. Syst.
Rodrigo Queiroz, Divit Sharma, Ricardo Caldas, Krzysztof Czarnecki, Sergio García, Thorsten Berger, Patrizio Pelliccione
2024 J jnl
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach.
IEEE Softw.
João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione
2024 J jnl
EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection.
Frontiers Robotics AI
Momina Rizwan, Christoph Reichenbach, Ricardo Caldas, Matthias Mayr, Volker Krüger
2024 J jnl
Runtime Verification and Field Testing for ROS-Based Robotic Systems.
CoRR
Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger
2024 J jnl
Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems.
IEEE Trans. Software Eng.
Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger
2024 J jnl
Search-based Trace Diagnostic.
CoRR
Gabriel F. P. Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi
2023 — conf
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early.
RoSE@ICSE
Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, Matthias Mayr
2022 J jnl
A Driver-Vehicle Model for ADS Scenario-based Testing.
CoRR
Rodrigo Queiroz, Divit Sharma, Ricardo Caldas, Krzysztof Czarnecki, Sergio García, Thorsten Berger, Patrizio Pelliccione
2022 J jnl
An architecture for mission coordination of heterogeneous robots.
J. Syst. Softw.
Gabriel S. Rodrigues, Ricardo Caldas, Gabriel F. P. Araujo, Vicente de Moraes, Genaína Nunes Rodrigues, Patrizio Pelliccione
2021 — conf
RoboMAX: Robotic Mission Adaptation eXemplars.
SEAMS@ICSE
Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues
2021 — conf
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns.
ACSOS-C
Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos, Patrizio Pelliccione, Danny Weyns, Thorsten Berger
2021 J jnl
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns.
CoRR
Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos, Patrizio Pelliccione, Danny Weyns, Thorsten Berger