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 |