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

David Knuplesch

ulm university

15H指数
44论文数
726被引数
收录论文 3
发表时间
logo
Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise主动攻击下的网络架构（汽车）攻击韧性超属性：形式化安全分析
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errFigge, Julius; Knuplesch, David; Maletti, Andreas; Zuvic, Dragan
err分享
err收藏
Verifying compliance in process choreographies: Foundations, algorithms, and implementation
errenterprise information systems
IF3.4
err2022-09-01
err3
errOAAI
errFdhila, Walid; Knuplesch, David; Rinderle-Ma, Stefanie; Reichert, Manfred
err分享
err收藏
A framework for visually monitoring business process compliance可视化监控业务流程合规性的框架
errenterprise information systems
IF3.4
err2017-03-01
err26
PREAI
errKnuplesch, David; Reichert, Manfred; Kumar, Akhil
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Manfred Reichert
H 指数: 68 · 论文数: 898
A
Akhil Kumar
H 指数: 38 · 论文数: 184
S
Stefanie Rinderle‐Ma
H 指数: 34 · 论文数: 401
A
Andreas Maletti
H 指数: 17 · 论文数: 136
W
Walid Fdhila
H 指数: 16 · 论文数: 61
查看更多