Vitor Rodrigues, Mário Florido, Simão Melo de Sousa. A Functional Approach to Worst-Case Execution Time Analysis. In Herbert Kuchen, editor, Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings. Volume 6816 of Lecture Notes in Computer Science, pages 86-103, Springer, 2011.
Abstract is missing.