MedicalDevice | 江智浩 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/medicaldevice/ MedicalDevice Wowchemy (https://wowchemy.com)zh-HansTue, 16 Apr 2019 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/media/icon_huaece5a3f62dfcc01c7fa45ba0bf4fc69_4933_512x512_fill_lanczos_center_3.png MedicalDevice https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/medicaldevice/ Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps19/ Tue, 16 Apr 2019 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps19/ High-level modeling for computer-aided clinical trials of medical devices https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hldvt16/ Fri, 07 Oct 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hldvt16/ 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/ The Challenges of High-Confidence Medical Device Software https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer16/ Thu, 14 Jan 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer16/ High-Confidence Medical Device Software Development https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/fnt15/ Thu, 10 Dec 2015 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/fnt15/ 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/