科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Muhammad Taimoor Khan
University of Surrey
9
H指数
59
论文数
288
被引数
0
相关解读
订阅
收录论文
4
发表时间
发表时间
IF
被引数
Automatic Repair of Timestamp Comparisons
自动修复时间戳比较
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2021-11-01
2
OA
AI
Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca
分享
收藏
Securing Industrial Cyber-Physical Systems: A Run-Time Multilayer Monitoring
保护工业网络物理系统: 运行时多层监控
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF
9.9
2021-09-01
9
OA
AI
Khan, Muhammad Taimoor; Tomic, Ivana
分享
收藏
Semantics-driven extraction of timed automata from Java programs
从Java程序中提取时间自动机的语义驱动
EMPIRICAL SOFTWARE ENGINEERING
IF
3.6
2019-03-22
2
OA
AI
Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin
分享
收藏
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems
PROCEEDINGS OF THE IEEE
IF
25.9
2018-01-01
24
OA
AI
Khan, Muhammad Taimoor; Serpanos, Dimitrios; Shrobe, Howard
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Martin Pinzger
H 指数: 34 · 论文数: 163
H
Howard Shrobe
H 指数: 27 · 论文数: 154
D
Dimitrios Serpanos
H 指数: 24 · 论文数: 297
L
Luca Spalazzi
H 指数: 17 · 论文数: 156
F
Francesco Spegni
H 指数: 8 · 论文数: 55
查看更多