Publications :
- Mathieu Tracol, Christel Baier, Marcus Grösser,
Recurrence and Transience
for Probabilistic Automata,
in Proc. of the 29th Conference on Foundations of Software Technology
and
Theoretical Computer Science (FSTTCS '09), pp. 395-406, LIPIcs 4,
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2009.
DROPS
- Christel Baier, Marcus Grösser, Frank Ciesinski,
Quantitative analysis under
fairness constraints,
in Proc. of the 7th International Symposium on Automated Technology for
Verification and Analysis (ATVA '09), pp. 135-150, LNCS 5799, 2009.
Springerlink
- Christel Baier, Nathalie Bertrand, Marcus Grösser,
The Effect of Tossing Coins
in Omega-Automata,
in Proc. of the 20th International Conference on Concurrency Theory
(CONCUR '09), pp. 15-29, LNCS 5710, 2009.
Springerlink
- Christel Baier, Nathalie Bertrand, Marcus Grösser,
Probabilistic Automata over
Infinite Words: Expressiveness, Efficiency, and Decidability,
in Proc. of the 11th International Workshop on Descriptional Complexity
of Formal Systems (DCFS '09), pp. 3-16, EPTCS 3, 2009.
arXiv.org
- Christel Baier, Marcus Grösser, Frank Ciesinski,
Model Checking Linear-Time
properties of Probabilistic Systems,
chapter 13 of the
Handbook of Weighted Automata , editors M. Droste, W.
Kuich and H. Vogler, EATCS Monographs in Theoretical Computer Science,
Springer, 2009.
- Christel Baier, Nathalie Bertrand, Marcus Grösser,
Probabilistic acceptors for
languages over infinite words,
in Proc. of the 35th International Conference on Current
Trends in Theory and Practice of Computer Science (SOFSEM '09), pp.
19-33, LNCS 5404, 2009.
Springerlink
- Marcus Grösser
Reduction Methods for
Probabilistic Model Checking,
PhD thesis, Technische Universität Dresden, 2008.
Download: PDF
file
- Frank Ciesinski, Christel Baier, Marcus Grösser,
Joachim Klein,
Reduction Techniques for
Model Checking Markov Decision Processes,
in Proc. of the 5th International Conference on the
Quantitative Evaluation of SysTems (QEST '08), pp. 45-54, IEEE CS
Press, 2008.
IEEE
Xplore Link
- Frank Ciesinski, Christel Baier, Marcus Grösser, David
Parker,
Generating Compact
MTBDD-Representations from Probmela Specifications,
in Proc. of the 15th International SPIN Workshop on
Model Checking of Software (SPIN '08), pp. 60-76, LNCS 5156, 2008.
Springerlink
- Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas
Brihaye, Marcus Grösser,
Almost-Sure Model Checking
of Infinite Paths in One-Clock Timed Automata,
in Proc. of the 23rd IEEE Symposium on Logic in Computer
Science (LICS
'08), pp. 217-226, IEEE CS Press, 2008.
IEEE
Xplore Link
- Christel Baier, Nathalie Bertrand, Marcus Grösser,
On Decision Problems for
Probabilistic Buechi Automata,
in Proc. of the 11th International Conference on
Foundations of Software Science and Computation Structures
(FOSSACS '08), pp. 287-301, LNCS 4962, 2008.
Springerlink
awarded as "Best Theory Paper at ETAPS"
- Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas
Brihaye, Marcus Grösser,
Probabilistic and
Topological Semantics for Timed Automata,
in Proc. of the 27th Conference on Foundations of Software
Technology and
Theoretical Computer Science (FSTTCS '07), pp. 179-191, LNCS 4855, 2007.
Springerlink
- Christel Baier, Tomas Brazdil, Marcus Grösser, Antonin
Kucera,
Stochastic Game Logic,
in Proc. of the 4th International Conference on the
Quantitative
Evaluation of SysTems (QEST '07), pp. 227-236, IEEE CS Press, 2007.
IEEE
Xplore Link
- Marcus Grösser, Gethin Norman, Christel Baier, Frank
Ciesinski, Marta Kwiatkowska, David Parker,
On reduction criteria for
probabilistic reward models,
in Proc. of the 26th Conference on Foundations of Software Technology
and
Theoretical Computer Science (FSTTCS' 06), pp. 309-320, LNCS 4337, 2006.
Springerlink
- Marcus Grösser, Christel Baier,
Partial Order Reduction
for Markov Decision Processes : A Survey,
in Proc. of the 4th International Symposium on Formal Methods for
Components and Objects,
(FMCO '05), pp. 408-427, LNCS 4111, 2006.
Springerlink
- Christel Baier, Frank Ciesinski, Marcus Grösser,
Quantitative Analysis of
distributed randomized protocols,
in Proc. of the 10th International Workshop on Formal Methods for
Industrial Critical Systems (FMICS '05), pp. 2-7, ACM Press, 2005.
ACM
Link
- Christel Baier, Marcus Grösser,
Recognizing omega-regular
Languages with Probabilistic Automata,
in Proc. of the 20th IEEE Symposium on Logic in Computer Science (LICS
'05), pp.
137-146, IEEE CS Press, 2005.
IEEE
Xplore Link
- Christel Baier, Pedro D'Argenio, Marcus Grösser,
Partial Order Reduction for
Probabilistic Branching Time,
in Proc. of the 3rd Workshop on Quantitative Aspects of Programming
Languages (QAPL '05), ENTCS 153(2), pp. 97-116, 2006
ScienceDirect
Link
- Christel Baier, Frank Ciesinski, Marcus Grösser,
ProbMela and Verification
of Markov Decision Processes,
in special issue of ACM Performance Evaluation Review on
Performance and Verification, Vol
32(4), pp. 22-27, 2005.
ACM
Link
- Christel Baier, Marcus Grösser, Frank Ciesinski,
Partial Order Reduction
for Probabilistic Systems,
in Proc. of the 1st International Conference on the Quantitative
Evaluation of
SysTems (QEST '04), pp. 230-239, IEEE CS Press, 2004.
IEEE
Xplore Link
- Christel Baier, Marcus Grösser, Martin Leucker,
Benedikt Bollig, Frank Ciesinski,
Controller synthesis for
probabilistic systems,
in Proc. of the 18th IFIP World Computer Congress, Theoretical Computer
Science, pp.
439-506, 2004.
CiteSeerX
Link
- Christel Baier, Frank Ciesinski, Marcus Grösser,
ProbMela: a modeling
language for communicating probabilistic processes,
in Proc. of the 2nd ACM-IEEE International Conference on Formal
Methods and Models for Codesign (MEMOCODE '04), pp. 57-66, IEEE CS
Press, 2004.
IEEE
Xplore Link
- Frank Ciesinski, Marcus Grösser,
On Probabilistic
Computation Tree Logic,
in LNCS 2925, Validation of Stochastic Systems, pp. 147-188, 2004.
Springerlink
- Marcus Grösser,
Quantitative Analyse
Probabilistischer Systeme,
Institut für Informatik, Universität Bonn, 2002.
|
