| No. |
Title |
Author |
Year |
| 1 |
OASIcs, Volume 8, WCET'08, Complete Volume |
Kirner, Raimund |
2012 |
| 2 |
From Trusted Annotations to Verified Knowledge |
Prantl, Adrian et al. |
2009 |
| 3 |
WCET 2008 Abstracts Collection -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis |
Kirner, Raimund |
2008 |
| 4 |
WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis |
Holsti, Niklas et al. |
2008 |
| 5 |
Towards a Common WCET Annotation Language: Essential Ingredients |
Kirner, Raimund et al. |
2008 |
| 6 |
Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis |
Kirner, Raimund et al. |
2007 |
| 7 |
WCET Analysis: The Annotation Language Challenge |
Kirner, Raimund et al. |
2007 |
| 8 |
Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup |
Kirner, Raimund et al. |
2006 |
