J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution";
Talk: 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), Peking (invited); 2013-10-23 - 2013-10-25.