Controller Synthesis for Probabilistic Systems. - Christel Baier; Marcus Größer; Martin Leucker; Benedikt Bollig; Frank Ciesinski (IFIP TCS, 2004)

PROBMELA: a modeling language for communicating probabilistic processes. - Christel Baier; Frank Ciesinski; Marcus Größer (MEMOCODE, 2004)

Partial Order Reduction for Probabilistic Systems. - Christel Baier; Marcus Größer; Frank Ciesinski (QEST, 2004)

On Probabilistic Computation Tree Logic. - Frank Ciesinski; Marcus Größer (Validation of Stochastic Systems, 2004)

Quantitative analysis of distributed randomized protocols. - Christel Baier; Frank Ciesinski; Marcus Größer (FMICS, 2005)

ProbMela and verification of Markov decision processes. - Christel Baier; Frank Ciesinski; Marcus Größer (SIGMETRICS Perform. Evaluation Rev., 2005)

On Reduction Criteria for Probabilistic Reward Models. - Marcus Größer; Gethin Norman; Christel Baier; Frank Ciesinski; Marta Z. Kwiatkowska; David Parker 001 (FSTTCS, 2006)

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. - Frank Ciesinski; Christel Baier (QEST, 2006)

Reduction Techniques for Model Checking Markov Decision Processes. - Frank Ciesinski; Christel Baier; Marcus Größer; Joachim Klein 001 (QEST, 2008)

Generating Compact MTBDD-Representations from ProbmelaSpecifications. - Frank Ciesinski; Christel Baier; Marcus Größer; David Parker 001 (SPIN, 2008)

Quantitative Analysis under Fairness Constraints. - Christel Baier; Marcus Größer; Frank Ciesinski (ATVA, 2009)

High-level modelling and efficient analysis of randomized protocols. - Frank Ciesinski (2011)