Unai Díaz-de-Cerio

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

Collaborative distances:

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

2024

Using MAST for modeling and response-time analysis of real-time applications with GPUs.

Iosu Gomez, Unai Díaz-de-Cerio, Jorge Parra, Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

J. Syst. Archit., 2024

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