Publications
“Contention in multicore hardware shared resources: Understanding of the state of the art”. WCET 2014 workshop, 2014.
, , , ,
“TASA: Toolchain-Agnostic Software Randomisation for Safety-Critical Real-Time Systems”, ICCAD 2016, 2016.
, “A safety concept for a railway mixed-criticality embedded system based on multicore partitioning”, DASC 2015, 2015.
, “Resilient Random Modulo Cache Memories for Probabilistically-Analyzable Real-Time Systems”, IOLTS 2016, 2016.
, “pTNoC: Time-Analyzable Scalable NoC Designs for Mixed-Criticality Multicore Embedded Systems”, DSD 2016, 2016.
, “Modelling Probabilistic Cache Representativeness in the Presence of Arbitrary Access Patterns”, ISORC 2016, 2016.
, , “Modeling the Con dence of Timing Analysis for Time Randomised Caches”, SIES 2016, 2016.
, “Measurement-Based Probabilistic Timing Analysis: From Academia to Space Industry”, DASIA 2015, 2015.
, “IEC-61508 SIL3-compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis”, DSD 2015, 2015.
, , “Analyzing TDMA and Round-Robin with MBPTA”, DSD 2015, 2015.
,