ICD | 江智浩 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/icd/ ICD 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 ICD https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/icd/ 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/ 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/ 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/