Publications
, ,
“PACO: Fast Average-Performance Estimation for Time-Randomized Caches”, 52nd Design Automation Conference (DAC), 2015.
, “A probabilistic calculus for probabilistic real-time systems”. ACM Transactions on Embedded Computing Systems, 2015.
, ,
“Progress on static probabilistic timing analysis for systems with random cache replacement policies”. RTSOPS 2014, 2014.
, “PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems”, ADA USER JOURNAL, vol. 35, no. 2. pp. 118-122, 2014.
“PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “Putting RUN into practice: implementation and evaluation”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
,