Scholar
Arnd Hartmanns
Google Scholar ID: QbHhlncAAAAJ
University of Twente
Citations & Impact
Citations
1,482
H-index
19
i10-index
37
Publications
20
Co-authors
6
list available
Publications
Resume (English only)
Academic Achievements
- Led multiple projects such as the NWO VIDI project TruSTy (2024-2029), Interreg North Sea project STORM_SAFE (2024-2027), MSCA RISE project MISSION (2021-2026), NWO Open Competition project Verified Probabilistic Verification (2021-2025), and NWO VENI personal grant Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability (2018-2023). Served on program committees for conferences like TACAS 2026, QEST-FORMATS 2025, etc. Published numerous papers on topics including DTMC model checking, statistical model checking, and more.
Research Experience
- Previously a postdoc in the Formal Methods and Tools group at the University of Twente and the Dependable Systems and Software group at Saarland University.
Education
- Completed his Ph.D. in computer science with a thesis titled 'On the Analysis of Stochastic Timed Systems' at Saarland University in 2015.
Background
- Associate professor in the Formal Methods and Tools group at the University of Twente. Primary research interests are modeling tools and formalisms for stochastic timed and hybrid systems (particularly Modest) and their applications in various fields. Advocates reproducibility in Computer Science research through artifact evaluation, tool competitions, and standardized benchmark sets.
