In this effort we investigate the design and use of physiological and device models to conduct pre-clinical trials to provide early insight in the design and execution of the actual clinical trial. Computer models of physiological phenomena like cardiac electrical activity can be extremely complex. However, when the purpose of the model is to interact with a medical device, then it becomes sufficient to model the measurements that the device makes, e.g. the intra-cardiac electrograms (EGMs) that an Implantable Cardioverter Defibrillator (ICD) measures. We present a probabilistic generative model of EGMs, capable of generating exemplars of various arrhythmias. The model uses deformable shape templates, or motifs, to capture the variability i...
dissertationComputer models of the heart can provide a greater understanding of the mechanisms of ar...
International audienceTools and techniques based on formal methods have been recognized as a promisi...
Medical devices play an essential role in the care of patients around the world, and can have a life...
In this effort we investigate the design and use of physiological and device models to conduct pre-c...
Designing bug-free medical device software is difficult, especially in complex implantable devices t...
Life-critical medical devices require robust safety and efficacy to treat patient populations with p...
The design of bug-free and safe medical device software is challenging, especially in complex implan...
Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD), require ev...
Life-critical medical devices require robust safety and efficacy to treat patient populations with p...
Historically, the development of computerized models that utilize the deductive methods used by clin...
The design of bug-free and safe medical device software is challenging, especially in complex implan...
The increasing complexity of software in implantable medical devices such as cardiac pacemakers and ...
Designing bug-free medical device software is difficult, especially in complex implantable devices u...
International audienceCardiac electrophysiology mapping techniques now allow to record denser intra-...
Implantable cardiac pacemakers restore normal heart rhythm by delivering external electrical pacing ...
dissertationComputer models of the heart can provide a greater understanding of the mechanisms of ar...
International audienceTools and techniques based on formal methods have been recognized as a promisi...
Medical devices play an essential role in the care of patients around the world, and can have a life...
In this effort we investigate the design and use of physiological and device models to conduct pre-c...
Designing bug-free medical device software is difficult, especially in complex implantable devices t...
Life-critical medical devices require robust safety and efficacy to treat patient populations with p...
The design of bug-free and safe medical device software is challenging, especially in complex implan...
Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD), require ev...
Life-critical medical devices require robust safety and efficacy to treat patient populations with p...
Historically, the development of computerized models that utilize the deductive methods used by clin...
The design of bug-free and safe medical device software is challenging, especially in complex implan...
The increasing complexity of software in implantable medical devices such as cardiac pacemakers and ...
Designing bug-free medical device software is difficult, especially in complex implantable devices u...
International audienceCardiac electrophysiology mapping techniques now allow to record denser intra-...
Implantable cardiac pacemakers restore normal heart rhythm by delivering external electrical pacing ...
dissertationComputer models of the heart can provide a greater understanding of the mechanisms of ar...
International audienceTools and techniques based on formal methods have been recognized as a promisi...
Medical devices play an essential role in the care of patients around the world, and can have a life...