| 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 | 15 | 2014 |
| Towards certified model checking for PLTL using one-pass tableaux A Abuin, A Bolotov, U de Cerio, M Hermo, P Lucio Leibniz International Proceedings in Informatics 147, 12, 2019 | 6 | 2019 |
| Analysis and Optimization of Real-Time Applications Running on Heterogeneous Hardware I Gomez, U Díaz de Cerio, J Parra, JM Rivas Concepción, ... | 1 | 2023 |
| Using Contexts in Tableaux for PLTL: An illustrative Example A Abuin, A Bolotov, UD de Cerio, M Hermo, P Lucio WORKSHOP 2019, 23, 2019 | 1 | 2019 |
| Context-based Model Checking using SMT-solvers (Work in Progress) A Abuin, UD de Cerio, M Hermo, P Lucio | 1 | 2018 |
| 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 | 1 | 2015 |
| Towards a general framework to model, analyze and optimize real-time systems with GPUs I Gomez, JM Rivas Concepción, JJ Gutiérrez García, J Parra, ... | | 2024 |
| 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 |
| 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 | | 2021 |
| Towards Certified Model Checking for PLTL Using One-Pass Tableaux A Abuin Yepes, A Bolotov, U Díaz de Cerio, M Hermo Huguet, ... | | 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 | | 2012 |
Montserrat HermoUniversity of the Basque CountryVerifierad e-postadress på ehu.eus