[Back]


Publications in Scientific Journals:
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution";
Journal of Symbolic Computation, 80 (2017), 101 - 124.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.jsc.2016.07.023

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