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 |