Formal Modelling and Validation of Rate−Adaptive Pacemakers

Formal Modelling and Validation of Rate−Adaptive Pacemakers

Bibliographic Details
Main Authors:	Kwiatkowska, M, Lea−Banks, H, Mereacre, A, Paoletti, N
Format:	Conference item
Published:	2014

Similar Items

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

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

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

Quantitative Verification of Implantable Cardiac Pacemakers
by: Chen, T, et al.
Published: (2015)

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

Building power consumption models from executable timed I/O automata specifications
by: Kwiatkowska, M, et al.
Published: (2016)

Adaptive formal approximations of Markov chains
by: Abate, A, et al.
Published: (2021)

Comparative analysis of piezo electric and accelerometer sensor for the design of rate adaptive pacemaker
by: Rohini Srivastava, et al.
Published: (2021-08-01)

Weather and climate extremes: Pacemakers of adaptation?
by: William R. Travis
Published: (2014-10-01)

Duelling pacemakers: Unexpected pacemaker interaction resulting from a proprietary rate smoothing algorithm
by: Justin M. Cloutier, MD, et al.
Published: (2015-07-01)

Pacemaker pocket infection rate and suture technique
by: Goutam Datta
Published: (2020-01-01)

An approach towards individualized lower rate settings for pacemakers
by: Margaret Infeld, MD, MS, et al.
Published: (2020-12-01)

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

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

Pacemaker implantation complication rates in elderly and young patients
by: Özcan KS, et al.
Published: (2013-08-01)

Pitfalls of pacemaker detection of ventricular high-rate events
by: Fadi Mansour, MD, et al.
Published: (2018-04-01)

Efficacy of rate modulators in children with single-chamber pacemakers
by: Mohammad Dalili, et al.
Published: (2016-01-01)

Cross-cultural adaptation and validation of the Indonesian version of AQUAREL on patients with permanent pacemaker: a cross-sectional study
by: Muhammad Yamin, et al.
Published: (2019-03-01)

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

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

Pacemaker /
by: 373516 Prasad, K.
Published: (1993)

Information systems validation using formal models
by: Azadeh Sarram, et al.
Published: (2014-03-01)

The estimated glomerular filtration rate predicts pacemaker-induced cardiomyopathy
by: Mitsunori Oida, et al.
Published: (2023-10-01)

Rates of Atrial Fibrillation in Black Versus White Patients With Pacemakers
by: Hooman Kamel, et al.
Published: (2016-02-01)

Validating the Formal Specification of the THUNDERS Process
by: Vanessa Agredo-Delgado, et al.
Published: (2023-08-01)

Cardiac pacemaker
by: 8096 British Standards Institution
Published: (1987)

Pacemaker leads /
by: International Symposium on Pacemaker Leads (1984 : Leuven, Belgium), et al.
Published: (1985)

Quiz: Pacemaker
by: Mykhaylo S. Sorokivskyy
Published: (2018-10-01)

Quiz: Pacemaker
by: Sok-Sithikun Bun, et al.
Published: (2019-03-01)

Biological Pacemakers
by: Rajesh G, et al.
Published: (2006-01-01)

Attack Graph Modeling for Implantable Pacemaker
by: Mariam Ibrahim, et al.
Published: (2020-02-01)

Experimental biological protocols with formal semantics
by: Abate, A, et al.
Published: (2018)

Cardiac resynchronization therapy pacemaker: critical appraisal of the adaptive CRT-P device
by: Daoud GE, et al.
Published: (2016-01-01)

New Concepts in Pacemaker Syndrome
by: D. Michael Farmer, et al.
Published: (2004-10-01)

Advances in pacemaker technology /
by: International Symposium on Advances in Pacemaker Technology (1974 : Erlangen), et al.
Published: (1975)

STABILITY OF THE PANCREATIC PACEMAKER
by: Matthews, D, et al.
Published: (1981)

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

Living with a pacemaker: patient-reported outcome of a pacemaker system
by: Peter Magnusson, et al.
Published: (2018-06-01)

Salivary Pacemakers: A review
by: Shriprasad Sarapur, et al.
Published: (2012-01-01)

Pacemakers and magnetic resonance imaging
by: D Weishaupt, et al.
Published: (2011-01-01)