Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. - Zhihao Jiang; Miroslav Pajic; Allison Connolly; Sanjay Dixit; Rahul Mangharam (ECRTS, 2010)

A platform for implantable medical device validation. - Miroslav Pajic; Zhihao Jiang; Allison Connolly; Sanjay Dixit; Rahul Mangharam (IPSN, 2010)

A platform for implantable medical device validation: demo abstract. - Zhihao Jiang; Miroslav Pajic; Allison Connolly; Sanjay Dixit; Rahul Mangharam (Wireless Health, 2010)

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. - Radu Grosu; Elizabeth Cherry; Edmund M. Clarke; Rance Cleaveland; Sanjay Dixit; Flavio H. Fenton; Sicun Gao; James Glimm; Richard A. Gray; Rahul Mangharam; Arnab Ray; Scott A. Smolka (ISoLA (2), 2014)

In-silico pre-clinical trials for implantable cardioverter defibrillators. - Zhihao Jiang; Houssam Abbas; Kuk Jin Jang; Marco Beccani; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2016)

Computer Aided Clinical Trials for Implantaule Cardiac Devices. - Kuk Jin Jang; James Weimer; Houssam Abbas; Zhihao Jiang; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2018)

Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation. - Jiyue He; Kuk Jin Jang; Katie Walsh; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2019)

Patient-specific heart model towards atrial fibrillation. - Jiyue He; Arkady M. Pertsov; Sanjay Dixit; Katie Walsh; Eric Toolan; Rahul Mangharam (ICCPS, 2021)