|
Search the dblp DataBase
Frank Ciesinski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Christel Baier, Marcus Größer, Frank Ciesinski
Partial Order Reduction for Probabilistic Systems. [Citation Graph (0, 0)][DBLP] QEST, 2004, pp:230-239 [Conf]
- 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]
- Frank Ciesinski, Marcus Größer
On Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:147-188 [Conf]
- 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]
Quantitative Analysis under Fairness Constraints. [Citation Graph (, )][DBLP]
Reduction Techniques for Model Checking Markov Decision Processes. [Citation Graph (, )][DBLP]
Generating Compact MTBDD-Representations from ProbmelaSpecifications. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|