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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Format:	Conference item
Udgivet:	2015

Lignende værker

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
af: Chen, T, et al.
Udgivet: (2013)

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
af: Kwiatkowska, M, et al.
Udgivet: (2014)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
af: Chen, T, et al.
Udgivet: (2011)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
af: Chen, T, et al.
Udgivet: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
af: Chen, T, et al.
Udgivet: (2012)

Closed-loop quantitative verification of rate-adaptive pacemakers
af: Paoletti, N, et al.
Udgivet: (2018)

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers
af: Barker, C, et al.
Udgivet: (2015)

Quantitative verification of real-time properties with application to medical devices
af: Marco Diciolla, M, et al.
Udgivet: (2014)

Formal Modelling and Validation of Rate−Adaptive Pacemakers
af: Kwiatkowska, M, et al.
Udgivet: (2014)

Synthesising Optimal Timing Delays for Timed I/O Automata
af: Diciolla, M, et al.
Udgivet: (2014)

Implantable Cardiac Pacemakers – 50 Years from the First Implantation
af: Ratko Magjarević, et al.
Udgivet: (2010-01-01)

Reel Syndrome: an Unusual Complication of Cardiac Pacemaker Implantation
af: Salvador Alandete Germán, et al.
Udgivet: (2015-03-01)

Cardiac rehabilitation in patients with pacemakers and implantable cardioverter defibrillators
af: Marie Christine Iliou, et al.
Udgivet: (2016-10-01)

Implantation of a leadless cardiac pacemaker for recurrent pocket infections
af: Philip M. Chang, MD, FHRS, CEPS, et al.
Udgivet: (2016-07-01)

Long term outcome of cardiac pacemaker implantation in pediatric population
af: Deepanjan Bhattacharya, et al.
Udgivet: (2023-05-01)

Quantitative verification and strategy synthesis of stochastic games
af: Svorenova, M, et al.
Udgivet: (2016)

Pneumopericardium and pneumomediastinum after implantation of a cardiac resynchronization pacemaker
af: Green, P, et al.
Udgivet: (2019)

Access to MRI for patients with cardiac pacemakers and implantable cardioverter defibrillators
af: James C Moon, et al.
Udgivet: (2021-02-01)

Bradyarrhythmia development and permanent pacemaker implantation after cardiac surgery
af: Ceyhan Turkkan, et al.
Udgivet: (2018-12-01)

Abscess after cardiac pacemaker implantation: A case report
af: Joanna Rybak‐d'obyrn, et al.
Udgivet: (2023-08-01)

Safety of holmium laser prostatectomy in patients with cardiac pacemaker implant
af: Narmada P Gupta, et al.
Udgivet: (2006-01-01)

Pneumopericardium and Pneumomediastinum After Implantation of a Cardiac Resynchronization Pacemaker
af: Peregrine G. Green, MA(Oxon), BM BCh, et al.
Udgivet: (2019-10-01)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
af: Kwiatkowska, M
Udgivet: (2016)

Cardiac pacemaker
af: 8096 British Standards Institution
Udgivet: (1987)

Intuitionistic Fuzzy Biofeedback Control of Implanted Dual-Sensor Cardiac Pacemakers
af: Hussain Alshahrani, et al.
Udgivet: (2024-07-01)

Psychopathological features of anxiety disorders in patients with cardiac arrhythmias before and after cardiac pacemaker implantation
af: B. G. Iskenderov, et al.
Udgivet: (2008-12-01)

On the Evolution of the Cardiac Pacemaker
af: Silja Burkhard, et al.
Udgivet: (2017-04-01)

Impact of leadless pacemaker implantation site on cardiac synchronization and tricuspid regurgitation
af: Xiao-fei Gao, et al.
Udgivet: (2025-01-01)

QUALITY OF LIFE OF PATIENTS WITH IMPLANTED CARDIAC PACEMAKERS IN NORTH WEST OF IRAN
af: Fateme Ranjbar Kouchaksaraei, et al.
Udgivet: (2010-12-01)

Risk factors of pacing dependence and cardiac dysfunction in patients with permanent pacemaker implantation
af: Ziqing Yu, et al.
Udgivet: (2022-08-01)

Symbiotic cardiac pacemaker
af: Han Ouyang, et al.
Udgivet: (2019-04-01)

Ultrasound‐guided pacemaker implantation at the bedside: A lifesaving technique for cardiac emergencies
af: Rong‐Quan Xu, et al.
Udgivet: (2023-09-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
af: Larissa Freitas Nunes Goldoni, et al.
Udgivet: (2020-04-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
af: Larissa Freitas Nunes Goldoni, et al.
Udgivet: (2020-04-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
af: Larissa Freitas Nunes Goldoni, et al.
Udgivet: (2020-04-01)

Permanent Pacemaker Implantation: Early Post-Implantation Data
af: Yoncheva I., et al.
Udgivet: (2024-03-01)

Quantitative Multi-objective Verification for Probabilistic Systems.
af: Forejt, V, et al.
Udgivet: (2011)

ATRIAL FIBRILLATION RISK IN OUT-PATIENTS WITH CARDIAC PACEMAKERS, IMPLANTED DUE TO ATRIOVENTRICULAR BLOCK
af: A. P. Ivanov, et al.
Udgivet: (2010-12-01)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
af: Barbot, B, et al.
Udgivet: (2015)

Leadless pacemaker implantation in elderly patients with abandoned transvenous pacemakers with depleted batteries
af: William Frick MD, et al.
Udgivet: (2023-08-01)