Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis. Static Probabilistic Timing Analysis for Multi-path Programs. In 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015. pages 361-372, IEEE, 2015. [doi]
Abstract is missing.