Publications
“A Bailout Protocol for Mixed Criticality Systems”, ECRTS 2015, 2015.
, “A Bailout Protocol for Mixed Criticality Systems”, ECRTS 2015, 2015.
, “Modeling the Con dence of Timing Analysis for Time Randomised Caches”, SIES 2016, 2016.
, , , “PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis”, DSD 2016, 2016.
, , , , , “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.
, “Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches”, Real-Time Networks and Systems (RTNS). 2014.
, “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.
, “Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression”, Real-Time Networks and Systems (RTNS). 2014.
,