logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Arnd Hartmanns

university of twente

19H-index
117Paper Count
1.5KCitation Count
Published Papers 8
Publication Date
logo
Time-Sensitive Importance Splitting
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errDengler, Gabriel; Budde, Carlos E.; Carnevali, Laura; Hartmanns, Arnd
errShare
errSave
DTMC Model Checking by Path Abstraction Revisited
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errHartmanns, Arnd; Modderman, Robert
errShare
errSave
An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
PREAI
errHartmanns, Arnd
errShare
errSave
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errBudde, Carlos E.; Hartmanns, Arnd; Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick
errShare
errSave
Probabilistic Verification for Modular Network-on-Chip Systems
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errWaddoups, Nick; Boe, Jonah; Hartmanns, Arnd; Basu, Prabal; Roy, Sanghamitra; Chakraborty, Koushik; Zhang, Zhen
errShare
errSave
PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errGros, Timo P.; Hartmanns, Arnd; Hoese, Ivo; Meyer, Joshua; Mueller, Nicola J.; Wolf, Verena
errShare
errSave
Reproducibility and replication of research results
errINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
IF1.4
err2025-09-01
err0
errOAAI
errBeyer, Dirk; Hartmanns, Arnd
errShare
errSave
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
errnasa formal methods (nfm
IF0
err2021-05-19
err2
errOAAI
errBadings, Thom S.; Hartmanns, Arnd; Jansen, Nils; Suilen, Marnix
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
D
Dirk Beyer
H-index: 53 · Papers: 428
张
张震 (Zhen Zhang)
H-index: 27 · Papers: 192
N
Nils Jansen
H-index: 26 · Papers: 267
V
Verena Wolf
H-index: 25 · Papers: 153
S
Sanghamitra Roy
H-index: 18 · Papers: 126
View more