|Present||Faculty Member, University of Pennsylvania|
No Subject Area (48)
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2012)
The design and implementation of software for medical devices is challenging due to their rapidly increasing functionality and the tight ...
From Verification to Implementation: A Model Translation Tool and a ...
Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012) (2012)
Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed ...
Modeling Cardiac Pacemaker Malfunctions With the Virtual Heart Model
33nd International Conference on IEEE Engineering in Medicine and Biology Society (IEEE EMBC) (2011)
Implantable cardiac devices such as artificial pacemakers deliver therapies according to the timing information from the heart. Such devices work ...