TimedAutomata | 江智浩 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/timedautomata/ TimedAutomata Wowchemy (https://wowchemy.com)zh-HansSun, 19 Sep 2021 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/media/icon_huaece5a3f62dfcc01c7fa45ba0bf4fc69_4933_512x512_fill_lanczos_center_3.png TimedAutomata https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/timedautomata/ Environment Modeling During Model Checking of Cyber-Physical Systems https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer21/ Sun, 19 Sep 2021 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer21/ 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/ 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/