Towards Model Checking of Implantable Cardioverter Defibrillators-Reference-Cited by-同舟云学术

Towards Model Checking of Implantable Cardioverter Defibrillators

Published:2016-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Abbas Houssam¹,Jiang Kuk Jin¹,Jiang Zhihao¹,Mangharam Rahul¹

Affiliation:

1. University of Pennsylvania, Philadelphia, PA, USA

Funder

Semiconductor Research Corporation

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2883817.2883841

Reference15 articles.

1. H. Abbas K. J. Jang Z. Jiang and R. Mangharam. Model checking implantable cardioverter defibrillators. 2016. Arxiv 1512.08083. 10.1145/2883817.2883841 H. Abbas K. J. Jang Z. Jiang and R. Mangharam. Model checking implantable cardioverter defibrillators. 2016. Arxiv 1512.08083. 10.1145/2883817.2883841

2. Modeling and simulation of cardiac tissue using hybrid I/O automata

3. Boston Scientific Corporation. The Compass - Technical Guide to Boston Scientific Cardiac Rhythm Management Products. Device Documentation 2007. Boston Scientific Corporation. The Compass - Technical Guide to Boston Scientific Cardiac Rhythm Management Products. Device Documentation 2007.

4. Quantitative verification of implantable cardiac pacemakers over hybrid heart models

5. Electrogram fractionation;Correa de Sa D. D.;Circ Arrhythm Electrophysiol,2011

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A COMPARATIVE STUDY OF MEDICAL DEVICES AND THEIR REGULATIONS IN US, EU, INDIA, AND CHINA;Asian Journal of Pharmaceutical and Clinical Research;2023-03-07

2. Adat Court in Aceh, Indonesia: a Review of Law;Jurnal Ilmiah Peuradeun;2020-05-30

3. Youth Existence and Radicalism in Aceh, Indonesia;Jurnal Ilmiah Peuradeun;2020-05-30

4. Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices;IEEE Transactions on Biomedical Engineering;2020-02

5. Real-Time Decision Policies With Predictable Performance;Proceedings of the IEEE;2018-09