mLab http://mlab.seas.upenn.edu Real-Time & Embedded Systems Laboratory - University of Pennsylvania en-US daily 1 mLab Thu, 14 Jul 2016 04:50:32 +0000 mLab Closed-loop Verification of Medical Devices with Model Abstraction and Refinement (Submitted) International Journal on Software Tools for Technology Transfer, 2013. Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam http://mlab.seas.upenn.edu?publication=62 2013-04-22 Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers 2013. Zhihao Jiang, Sriram Radhakrishnan, Varun Sampath, Shilpa Sarode,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=64 2013-03-04 Safety-critical Medical Device Development using the UPP2SF Model Translation Tool (Submitted) ACM TECS RTAS12 Special Issue on Real-Time and Embedded Technology and Applications, 2012. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam http://mlab.seas.upenn.edu?publication=63 2012-09-15 From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study 2012Beijing, China, . Miroslav Pajic, Zhihao Jiang, Oleg Sokolsky, Insup Lee, Rahul Mangharam http://mlab.seas.upenn.edu?publication=60 2012-04-04 Modeling and Verification of a Dual Chamber Implantable Pacemaker 20127214, . Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam http://mlab.seas.upenn.edu?publication=55 2012-01-06 Cyber-Physical Modeling of Implantable Cardiac Medical Devices Proceeding of IEEE Special Issue on Cyber-Physical Systems, 100, 1, Page(s): 122 - 137, 2011, ISBN: 0018-9219. Zhihao Jiang, Miroslav Pajic,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=61 2011-06-30 Modeling Cardiac Pacemaker Malfunctions with the Virtual Heart Model 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC {textquoteright}11), 2011. Zhihao Jiang, Rahul Mangharam http://mlab.seas.upenn.edu?publication=6 2011-06-20 Model-based Closed-loop Testing of Implantable Pacemakers 2011, ISBN: 978-1-61284-640-8 . Zhihao Jiang, Miroslav Pajic,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=58 2011-03-01 Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (IEEE EMBC), Page(s): 6690 - 6693 , 2010, ISBN: 1557-170X . Zhihao Jiang, Allison Connolly, Rahul Mangharam http://mlab.seas.upenn.edu?publication=57 2010-08-19 Real-time Heart Model for Implantable Cardiac Device Validation and Verification 22nd Euromicro Conference on Real-Time Systems, (IEEE ECRTS’10), Page(s): 239 - 248 , 2010, ISBN: 978-1-4244-7546-9 . Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam http://mlab.seas.upenn.edu?publication=56 2010-07-16