ICD

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmias and …
N Paoletti, 江智浩, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, SA Smolka
引用 项目 DOI
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Computer Aided Clinical Trials for Implantable Cardiac Devices
This paper develops a computer-aided clinical-trial framework for implantable cardiac devices by combining physiological models, prior …
K Jang, J Weimer, H Abbas, 江智浩, J Liang, S Dixit, R Mangharam
引用 项目 DOI
Computer Aided Clinical Trials for Implantable Cardiac Devices
High-level modeling for computer-aided clinical trials of medical devices
Medical devices like the Implantable Cardioverter Defibrillator (ICD) are life-critical systems. Malfunctions of the device can cause …
H Abbas, 江智浩, KJ Jang, M Beccani, J Liang, R Mangharam
引用 项目 DOI
High-level modeling for computer-aided clinical trials of medical devices
In silico pre clinical trials for implantable cardioverter defibrillators
This paper presents in-silico pre-clinical trials for implantable cardioverter defibrillators using large cohorts of synthetic patients …
江智浩, H Abbas, K Jang, M Beccani, J Liang, S Dixit, R Mangharam
引用 项目 DOI
In silico pre clinical trials for implantable cardioverter defibrillators
Towards Model Checking of Implantable Cardioverter Defibrillators
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It …
H Abbas, KJ Jang, 江智浩, R Mangharam
引用 项目 项目 DOI
Towards Model Checking of Implantable Cardioverter Defibrillators