Publications

Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems
Guangyao Chen, Zeyu Li, Jicheng Gu, Yining She, Chenyang Zhu, 江智浩
引用 项目 DOI
Ethics by Design in Autonomous Driving: Developing a Model-based Liability Determination Framework
Yichuan Yu, chenyang, 江智浩
引用 项目 DOI
A cognitive digital twin approach to improving driver compliance and accident prevention
Yi Gu, Shuhang Li, Bangzheng Fu, Renzhi Tang, lifeng, sen, 江智浩
引用 项目 DOI
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
Guangyao Chen, Peilin He, ziqi, zixin, 江智浩
引用 项目 DOI
Decision support for personalized therapy in implantable medical devices: A digital twin approach
Haochen Yang, 江智浩
引用 项目 DOI
Cognitive-Digital-Twin-Based Driving Assistance
Junyu Diao, Renzhi Tang, Yi Gu, Sen Tian, 江智浩
引用 项目 DOI
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation
Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, 江智浩
引用 项目 DOI
Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators
Mincai Lai, Haochen Yang, Jicheng Gu, Xinye Chen, 江智浩
引用 项目 DOI
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles
M. Pirani, Yining She, Renzhi Tang, 江智浩, Y. Pant
引用 项目 DOI
Predicting Synthetic Lethality in Human Cancers Via Multi-Graph Ensemble Neural Network
Mincai Lai, Guangyao Chen, Haochen Yang, J. Yang, 江智浩, M. Wu, J. Zheng
引用 DOI
Environment Modeling During Model Checking of Cyber-Physical Systems
Guangyao Chen, 江智浩
引用 项目 DOI
US Patent: Digital behavioral twin system for intersection management in connected environments
CW Lin, 江智浩
项目 源文档
Model-based Clinical Assist System for Cardiac Ablation
Yutong Wu, Renzhi Tang, Eunsuk Kang, 江智浩
引用 项目 DOI
US Patent: Context system for improved understanding of vehicle-to-everything (V2X) communications by V2X receivers
H Kobayashi, 江智浩
项目 源文档
US Patent: Vehicle data reservation service
BG Kim, 江智浩
项目 源文档
Driver's Perception Model in Driving Assist
Renzhi Tang, 江智浩
引用 项目 DOI
US Patent: Collision avoidance for a connected vehicle based on a digital behavioral twin
江智浩, S Shiraishi, BG Kim
项目 源文档
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
N Paoletti, 江智浩, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, SA Smolka
引用 项目 DOI
Digital Behavioral Twins for Safe Connected Cars
X Chen, E Kang, S Shiraishi, VM Preciado, 江智浩
引用 项目 DOI
Property-Driven Runtime Resolution of Feature Interactions
SG Raghavan, K Watanabe, E Kang, CW Lin, 江智浩, S Shiraishi
引用 项目 项目 DOI
Computer Aided Clinical Trials for Implantable Cardiac Devices
K Jang, J Weimer, H Abbas, 江智浩, J Liang, S Dixit, R Mangharam
引用 项目 DOI
High-level modeling for computer-aided clinical trials of medical devices
H Abbas, 江智浩, KJ Jang, M Beccani, J Liang, R Mangharam
引用 项目 DOI
In silico pre clinical trials for implantable cardioverter defibrillators
江智浩, H Abbas, K Jang, M Beccani, J Liang, S Dixit, R Mangharam
引用 项目 DOI
Towards Model Checking of Implantable Cardioverter Defibrillators
H Abbas, KJ Jang, 江智浩, R Mangharam
引用 项目 项目 DOI
The Challenges of High-Confidence Medical Device Software
江智浩, H Abbas, KJ Jang, R Mangharam
引用 DOI
High-Confidence Medical Device Software Development
江智浩, R Mangharam
引用 项目 DOI
Safety-critical medical device development using the UPP2SF model translation tool
M Pajic, 江智浩, I Lee, O Sokolsky, R Mangharam
引用 项目 项目 DOI
Closed-loop verification of medical devices with model abstraction and refinement
江智浩, M Pajic, R Alur, R Mangharam
引用 项目 项目 DOI
Modeling and Verification of a Dual Chamber Implantable Pacemaker
江智浩, M Pajic, S Moarref, R Alur, R Mangharam
引用 项目 项目 DOI
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
M Pajic, 江智浩, I Lee, O Sokolsky, R Mangharam
引用 项目 项目 DOI
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
江智浩, R Mangharam
引用 项目 DOI
Cyber Physical Modeling of Implantable Cardiac Medical Devices
江智浩, M Pajic, R Mangharam
引用 项目 项目 DOI
Model Based Closed-Loop Testing of Implantable Pacemakers
江智浩, M Pajic, R Mangharam
引用 项目 DOI
Using the Virtual Heart Model to validate the mode switch pacemaker operation
江智浩, AT Connolly, R Mangharam
引用 项目 DOI
Real Time Heart Model for Implantable Cardiac Device Validation and Verification
江智浩, M Pajic, AT Connolly, S Dixit, R Mangharam
引用 项目 DOI