Publications
, “Rare events and worst-case execution times”. RTSOPS 2014, 2014.
, “Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems”. Leibniz Transactions on Embedded Systems (LITES), 2015.
, “Progress on static probabilistic timing analysis for systems with random cache replacement policies”. RTSOPS 2014, 2014.
, “Mitigating the Instrumentation Overhead of Measurement-Based Timing Analysis”. WCET 2016, 2016.
, “Measurement-Based Timing Analysis of the AURIX Caches”. WCET 2016, 2016.
, “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.
, “Static probabilistic timing analysis for real-time systems using random replacement caches”, Real-Time Systems, vol. 51, pp. 77-123, 2015.
, “A probabilistic calculus for probabilistic real-time systems”. ACM Transactions on Embedded Computing Systems, 2015.
, “Extreme value theory in computer sciences: The case of embedded safety-critical systems”. 6th International Conference on Risk Analysis (ICRA), 2015.
, “WCET Analysis Methods: Pitfalls and Challenges on their Trustworthiness”, SIES 2015, 2015.
, “WCET Analysis Methods: Pitfalls and Challenges on their Trustworthiness”, SIES 2015, 2015.
, “Towards Making a LEON3 Multicore Compatible with Probabilistic Timing Analysis”, DASIA 2015, 2015.
, “Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments”, in Special Issue on Harsh Chips, 2014.
, “Timing Analysis of an Avionics Case Study on Complex Hardware/Software Platforms”, in DATE, 2015.
, “Timing Analysis of an Avionics Case Study on Complex Hardware/Software Platforms”, in DATE, 2015.
, “Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems”, in Proceedings 51st Design Automation Conference San Francisco DAC 2014 , California, 2014.
, “TASA: Toolchain-Agnostic Software Randomisation for Safety-Critical Real-Time Systems”, ICCAD 2016, 2016.
, “Speeding up Static Probabilistic Timing Analysis”, in ARCS, 2015.
, “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.
, “Random Modulo: a New Processor Cache Design for Safety-critical Systems”, DAC 2016, 2015.
, “Putting RUN into practice: implementation and evaluation”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.


