Publications
“On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “Analyzing TDMA and Round-Robin with MBPTA”, DSD 2015, 2015.
, “Extreme value theory in computer sciences: The case of embedded safety-critical systems”. 6th International Conference on Risk Analysis (ICRA), 2015.
, “IEC-61508 SIL3-compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis”, DSD 2015, 2015.
, “Measurement-Based Probabilistic Timing Analysis: From Academia to Space Industry”, DASIA 2015, 2015.
, “Safety certification of cross-domain mixed-criticality systems (Current research status, certification authority assessments and lessons learnt)”. ARTEMIS Technology Conference 2015, 2015.
, “A safety concept for a railway mixed-criticality embedded system based on multicore partitioning”, DASC 2015, 2015.
, “Speeding up Static Probabilistic Timing Analysis”, in ARCS, 2015.
, ,