Publications
“Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches”, Real-Time Networks and Systems (RTNS). 2014.
, , “Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression”, Real-Time Networks and Systems (RTNS). 2014.
, “A Bailout Protocol for Mixed Criticality Systems”, ECRTS 2015, 2015.
, “A Bailout Protocol for Mixed Criticality Systems”, ECRTS 2015, 2015.
, “A Framework For The Evaluation Of Measurement-based Timing Analyses”. In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pp. 35-44, 2015.
, “Modelling Fault Dependencies when Execution Time Budgets are Exceeded”. In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pp. 129-138, 2015.
, , , , ,
“Modeling the Con dence of Timing Analysis for Time Randomised Caches”, SIES 2016, 2016.
, , , ,