Publications :
- Marcus Groesser, Christel Baier
Partial Order Reduction
for Markov Decision Processes : A Survey,
Proceedings of the 4th International Symposium on Formal Methods for
Components and Objects,
(FMCO 2005), LNCS 4111, pp 408-427 .
- Christel Baier, Frank Ciesinski, Marcus Groesser,
Quantitative Analysis of
distributed randomized protocols,
Proceedings of FMICS 2005. PDF
- Christel Baier, Marcus Groesser,
Recognizing omega-regular
Languages with Probabilistic Automata,
in Proceedings LICS '05 (Logic In Computer Science), IEEE CS Press, pp
137-146, 2005. PDF
- C. Baier, P. d'Argenio, M. Groesser,
Partial Order Reduction for
Probabilistic Branching Time,
3rd Workshop on Quantitative Aspects of Programming Languages (QAPL),
ENTCS, Edinburgh, April 2005. PS
- C. Baier, F. Ciesinski, M. Groesser,
ProbMela and Model Checking
Markov Decision Processes,
special issue of ACM Performance Evaluation Review on
Performance and Verification, Vol
32(4), pp 22-27, 2005. PDF
- C.Baier and M. Größer and Frank Ciesinski,
Partial Order Reduction
for Probabilistic Systems,
1st International Conference on the Quantitative Evaluation of
Systems (QEST) 2004, pp 230-239, IEEE CS Press. PDF
- C.Baier and M. Größer and Martin Leucker and
Benedikt Bollig and Frank Ciesinski,
Controller synthesis for
probabilistic systems,
18th IFIP World Computer Congress, Theoretical Computer Science, pp
439-506, 2004. PDF
- C. Baier and F. Ciesinski and M. Größer,
PROBMELA: a modeling
language for communicating probabilistic systems,
in Proc. of the Second ACM-IEEE International Conference on Formal
Methods and Models for Codesign (MEMOCODE'2004), IEEE CS Press, 2004. PDF
- F. Ciesinski and M. Größer,
On Probabilistic
Computation Tree Logic,
in LNCS 2925, Validation of Stochastic Systems, page 147-188. PS
- Marcus Größer,
Quantitative Analyse
Probabilistischer Systeme,
2002, PDF
|