Arnd Hartmanns

A compositional modelling and analysis framework for stochastic hybrid systems

Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns et al. · Formal Methods in System Design · 2012 · 153 citations

Engineering, Mathematics, Systems Engineering +14

A Modest Approach to Checking Probabilistic Timed Automata

Arnd Hartmanns, Holger Hermanns · 2009 · 65 citations

Computing, Computer Science, Formal Methods +16

An efficient statistical model checker for nondeterminism and rare events

Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns et al. · International Journal on Software Tools for Technology Transfer · 2020 · 39 citations · Full text

Computing, Computer Science, Computer Systems +8

Reachability and Reward Checking for Stochastic Timed Automata

Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns · Technische Universität Berlin – Universitätsbibliothek · 2014 · 22 citations · Full text

Computing, Computer Engineering, Computer Science +17

In the quantitative automata zoo

Arnd Hartmanns, Holger Hermanns · Science of Computer Programming · 2015 · 22 citations

Computing, Computer Science, Mathematics +7