Sanjian Chen
Sanjian Chen
Ph.D. in Computer and Information Science, University of Pennsylvania
Verified email at
Cited by
Cited by
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, 2012
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
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
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, 2017
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
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
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
Towards a Model-Based Meal Detector for Type I Diabetics
S Chen, J Weimer, MR Rickels, A Peleckis, I Lee
Medical Cyber-Physical Systems Workshop, hosted at CPSWeek'15 in Seattle, 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
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
Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, 51-62, 2012
An intraoperative glucose control benchmark for formal verification
S Chen, MO Kelly, J Weimer, O Sokolsky, I Lee
5th IFAC conference on Analysis and Design of Hybrid Systems (ADHS), 2015
Parameter invariant design of medical alarms
J Weimer, R Ivanov, A Roederer, S Chen, I Lee
Design & Test, IEEE, 1-1, 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
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
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, 2018
Towards assurance for plug & play medical systems
AL King, L Feng, S Procter, S Chen, O Sokolsky, J Hatcliff, I Lee
International Conference on Computer Safety, Reliability, and Security, 228-242, 2015
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
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
The 5th Workshop on Medical Cyber-Physical Systems 36, 94-99 36, 94-99, 2014
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps
S Chen, L Feng, M Rickels, A Peleckis, O Sokolsky, I Lee
The IEEE International Conference on Healthcare Informatics 2015 (ICHI 2015), 2015
Distributed aspects of the artificial pancreas
SD Patek, S Chen, P Keith-Hynes, I Lee
Communication, Control, and Computing (Allerton), 2013 51st Annual Allerton …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20