According to our database1, Frank Ciesinski authored at least 11 papers between 2004 and 2011.
Legend:Book In proceedings Article PhD thesis Other
High-level modelling and efficient analysis of randomized protocols.
PhD thesis, 2011
Quantitative Analysis under Fairness Constraints.
Proceedings of the Automated Technology for Verification and Analysis, 2009
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
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
ProbMela and verification of Markov decision processes.
SIGMETRICS Performance Evaluation Review, 2005
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