Publications

Filters: Author is Ernst Moritz Hahn [Clear All Filters]

2014

E. M. Hahn, A. Hartmanns, and H. Hermanns, “Reachability and Reward Checking for Stochastic Timed Automata”, {ECEASST}, vol. 70, 2014.

2013

E. M. Hahn, A. Hartmanns, H. Hermanns, and J. - P. Katoen, “A compositional modelling and analysis framework for stochastic hybrid systems”, Formal Methods in System Design, vol. 43, p. 191-232, 2013.

C. Baier, E. M. Hahn, B. R. Haverkort, H. Hermanns, and J. - P. Katoen, “Model checking for performability”, Mathematical Structures in Computer Science, vol. 23, p. 751–795, 2013.

E. M. Hahn and H. Hermanns, “Rewarding probabilistic hybrid automata”, in Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, 2013.

2012

E. M. Hahn, A. Hartmanns, H. Hermanns, and J. - P. Katoen, “A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems”, Formal Methods in System Design, 2012.

fmsd2012_final.pdf (1.77 MB)

E. M. Hahn, “Model Checking Stochastic Hybrid Systems”, 2012.

phdthesis-EMH.pdf (1.49 MB)

L. M. Ferrer Fioriti, E. M. Hahn, H. Hermanns, and B. Wachter, “Variable Probabilistic Abstraction Refinement”, in Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, 2012, vol. 7561, p. 300-316.