| 2008 |
|---|
| 5 | | Thomas Peikenkamp:
Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen.
Software Engineering (Workshops) 2008: 329-334 |
| 2006 |
|---|
| 4 | EE | Eckard Böde,
Marc Herbstritt,
Holger Hermanns,
Sven Johr,
Thomas Peikenkamp,
Reza Pulungan,
Ralf Wimmer,
Bernd Becker:
Compositional Performability Evaluation for STATEMATE.
QEST 2006: 167-178 |
| 3 | EE | Thomas Peikenkamp,
Antonella Cavallo,
Laura Valacca,
Eckard Böde,
Matthias Pretzer,
E. Moritz Hahn:
Towards a Unified Model-Based Safety Assessment.
SAFECOMP 2006: 275-288 |
| 1998 |
|---|
| 2 | EE | Karsten Lüth,
Jürgen Niehaus,
Thomas Peikenkamp:
HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams.
International Workshop on Rapid System Prototyping 1998: 212-217 |
| 1995 |
|---|
| 1 | | Feixiong Liu,
Thomas Peikenkamp,
Werner Damm:
An Extended Gradient Model for NUMA Multiprocessor Systems.
ASIAN 1995: 210-224 |
