Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.

Antoine Colin, Guillem Bernat

Browse the full ECRTS paper archive.