Sanjian Chen

Most-cited papers

Challenges and Research Directions in Medical Cyber–Physical Systems
Insup Lee, O. Sokolsky, Sanjian Chen, J. Hatcliff +7 more
2012Proceedings of the IEEE373 citations Open access
Semantic Scholar
Realizing Compositional Scheduling through Virtualization
Jaewoo Lee, Sisu Xi, Sanjian Chen, L. Phan +4 more
20122012 IEEE 18th Real Time and Embedded Technology and Applications Symposium89 citations Open access
Semantic Scholar
Continuous Glucose Monitoring for Hypoglycemia Avoidance and Glucose Counterregulation in Long-Standing Type 1 Diabetes
M. Rickels, A. Peleckis, C. Dalton-Bakes, Joseph R Naji +6 more
2018Journal of Clinical Endocrinology and Metabolism51 citations Open access
Semantic Scholar
Physiology-Invariant Meal Detection for Type 1 Diabetes
James Weimer, Sanjian Chen, A. Peleckis, M. Rickels +1 more
2016Diabetes Technology & Therapeutics43 citations Open access
Semantic Scholar
CARTS: a tool for compositional analysis of real-time systems
L. Phan, Jaewoo Lee, Arvind Easwaran, V. Ramaswamy +3 more
2011SIGBED37 citations
Semantic Scholar
On effective testing of health care simulation software
Christian Murphy, M. Raunak, Andrew L. King, Sanjian Chen +6 more
2011Software Engineering in Health Care37 citations Open access
Semantic Scholar
HighAir: A Hierarchical Graph Neural Network-Based Air Quality Forecasting Method
Ling Chen, Jiahui Xu, Bin-Qing Wu, Ming-Qi Lv +3 more
2021arXiv.org36 citations
Semantic Scholar
The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow
Andrew L. King, Sanjian Chen, Insup Lee
2014IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing29 citations Open access
Semantic Scholar
Towards a Model-Based Meal Detector for Type I Diabetics
Sanjian Chen, James Weimer, M. Rickels
201519 citations
Semantic Scholar
Parameter-Invariant Monitor Design for Cyber–Physical Systems
James Weimer, Radoslav Ivanov, Sanjian Chen, Alex Roederer +2 more
2018Proceedings of the IEEE18 citations Open access
Semantic Scholar
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems
Sanjian Chen, L. Phan, Jaewoo Lee, Insup Lee +1 more
20112011 17th IEEE Real-Time and Embedded Technology and Applications Symposium18 citations
Semantic Scholar
An Intraoperative Glucose Control Benchmark for Formal Verification
Sanjian Chen, Matthew O'Kelly, James Weimer, O. Sokolsky +1 more
2015IFAC Conference on Analysis and Design of Hybrid Systems17 citations Open access
Semantic Scholar
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study
Sanjian Chen, O. Sokolsky, James Weimer, Insup Lee
2016Journal of Computing Science and Engineering16 citations Open access
Semantic Scholar
Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines
H. Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee +3 more
2012IEEE Real-Time Systems Symposium16 citations Open access
Semantic Scholar
Parameter-Invariant Design of Medical Alarms
James Weimer, Radoslav Ivanov, Alex Roederer, Sanjian Chen +1 more
2015IEEE design & test14 citations Open access
Semantic Scholar
Improving resource utilization for compositional scheduling using DPRM interfaces
Jaewoo Lee, L. Phan, Sanjian Chen, O. Sokolsky +1 more
2011SIGBED13 citations Open access
Semantic Scholar
GSA: a framework for rapid prototyping of smart alarm systems
Andrew L. King, Alex Roederer, D. Arney, Sanjian Chen +10 more
2010International Health Informatics Symposium13 citations
Semantic Scholar
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps
Sanjian Chen, Lu Feng, M. Rickels, A. Peleckis +2 more
20152015 International Conference on Healthcare Informatics10 citations Open access
Semantic Scholar
Towards Assurance for Plug & Play Medical Systems
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen +3 more
2015International Conference on Computer Safety, Reliability, and Security10 citations
Semantic Scholar
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub +4 more
2014Workshop on Medical Cyber-Physical Systems10 citations
Semantic Scholar
Data Freshness Over-Engineering: Formulation and Results
Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, O. Sokolsky +1 more
2018IEEE International Symposium on Real-Time Distributed Computing7 citations Open access
Semantic Scholar
Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation
B. Kohl, Sanjian Chen, M. Mullen-Fortino, Insup Lee
2013IEEE International Conference on Healthcare Informatics6 citations Open access
Semantic Scholar
Distributed aspects of the artificial pancreas
S. Patek, Sanjian Chen, Patrick Keith-Hynes, Insup Lee
2013Allerton Conference on Communication, Control, and Computing6 citations
Semantic Scholar
Ads Supply Personalization via Doubly Robust Learning
Wei Shi, Chen Fu, Qi Xu, Sanjian Chen +4 more
2024International Conference on Information and Knowledge Management3 citations Open access
Semantic Scholar
Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems
Andrew L. King, Alex Roederer, Sanjian Chen, N. Stevens +5 more
2010Wireless Health3 citations
Semantic Scholar
Proceedings of the WorkIn-Progress Session 21 st IEEE Real-Time and Embedded Technology and Applications Symposium
Song Han, Xiu-Ming Zhu, Aloysius K. Mok, De-Ji Chen +18 more
20083 citations
Semantic Scholar
Model-based analysis of user behaviors in medical Cyber-Physical Systems
Sanjian Chen
20161 citations
Semantic Scholar
Dual Periodic Resource Model
Jaewoo Lee, L. Phan, Sanjian Chen, O. Sokolsky +1 more
20111 citations
Semantic Scholar
1-1-2011 Dual Periodic Resource Model
Jaewoo Lee, L. Phan, Sanjian Chen, O. Sokolsky +1 more
20160 citations
Semantic Scholar