Publications
“Contention in multicore hardware shared resources: Understanding of the state of the art”. WCET 2014 workshop, 2014.
, , “Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments”, in Special Issue on Harsh Chips, 2014.
, “Analyzing TDMA and Round-Robin with MBPTA”, DSD 2015, 2015.
, “Speeding up Static Probabilistic Timing Analysis”, in ARCS, 2015.
, , ,
“Measurement-Based Timing Analysis of the AURIX Caches”. WCET 2016, 2016.
, “Modeling the Con dence of Timing Analysis for Time Randomised Caches”, SIES 2016, 2016.
, , , ,