[Back]


Talks and Poster Presentations (without Proceedings-Entry):

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.


Created from the Publication Database of the Vienna University of Technology.