| Cyber–Physical Modeling of Implantable Cardiac Medical Devices Z Jiang, M Pajic, R Mangharam Proceedings of the IEEE, 1-16, 2012 | 194 | 2012 |
| Modeling and Verification of a Dual Chamber Implantable Pacemaker Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam | 179 | 2012 |
| From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam | 92 | 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 | 82 | 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 | 81 | 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 | 74 | 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 | 57 | 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 | 42 | 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 | 27 | 2011 |
| Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation Z Jiang, A Connolly, R Mangharam | 26 | 2010 |
| Collision avoidance for a connected vehicle based on a digital behavioral twin Z Jiang, S Shiraishi, BG Kim US Patent 10,843,689, 2020 | 16 | 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 | 14 | 2016 |
| 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 | 14 | 2016 |
| Computer aided clinical trials for implantaule cardiac devices K Jang, J Weimer, H Abbas, Z Jiang, J Liang, S Dixit, R Mangharam 2018 40th Annual International Conference of the IEEE Engineering in …, 2018 | 13 | 2018 |
| Study on spontaneous imbibition and displacement characteristics of mixed-wet tight sandstone reservoir based on high-precision balance and NMR method Z Jiang, G Li, P Zhao, Y Zhou, Z Mao, Z Liu Fuel 345, 128247, 2023 | 11 | 2023 |
| 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 | 11 | 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 |
| 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 |
Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of Pennsylvania在 seas.upenn.edu 的电子邮件经过验证
