Publications

Export 7 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Ernst Moritz Hahn  [Clear All Filters]
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.PDF icon fmsd2012_final.pdf (1.77 MB)
E. M. Hahn, “Model Checking Stochastic Hybrid Systems”, 2012.PDF icon 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.
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.