Due to a scheduled maintenance, the sites dblp.org and dblp.dagstuhl.de will become temporarily unavailable on Saturday, October 14th, 2017. We are sorry for the inconvenience. In the mean time, please use mirror server dblp.uni-trier.de instead.
Jens Knoop, Laura Kovács, Jakob Zwirchmayr: Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution.J. Symb. Comput.80: 101-124 (2017)