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 (RTNS, 2014)

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)

Towards Certified Model Checking for PLTL Using One-Pass Tableaux. - Alex Abuin; Alexander Bolotov; Unai Díaz-de-Cerio; Montserrat Hermo; Paqui Lucio (TIME, 2019)

Verified Model Checking for Conjunctive Positive Logic. - Alex Abuin; Unai Díaz-de-Cerio; Montserrat Hermo; Paqui Lucio (SN Comput. Sci., 2021)

Designing an Autonomous Cooperative Driving System for ROS-Based Vehicles Using V2X Communications. - Iosu Gomez; Unai Díaz-de-Cerio (ROBOT (1), 2022)

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)