Follow
Unai Díaz-de-Cerio
Unai Díaz-de-Cerio
Ikerlan Research Center
Verified email at ikerlan.es
Title
Cited by
Cited by
Year
Adding precedence relations to the response-time analysis of EDF distributed real-time systems
U Díaz-de-Cerio, JP Uribe, MG Harbour, JC Palencia
Proceedings of the 22nd International Conference on Real-Time Networks and …, 2014
142014
Towards certified model checking for PLTL using one-pass tableaux
A Abuin, A Bolotov, U Díaz de Cerio, M Hermo, P Lucio
26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019
72019
Using Contexts in Tableaux for PLTL: An illustrative Example
A Abuin, A Bolotov, UD de Cerio, M Hermo, P Lucio
WORKSHOP 2019, 23, 2019
22019
Context-based Model Checking using SMT-solvers (Work in Progress)
A Abuin, UD de Cerio, M Hermo, P Lucio
22018
On the convergence of the holistic analysis for EDF distributed systems
U Díaz-de-Cerio, JP Uribe, MG Harbour, JC Palencia
Journal of Systems Architecture 61 (9), 398-409, 2015
12015
Uso de GPUs en aplicaciones de tiempo real: una revisiónn de técnicas para el análisis y optimización de parámetros temporales
I Gómez Iturrioz, U Díaz de Cerio, J Parra, JM Rivas Concepción, ...
Comité Español de Automática (CEA), 2024
2024
Uso de GPUs en aplicaciones de tiempo real: Una revisión de técnicas para el análisis y optimización de parámetros temporales
I Gomez, U Díaz de Cerio, J Parra, JM Rivas, JJ Gutiérrez
Revista Iberoamericana de Automática e Informática industrial 21 (1), 1-16, 2023
2023
Analysis and Optimization of Real-Time Applications Running on Heterogeneous Hardware
I Gomez, U Díaz-de-Cerio, J Parra, JM Rivas Concepción, ...
2023
Designing an Autonomous Cooperative Driving System for ROS-Based Vehicles Using V2X Communications
I Gomez, U Diaz de Cerio
Iberian Robotics conference, 333-345, 2022
2022
Verified Model Checking for Conjunctive Positive Logic
A Abuin, UD de Cerio, M Hermo, P Lucio
SN Computer Science 2 (5), 344, 2021
2021
Verified Model Checking for Conjunctive Positive Logic
A Abuin Yepes, U Diaz de Cerio, M Hermo Huguet, F Lucio Carrasco
Springer Nature, 2021
2021
Towards Certified Model Checking for PLTL Using One-Pass Tableaux
A Abuin Yepes, A Bolotov, U Díaz de Cerio, M Hermo Huguet, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2019
2019
Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas
U Díaz de Cerio Urain
2015
On the Convergence of the Holistic Analysis for EDF Distributed Systems
U Díaz de Cerio Urain, JP Uribe, M González Harbour, ...
2014
Summary: On the Convergence of the Holistic Analysis for EDF Distributed Systems
U Díaz-de-Cerio, JP Uribe, M González Harbour, JC Palencia
XVII Jornadas de Tiempo Real, 2014
2014
Análisis de calidad de servicio de Middlewares asociados a la norma IEC61850
U Díaz de Cerio Urain
2012
The system can't perform the operation now. Try again later.
Articles 1–16