Arrhythmia | 江智浩 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/arrhythmia/ Arrhythmia Wowchemy (https://wowchemy.com)zh-HansWed, 19 May 2021 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/media/icon_huaece5a3f62dfcc01c7fa45ba0bf4fc69_4933_512x512_fill_lanczos_center_3.png Arrhythmia https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/arrhythmia/ Model-based Clinical Assist System for Cardiac Ablation https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps21_medical/ Wed, 19 May 2021 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps21_medical/ Computer Aided Clinical Trials for Implantable Cardiac Devices https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc18/ Thu, 19 Jul 2018 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc18/ In silico pre clinical trials for implantable cardioverter defibrillators https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc16/ Tue, 16 Aug 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc16/ Towards Model Checking of Implantable Cardioverter Defibrillators https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hscc16/ Mon, 11 Apr 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hscc16/ Closed-loop verification of medical devices with model abstraction and refinement https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/sttt13/ Tue, 24 Sep 2013 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/sttt13/ Modeling and Verification of a Dual Chamber Implantable Pacemaker https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/tacas12/ Mon, 16 Apr 2012 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/tacas12/ Modeling cardiac pacemaker malfunctions with the Virtual Heart Model https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc11/ Tue, 30 Aug 2011 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc11/ Cyber Physical Modeling of Implantable Cardiac Medical Devices https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/proc12/ Tue, 16 Aug 2011 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/proc12/ Model Based Closed-Loop Testing of Implantable Pacemakers https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps12/ Tue, 12 Apr 2011 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps12/ Using the Virtual Heart Model to validate the mode switch pacemaker operation https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc10/ Tue, 31 Aug 2010 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc10/ Real Time Heart Model for Implantable Cardiac Device Validation and Verification https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/ecrts10/ Tue, 06 Jul 2010 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/ecrts10/