Publications
,
“Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments”, in Special Issue on Harsh Chips, 2014.
, “Software-enforced Interconnect Arbitration for COTS Multicores”. WCET 2015, 2015.
, “On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “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.
, , “Extreme value theory in computer sciences: The case of embedded safety-critical systems”. 6th International Conference on Risk Analysis (ICRA), 2015.
, “A safety concept for a railway mixed-criticality embedded system based on multicore partitioning”, DASC 2015, 2015.
, “IEC-61508 SIL3-compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis”, DSD 2015, 2015.
, “Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore”. SASSUR 2016, 2016.
, “Progress on static probabilistic timing analysis for systems with random cache replacement policies”. RTSOPS 2014, 2014.
, “On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis”, in Proceedings Design, Automation and Test in Europe, Dresden, 2014.
, “Static probabilistic timing analysis for real-time systems using random replacement caches”, Real-Time Systems, vol. 51, pp. 77-123, 2015.
, “A Bailout Protocol for Mixed Criticality Systems”, ECRTS 2015, 2015.
, “Modeling the Con dence of Timing Analysis for Time Randomised Caches”, SIES 2016, 2016.
, , “PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis”, DSD 2016, 2016.
, “Experimental evaluation of optimal schedulers based on partitioned proportionate fairness”, ECRTS 2015, 2015.
, “Putting RUN into practice: implementation and evaluation”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, , ,
“Contention in multicore hardware shared resources: Understanding of the state of the art”. WCET 2014 workshop, 2014.
, “Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches”, Real-Time Networks and Systems (RTNS). 2014.
, “Modelling Fault Dependencies when Execution Time Budgets are Exceeded”. In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pp. 129-138, 2015.
, “Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression”, Real-Time Networks and Systems (RTNS). 2014.
,