Unai Daz-de-Cerio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2014–2019
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TIME | Towards Certified Model Checking for PLTL Using One-Pass Tableaux. | Alex Abuin, Alexander Bolotov, Unai Daz-de-Cerio, Montserrat Hermo, Paqui Lucio |
| 2014 | RTNS | Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems. | Unai Daz-de-Cerio, Juan P. Uribe, Michael Gonzlez Harbour, J. Carlos Palencia |