Frank Ciesinski

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Christel Baier, Marcus Größer, Frank Ciesinski
Quantitative Analysis under Fairness Constraints. ATVA (2009)
Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein
Reduction Techniques for Model Checking Markov Decision Processes. QEST (2008)
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN (2008)
Frank Ciesinski, Christel Baier
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. QEST (2006)
Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
On Reduction Criteria for Probabilistic Reward Models. FSTTCS (2006)
Christel Baier, Frank Ciesinski, Marcus Größer
ProbMela and verification of Markov decision processes. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Christel Baier, Frank Ciesinski, Marcus Größer
Quantitative analysis of distributed randomized protocols. FMICS (2005)
Frank Ciesinski, Marcus Größer
On Probabilistic Computation Tree Logic. Validation of Stochastic Systems (2004)
Christel Baier, Marcus Größer, Frank Ciesinski
Partial Order Reduction for Probabilistic Systems. QEST (2004)
Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
Controller Synthesis for Probabilistic Systems. IFIP TCS (2004)
Christel Baier, Frank Ciesinski, Marcus Größer
PROBMELA: a modeling language for communicating probabilistic processes. MEMOCODE (2004)