I am an associate professor in the Formal Methods and Tools group at the University of Twente. My primary research interests are modelling tools and formalisms ...
University of Twente - Cited by 1923 - Model Checking - Stochastic Timed Systems - Modelling Tools and Formalisms
Sep 21, 2024 · List of computer science publications by Arnd Hartmanns.
Affiliation: University of Twente
Research interests: Model Checking, Stochastic Timed Systems, and Modelling Tools and Formalisms
Arnd Hartmanns is a postdoctoral researcher at the University of Twente in the Netherlands. His research interests include modeling formalisms, scalable ...
Arnd Hartmanns. I completed my Ph.D. in computer science at the Dependable Systems and Software group, supervised by Prof. Holger Hermanns, in early 2015 ...
Works (50 of 52) · Efficient Formally Verified Maximal End Component Decomposition for MDPs · Comparing Statistical, Analytical, and Learning-Based Routing ...
Arnd Hartmanns · Most frequent co-Author · Most cited colleague · Most frequent Affiliation.
Arnd Hartmanns's 82 research works with 1818 citations, including: Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report.
Reference author: Arnd Hartmanns. First name. Arnd. Last name. Hartmanns. D'Argenio, P. ., Gerhold, M. ., Hartmanns, A. ., & Sedwards, S. . (2018). A Hierarchy ...