Publications
“Measurement-Based Timing Analysis of the AURIX Caches”. WCET 2016, 2016.
, “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.
, “TASA: Toolchain-Agnostic Software Randomisation for Safety-Critical Real-Time Systems”, ICCAD 2016, 2016.
, “Speeding up Static Probabilistic Timing Analysis”, in ARCS, 2015.
, “pTNoC: Time-Analyzable Scalable NoC Designs for Mixed-Criticality Multicore Embedded Systems”, DSD 2016, 2016.
, , , “Modeling the Con dence of Timing Analysis for Time Randomised Caches”, SIES 2016, 2016.
, “Analyzing TDMA and Round-Robin with MBPTA”, DSD 2015, 2015.
,