Unai Díaz-de-Cerio

Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems

Michael González Harbour, J. Carlos Palencia, Juan P. Uribe, 2014, RTNS.

On the convergence of the holistic analysis for EDF distributed systems

Michael González Harbour, J. Carlos Palencia, Juan P. Uribe, 2015, J. Syst. Archit..

Towards Certified Model Checking for PLTL Using One-Pass Tableaux

Montserrat Hermo, Alexander Bolotov, Paqui Lucio, 2019, TIME.

Verified Model Checking for Conjunctive Positive Logic

Paqui Lucio, Montserrat Hermo, Unai Díaz-de-Cerio, 2021, SN Comput. Sci..