Marcus Größer

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Venues

Acta Informatica

Log. Methods Comput. Sci.

J. ACM

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski
Stochastic Timed Automata. Log. Methods Comput. Sci. 10 (4) (2014)
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
Stochastic game logic. Acta Informatica 49 (4) (2012)
Christel Baier, Marcus Größer, Nathalie Bertrand
Probabilistic ω-automata. J. ACM 59 (1) (2012)
Mathieu Tracol, Christel Baier, Marcus Größer
Recurrence and Transience for Probabilistic Automata. FSTTCS (2009)
Christel Baier, Nathalie Bertrand, Marcus Größer
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability DCFS (2009)
Christel Baier, Marcus Größer, Frank Ciesinski
Quantitative Analysis under Fairness Constraints. ATVA (2009)
Christel Baier, Nathalie Bertrand, Marcus Größer
The Effect of Tossing Coins in Omega-Automata. CONCUR (2009)
Christel Baier, Nathalie Bertrand, Marcus Größer
Probabilistic Acceptors for Languages over Infinite Words. SOFSEM (2009)
Christel Baier, Nathalie Bertrand, Marcus Größer
On Decision Problems for Probabilistic Büchi Automata. FoSSaCS (2008)
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS (2008)
Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein
Reduction Techniques for Model Checking Markov Decision Processes. QEST (2008)
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN (2008)
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
Probabilistic and Topological Semantics for Timed Automata. FSTTCS (2007)
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
Stochastic Game Logic. QEST (2007)
Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
On Reduction Criteria for Probabilistic Reward Models. FSTTCS (2006)
Christel Baier, Pedro R. D'Argenio, Marcus Größer
Partial Order Reduction for Probabilistic Branching Time. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Christel Baier, Frank Ciesinski, Marcus Größer
ProbMela and verification of Markov decision processes. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Christel Baier, Frank Ciesinski, Marcus Größer
Quantitative analysis of distributed randomized protocols. FMICS (2005)
Marcus Größer, Christel Baier
Partial Order Reduction for Markov Decision Processes: A Survey. FMCO (2005)
Christel Baier, Marcus Größer
Recognizing omega-regular Languages with Probabilistic Automata. LICS (2005)
Frank Ciesinski, Marcus Größer
On Probabilistic Computation Tree Logic. Validation of Stochastic Systems (2004)
Christel Baier, Marcus Größer, Frank Ciesinski
Partial Order Reduction for Probabilistic Systems. QEST (2004)
Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
Controller Synthesis for Probabilistic Systems. IFIP TCS (2004)
Christel Baier, Frank Ciesinski, Marcus Größer
PROBMELA: a modeling language for communicating probabilistic processes. MEMOCODE (2004)

Marcus Größer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcus Größer