Homepage von Marcus Groesser


ich                      
Wissenschaftlicher Mitarbeiter

Marcus Groesser
Technische Universität Dresden
Institut für Theoretische Informatik
Algebraische und logische Grundlagen der Informatik
Raum 3004
Nöthnitzer Strasse 46
01062  Dresden
Deutschland
Phone : (+49) (0)351 - 463-38279

Sprechstunde: nach Vereinbarung
Research interests:
  • Verification and Model Checking
  • Modeling and Analysis of probabilistic systems
  • Partial Order Reduction for MDPs
  • Probabilistic omega-automata
  • Partially observable MDPs

Teaching: see this page

  • PC-member of the 7th European Performance Engineering Workshop, EPEW 2010
  • PC-member of the 8th workshop on Quantitative Aspects of Programming Languages, QAPL 2010
  • PC-member of the 7th workshop on Quantitative Aspects of Programming Languages, QAPL 2009
  • PC-member of the 6th workshop on Quantitative Aspects of Programming Languages, QAPL 2008
  • PC-co-chair of the 2nd international workshop on Probabilistic Automata and Logics, PAuL 2007
  • PC-co-chair of the 1st international workshop on Probabilistic Automata and Logics, PAuL 2006


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.