Zhihao Jiang

46 papers A* 1A 3B 2C 1Misc 1Journal 14Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems.
Formal Aspects Comput.
Guangyao Chen, Zeyu Li, Jicheng Gu, Yining She, Chenyang Zhu, Zhihao Jiang
2025 — conf
Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework.
ICCPS
Yichuan Yu, Chenyang Mao, Zhihao Jiang
2024 J jnl
Decision support for personalized therapy in implantable medical devices: A digital twin approach.
Expert Syst. Appl.
Haochen Yang, Zhihao Jiang
2024 A* conf
Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning.
AAAI
Chenyang Zhu, Wen Si, Jinyu Zhu, Zhihao Jiang
2024 J jnl
Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning.
Knowl. Based Syst.
Jie Wang, Zhihao Jiang, Yash Vardhan Pant
2024 — conf
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems.
ICCPS
Guangyao Chen, Zhihao Jiang
2024 J jnl
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems.
Expert Syst. Appl.
Guangyao Chen, Peilin He, Ziqi Wang, Zixin Teng, Zhihao Jiang
2024 — conf
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation.
ICCPS
Yilun Chen, Zhuo Jian, Yixi Wang, Zhihao Jiang
2024 — conf
Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development.
EMBC
Jicheng Gu, Peiheng Cai, Zhihao Jiang
2023 J jnl
Cognitive-Digital-Twin-Based Driving Assistance.
IEEE Robotics Autom. Lett.
Junyu Diao, Renzhi Tang, Yi Gu, Sen Tian, Zhihao Jiang
2023 — conf
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation.
ICCPS
Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang
2023 — conf
HENet: Hierarchical Enhancement Network for Pulmonary Vessel Segmentation in Non-contrast CT Images.
MICCAI (3)
Wenqi Zhou, Xiao Zhang, Dongdong Gu, Sheng Wang, Jiayu Huo, Rui Zhang, Zhihao Jiang, Feng Shi, Zhong Xue, Yiqiang Zhan, Xi Ouyang, Dinggang Shen
2023 J jnl
Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Enhancing Safety in Mixed-Vehicle Platooning Control.
CoRR
Jie Wang, Yash Vardhan Pant, Zhihao Jiang
2023 — conf
pyUPPAAL: A Python Package for Risk Analysis of CPS.
ICCPS
Guangyao Chen, Linshu Yang, Haochen Yang, Peilin He, Zhihao Jiang
2022 — conf
Curvature-Enhanced Implicit Function Network for High-quality Tooth Model Generation from CBCT Images.
MICCAI (5)
Yu Fang, Zhiming Cui, Lei Ma, Lanzhuju Mei, Bojun Zhang, Yue Zhao, Zhihao Jiang, Yiqiang Zhan, Yongsheng Pan, Min Zhu, Dinggang Shen
2022 — conf
Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators.
EMBC
Mincai Lai, Haochen Yang, Jicheng Gu, Xinye Chen, Zhihao Jiang
2022 J jnl
Gaussian Process Learning-Based Model Predictive Control for Safe Interactions of a Platoon of Autonomous and Human-Driven Vehicles.
CoRR
Jie Wang, Zhihao Jiang, Yash Vardhan Pant
2022 C conf
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles.
ACC
Mohammad Pirani, Yining She, Renzhi Tang, Zhihao Jiang, Yash Vardhan Pant
2021 J jnl
Environment Modeling During Model Checking of Cyberphysical Systems.
Computer
Guangyao Chen, Zhihao Jiang
2021 — conf
Model-based clinical assist system for cardiac ablation.
ICCPS
Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
2021 — conf
Predicting Synthetic Lethality in Human Cancers via Multi-Graph Ensemble Neural Network.
EMBC
Mincai Lai, Guangyao Chen, Haochen Yang, Jingkang Yang, Zhihao Jiang, Min Wu, Jie Zheng
2020 — conf
Driver's Perception Model in Driving Assist.
QRS Companion
Renzhi Tang, Zhihao Jiang
2019 — conf
Synthesizing stealthy reprogramming attacks on cardiac devices.
ICCPS
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2018 — conf
Computer Aided Clinical Trials for Implantaule Cardiac Devices.
EMBC
Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2018 A conf
Digital Behavioral Twins for Safe Connected Cars.
MoDELS
Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang
2018 B conf
Property-Driven Runtime Resolution of Feature Interactions.
RV
Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi
2018 J jnl
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices.
CoRR
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2016 — conf
CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
BIBM
Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
2016 — conf
High-level modeling for computer-aided clinical trials of medical devices.
HLDVT
Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam
2016 — conf
In-silico pre-clinical trials for implantable cardioverter defibrillators.
EMBC
Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2016 J jnl
The Challenges of High-Confidence Medical Device Software.
Computer
Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam
2016 Misc conf
Three challenges in cyber-physical systems.
COMSNETS
Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang
2016 — conf
Towards Model Checking of Implantable Cardioverter Defibrillators.
HSCC
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam
2015 J jnl
High-Confidence Medical Device Software Development.
Found. Trends Electron. Des. Autom.
Zhihao Jiang, Rahul Mangharam
2014 J jnl
Closed-loop verification of medical devices with model abstraction and refinement.
Int. J. Softw. Tools Technol. Transf.
Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam
2014 J jnl
Safety-critical medical device development using the UPP2SF model translation tool.
ACM Trans. Embed. Comput. Syst.
Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2012 J jnl
Cyber-Physical Modeling of Implantable Cardiac Medical Devices.
Proc. IEEE
Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2012 — conf
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices.
ICCPS
Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2012 A conf
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.
IEEE Real-Time and Embedded Technology and Applications Symposium
Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2012 A conf
Modeling and Verification of a Dual Chamber Implantable Pacemaker.
TACAS
Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam
2011 — conf
Demo abstract: Closed-loop testing for implantable cardiac pacemakers.
IPSN
Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2011 — conf
Model-Based Closed-Loop Testing of Implantable Pacemakers.
ICCPS
Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2011 — conf
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model.
EMBC
Zhihao Jiang, Rahul Mangharam
2010 — conf
A platform for implantable medical device validation.
IPSN
Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010 — conf
A platform for implantable medical device validation: demo abstract.
Wireless Health
Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010 B conf
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.
ECRTS
Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam