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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Formáid:	Conference item
Foilsithe / Cruthaithe:	2015

Míreanna comhchosúla

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2013)

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2014)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2011)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Closed-loop quantitative verification of rate-adaptive pacemakers
de réir: Paoletti, N, et al.
Foilsithe / Cruthaithe: (2018)

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers
de réir: Barker, C, et al.
Foilsithe / Cruthaithe: (2015)

Quantitative verification of real-time properties with application to medical devices
de réir: Marco Diciolla, M, et al.
Foilsithe / Cruthaithe: (2014)

Formal Modelling and Validation of Rate−Adaptive Pacemakers
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2014)

Synthesising Optimal Timing Delays for Timed I/O Automata
de réir: Diciolla, M, et al.
Foilsithe / Cruthaithe: (2014)

Implantable Cardiac Pacemakers – 50 Years from the First Implantation
de réir: Ratko Magjarević, et al.
Foilsithe / Cruthaithe: (2010-01-01)

Reel Syndrome: an Unusual Complication of Cardiac Pacemaker Implantation
de réir: Salvador Alandete Germán, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Cardiac rehabilitation in patients with pacemakers and implantable cardioverter defibrillators
de réir: Marie Christine Iliou, et al.
Foilsithe / Cruthaithe: (2016-10-01)

Implantation of a leadless cardiac pacemaker for recurrent pocket infections
de réir: Philip M. Chang, MD, FHRS, CEPS, et al.
Foilsithe / Cruthaithe: (2016-07-01)

Long term outcome of cardiac pacemaker implantation in pediatric population
de réir: Deepanjan Bhattacharya, et al.
Foilsithe / Cruthaithe: (2023-05-01)

Quantitative verification and strategy synthesis of stochastic games
de réir: Svorenova, M, et al.
Foilsithe / Cruthaithe: (2016)

Pneumopericardium and pneumomediastinum after implantation of a cardiac resynchronization pacemaker
de réir: Green, P, et al.
Foilsithe / Cruthaithe: (2019)

Access to MRI for patients with cardiac pacemakers and implantable cardioverter defibrillators
de réir: James C Moon, et al.
Foilsithe / Cruthaithe: (2021-02-01)

Bradyarrhythmia development and permanent pacemaker implantation after cardiac surgery
de réir: Ceyhan Turkkan, et al.
Foilsithe / Cruthaithe: (2018-12-01)

Abscess after cardiac pacemaker implantation: A case report
de réir: Joanna Rybak‐d'obyrn, et al.
Foilsithe / Cruthaithe: (2023-08-01)

Safety of holmium laser prostatectomy in patients with cardiac pacemaker implant
de réir: Narmada P Gupta, et al.
Foilsithe / Cruthaithe: (2006-01-01)

Pneumopericardium and Pneumomediastinum After Implantation of a Cardiac Resynchronization Pacemaker
de réir: Peregrine G. Green, MA(Oxon), BM BCh, et al.
Foilsithe / Cruthaithe: (2019-10-01)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2016)

Cardiac pacemaker
de réir: 8096 British Standards Institution
Foilsithe / Cruthaithe: (1987)

Intuitionistic Fuzzy Biofeedback Control of Implanted Dual-Sensor Cardiac Pacemakers
de réir: Hussain Alshahrani, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Psychopathological features of anxiety disorders in patients with cardiac arrhythmias before and after cardiac pacemaker implantation
de réir: B. G. Iskenderov, et al.
Foilsithe / Cruthaithe: (2008-12-01)

On the Evolution of the Cardiac Pacemaker
de réir: Silja Burkhard, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Impact of leadless pacemaker implantation site on cardiac synchronization and tricuspid regurgitation
de réir: Xiao-fei Gao, et al.
Foilsithe / Cruthaithe: (2025-01-01)

QUALITY OF LIFE OF PATIENTS WITH IMPLANTED CARDIAC PACEMAKERS IN NORTH WEST OF IRAN
de réir: Fateme Ranjbar Kouchaksaraei, et al.
Foilsithe / Cruthaithe: (2010-12-01)

Risk factors of pacing dependence and cardiac dysfunction in patients with permanent pacemaker implantation
de réir: Ziqing Yu, et al.
Foilsithe / Cruthaithe: (2022-08-01)

Symbiotic cardiac pacemaker
de réir: Han Ouyang, et al.
Foilsithe / Cruthaithe: (2019-04-01)

Ultrasound‐guided pacemaker implantation at the bedside: A lifesaving technique for cardiac emergencies
de réir: Rong‐Quan Xu, et al.
Foilsithe / Cruthaithe: (2023-09-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
de réir: Larissa Freitas Nunes Goldoni, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
de réir: Larissa Freitas Nunes Goldoni, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Epidemiological Record of Permanent Artificial Cardiac Pacemaker Implant at a Reference Center
de réir: Larissa Freitas Nunes Goldoni, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Permanent Pacemaker Implantation: Early Post-Implantation Data
de réir: Yoncheva I., et al.
Foilsithe / Cruthaithe: (2024-03-01)

Quantitative Multi-objective Verification for Probabilistic Systems.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2011)

ATRIAL FIBRILLATION RISK IN OUT-PATIENTS WITH CARDIAC PACEMAKERS, IMPLANTED DUE TO ATRIOVENTRICULAR BLOCK
de réir: A. P. Ivanov, et al.
Foilsithe / Cruthaithe: (2010-12-01)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
de réir: Barbot, B, et al.
Foilsithe / Cruthaithe: (2015)

Leadless pacemaker implantation in elderly patients with abandoned transvenous pacemakers with depleted batteries
de réir: William Frick MD, et al.
Foilsithe / Cruthaithe: (2023-08-01)