Frank Ciesinski

12 papers B 1C 2Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2011 — —
High-level modelling and efficient analysis of randomized protocols.
Frank Ciesinski
2009 B conf
Quantitative Analysis under Fairness Constraints.
ATVA
Christel Baier, Marcus Größer, Frank Ciesinski
2008 — conf
Generating Compact MTBDD-Representations from ProbmelaSpecifications.
SPIN
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
2008 — conf
Reduction Techniques for Model Checking Markov Decision Processes.
QEST
Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein
2006 — conf
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
QEST
Frank Ciesinski, Christel Baier
2006 — conf
On Reduction Criteria for Probabilistic Reward Models.
FSTTCS
Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
2005 J jnl
ProbMela and verification of Markov decision processes.
SIGMETRICS Perform. Evaluation Rev.
Christel Baier, Frank Ciesinski, Marcus Größer
2005 C conf
Quantitative analysis of distributed randomized protocols.
FMICS
Christel Baier, Frank Ciesinski, Marcus Größer
2004 — conf
Controller Synthesis for Probabilistic Systems.
IFIP TCS
Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
2004 — conf
On Probabilistic Computation Tree Logic.
Validation of Stochastic Systems
Frank Ciesinski, Marcus Größer
2004 C conf
PROBMELA: a modeling language for communicating probabilistic processes.
MEMOCODE
Christel Baier, Frank Ciesinski, Marcus Größer
2004 — conf
Partial Order Reduction for Probabilistic Systems.
QEST
Christel Baier, Marcus Größer, Frank Ciesinski