Scholar
Arnd Hartmanns
Google Scholar ID: QbHhlncAAAAJ
University of Twente
Formal Methods
Model Checking
Stochastic Timed Systems
Modelling Tools and Formalisms
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,228
H-index
26
i10-index
50
Publications
20
Co-authors
6
list available
Contact
No contact links provided.
Publications
7 items
Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)
2026
Cited
0
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
2026
Cited
0
Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
2025
Cited
0
Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
2025
Cited
0
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
2025
Cited
0
DTMC Model Checking by Path Abstraction Revisited (extended version)
2025
Cited
0
Time-Sensitive Importance Splitting
2025
Cited
0
Resume (English only)
Co-authors
6 total
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Pedro R. D'Argenio
FAMAF, Universidad Nacional de Córdoba - CONICET
Co-author 3
Carlos E. Budde
Associate Professor @ Technical University of Denmark, DTU Compute
Sean Sedwards
University of Waterloo
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
