# Frank Ciesinski

According to our database

Collaborative distances:

^{1}, Frank Ciesinski authored at least 11 papers between 2004 and 2011.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2011

High-level modelling and efficient analysis of randomized protocols.

PhD thesis, 2011

2009

Quantitative Analysis under Fairness Constraints.

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Generating Compact MTBDD-Representations from ProbmelaSpecifications.

Proceedings of the Model Checking Software, 2008

Reduction Techniques for Model Checking Markov Decision Processes.

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.

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

On Reduction Criteria for Probabilistic Reward Models.

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

2005

ProbMela and verification of Markov decision processes.

SIGMETRICS Performance Evaluation Review, 2005

2004

On Probabilistic Computation Tree Logic.

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

Partial Order Reduction for Probabilistic Systems.

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

PROBMELA: a modeling language for communicating probabilistic processes.

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

Controller Synthesis for Probabilistic Systems.

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004