-
Notifications
You must be signed in to change notification settings - Fork 1
/
publications.html
121 lines (93 loc) · 7.98 KB
/
publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
<!DOCTYPE html>
<html lang="en">
<script src="components/header.js" type="text/javascript" defer></script>
<script src="components/navigation.js" type="text/javascript" defer></script>
<script src="components/footer.js" type="text/javascript" defer></script>
<header-component></header-component>
<body>
<navigation-component></navigation-component>
<div class="breadcrumbs margin-bottom-40">
<div class="container">
<h1 class="pull-left">Publications</h1>
</div>
</div>
<!--=== Content Part ===-->
<div class="container">
<h4><i class="icon-hand-right color-green"></i><a href="https://doi.org/10.1109/TBME.2023.3298003" target="_blank">[TBME] Individualization of atrial tachycardia models for clinical applications: Performance of fiber-independent model.</a></h4>
<p>Jiyue He, Arkady Pertsov, John Bullinga, Rahul Mangharam</p>
<p>IEEE Transactions on Biomedical Engineering, ranked No. 3 by Google Scholar among biomedical technology journals. This paper received the Featured Article Award. 2023.</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="https://doi.org/10.1109/TBME.2022.3223063" target="_blank">[TBME] Fiber organization has little effect on electrical activation patterns during focal arrhythmias in the left atrium.</a></h4>
<p>Jiyue He, Arkady Pertsov, Elizabeth Cherry, Flavio Fenton, Caroline Roney, Steven Niederer, Zirui Zang, Rahul Mangharam</p>
<p>IEEE Transactions on Biomedical Engineering, ranked No. 3 by Google Scholar among biomedical technology journals. This paper received the Featured Article Award. 2023.</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="https://doi.org/10.1016/j.hrthm.2023.03.343" target="_blank">[HRS] Real-time atrial tachycardia ablation guidance with a left atrium model.</a></h4>
<p>Jiyue He, Arkady Pertsov, Rahul Mangharam</p>
<p>Heart Rhythm Society is a top academic/clinical organization of heart rhythm in the world. 2023.</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="https://bpb-ap-se2.wpmucdn.com/blogs.auckland.ac.nz/dist/9/93/files/2023/03/Physiome_Agenda_3_9_2023.pdf" target="_blank">[CPS] Tachycardia activation pattern predictivity of a fiber-independent left atrium model.</a></h4>
<p>Jiyue He, Arkady Pertsov, John Bullinga, Rahul Mangharam</p>
<p>Cardiac Physiome Society is a global conference on cardiac modeling. 2023.</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="https://doi.org/10.1145/3450267.3450532" target="_blank">[ICCPS'21] Patient-specific heart model towards atrial fibrillation.</a></h4>
<p>Jiyue He, Arkady Pertsov, Sanjay Dixit, Katie Walsh, Eric Toolan, Rahul Mangharam</p>
<p>Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems is a large-scale international conference. 2021.</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="https://doi.org/10.1109/EMBC.2019.8856704" target="_blank">[EMBS'19] Electroanatomic mapping to determine scar regions in patients with atrial fibrillation.</a></h4>
<p>Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam</p>
<p>41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society is a large-scale international conference. 2019.</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/90/" target="_blank">[ARCH'16] Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue, ARCH 2016.</a></h4>
<p>H. Abbas, K. Jang and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/87/" target="_blank">[HSCC'16] Towards Model Checking of Implantable Cardioverter Defibrillators, HSCC 2016.</a></h4>
<p>H. Abbas, K. Jang, Z. Jiang and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/77" target="_blank">[Computer'16] Towards high confidence medical device software, IEEE Computer Magazine Jan 2016 Outlook.</a></h4>
<p>Z. Jiang, H. Abbas, K. Jang and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/89/" target="_blank">[MedCPS'16] Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees, MedCPS Workshop 2016.</a></h4>
<p>Z. Jiang, H. Abbas, PJ Mosterman and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/76" target="_blank">[FnEDA'15] High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation.</a></h4>
<p>Z.Jiang, R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/58" target="_blank">[STTT'13] Closed-loop Verification of Medical Devices with Model Abstraction and Refinement.</a></h4>
<p>Z.Jiang, M.Pajic, R. Alur, R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/21/" target="_blank">[Proc'11] Cyber-Physical Modeling of Implantable Cardiac Medical Devices.</a></h4>
<p>Z. Jiang, M. Pajic and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/cis_papers/765/" target="_blank">[TECS'13] Safety-critical Medical Device Development using the UPP2SF Model.</a></h4>
<p>M.Pajic, Z. Jiang, I. Lee, O.Sokolsky, R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/43" target="_blank">[TACAS'12] Modeling and Verification of a Dual Chamber Implantable Pacemaker.</a></h4>
<p>Z.Jiang, M.Pajic, S. Moarref, R. Alur, R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/22" target="_blank">[EMBC'11] Modeling Cardiac Pacemaker Malfunctions with the Virtual Heart Model.</a></h4>
<p>Z. Jiang and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/45" target="_blank">[RTAS'12] From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.</a></h4>
<p>M. Pajic, Z. Jiang, I. Lee, O. Sokolsky and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/23" target="_blank">[ICCPS'11] Model-based Closed-loop Testing of Implantable Pacemakers.</a></h4>
<p>Z. Jiang, M. Pajic and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/55" target="_blank">[HOC'13] Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers.</a></h4>
<p>Z. Jiang, S. Radhakrishnan, V. Sampath S. Sarode and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/ese_papers/530" target="_blank">[ECRTS'10] Real-time Heart Model for Implantable Cardiac Device Validation and Verification.</a></h4>
<p>Z. Jiang, M. Pajic, A. Connolly, S. Dixit and R. Mangharam</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/mlab_papers/52" target="_blank">[TII'13] Model-Driven Safety Analysis of Closed-Loop Medical Systems.</a></h4>
<p>M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman, I. Lee</p>
<br>
<h4><i class="icon-hand-right color-green"></i><a href="http://repository.upenn.edu/cis_papers/427" target="_blank">[ICCPS'10] Toward Patient Safety in Closed-Loop Medical Device Systems.</a></h4>
<p>D. Arney, M. Pajic, J. Goldman, I. Lee, R. Mangharam, O. Sokolsky</p>
<br>
</div>
<footer-component></footer-component>
<script type="text/javascript" src="assets/css/jquery-1.10.2.min.js"></script>
<script type="text/javascript" src="assets/css/hover-dropdown.min.js"></script>
</body>
</html>