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
3302012
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
792012
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
392011
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
322017
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
312014
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
302011
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
242016
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
202015
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
192011
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
152012
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
142015
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
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
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
92018
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
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
72016
Evaluation and enhancement of an intraoperative insulin infusion protocol via in-silico simulation
BA Kohl, S Chen, M Mullen-Fortino, I Lee
2013 IEEE International Conference on Healthcare Informatics, 307-316, 2013
72013
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
62015
The system can't perform the operation now. Try again later.
Articles 1–20