Search the dblp DataBase

Publications of Author

1. Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
   On Reduction Criteria for Probabilistic Reward Models. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2006, pp:309-320 [Conf]
   
2. Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
   Controller Synthesis for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2004, pp:493-506 [Conf]
   
3. Christel Baier, Frank Ciesinski, Marcus Größer
   PROBMELA: a modeling language for communicating probabilistic processes. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2004, pp:57-66 [Conf]
   
4. Christel Baier, Marcus Größer, Frank Ciesinski
   Partial Order Reduction for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:230-239 [Conf]
   
5. Frank Ciesinski, Christel Baier
   LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:131-132 [Conf]
   
6. Frank Ciesinski, Marcus Größer
   On Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
   Validation of Stochastic Systems, 2004, pp:147-188 [Conf]
   
7. Christel Baier, Frank Ciesinski, Marcus Größer
   ProbMela and verification of Markov decision processes. [Citation Graph (0, 0)][DBLP]
   SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:22-27 [Journal]
   
8. 
   Quantitative Analysis under Fairness Constraints. [Citation Graph (, )][DBLP]
   
   
9. 
   Reduction Techniques for Model Checking Markov Decision Processes. [Citation Graph (, )][DBLP]
   
   
10. 
    Generating Compact MTBDD-Representations from ProbmelaSpecifications. [Citation Graph (, )][DBLP]