Pacemaker | 江智浩 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/pacemaker/ Pacemaker Wowchemy (https://wowchemy.com)zh-HansTue, 01 Apr 2014 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/media/icon_huaece5a3f62dfcc01c7fa45ba0bf4fc69_4933_512x512_fill_lanczos_center_3.png Pacemaker https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/pacemaker/ Safety-critical medical device development using the UPP2SF model translation tool https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/tecs14/ Tue, 01 Apr 2014 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/tecs14/ 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/ From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/rtas12/ Mon, 16 Apr 2012 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/rtas12/ 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/