Marcus Größer

According to our database1, Marcus Größer
  • authored at least 23 papers between 2004 and 2014.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Stochastic Timed Automata.
Logical Methods in Computer Science, 2014

2012
Probabilistic ω-automata.
J. ACM, 2012

Stochastic game logic.
Acta Inf., 2012

2009
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009

Probabilistic Acceptors for Languages over Infinite Words.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Recurrence and Transience for Probabilistic Automata.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

The Effect of Tossing Coins in Omega-Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Quantitative Analysis under Fairness Constraints.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Generating Compact MTBDD-Representations from ProbmelaSpecifications.
Proceedings of the Model Checking Software, 2008

Reduction Techniques for Model Checking Markov Decision Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

On Decision Problems for Probabilistic Büchi Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007
Stochastic Game Logic.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Probabilistic and Topological Semantics for Timed Automata.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006
Partial Order Reduction for Probabilistic Branching Time.
Electr. Notes Theor. Comput. Sci., 2006

On Reduction Criteria for Probabilistic Reward Models.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005
ProbMela and verification of Markov decision processes.
SIGMETRICS Performance Evaluation Review, 2005

Recognizing omega-regular Languages with Probabilistic Automata.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Partial Order Reduction for Markov Decision Processes: A Survey.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
On Probabilistic Computation Tree Logic.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Partial Order Reduction for Probabilistic Systems.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

PROBMELA: a modeling language for communicating probabilistic processes.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Controller Synthesis for Probabilistic Systems.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004


  Loading...