| Cyber–Physical Modeling of Implantable Cardiac Medical Devices Z Jiang, M Pajic, R Mangharam Proceedings of the IEEE, 1-16, 2012 | 192 | 2012 |
| Modeling and Verification of a Dual Chamber Implantable Pacemaker Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam | 172 | 2012 |
| From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam | 91 | 2012 |
| Real-time heart model for implantable cardiac device validation and verification Z Jiang, M Pajic, A Connolly, S Dixit, R Mangharam Real-Time Systems (ECRTS), 2010 22nd Euromicro Conference on, 239-248, 2010 | 77 | 2010 |
| Closed-loop verification of medical devices with model abstraction and refinement Z Jiang, M Pajic, R Alur, R Mangharam International Journal on Software Tools for Technology Transfer 16 (2), 191-213, 2014 | 76 | 2014 |
| Digital behavioral twins for safe connected cars X Chen, E Kang, S Shiraishi, VM Preciado, Z Jiang Proceedings of the 21th ACM/IEEE international conference on model driven …, 2018 | 66 | 2018 |
| Model-based Closed-loop Testing of Implantable Pacemakers Z Jiang, M Pajic, R Mangharam Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on …, 2011 | 56 | 2011 |
| Safety-critical medical device development using the UPP2SF model translation tool M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-26, 2014 | 41 | 2014 |
| Modeling cardiac pacemaker malfunctions with the Virtual Heart Model Z Jiang, R Mangharam Engineering in Medicine and Biology Society, EMBC, 2011 Annual International …, 2011 | 26 | 2011 |
| Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation Z Jiang, A Connolly, R Mangharam | 25 | 2010 |
| Three challenges in cyber-physical systems R Mangharam, H Abbas, M Behl, K Jang, M Pajic, Z Jiang 2016 8th International Conference on Communication Systems and Networks …, 2016 | 16 | 2016 |
| Collision avoidance for a connected vehicle based on a digital behavioral twin Z Jiang, S Shiraishi, BG Kim US Patent 10,843,689, 2020 | 15 | 2020 |
| In-silico pre-clinical trials for implantable cardioverter defibrillators Z Jiang, H Abbas, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam 2016 38th Annual International Conference of the IEEE Engineering in …, 2016 | 13 | 2016 |
| The challenges of high-confidence medical device software Z Jiang, H Abbas, KJ Jang, R Mangharam Computer 49 (1), 34-42, 2016 | 11 | 2016 |
| Towards model checking of implantable cardioverter defibrillators H Abbas, KJ Jiang, Z Jiang, R Mangharam Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 10 | 2016 |
| High-confidence medical device software development Z Jiang, R Mangharam Foundations and Trends® in Electronic Design Automation 9 (4), 309-391, 2015 | 10 | 2015 |
| Environment modeling during model checking of cyberphysical systems G Chen, Z Jiang Computer 54 (9), 49-58, 2021 | 8 | 2021 |
| Synthesizing stealthy reprogramming attacks on cardiac devices N Paoletti, Z Jiang, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, ... Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 8 | 2019 |
| Computer aided clinical trials for implantable cardiac devices H Abbas, Z Jiang, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam | 8 | 2016 |
| High-level modeling for computer-aided clinical trials of medical devices H Abbas, Z Jiang, KJ Jang, M Beccani, J Liangy, R Mangharam 2016 IEEE International High Level Design Validation and Test Workshop …, 2016 | 7 | 2016 |
Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of PennsylvaniaVerified email at seas.upenn.edu
