Follow
Zhihao Jiang
Title
Cited by
Cited by
Year
Cyber–Physical Modeling of Implantable Cardiac Medical Devices
Z Jiang, M Pajic, R Mangharam
Proceedings of the IEEE, 1-16, 2012
1952012
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam
1762012
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam
922012
Real-time heart model for implantable cardiac device validation and verification
Z Jiang, M Pajic, A Connolly, S Dixit, R Mangharam
Real-Time Systems (ECRTS), 2010 22nd Euromicro Conference on, 239-248, 2010
792010
Closed-loop verification of medical devices with model abstraction and refinement
Z Jiang, M Pajic, R Alur, R Mangharam
International Journal on Software Tools for Technology Transfer 16 (2), 191-213, 2014
772014
Digital behavioral twins for safe connected cars
X Chen, E Kang, S Shiraishi, VM Preciado, Z Jiang
Proceedings of the 21th ACM/IEEE international conference on model drivená…, 2018
712018
Model-based Closed-loop Testing of Implantable Pacemakers
Z Jiang, M Pajic, R Mangharam
Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference oná…, 2011
572011
Safety-critical medical device development using the UPP2SF model translation tool
M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-26, 2014
412014
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Z Jiang, R Mangharam
Engineering in Medicine and Biology Society, EMBC, 2011 Annual Internationalá…, 2011
272011
Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation
Z Jiang, A Connolly, R Mangharam
252010
Collision avoidance for a connected vehicle based on a digital behavioral twin
Z Jiang, S Shiraishi, BG Kim
US Patent 10,843,689, 2020
162020
Three challenges in cyber-physical systems
R Mangharam, H Abbas, M Behl, K Jang, M Pajic, Z Jiang
2016 8th International Conference on Communication Systems and Networksá…, 2016
152016
In-silico pre-clinical trials for implantable cardioverter defibrillators
Z Jiang, H Abbas, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam
2016 38th Annual International Conference of the IEEE Engineering iná…, 2016
132016
The challenges of high-confidence medical device software
Z Jiang, H Abbas, KJ Jang, R Mangharam
Computer 49 (1), 34-42, 2016
112016
Towards model checking of implantable cardioverter defibrillators
H Abbas, KJ Jiang, Z Jiang, R Mangharam
Proceedings of the 19th International Conference on Hybrid Systemsá…, 2016
102016
High-confidence medical device software development
Z Jiang, R Mangharam
Foundations and Trends« in Electronic Design Automation 9 (4), 309-391, 2015
102015
Study on spontaneous imbibition and displacement characteristics of mixed-wet tight sandstone reservoir based on high-precision balance and NMR method
Z Jiang, G Li, P Zhao, Y Zhou, Z Mao, Z Liu
Fuel 345, 128247, 2023
82023
Environment modeling during model checking of cyberphysical systems
G Chen, Z Jiang
Computer 54 (9), 49-58, 2021
82021
Synthesizing stealthy reprogramming attacks on cardiac devices
N Paoletti, Z Jiang, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, ...
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physicalá…, 2019
82019
Computer aided clinical trials for implantable cardiac devices
H Abbas, Z Jiang, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam
82016
The system can't perform the operation now. Try again later.
Articles 1–20