| 2008 |
|---|
| 9 | EE | Frank Ciesinski,
Christel Baier,
Marcus Größer,
Joachim Klein:
Reduction Techniques for Model Checking Markov Decision Processes.
QEST 2008: 45-54 |
| 8 | EE | Frank Ciesinski,
Christel Baier,
Marcus Größer,
David Parker:
Generating Compact MTBDD-Representations from ProbmelaSpecifications.
SPIN 2008: 60-76 |
| 2006 |
|---|
| 7 | EE | Marcus Größer,
Gethin Norman,
Christel Baier,
Frank Ciesinski,
Marta Z. Kwiatkowska,
David Parker:
On Reduction Criteria for Probabilistic Reward Models.
FSTTCS 2006: 309-320 |
| 6 | EE | Frank Ciesinski,
Christel Baier:
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
QEST 2006: 131-132 |
| 2005 |
|---|
| 5 | EE | Christel Baier,
Frank Ciesinski,
Marcus Größer:
ProbMela and verification of Markov decision processes.
SIGMETRICS Performance Evaluation Review 32(4): 22-27 (2005) |
| 2004 |
|---|
| 4 | | Christel Baier,
Marcus Größer,
Martin Leucker,
Benedikt Bollig,
Frank Ciesinski:
Controller Synthesis for Probabilistic Systems.
IFIP TCS 2004: 493-506 |
| 3 | EE | Christel Baier,
Frank Ciesinski,
Marcus Größer:
PROBMELA: a modeling language for communicating probabilistic processes.
MEMOCODE 2004: 57-66 |
| 2 | EE | Christel Baier,
Marcus Größer,
Frank Ciesinski:
Partial Order Reduction for Probabilistic Systems.
QEST 2004: 230-239 |
| 1 | EE | Frank Ciesinski,
Marcus Größer:
On Probabilistic Computation Tree Logic.
Validation of Stochastic Systems 2004: 147-188 |
