Zhihao Jiang

According to our database, Zhihao Jiang authored at least 45 papers between 2010 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems.

Guangyao Chen, Zeyu Li, Jicheng Gu, Yining She, Chenyang Zhu, Zhihao Jiang

Formal Aspects Comput., March, 2026

2025

Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework.

Yichuan Yu, Chenyang Mao, Zhihao Jiang

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

2024

Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning.

Jie Wang, Zhihao Jiang, Yash Vardhan Pant

Knowl. Based Syst., 2024

Decision support for personalized therapy in implantable medical devices: A digital twin approach.

Haochen Yang, Zhihao Jiang

Expert Syst. Appl., 2024

Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems.

Guangyao Chen, Peilin He, Ziqi Wang, Zixin Teng, Zhihao Jiang

Expert Syst. Appl., 2024

Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation.

Yilun Chen, Zhuo Jian, Yixi Wang, Zhihao Jiang

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems.

Guangyao Chen, Zhihao Jiang

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development.

Jicheng Gu, Peiheng Cai, Zhihao Jiang

Proceedings of the 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2024

Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning.

Chenyang Zhu, Wen Si, Jinyu Zhu, Zhihao Jiang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Cognitive-Digital-Twin-Based Driving Assistance.

Junyu Diao, Renzhi Tang, Yi Gu, Sen Tian, Zhihao Jiang

IEEE Robotics Autom. Lett., 2023

Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Enhancing Safety in Mixed-Vehicle Platooning Control.

Jie Wang, Yash Vardhan Pant, Zhihao Jiang

CoRR, 2023

HENet: Hierarchical Enhancement Network for Pulmonary Vessel Segmentation in Non-contrast CT Images.

Wenqi Zhou, Xiao Zhang, Dongdong Gu, Sheng Wang, Jiayu Huo, Rui Zhang, Zhihao Jiang, Feng Shi, Zhong Xue, Yiqiang Zhan, Xi Ouyang, Dinggang Shen

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

pyUPPAAL: A Python Package for Risk Analysis of CPS.

Guangyao Chen, Linshu Yang, Haochen Yang, Peilin He, Zhihao Jiang

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation.

Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2022

Gaussian Process Learning-Based Model Predictive Control for Safe Interactions of a Platoon of Autonomous and Human-Driven Vehicles.

Jie Wang, Zhihao Jiang, Yash Vardhan Pant

CoRR, 2022

Curvature-Enhanced Implicit Function Network for High-quality Tooth Model Generation from CBCT Images.

Yu Fang, Zhiming Cui, Lei Ma, Lanzhuju Mei, Bojun Zhang, Yue Zhao, Zhihao Jiang, Yiqiang Zhan, Yongsheng Pan, Min Zhu, Dinggang Shen

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators.

Mincai Lai, Haochen Yang, Jicheng Gu, Xinye Chen, Zhihao Jiang

Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022

Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles.

Mohammad Pirani, Yining She, Renzhi Tang, Zhihao Jiang, Yash Vardhan Pant

Proceedings of the American Control Conference, 2022

2021

Environment Modeling During Model Checking of Cyberphysical Systems.

Guangyao Chen, Zhihao Jiang

Computer, 2021

Model-based clinical assist system for cardiac ablation.

Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Predicting Synthetic Lethality in Human Cancers via Multi-Graph Ensemble Neural Network.

Mincai Lai, Guangyao Chen, Haochen Yang, Jingkang Yang, Zhihao Jiang, Min Wu, Jie Zheng

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2020

Driver's Perception Model in Driving Assist.

Renzhi Tang, Zhihao Jiang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Synthesizing stealthy reprogramming attacks on cardiac devices.

Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

2018

Property-Driven Runtime Resolution of Feature Interactions.

Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi

Proceedings of the Runtime Verification - 18th International Conference, 2018

Digital Behavioral Twins for Safe Connected Cars.

Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.

Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

2016

The Challenges of High-Confidence Medical Device Software.

Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam

Computer, 2016

Towards Model Checking of Implantable Cardioverter Defibrillators.

Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

High-level modeling for computer-aided clinical trials of medical devices.

Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

In-silico pre-clinical trials for implantable cardioverter defibrillators.

Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

Three challenges in cyber-physical systems.

Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang

Proceedings of the 8th International Conference on Communication Systems and Networks, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

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

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

High-Confidence Medical Device Software Development.

Zhihao Jiang, Rahul Mangharam

Found. Trends Electron. Des. Autom., 2015

2014

Safety-critical medical device development using the UPP2SF model translation tool.

Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam

ACM Trans. Embed. Comput. Syst., 2014

Closed-loop verification of medical devices with model abstraction and refinement.

Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam

Int. J. Softw. Tools Technol. Transf., 2014

2012

Cyber-Physical Modeling of Implantable Cardiac Medical Devices.

Zhihao Jiang, Miroslav Pajic, Rahul Mangharam

Proc. IEEE, 2012

Modeling and Verification of a Dual Chamber Implantable Pacemaker.

Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.

Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Demo Abstract: Model-Based Testing of Implantable Cardiac Devices.

Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

Demo abstract: Closed-loop testing for implantable cardiac pacemakers.

Zhihao Jiang, Miroslav Pajic, Rahul Mangharam

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Model-Based Closed-Loop Testing of Implantable Pacemakers.

Zhihao Jiang, Miroslav Pajic, Rahul Mangharam

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Modeling cardiac pacemaker malfunctions with the Virtual Heart Model.

Zhihao Jiang, Rahul Mangharam

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

2010

A platform for implantable medical device validation: demo abstract.

Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam

Proceedings of Wireless Health 2010, 2010

A platform for implantable medical device validation.

Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.

Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010