Sanjian Chen
Sanjian Chen
Ph.D. in Computer and Information Science, University of Pennsylvania
Verified email at seas.upenn.edu
Title
Cited by
Cited by
Year
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
3582012
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
862012
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
422011
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
342017
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
322014
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
312011
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
302016
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
222015
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
202011
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
172012
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
132015
Parameter invariant design of medical alarms
J Weimer, R Ivanov, A Roederer, S Chen, I Lee
Design & Test, IEEE, 1-1, 2015
132015
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
132011
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
122016
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
112018
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
112015
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
112010
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
82014
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
72015
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
72013
The system can't perform the operation now. Try again later.
Articles 1–20