| 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 |
