 | 2009 |
|---|
| 6 |       | 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 |
|---|
| 5 | | Reza Pulungan,
Holger Hermanns:
Effective Minimization of Acyclic Phase-Type Representations.
ASMTA 2008: 128-143 |
| 4 |  | Reza Pulungan,
Holger Hermanns:
The Minimal Representation of the Maximum of Erlang Distributions.
MMB 2008: 207-222 |
| 2007 |
|---|
| 3 | | Christian Groß,
Holger Hermanns,
Reza Pulungan:
Does Clock Precision Influence ZigBee's Energy Consumptions?.
OPODIS 2007: 174-188 |
| 2006 |
|---|
| 2 | | 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 |
| 2005 |
|---|
| 1 | | Lucia Cloth,
Joost-Pieter Katoen,
Maneesh Khattri,
Reza Pulungan:
Model Checking Markov Reward Models with Impulse Rewards.
DSN 2005: 722-731 |
