Sanjian Chen

23 papers A 4B 1C 2Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2024 A conf
Ads Supply Personalization via Doubly Robust Learning.
CIKM
Wei Shi, Chen Fu, Qi Xu, Sanjian Chen, Jizhe Zhang, Qinqin Zhu, Zhigang Hua, Shuang Yang
2024 J jnl
Ads Supply Personalization via Doubly Robust Learning.
CoRR
Wei Shi, Chen Fu, Qi Xu, Sanjian Chen, Jizhe Zhang, Qinqin Zhu, Zhigang Hua, Shuang Yang
2021 J jnl
HighAir: A Hierarchical Graph Neural Network-Based Air Quality Forecasting Method.
CoRR
Jiahui Xu, Ling Chen, Mingqi Lv, Chaoqun Zhan, Sanjian Chen, Jian Chang
2018 C conf
Data Freshness Over-Engineering: Formulation and Results.
ISORC
Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee
2018 J jnl
Parameter-Invariant Monitor Design for Cyber-Physical Systems.
Proc. IEEE
James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
2016 J jnl
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.
J. Comput. Sci. Eng.
Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee
2015 — conf
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps.
ICHI
Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
2015 — conf
An Intraoperative Glucose Control Benchmark for Formal Verification.
ADHS
Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee
2015 J jnl
Parameter-Invariant Design of Medical Alarms.
IEEE Des. Test
James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee
2015 B conf
Towards Assurance for Plug & Play Medical Systems.
SAFECOMP
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
2014 — conf
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.
MCPS
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
2014 C conf
The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow.
ISORC
Andrew L. King, Sanjian Chen, Insup Lee
2013 — conf
Distributed aspects of the artificial pancreas.
Allerton
Stephen D. Patek, Sanjian Chen, Patrick Keith-Hynes, Insup Lee
2013 — conf
Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation.
ICHI
Benjamin A. Kohl, Sanjian Chen, Margaret Mullen-Fortino, Insup Lee
2012 J jnl
Challenges and Research Directions in Medical Cyber-Physical Systems.
Proc. IEEE
Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian
2012 A conf
Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines.
RTSS
Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee
2012 A conf
Realizing Compositional Scheduling through Virtualization.
IEEE Real-Time and Embedded Technology and Applications Symposium
Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky
2011 J jnl
CARTS: a tool for compositional analysis of real-time systems.
SIGBED Rev.
Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky
2011 J jnl
Improving resource utilization for compositional scheduling using DPRM interfaces.
SIGBED Rev.
Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee
2011 — conf
On effective testing of health care simulation software.
SEHC@ICSE
Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil
2011 A conf
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky
2010 — conf
Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems.
Wireless Health
Andrew L. King, Alex Roederer, Sanjian Chen, Nicholas Stevens, Philip Asare, Oleg Sokolsky, Insup Lee, Margaret Mullen-Fortino, Soojin Park
2010 — conf
GSA: a framework for rapid prototyping of smart alarm systems.
IHI
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, Oleg Sokolsky, Insup Lee