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
1572012
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam
1382012
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam
782012
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
662010
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
552014
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
452011
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
372014
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Z Jiang, R Mangharam
Engineering in Medicine and Biology Society, EMBC, 2011 Annual International …, 2011
232011
Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation
Z Jiang, A Connolly, R Mangharam
222010
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
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
92016
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
82018
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
82016
The challenges of high-confidence medical device software
Z Jiang, H Abbas, KJ Jang, R Mangharam
Computer 49 (1), 34-42, 2016
82016
High-confidence medical device software development
Z Jiang, R Mangharam
82015
High-level modeling for computer-aided clinical trials of medical devices
H Abbas, Z Jiang, KJ Jang, M Beccani, J Liangy, R Mangharam
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
62016
Computer aided clinical trials for implantable cardiac devices
H Abbas, Z Jiang, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam
62016
Heart-on-a-Chip: a closed-loop testing platform for implantable pacemakers
Z Jiang, S Radhakrishnan, V Sampath, S Sarode, R Mangharam
62014
A platform for implantable medical device validation: demo abstract
Z Jiang, M Pajic, A Connolly, S Dixit, R Mangharam
Wireless Health 2010, 208-209, 2010
42010
Virtual heart model
Z Jiang, M Pajic, A Connolly, S Dixit, R Mangharam
technical report ese-2010-01, 2010
42010
The system can't perform the operation now. Try again later.
Articles 1–20