"Static Probabilistic Timing Analysis for Multi-path Programs."

Benjamin Lesage et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics