| No. |
Title |
Author |
Year |
| 1 |
Code Optimisation: Trends, Challenges and Perspectives (Dagstuhl Seminar 00381) |
Dulong, Carole et al. |
2021 |
| 2 |
Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431) |
Knoop, Jens et al. |
2021 |
| 3 |
The Auspicious Couple: Symbolic Execution and WCET Analysis |
Biere, Armin et al. |
2013 |
| 4 |
08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation |
Altman, Erik et al. |
2009 |
| 5 |
From Trusted Annotations to Verified Knowledge |
Prantl, Adrian et al. |
2009 |
| 6 |
WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis |
Holsti, Niklas et al. |
2008 |
| 7 |
Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis |
Knoop, Jens |
2008 |
| 8 |
Towards a Common WCET Annotation Language: Essential Ingredients |
Kirner, Raimund et al. |
2008 |
| 9 |
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis |
Prantl, Adrian et al. |
2008 |
| 10 |
WCET Analysis: The Annotation Language Challenge |
Kirner, Raimund et al. |
2007 |
| 11 |
05101 Abstracts Collection -- Scheduling for Parallel Architectures: Theory, Applications, Challenges |
Altman, Erik et al. |
2005 |
| 12 |
05101 Executive Summary -- Scheduling for Parallel Architectures: Theory, Applications, Challenges |
Altman, Erik et al. |
2005 |
