 | 2009 |
|---|
| 7 |       | Stephan Wilhelm,
Björn Wachter:
Symbolic state traversal for WCET analysis.
EMSOFT 2009: 137-146 |
| 2007 |
|---|
| 6 | | Stephan Wilhelm,
Björn Wachter:
Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.
WCET 2007 |
| 2005 |
|---|
| 5 | | Stephan Wilhelm:
Efficient Analysis of Pipeline Models for WCET Computation.
WCET 2005 |
| 2003 |
|---|
| 4 |  | Christian Ferdinand,
Daniel Kästner,
Florian Martin,
Marc Langenbach,
Martin Sicks,
Stephan Wilhelm,
Reinhold Heckmann,
Nicolas Fritz,
Stephan Thesing,
Frank Fontaine,
Henrik Theiling,
Michael Schmidt,
Alexander A. Evstiougov-Babaev,
Reinhard Wilhelm:
Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
GI Jahrestagung (1) 2003: 335-339 |
| 2002 |
|---|
| 3 | | Daniel Kästner,
Stephan Wilhelm:
Generic control flow reconstruction from assembly code.
LCTES-SCOPES 2002: 46-55 |
| 2001 |
|---|
| 2 | | Erwin Schuster,
Stephan Wilhelm:
Informationsmanagement in der Produktion - Neue Dienstleistungen durch E-Service.
HMD - Praxis Wirtschaftsinform. 219: (2001) |
| 2000 |
|---|
| 1 | | Erwin Schuster,
Stephan Wilhelm:
Content Management - Aktuelles Schlagwort.
Informatik Spektrum 23(6): 373-375 (2000) |
