Publications
“Speeding up Static Probabilistic Timing Analysis”, in ARCS, 2015.
, “Static Probabilistic Timing Analysis for Multi-path Programs”. In proceedings 36th Real-Time Systems Symposium (RTSS 2015), 2015.
, “Static probabilistic timing analysis for real-time systems using random replacement caches”, Real-Time Systems, vol. 51, pp. 77-123, 2015.
, , , , , , “Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore”. SASSUR 2016, 2016.
, “Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore”. SASSUR 2016, 2016.
, , “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.
, , “Modelling Probabilistic Cache Representativeness in the Presence of Arbitrary Access Patterns”, ISORC 2016, 2016.
, “PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis”, DSD 2016, 2016.
, “PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis”, DSD 2016, 2016.
, “PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis”, DSD 2016, 2016.
, “pTNoC: Time-Analyzable Scalable NoC Designs for Mixed-Criticality Multicore Embedded Systems”, DSD 2016, 2016.
, , ,