 | 2009 |
|---|
| 7 |       | Eckard Böde,
Marc Herbstritt,
Holger Hermanns,
Sven Johr,
Thomas Peikenkamp,
Reza Pulungan,
Jan Rakow,
Ralf Wimmer,
Bernd Becker:
Compositional Dependability Evaluation for STATEMATE.
IEEE Trans. Software Eng. 35(2): 274-292 (2009) |
| 2008 |
|---|
| 6 | | Eckard Böde,
Thomas Peikenkamp,
Jan Rakow,
Samuel Wischmeyer:
Model Based Importance Analysis for Minimal Cut Sets.
ATVA 2008: 303-317 |
| 5 |  | Thomas Peikenkamp:
Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen.
Software Engineering (Workshops) 2008: 329-334 |
| 2006 |
|---|
| 4 | | 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 | | Thomas Peikenkamp,
Antonella Cavallo,
Laura Valacca,
Eckard Böde,
Matthias Pretzer,
Ernst Moritz Hahn:
Towards a Unified Model-Based Safety Assessment.
SAFECOMP 2006: 275-288 |
| 1998 |
|---|
| 2 | | 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 |
