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

David Sanán

Singapore Institute of Technology

13H指数
92论文数
560被引数
收录论文 4
发表时间
logo
Modeling and Verifying Concurrent Reactive Systems Using Separation Logic使用分离逻辑对并发反应系统进行建模与验证
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errSun, Huan; Sanan, David; Sun, Jun; Wang, Wenhai
err分享
err收藏
CANeleon: Protecting CAN Bus With Frame ID Chameleon
errIEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
IF7.1
err2020-07-01
err14
PREAI
errCheng, Kun; Bai, Yuebin; Zhou, Yuan; Tang, Yun; Sanan, David; Liu, Yang
err分享
err收藏
Refinement-Based Specification and Security Analysis of Separation Kernels
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2019-01-01
err17
errOAAI
errZhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang
err分享
err收藏
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2016-08-01
err15
PREAI
errZhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
刘
刘洋 (Yang Liu)
H 指数: 106 · 论文数: 3.5K
周
周圆 (Yuan Zhou)
H 指数: 28 · 论文数: 260
K
Kun Cheng
H 指数: 20 · 论文数: 103
Y
Yun Tang
H 指数: 17 · 论文数: 102
F
Fuyuan Zhang
H 指数: 15 · 论文数: 120
查看更多