中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 陈光耀

    合作成果数：7

  • 唐韧之

    合作成果数：6

  • 杨昊晨

    合作成果数：4

  • 顾吉成

    合作成果数：3

  • 杨丽凤

    合作成果数：2

访问统计


  总访问量
 964
  访问来源
    内部： 60
    外部： 904
    国内： 801
    国外： 163

  年访问量
 127
  访问来源
    内部： 3
    外部： 124
    国内： 115
    国外： 12

  月访问量
 3
  访问来源
    内部： 0
    外部： 3
    国内： 3
    国外： 0

访问量

访问量

1. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices [972]
2. Curvature-Enhanced Implicit Function Network for High-quality Too.. [936]
3. Property-driven runtime resolution of feature interactions [881]
4. Model-based Clinical Assist System for Cardiac Ablation [761]
5. Environment Modeling during Model Checking of Cyberphysical System.. [759]
6. Digital behavioral twins for safe connected cars [582]
7. Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation [465]
8. Computer Aided Clinical Trials for Implantable Cardiac Devices [456]
9. pyUPPAAL: A Python Package for Risk Analysis of CPS [424]
10. Model checking-based decision support system for fault management:.. [417]
11. 节点式定制化线路切换实验板及使用其进行实验教学方法 [401]
12. Predicting Synthetic Lethality in Human Cancers via Multi-Graph En.. [398]
13. Decomposing Temporal Equilibrium Strategy for Coordinated Distribu.. [368]
14. Improving Safety in Mixed Traffic: A Learning-based Model Predicti.. [360]
15. Cognitive-Digital-Twin-Based Driving Assistance [355]
16. 一种驾驶辅助方法、系统、介质及终端 [353]
17. HENet: Hierarchical Enhancement Network for Pulmonary Vessel Segm.. [325]
18. Decision support for personalized therapy in implantable medical d.. [320]
19. Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of.. [320]
20. Learning-based modeling of human-autonomous vehicle interaction fo.. [316]
21. 基于模型的射频消融手术辅助系统 [308]
22. 基于模型的射频消融手术辅助系统 [307]
23. Driver's Perception Model in Driving Assist [277]
24. Iterative Model Checking for Safety-Critical Problems in Cyber-Phy.. [277]
25. Poster Abstract of Digital-twin-based Decision Support During Pers.. [270]
26. Digital-twin-based Online Parameter Personalization for Implantabl.. [230]
27. Stable Interaction of Autonomous Vehicle Platoons with Human-Drive.. [200]
28. A cognitive digital twin approach to improving driver compliance a.. [124]
29. Closed-Loop Testing of Autonomous Driving Systems: A Safety-Critic.. [60]
30. PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis .. [54]
31. Enhancing Context Awareness with Model Checking-based Uncertainty .. [54]

下载量

1. Environment Modeling during Model Checking of Cyberphysical System.. [309]
2. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices [301]
3. Model-based Clinical Assist System for Cardiac Ablation [245]
4. pyUPPAAL: A Python Package for Risk Analysis of CPS [177]
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]