引用次数
引用: 1,114
H-指数: 14
I10-指数 : 18
出版物: 65
Abstraction-Tree For Closed-loop Model Checking of Medical Devices
Zhihao Jiang , Houssam Abbas , P Mosterman , Rahul Mangharam
1
2015
Requirement-Guided Model Refinement
Rahul Mangharam , Zhihao Jiang , Pieter Mosterman
1
2014
Demo abstract: Closed-loop testing for implantable cardiac pacemakers
Zhihao Jiang , Miroslav Pajic , Rahul Mangharam ,
information processing in sensor networks 119 -120
1
2011
Model-based clinical assist system for cardiac ablation
Eunsuk Kang , Zhihao Jiang , Renzhi Tang , Yutong Wu
international conference on cyber-physical systems 110 -120
2021
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification
Zhihao Jiang , Miroslav Pajic , Allison Connolly , Sanjay Dixit
euromicro conference on real-time systems 239 -248
49
2010
Driver's Perception Model in Driving Assist
Renzhi Tang , Zhihao Jiang
2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) 237 -240
2020
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
Miroslav Pajic , Zhihao Jiang , Insup Lee , Oleg Sokolsky
real time technology and applications symposium 173 -184
53
2012
Synthesizing stealthy reprogramming attacks on cardiac devices
Nicola Paoletti , Zhihao Jiang , Md Ariful Islam , Houssam Abbas
international conference on cyber-physical systems 13 -22
4
2019
Towards Model Checking of Implantable Cardioverter Defibrillators
Houssam Abbas , Kuk Jin Jiang , Zhihao Jiang , Rahul Mangharam
international conference on hybrid systems computation and control 87 -92
6
2016
Multi-Scale Modeling of the Heart for Closed-Loop Evaluation of Pacemaker Software
Zhihao Jiang , Rahul Mangharam
ASME 2013 Conference on Frontiers in Medical Devices: Applications of Computer Modeling and Simulation
1
2013
Computer Aided Clinical Trials for Implantaule Cardiac Devices
Kuk Jang , James Weimer , Houssam Abbas , Zhihao Jiang
international conference of the ieee engineering in medicine and biology society 2018 1 -4
4
2018
Closed-loop verification of medical devices with model abstraction and refinement
Zhihao Jiang , Miroslav Pajic , Rajeev Alur , Rahul Mangharam
International Journal on Software Tools for Technology Transfer 16 ( 2) 191 -213
34
2014
Three challenges in cyber-physical systems
Rahul Mangharam , Houssam Abbas , Madhur Behl , Kuk Jang
communication systems and networks 1 -8
7
2016
The Challenges of High-Confidence Medical Device Software
Zhihao Jiang , Houssam Abbas , Kuk Jin Jang , Rahul Mangharam
IEEE Computer 49 ( 1) 34 -42
4
2016
Automated closed-loop model checking of implantable pacemakers using abstraction trees
Zhihao Jiang , Houssam Abbas , Pieter J. Mosterman , Rahul Mangharam
ACM Sigbed Review 14 ( 2) 15 -23
2017
A platform for implantable medical device validation: demo abstract
Zhihao Jiang , Miroslav Pajic , Allison Connolly , Sanjay Dixit
wireless health 208 -209
6
2010
Safety-critical medical device development using the UPP2SF model translation tool
Miroslav Pajic , Zhihao Jiang , Insup Lee , Oleg Sokolsky
ACM Transactions in Embedded Computing Systems 13 ( 4) 127
23
2014
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices
Shilpa Sarode , Sriram Radhakrishnan , Varun Sampath , Zhihao Jiang
international conference on cyber-physical systems 221 -221
2
2012
In-silico pre-clinical trials for implantable cardioverter defibrillators
Zhihao Jiang , Houssam Abbas , Kuk Jin Jang , Marco Beccani
international conference of the ieee engineering in medicine and biology society 2016 169 -172
5
2016
Modeling and verification of a dual chamber implantable pacemaker
Zhihao Jiang , Miroslav Pajic , Salar Moarref , Rajeev Alur
tools and algorithms for construction and analysis of systems 7214 188 -203
87
2012