5 papers:
DHM-EH-2015-SinghLMW #formal method- Formalizing the Cardiac Pacemaker Resynchronization Therapy (NKS, ML, TSEM, AW), pp. 374–386.
HILT-2014-Larson #semantics #specification- Formal semantics for the PACEMAKER system specification (BRL), pp. 47–60.
TACAS-2012-JiangPMAM #modelling #verification- Modeling and Verification of a Dual Chamber Implantable Pacemaker (ZJ, MP, SM, RA, RM), pp. 188–203.
CHI-2010-DenningBFGKM #security- Patients, pacemakers, and implantable defibrillators: human values and security for wireless implantable medical devices (TD, AB, BF, BTG, TK, WHM), pp. 917–926.
DATE-DF-2004-HeckerCLBLO #development #library- VHDL-AMS Library Development for Pacemaker Applications (BH, MC, ML, EB, LL, JO), pp. 338–341.
