Publications - MedCPS

Recent Publications

All
Heart Modeling
Closed-loop Model Checking
Model-based Design
Closed-loop Testing
Physiological Control
Journal Pubs
Book Chapters
Magazine Articles

[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,

2014 © mLab.Upenn. ALL Rights Reserved.