Marcus Größer

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