28 citations · 49 across the 3 of their papers we have counts for
3 papers
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
Ricardo Caldas, Juan Antonio Pinera Garcia, Matei Schiopu +3
Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has eme…
Software Reconfiguration in Robotics
Sven Peldszus, Davide Brugali, Daniel Strüber +2
Robots often need to be reconfigurableto customize, calibrate, or optimize robots operating in varying environments with different hardware). A particular challenge in robotics…
A Driver-Vehicle Model for ADS Scenario-based Testing
Rodrigo Queiroz, Divit Sharma, Ricardo Caldas +4
Scenario-based testing for automated driving systems (ADS) must be able to simulate traffic scenarios that rely on interactions with other vehicles. Although many languages for hig…