Sanjian Chen

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 4

Top Topics

Image Guided Surgery

Top Venues

Publications

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