GSA: a framework for rapid prototyping of smart alarm systems. - Andrew L. King; Alex Roederer; David Arney; Sanjian Chen; Margaret Mullen-Fortino; Ana Rosa Giannareas; William Hanson III; Vanessa Kern; Nicholas Stevens; Jonathan Tannen; Adrian Viesca Trevino; Soojin Park; et al. (IHI, 2010)

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; Nicholas Stevens; Philip Asare; Oleg Sokolsky; Insup Lee 001; Margaret Mullen-Fortino; Soojin Park (Wireless Health, 2010)

On effective testing of health care simulation software. - Christian Murphy; M. S. Raunak 001; Andrew L. King; Sanjian Chen; Christopher Imbriano; Gail E. Kaiser; Insup Lee 001; Oleg Sokolsky; Lori A. Clarke; Leon J. Osterweil (SEHC@ICSE, 2011)

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. - Sanjian Chen; Linh T. X. Phan; Jaewoo Lee; Insup Lee 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Improving resource utilization for compositional scheduling using DPRM interfaces. - Jaewoo Lee; Linh T. X. Phan; Sanjian Chen; Oleg Sokolsky; Insup Lee 001 (SIGBED Rev., 2011)

CARTS: a tool for compositional analysis of real-time systems. - Linh T. X. Phan; Jaewoo Lee; Arvind Easwaran; Vinay Ramaswamy; Sanjian Chen; Insup Lee 001; Oleg Sokolsky (SIGBED Rev., 2011)

Realizing Compositional Scheduling through Virtualization. - Jaewoo Lee; Sisu Xi; Sanjian Chen; Linh T. X. Phan; Christopher D. Gill; Insup Lee 001; Chenyang Lu 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. - Hoon Sung Chwa; Hyoungbu Back; Sanjian Chen; Jinkyu Lee 001; Arvind Easwaran; Insik Shin; Insup Lee 001 (RTSS, 2012)

Challenges and Research Directions in Medical Cyber-Physical Systems. - Insup Lee 001; Oleg Sokolsky; Sanjian Chen; John Hatcliff; Eunkyoung Jee; BaekGyu Kim; Andrew L. King; Margaret Mullen-Fortino; Soojin Park; Alex Roederer; Krishna K. Venkatasubramanian (Proc. IEEE, 2012)

Distributed aspects of the artificial pancreas. - Stephen D. Patek; Sanjian Chen; Patrick Keith-Hynes; Insup Lee 001 (Allerton, 2013)

Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. - Benjamin A. Kohl; Sanjian Chen; Margaret Mullen-Fortino; Insup Lee 001 (ICHI, 2013)

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow. - Andrew L. King; Sanjian Chen; Insup Lee 001 (ISORC, 2014)

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. - Lu Feng 001; Andrew L. King; Sanjian Chen; Anaheed Ayoub; Junkil Park; Nicola Bezzo; Oleg Sokolsky; Insup Lee 001 (MCPS, 2014)

An Intraoperative Glucose Control Benchmark for Formal Verification. - Sanjian Chen; Matthew O'Kelly; James Weimer; Oleg Sokolsky; Insup Lee 001 (ADHS, 2015)

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. - Sanjian Chen; Lu Feng 001; Michael R. Rickels; Amy Peleckis; Oleg Sokolsky; Insup Lee 001 (ICHI, 2015)

Towards Assurance for Plug & Play Medical Systems. - Andrew L. King; Lu Feng 001; Sam Procter; Sanjian Chen; Oleg Sokolsky; John Hatcliff; Insup Lee 001 (SAFECOMP, 2015)

Parameter-Invariant Design of Medical Alarms. - James Weimer; Radoslav Ivanov; Alexander Roederer; Sanjian Chen; Insup Lee 001 (IEEE Des. Test, 2015)

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. - Sanjian Chen; Oleg Sokolsky; James Weimer; Insup Lee 001 (J. Comput. Sci. Eng., 2016)

Data Freshness Over-Engineering: Formulation and Results. - Dagaen Golomb; Deepak Gangadharan; Sanjian Chen; Oleg Sokolsky; Insup Lee 001 (ISORC, 2018)

Parameter-Invariant Monitor Design for Cyber-Physical Systems. - James Weimer; Radoslav Ivanov; Sanjian Chen; Alexander Roederer; Oleg Sokolsky; Insup Lee 001 (Proc. IEEE, 2018)

HighAir: A Hierarchical Graph Neural Network-Based Air Quality Forecasting Method. - Jiahui Xu; Ling Chen 001; Mingqi Lv; Chaoqun Zhan; Sanjian Chen; Jian Chang (CoRR, 2021)

Ads Supply Personalization via Doubly Robust Learning. - Wei Shi 011; Chen Fu; Qi Xu; Sanjian Chen; Jizhe Zhang; Qinqin Zhu; Zhigang Hua; Shuang Yang (CIKM, 2024)

Ads Supply Personalization via Doubly Robust Learning. - Wei Shi; Chen Fu; Qi Xu; Sanjian Chen; Jizhe Zhang; Qinqin Zhu; Zhigang Hua; Shuang Yang (CoRR, 2024)