Unai Díaz-de-Cerio

According to our database, Unai Díaz-de-Cerio authored at least 5 papers between 2014 and 2022.

Collaborative distances:

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

2022

Designing an Autonomous Cooperative Driving System for ROS-Based Vehicles Using V2X Communications.

Iosu Gomez, Unai Díaz-de-Cerio

Proceedings of the ROBOT 2022: Fifth Iberian Robotics Conference, 2022

2021

Verified Model Checking for Conjunctive Positive Logic.

Alex Abuin, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio

SN Comput. Sci., 2021

2019

Towards Certified Model Checking for PLTL Using One-Pass Tableaux.

Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2015

On the convergence of the holistic analysis for EDF distributed systems.

Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia

J. Syst. Archit., 2015

2014

Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems.

Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014