Publications

Export 5 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Dennis Guck  [Clear All Filters]
2014
D. Guck, H. Hatefi, H. Hermanns, J. - P. Katoen, and M. Timmer, “Analysis of Timed and Long-Run Objectives for Markov Automata”, Logical Methods in Computer Science, vol. 10, 2014.
D. Guck, M. Timmer, H. Hatefi, E. Ruijters, and M. Stoelinga, “Modelling and Analysis of Markov Reward Automata”, in Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, 2014.
2013
D. Guck, H. Hatefi, H. Hermanns, J. - P. Katoen, and M. Timmer, “Modelling, Reduction and Analysis of Markov Automata”, in Quantitative Evaluation of Systems, QEST 2013, 2013, vol. 8054, p. 55-71.
2012
D. Guck, T. Han, J. - P. Katoen, and M. R. Neuhäußer, “Quantitative Timed Analysis of Interactive Markov Chains”, in 4th International Symposium NASA Formal Methods (NFM), Norfolk, USA, 2012, vol. 7226, p. 8-23.PDF icon 72260008.pdf (256.53 KB)
F. Arnold, D. Gebler, D. Guck, and H. Hatefi, “A Tutorial on Interactive Markov Chains”, in {ROCKS}, 2012.