Unai Díaz-de-Cerio

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

Collaborative distances:

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

2026

Evaluating quantile regression neural networks for optimizing real-time applications on heterogeneous platforms.

Iosu Gomez, David Fonts, Sergi Vilardell, Unai Díaz-de-Cerio, Juan Maria Rivas, Enrico Mezzetti, J. Javier Gutiérrez, Francisco J. Cazorla

Future Gener. Comput. Syst., 2026

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

Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas.

Unai Díaz-de-Cerio

PhD thesis, 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