关键词云

成果统计

合作作者[TOP 5]

  • 陈光耀

    合作成果数:7

  • 唐韧之

    合作成果数:6

  • 杨昊晨

    合作成果数:4

  • 顾吉成

    合作成果数:3

  • 杨丽凤

    合作成果数:2

访问统计


  总访问量
 971

  访问来源
    内部: 60
    外部: 911
    国内: 806
    国外: 165

  年访问量
 134

  访问来源
    内部: 3
    外部: 131
    国内: 120
    国外: 14

  月访问量
 10

  访问来源
    内部: 0
    外部: 10
    国内: 8
    国外: 2

访问量

访问量

1. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices [975]
2. Curvature-Enhanced Implicit Function Network for High-quality Too.. [955]
3. Property-driven runtime resolution of feature interactions [905]
4. Model-based Clinical Assist System for Cardiac Ablation [767]
5. Environment Modeling during Model Checking of Cyberphysical System.. [764]
6. Digital behavioral twins for safe connected cars [590]
7. Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation [471]
8. Computer Aided Clinical Trials for Implantable Cardiac Devices [463]
9. pyUPPAAL: A Python Package for Risk Analysis of CPS [438]
10. Model checking-based decision support system for fault management:.. [421]
11. 节点式定制化线路切换实验板及使用其进行实验教学方法 [405]
12. Predicting Synthetic Lethality in Human Cancers via Multi-Graph En.. [404]
13. Decomposing Temporal Equilibrium Strategy for Coordinated Distribu.. [375]
14. Improving Safety in Mixed Traffic: A Learning-based Model Predicti.. [365]
15. Cognitive-Digital-Twin-Based Driving Assistance [360]
16. 一种驾驶辅助方法、系统、介质及终端 [358]
17. HENet: Hierarchical Enhancement Network for Pulmonary Vessel Segm.. [332]
18. Decision support for personalized therapy in implantable medical d.. [328]
19. Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of.. [326]
20. Learning-based modeling of human-autonomous vehicle interaction fo.. [322]
21. 基于模型的射频消融手术辅助系统 [314]
22. 基于模型的射频消融手术辅助系统 [310]
23. Iterative Model Checking for Safety-Critical Problems in Cyber-Phy.. [285]
24. Driver's Perception Model in Driving Assist [281]
25. Poster Abstract of Digital-twin-based Decision Support During Pers.. [274]
26. Digital-twin-based Online Parameter Personalization for Implantabl.. [235]
27. Stable Interaction of Autonomous Vehicle Platoons with Human-Drive.. [204]
28. A cognitive digital twin approach to improving driver compliance a.. [130]
29. Closed-Loop Testing of Autonomous Driving Systems: A Safety-Critic.. [61]
30. Enhancing Context Awareness with Model Checking-based Uncertainty .. [57]
31. PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis .. [56]
32. Ethics by Design in Autonomous Driving: Developing a Model-Based L.. [11]

下载量

1. Environment Modeling during Model Checking of Cyberphysical System.. [312]
2. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices [302]
3. Model-based Clinical Assist System for Cardiac Ablation [248]
4. pyUPPAAL: A Python Package for Risk Analysis of CPS [187]
5. Digital behavioral twins for safe connected cars [14]
6. A cognitive digital twin approach to improving driver compliance a.. [12]
7. Computer Aided Clinical Trials for Implantable Cardiac Devices [5]
8. Decision support for personalized therapy in implantable medical d.. [5]
9. Cognitive-Digital-Twin-Based Driving Assistance [4]
10. Model checking-based decision support system for fault management:.. [4]
11. 一种驾驶辅助方法、系统、介质及终端 [3]
12. Iterative Model Checking for Safety-Critical Problems in Cyber-Phy.. [3]
13. Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation [2]
14. Decomposing Temporal Equilibrium Strategy for Coordinated Distribu.. [2]
15. Learning-based modeling of human-autonomous vehicle interaction fo.. [2]
16. Poster Abstract of Digital-twin-based Decision Support During Pers.. [2]
17. Closed-Loop Testing of Autonomous Driving Systems: A Safety-Critic.. [2]
18. 基于模型的射频消融手术辅助系统 [1]
19. Predicting Synthetic Lethality in Human Cancers via Multi-Graph En.. [1]
20. Stable Interaction of Autonomous Vehicle Platoons with Human-Drive.. [1]
21. 基于模型的射频消融手术辅助系统 [1]
22. HENet: Hierarchical Enhancement Network for Pulmonary Vessel Segm.. [1]
23. Improving Safety in Mixed Traffic: A Learning-based Model Predicti.. [1]
24. Ethics by Design in Autonomous Driving: Developing a Model-Based L.. [1]