Unai Díaz-de-Cerio

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 3

Top Topics

Pspace Complete

Computation Tree Logic

Automated Verification

Top Venues

J. Syst. Archit.

SN Comput. Sci.

Publications

Iosu Gomez, Unai Díaz-de-Cerio
Designing an Autonomous Cooperative Driving System for ROS-Based Vehicles Using V2X Communications. ROBOT (1) (2022)
Alex Abuin, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
Verified Model Checking for Conjunctive Positive Logic. SN Comput. Sci. 2 (5) (2021)
Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
Towards Certified Model Checking for PLTL Using One-Pass Tableaux. TIME (2019)
Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia
On the convergence of the holistic analysis for EDF distributed systems. J. Syst. Archit. 61 (9) (2015)
Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia
Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems. RTNS (2014)