Publications
“TASA: Toolchain-Agnostic Software Randomisation for Safety-Critical Real-Time Systems”, ICCAD 2016, 2016.
, “Supporting global resource sharing in RUN-scheduled multiprocessor systems”, in Real-Time Networks and Systems (RTNS), 2014.
, , “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.
, , “Putting RUN into practice: implementation and evaluation”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “pTNoC: Time-Analyzable Scalable NoC Designs for Mixed-Criticality Multicore Embedded Systems”, DSD 2016, 2016.
, “PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis”, DSD 2016, 2016.
, , “PACO: Fast Average-Performance Estimation for Time-Randomized Caches”, 52nd Design Automation Conference (DAC), 2015.
, “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.
, “Heart of Gold: Making the Improbable Happen to Extend Coverage in Probabilistic Timing Analysis”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “Experimental evaluation of optimal schedulers based on partitioned proportionate fairness”, ECRTS 2015, 2015.
, , “On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis”, in Proceedings Design, Automation and Test in Europe, Dresden, 2014.
, “Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware”, in Proceedings 51st Design Automation Conference (DAC), California, 2014.
, “On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “Bus Designs for Time-Probabilistic Multicore Processors”, in Proceedings Design, Automation and Test in Europe, Dresden, Germany, 2014.
,