New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking
暂无分享,去创建一个
Yvon Savaria | Ghaith Bany Hamad | Marwan Ammar | Otmane Ait Mohamed | O. Mohamed | Y. Savaria | Marwan Ammar
[1] Louis Archambault,et al. Radiotherapy-Induced Cardiac Implantable Electronic Device Dysfunction in Patients With Cancer. , 2017, The American journal of cardiology.
[2] Tomas Zaremba,et al. Risk of Device Malfunction in Cancer Patients with Implantable Cardiac Device Undergoing Radiotherapy: A Population‐Based Cohort Study , 2015, Pacing and clinical electrophysiology : PACE.
[3] Marcel Vinícius Medeiros Oliveira,et al. Formal Specification of a Cardiac Pacing System , 2009, FM.
[4] Man Chun Zheng,et al. Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker , 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.
[5] Sebastian Junges,et al. A Storm is Coming: A Modern Probabilistic Model Checker , 2017, CAV.
[6] Guillaume Hubert,et al. Experimental study of neutron-induced soft errors in modern cardiac pacemakers , 2011, Journal of Interventional Cardiac Electrophysiology.
[7] Taolue Chen,et al. Quantitative Verification of Implantable Cardiac Pacemakers , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.
[8] L. Oddershede,et al. The effect of radiotherapy beam energy on modern cardiac devices: an in vitro study. , 2014, Europace : European pacing, arrhythmias, and cardiac electrophysiology : journal of the working groups on cardiac pacing, arrhythmias, and cardiac cellular electrophysiology of the European Society of Cardiology.
[9] Christel Baier,et al. Principles of model checking , 2008 .
[10] H. Mond,et al. The 11th World Survey of Cardiac Pacing and Implantable Cardioverter‐Defibrillators: Calendar Year 2009–A World Society of Arrhythmia's Project , 2011, Pacing and clinical electrophysiology : PACE.
[11] Richard G Trohman,et al. Interference in Implanted Cardiac Devices, Part II , 2002, Pacing and clinical electrophysiology : PACE.
[12] E. Nonnand. Single Event Upsets in Implantable Cardioverter Defibrillators , 1998 .
[13] David Crocker. Perfect Developer: A tool for Object-Oriented Formal Specification and Refinement , 2003 .
[14] C. Hurkmans,et al. Influence of radiotherapy on the latest generation of implantable cardioverter-defibrillators. , 2005, International journal of radiation oncology, biology, physics.
[15] Wang Yi,et al. UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[16] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[17] Takayuki Hashimoto,et al. Comparison of the effects of high-energy photon beam irradiation (10 and 18 MV) on 2 types of implantable cardioverter-defibrillators. , 2013, International journal of radiation oncology, biology, physics.
[18] Shamim Nemati,et al. An artificial vector model for generating abnormal electrocardiographic rhythms. , 2010, Physiological measurement.
[19] Zhihao Jiang,et al. Model-Based Closed-Loop Testing of Implantable Pacemakers , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.
[20] Frank Ciesinski,et al. On Probabilistic Computation Tree Logic , 2004, Validation of Stochastic Systems.
[21] Rajeev Alur,et al. Modeling and Verification of a Dual Chamber Implantable Pacemaker , 2012, TACAS.
[22] Rajeev Alur,et al. Closed-loop verification of medical devices with model abstraction and refinement , 2014, International Journal on Software Tools for Technology Transfer.
[23] Zhihao Jiang,et al. Cyber–Physical Modeling of Implantable Cardiac Medical Devices , 2012, Proceedings of the IEEE.
[24] Mette Søgaard,et al. Radiotherapy in patients with pacemakers and implantable cardioverter defibrillators: a literature review. , 2016, Europace : European pacing, arrhythmias, and cardiac electrophysiology : journal of the working groups on cardiac pacing, arrhythmias, and cardiac cellular electrophysiology of the European Society of Cardiology.
[25] Saman Nazarian,et al. Effects of external electrical and magnetic fields on pacemakers and defibrillators: from engineering principles to clinical practice. , 2013, Circulation.
[26] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[27] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[28] A. Rapsang,et al. Pacemakers and implantable cardioverter defibrillators--general and anesthetic considerations. , 2014, Brazilian journal of anesthesiology.
[29] S K Souliman,et al. Pacemaker Failure Induced by Radiotherapy , 1994, Pacing and clinical electrophysiology : PACE.
[30] Larry Chinitz,et al. Cosmic radiation induced software electrical resets in ICDs during air travel. , 2008, Heart rhythm.
[31] Sudarshan K. Srinivasan,et al. A Formal Verification Methodology for DDD Mode Pacemaker Control Programs , 2015, J. Electr. Comput. Eng..