Juan Antonio Piñera García

According to our database, Juan Antonio Piñera García authored at least 3 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems.

Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger

IEEE Trans. Software Eng., October, 2024

Runtime Verification and Field Testing for ROS-Based Robotic Systems.

Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger

CoRR, 2024

Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation.

Gianluca Filippone, Juan Antonio Piñera García, Marco Autili, Patrizio Pelliccione

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024