Zhihao Jiang
Zhihao Jiang
Email verificata su shanghaitech.edu.cn - Home page
Citata da
Citata da
Cyber–Physical Modeling of Implantable Cardiac Medical Devices
Z Jiang, M Pajic, R Mangharam
Proceedings of the IEEE, 1-16, 2012
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam
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
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
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
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
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Z Jiang, R Mangharam
Engineering in Medicine and Biology Society, EMBC, 2011 Annual International …, 2011
Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation
Z Jiang, A Connolly, R Mangharam
The challenges of high-confidence medical device software
Z Jiang, H Abbas, KJ Jang, R Mangharam
Computer 49 (1), 34-42, 2016
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
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
High-confidence medical device software development
Z Jiang, R Mangharam
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
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
Heart-on-a-Chip: a closed-loop testing platform for implantable pacemakers
Z Jiang, S Radhakrishnan, V Sampath, S Sarode, R Mangharam
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
Computer aided clinical trials for implantable cardiac devices
H Abbas, Z Jiang, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20