Quantitative Verification of Implantable Cardiac Pacemakers

Quantitative Verification of Implantable Cardiac Pacemakers

Implantable medical devices, such as cardiac pacemakers, must be designed and programmed to the highest levels of safety and reliability. Recently, errors in embedded software have led to a substantial increase in safety alerts, costly device recalls or even patient death. To address such issues, we...

書誌詳細
主要な著者:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
フォーマット:	Conference item
出版事項:	2015

類似資料

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
著者:: Chen, T, 等
出版事項: (2013)

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
著者:: Kwiatkowska, M, 等
出版事項: (2014)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
著者:: Chen, T, 等
出版事項: (2011)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
著者:: Chen, T, 等
出版事項: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
著者:: Chen, T, 等
出版事項: (2012)

Closed-loop quantitative verification of rate-adaptive pacemakers
著者:: Paoletti, N, 等
出版事項: (2018)

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers
著者:: Barker, C, 等
出版事項: (2015)

Quantitative verification of real-time properties with application to medical devices
著者:: Marco Diciolla, M, 等
出版事項: (2014)

Formal Modelling and Validation of Rate−Adaptive Pacemakers
著者:: Kwiatkowska, M, 等
出版事項: (2014)

Synthesising Optimal Timing Delays for Timed I/O Automata
著者:: Diciolla, M, 等
出版事項: (2014)

Implantable Cardiac Pacemakers – 50 Years from the First Implantation
著者:: Ratko Magjarević, 等
出版事項: (2010-01-01)

Reel Syndrome: an Unusual Complication of Cardiac Pacemaker Implantation
著者:: Salvador Alandete Germán, 等
出版事項: (2015-03-01)

Cardiac rehabilitation in patients with pacemakers and implantable cardioverter defibrillators
著者:: Marie Christine Iliou, 等
出版事項: (2016-10-01)

Implantation of a leadless cardiac pacemaker for recurrent pocket infections
著者:: Philip M. Chang, MD, FHRS, CEPS, 等
出版事項: (2016-07-01)

Long term outcome of cardiac pacemaker implantation in pediatric population
著者:: Deepanjan Bhattacharya, 等
出版事項: (2023-05-01)

Quantitative verification and strategy synthesis of stochastic games
著者:: Svorenova, M, 等
出版事項: (2016)

Pneumopericardium and pneumomediastinum after implantation of a cardiac resynchronization pacemaker
著者:: Green, P, 等
出版事項: (2019)

Access to MRI for patients with cardiac pacemakers and implantable cardioverter defibrillators
著者:: James C Moon, 等
出版事項: (2021-02-01)

Bradyarrhythmia development and permanent pacemaker implantation after cardiac surgery
著者:: Ceyhan Turkkan, 等
出版事項: (2018-12-01)

Abscess after cardiac pacemaker implantation: A case report
著者:: Joanna Rybak‐d'obyrn, 等
出版事項: (2023-08-01)

Safety of holmium laser prostatectomy in patients with cardiac pacemaker implant
著者:: Narmada P Gupta, 等
出版事項: (2006-01-01)

Pneumopericardium and Pneumomediastinum After Implantation of a Cardiac Resynchronization Pacemaker
著者:: Peregrine G. Green, MA(Oxon), BM BCh, 等
出版事項: (2019-10-01)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
著者:: Kwiatkowska, M
出版事項: (2016)

Cardiac pacemaker
著者:: 8096 British Standards Institution
出版事項: (1987)

Intuitionistic Fuzzy Biofeedback Control of Implanted Dual-Sensor Cardiac Pacemakers
著者:: Hussain Alshahrani, 等
出版事項: (2024-07-01)

Psychopathological features of anxiety disorders in patients with cardiac arrhythmias before and after cardiac pacemaker implantation
著者:: B. G. Iskenderov, 等
出版事項: (2008-12-01)

On the Evolution of the Cardiac Pacemaker
著者:: Silja Burkhard, 等
出版事項: (2017-04-01)

Impact of leadless pacemaker implantation site on cardiac synchronization and tricuspid regurgitation
著者:: Xiao-fei Gao, 等
出版事項: (2025-01-01)

QUALITY OF LIFE OF PATIENTS WITH IMPLANTED CARDIAC PACEMAKERS IN NORTH WEST OF IRAN
著者:: Fateme Ranjbar Kouchaksaraei, 等
出版事項: (2010-12-01)

Risk factors of pacing dependence and cardiac dysfunction in patients with permanent pacemaker implantation
著者:: Ziqing Yu, 等
出版事項: (2022-08-01)

Symbiotic cardiac pacemaker
著者:: Han Ouyang, 等
出版事項: (2019-04-01)

Ultrasound‐guided pacemaker implantation at the bedside: A lifesaving technique for cardiac emergencies
著者:: Rong‐Quan Xu, 等
出版事項: (2023-09-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
著者:: Larissa Freitas Nunes Goldoni, 等
出版事項: (2020-04-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
著者:: Larissa Freitas Nunes Goldoni, 等
出版事項: (2020-04-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
著者:: Larissa Freitas Nunes Goldoni, 等
出版事項: (2020-04-01)

Permanent Pacemaker Implantation: Early Post-Implantation Data
著者:: Yoncheva I., 等
出版事項: (2024-03-01)

Quantitative Multi-objective Verification for Probabilistic Systems.
著者:: Forejt, V, 等
出版事項: (2011)

ATRIAL FIBRILLATION RISK IN OUT-PATIENTS WITH CARDIAC PACEMAKERS, IMPLANTED DUE TO ATRIOVENTRICULAR BLOCK
著者:: A. P. Ivanov, 等
出版事項: (2010-12-01)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
著者:: Barbot, B, 等
出版事項: (2015)

Leadless pacemaker implantation in elderly patients with abandoned transvenous pacemakers with depleted batteries
著者:: William Frick MD, 等
出版事項: (2023-08-01)