| 2008 |
|---|
| 3 | EE | Felix Reimann,
Michael Glabeta,
Martin Lukasiewycz,
Joachim Keinert,
Christian Haubelt,
Jürgen Teich:
Symbolic voter placement for dependability-aware system synthesis.
CODES+ISSS 2008: 237-242 |
| 2 | EE | Michael Glaß,
Martin Lukasiewycz,
Felix Reimann,
Christian Haubelt,
Jürgen Teich:
Symbolic Reliability Analysis and Optimization of ECU Networks.
DATE 2008: 158-163 |
| 1 | EE | Michael Glaß,
Martin Lukasiewycz,
Felix Reimann,
Christian Haubelt,
Jürgen Teich:
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
SAFECOMP 2008: 139-152 |
