Frank Ciesinski

According to our database, Frank Ciesinski authored at least 12 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

High-level modelling and efficient analysis of randomized protocols.

Frank Ciesinski

PhD thesis, 2011

2009

Quantitative Analysis under Fairness Constraints.

Christel Baier, Marcus Größer, Frank Ciesinski

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Generating Compact MTBDD-Representations from ProbmelaSpecifications.

Frank Ciesinski, Christel Baier, Marcus Größer, David Parker

Proceedings of the Model Checking Software, 2008

Reduction Techniques for Model Checking Markov Decision Processes.

Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2006

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.

Frank Ciesinski, Christel Baier

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

On Reduction Criteria for Probabilistic Reward Models.

Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005

ProbMela and verification of Markov decision processes.

Christel Baier, Frank Ciesinski, Marcus Größer

SIGMETRICS Perform. Evaluation Rev., 2005

Quantitative analysis of distributed randomized protocols.

Christel Baier, Frank Ciesinski, Marcus Größer

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

2004

On Probabilistic Computation Tree Logic.

Frank Ciesinski, Marcus Größer

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Partial Order Reduction for Probabilistic Systems.

Christel Baier, Marcus Größer, Frank Ciesinski

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

PROBMELA: a modeling language for communicating probabilistic processes.

Christel Baier, Frank Ciesinski, Marcus Größer

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Controller Synthesis for Probabilistic Systems.

Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004