| Challenges and research directions in medical cyber–physical systems I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ... Proceedings of the IEEE 100 (1), 75-90, 2011 | 502 | 2011 |
| Realizing compositional scheduling through virtualization J Lee, S Xi, S Chen, LTX Phan, C Gill, I Lee, C Lu, O Sokolsky 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium …, 2012 | 98 | 2012 |
| Continuous glucose monitoring for hypoglycemia avoidance and glucose counterregulation in long-standing type 1 diabetes MR Rickels, AJ Peleckis, C Dalton-Bakes, JR Naji, NA Ran, HL Nguyen, ... The Journal of Clinical Endocrinology & Metabolism 103 (1), 105-114, 2018 | 79 | 2018 |
| On effective testing of health care simulation software C Murphy, MS Raunak, A King, S Chen, C Imbriano, G Kaiser, I Lee, ... Proceedings of the 3rd workshop on software engineering in health care, 40-47, 2011 | 58 | 2011 |
| Physiology-invariant meal detection for type 1 diabetes J Weimer, S Chen, A Peleckis, MR Rickels, I Lee Diabetes technology & therapeutics 18 (10), 616-624, 2016 | 50 | 2016 |
| Methods, systems, and computer readable media for physiology parameter-invariant meal detection S Chen, JE Weimer, I Lee US Patent 10,792,423, 2020 | 42 | 2020 |
| HighAir: A hierarchical graph neural network-based air quality forecasting method J Xu, L Chen, M Lv, C Zhan, S Chen, J Chang arXiv preprint arXiv:2101.04264, 2021 | 40 | 2021 |
| CARTS: a tool for compositional analysis of real-time systems LTX Phan, J Lee, A Easwaran, V Ramaswamy, S Chen, I Lee, O Sokolsky ACM SIGBED Review 8 (1), 62-63, 2011 | 37 | 2011 |
| The middleware assurance substrate: Enabling strong real-time guarantees in open systems with openflow AL King, S Chen, I Lee 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented …, 2014 | 32 | 2014 |
| Towards a model-based meal detector for type I diabetics S Chen, J Weimer, MR Rickels, A Peleckis, I Lee 6th Workshop on Medical Cyber-Physical Systems (MedicalCPS 2015), 2015 | 28 | 2015 |
| Removing abstraction overhead in the composition of hierarchical real-time systems S Chen, LTX Phan, J Lee, I Lee, O Sokolsky 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011 | 23 | 2011 |
| Parameter-invariant monitor design for cyber–physical systems J Weimer, R Ivanov, S Chen, A Roederer, O Sokolsky, I Lee Proceedings of the IEEE 106 (1), 71-92, 2017 | 21 | 2017 |
| Data-driven adaptive safety monitoring using virtual subjects in medical cyber-physical systems: a glucose control case study S Chen, O Sokolsky, J Weimer, I Lee Journal of Computing Science and Engineering 10 (3), 75-84, 2016 | 21 | 2016 |
| Extending task-level to job-level fixed priority assignment and schedulability analysis using pseudo-deadlines HS Chwa, H Back, S Chen, J Lee, A Easwaran, I Shin, I Lee 2012 IEEE 33rd Real-Time Systems Symposium, 51-62, 2012 | 19 | 2012 |
| An intraoperative glucose control benchmark for formal verification S Chen, M O'Kelly, J Weimer, O Sokolsky, I Lee IFAC-PapersOnLine 48 (27), 211-217, 2015 | 17 | 2015 |
| Towards assurance for plug & play medical systems AL King, L Feng, S Procter, S Chen, O Sokolsky, J Hatcliff, I Lee Computer Safety, Reliability, and Security: 34th International Conference …, 2015 | 16 | 2015 |
| Parameter-invariant design of medical alarms J Weimer, R Ivanov, A Roederer, S Chen, I Lee IEEE Design & Test 32 (5), 9-16, 2015 | 15 | 2015 |
| Improving resource utilization for compositional scheduling using dprm interfaces J Lee, LTX Phan, S Chen, O Sokolsky, I Lee ACM SIGBED Review 8 (1), 38-45, 2011 | 13 | 2011 |
| A safety argument strategy for PCA closed-loop systems: A preliminary proposal L Feng, AL King, S Chen, A Ayoub, J Park, N Bezzo, O Sokolsky, I Lee 5th Workshop on Medical Cyber-Physical Systems (2014), 2014 | 12 | 2014 |
| GSA: a framework for rapid prototyping of smart alarm systems AL King, A Roederer, D Arney, S Chen, M Fortino-Mullen, A Giannareas, ... Proceedings of the 1st ACM International Health Informatics Symposium, 487-491, 2010 | 12 | 2010 |
