Static Determination of Probabilistic Execution Times.

Laurent David, Isabelle Puaut

Browse the full ECRTS paper archive.