arrow
Back
E

Ernst Moritz Hahn

university of twente

24H-index
117Paper Count
2.3KCitation Count
Published Papers 3
Publication Date
ATM: a Logic for Quantitative Security Properties on Attack Trees
err2025-10-01
err0
errOAAI
errNicoletti, Stefano M.; Lopuhaa-Zwakenberg, Milan; Hahn, E. Moritz; Stoelinga, Marielle
errShare
errSave
Probabilistic Preference Planning Problem for Markov Decision Processes
err2022-05-01
err3
errOAAI
errLi, Meilun; Turrini, Andrea; Hahn, Ernst Moritz; She, Zhikun; Zhang, Lijun
errShare
errSave
Transient Reward Approximation for Continuous-Time Markov Chains
err2015-12-01
err4
errOAAI
errHahn, Ernst Moritz; Hermanns, Holger; Wimmer, Ralf; Becker, Bernd
errShare
errSave