Publications

Filters: Author is Ernst Moritz Hahn  [Clear All Filters]
2011
M. Fränzle, Hahn, E. M., Hermanns, H., Wolovick, N., and Zhang, L., “Measurability and safety verification for stochastic hybrid systems”, in Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, 2011, pp. 43-52.
2010
G. Calin, Crouzen, P., D'Argenio, P. R., Hahn, E. M., and Zhang, L., “Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains”, in Model Checking Software - 17th International SPIN Workshop, 2010, vol. LNCS 6349, pp. 193-211.PDF icon paper-11.pdf (315.45 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054