| No. |
Title |
Author |
Year |
| 1 |
Astromomie und Informatik (Dagstuhl Seminar 99321) |
Oberschelp, Walter et al. |
2021 |
| 2 |
Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471) |
Thiele, Lothar et al. |
2021 |
| 3 |
Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352) |
Wilhelm, Reinhard |
2021 |
| 4 |
Software Optimization (Dagstuhl Seminar 03351) |
Graham, Susan L. et al. |
2021 |
| 5 |
Mixed Feelings About Mixed Criticality (Invited Paper) |
Wilhelm, Reinhard |
2018 |
| 6 |
Resource Bound Analysis (Dagstuhl Seminar 17291) |
Gaboardi, Marco et al. |
2018 |
| 7 |
Dagstuhl Annual Report January - December 2011 |
Müller-von Brochowski, Angelika et al. |
2012 |
| 8 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2011 |
Müller-von Brochowski, Angelika et al. |
2012 |
| 9 |
OASIcs, Volume 18, PPES'11, Complete Volume |
Lucas, Philipp et al. |
2012 |
| 10 |
OASIcs, Volume 3, Trustworthy SW'06, Complete Volume |
Autexier, Serge et al. |
2012 |
| 11 |
A Template for Predictability Definitions with Supporting Evidence |
Grund, Daniel et al. |
2011 |
| 12 |
Dagstuhl Annual Report January - December 2010 |
Müller-von Brochowski, Angelika et al. |
2011 |
| 13 |
Dagstuhl News January - December 2011 |
Müller, Fritz et al. |
2011 |
| 14 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2010 |
Müller-von Brochowski, Angelika et al. |
2011 |
| 15 |
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) |
Kreiker, Jörg et al. |
2011 |
| 16 |
Preface (Frontmatter, Table of Contents, Preface) |
Lucas, Philipp et al. |
2011 |
| 17 |
Dagstuhl News January - December 2010 |
Müller, Fritz et al. |
2010 |
| 18 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2009 |
Müller-von Brochowski, Angelika et al. |
2010 |
| 19 |
Dagstuhl Annual Report January - December 2000 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 20 |
Dagstuhl Annual Report January - December 2003 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 21 |
Dagstuhl Annual Report January - December 2004 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 22 |
Dagstuhl Annual Report January - December 2005 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 23 |
Dagstuhl Annual Report January - December 2006 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 24 |
Dagstuhl Annual Report January - December 2007 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 25 |
Dagstuhl Annual Report January - December 2008 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 26 |
Dagstuhl News January - December 2009 |
Müller, Fritz et al. |
2009 |
| 27 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2000 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 28 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2001 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 29 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2002 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 30 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2004 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 31 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2005 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 32 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2006 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 33 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2007 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 34 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2008 |
Müller-von Brochowski, Angelika et al. |
2009 |
| 35 |
Teaching WCET Analysis in Academia and Industry: A Panel Discussion |
Holsti, Niklas et al. |
2009 |
| 36 |
Dagstuhl News January - December 2008 |
Müller, Fritz et al. |
2008 |
| 37 |
2005 WCET Preface -- Message from the Workshop Chair |
Wilhelm, Reinhard |
2007 |
| 38 |
Dagstuhl News January - December 2007 |
Müller, Fritz et al. |
2007 |
| 39 |
Preface -- Workshop Trustworthy Software 2006 |
Autexier, Serge et al. |
2006 |
| 40 |
A Definition and Classification of Timing Anomalies |
Reineke, Jan et al. |
2006 |
| 41 |
Abstract Interpretation of Graph Transformation |
Bauer, Jörg et al. |
2006 |
| 42 |
Abstracts Collection -- Workshop Trustworthy Software 2006 |
Autexier, Serge et al. |
2006 |
| 43 |
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction |
Bauer, Jörg et al. |
2006 |
| 44 |
Dagstuhl News January - December 2006 |
Müller, Fritz et al. |
2006 |
| 45 |
Dagstuhl News January - December 2005 |
Müller, Fritz et al. |
2005 |
| 46 |
Dagstuhl Tätigkeitsbericht Januar - Dezember 2003 |
Müller-von Brochowski, Angelika et al. |
2005 |
| 47 |
OASIcs, Volume 1, WCET'05, Complete Volume |
Wilhelm, Reinhard |
2005 |
| 48 |
03471 Abstracts Collection -- Design of Systems with Predictable Behaviour |
Thiele, Lothar et al. |
2004 |
| 49 |
Dagstuhl News January - December 2004 |
Müller, Fritz et al. |
2004 |
| 50 |
Design for Time-Predictability |
Thiele, Lothar et al. |
2004 |
| 51 |
Requirements for and Design of a Processor with Predictable Timing |
Berg, Christoph et al. |
2004 |
| 52 |
Dagstuhl News January - December 2003 |
Müller, Fritz et al. |
2003 |
| 53 |
Dagstuhl News January - December 2002 |
Müller, Fritz et al. |
2002 |
| 54 |
Dagstuhl News January - December 2001 |
Müller, Fritz et al. |
2001 |
| 55 |
Dagstuhl News January - December 2000 |
Müller, Fritz et al. |
2000 |
| 56 |
Dagstuhl News January - December 1999 |
Müller, Fritz et al. |
1999 |
| 57 |
Dagstuhl News January - December 1998 |
Müller, Fritz et al. |
1998 |
