logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Arnd Hartmanns

university of twente

19H指数
117论文数
1.5K被引数
收录论文 8
发表时间
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
err分享
err收藏
DTMC Model Checking by Path Abstraction Revisited路径抽象再探：离散时间马尔可夫链模型检测
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errHartmanns, Arnd; Modderman, Robert
err分享
err收藏
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
err分享
err收藏
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality超越均值的统计模型检测：分位数、CVaR和DKW不等式
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
err分享
err收藏
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
err分享
err收藏
PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium InterfacePyDSMC：基于Gymnasium接口的神经智能体统计模型检测
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
Dirk Beyer
H 指数: 53 · 论文数: 428
张
张震 (Zhen Zhang)
H 指数: 27 · 论文数: 189
N
Nils Jansen
H 指数: 26 · 论文数: 267
V
Verena Wolf
H 指数: 25 · 论文数: 153
S
Sanghamitra Roy
H 指数: 18 · 论文数: 126
查看更多