Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan. From Trusted Annotations to Verified Knowledge. In Niklas Holsti, editor, 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009. Volume 09004 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
Abstract is missing.