Publications

[TBME] Individualization of atrial tachycardia models for clinical applications: Performance of fiber-independent model.

Jiyue He, Arkady Pertsov, John Bullinga, Rahul Mangharam

IEEE Transactions on Biomedical Engineering, ranked No. 3 by Google Scholar among biomedical technology journals. This paper received the Featured Article Award. 2023.

[TBME] Fiber organization has little effect on electrical activation patterns during focal arrhythmias in the left atrium.

Jiyue He, Arkady Pertsov, Elizabeth Cherry, Flavio Fenton, Caroline Roney, Steven Niederer, Zirui Zang, Rahul Mangharam

IEEE Transactions on Biomedical Engineering, ranked No. 3 by Google Scholar among biomedical technology journals. This paper received the Featured Article Award. 2023.

[HRS] Real-time atrial tachycardia ablation guidance with a left atrium model.

Jiyue He, Arkady Pertsov, Rahul Mangharam

Heart Rhythm Society is a top academic/clinical organization of heart rhythm in the world. 2023.

[CPS] Tachycardia activation pattern predictivity of a fiber-independent left atrium model.

Jiyue He, Arkady Pertsov, John Bullinga, Rahul Mangharam

Cardiac Physiome Society is a global conference on cardiac modeling. 2023.

[ICCPS'21] Patient-specific heart model towards atrial fibrillation.

Jiyue He, Arkady Pertsov, Sanjay Dixit, Katie Walsh, Eric Toolan, Rahul Mangharam

Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems is a large-scale international conference. 2021.

[EMBS'19] Electroanatomic mapping to determine scar regions in patients with atrial fibrillation.

Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam

41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society is a large-scale international conference. 2019.

[ARCH'16] Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue, ARCH 2016.

H. Abbas, K. Jang and R. Mangharam

[HSCC'16] Towards Model Checking of Implantable Cardioverter Defibrillators, HSCC 2016.

H. Abbas, K. Jang, Z. Jiang and R. Mangharam

[Computer'16] Towards high confidence medical device software, IEEE Computer Magazine Jan 2016 Outlook.

Z. Jiang, H. Abbas, K. Jang and R. Mangharam

[MedCPS'16] Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees, MedCPS Workshop 2016.

Z. Jiang, H. Abbas, PJ Mosterman and R. Mangharam

[FnEDA'15] High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation.

Z.Jiang, R. Mangharam

[STTT'13] Closed-loop Verification of Medical Devices with Model Abstraction and Refinement.

Z.Jiang, M.Pajic, R. Alur, R. Mangharam

[Proc'11] Cyber-Physical Modeling of Implantable Cardiac Medical Devices.

Z. Jiang, M. Pajic and R. Mangharam

[TECS'13] Safety-critical Medical Device Development using the UPP2SF Model.

M.Pajic, Z. Jiang, I. Lee, O.Sokolsky, R. Mangharam

[TACAS'12] Modeling and Verification of a Dual Chamber Implantable Pacemaker.

Z.Jiang, M.Pajic, S. Moarref, R. Alur, R. Mangharam

[EMBC'11] Modeling Cardiac Pacemaker Malfunctions with the Virtual Heart Model.

Z. Jiang and R. Mangharam

[RTAS'12] From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.

M. Pajic, Z. Jiang, I. Lee, O. Sokolsky and R. Mangharam

[ICCPS'11] Model-based Closed-loop Testing of Implantable Pacemakers.

Z. Jiang, M. Pajic and R. Mangharam

[HOC'13] Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers.

Z. Jiang, S. Radhakrishnan, V. Sampath S. Sarode and R. Mangharam

[ECRTS'10] Real-time Heart Model for Implantable Cardiac Device Validation and Verification.

Z. Jiang, M. Pajic, A. Connolly, S. Dixit and R. Mangharam

[TII'13] Model-Driven Safety Analysis of Closed-Loop Medical Systems.

M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman, I. Lee

[ICCPS'10] Toward Patient Safety in Closed-Loop Medical Device Systems.

D. Arney, M. Pajic, J. Goldman, I. Lee, R. Mangharam, O. Sokolsky