The SCEAS System
Navigation Menu

Search the dblp DataBase


Frank Ciesinski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002