Frank Ciesinski

According to our database1, Frank Ciesinski authored at least 11 papers between 2004 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...