SANJIAN CHEN

I am currently a 3rd year Ph.D. student in Computer and Information Science at the University of Pennsylvania, under the supervision of Prof. Insup Lee. I am affiliated with Penn PRECISE Center and Penn RTG Group.

Research Areas

• Cyber-Physical Systems: physiological closed-loop systems, networked control systems, medical data mining and machine learning, model-based closed-loop system validation and verification.
• Real-time Embedded Systems: compositional real-time scheduling, multiprocessor scheduling, real-time virtualization.

Publications

• Refereed Journals
1. Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, MargaretMullen-Fortino, Soojin Park, Alexander Roederer, and Krishna Venkatasubramanian. Challenges and Research Directions in Medical Cyber-Physical Systems. To appear in Special Issue on Cyber-Physical Systems, IEEE Proceedings, 2011. (Invited paper)
2. Sanjian Chen, Daqing Zhao, and Ming Gao. The "Trilogy" of Technology Entrepreneurship: Core Reflections on the Technology Business. Chinese University Technology Transfer (collected by Chinese Core Journal (Selected) Database), No.7, P.65-66, 2007.
• Refereed Conference Proceedings
1. Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky. Realizing Compositional Scheduling through Virtualization. The 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'2012). (Accepted. To appear at the conference.)
2. Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky. Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. The 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'2011), pp.81-90, 2011. (presented at the conference)
3. Andrew L. King, Alex Roederer, David Arney, Sanjian Chen, Margaret Mullen-Fortino, Ana Giannareas, William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, and Insup Lee. GSA: a framework for rapid prototyping of smart alarm systems. The 1st ACM International Health Informatics Symposium (IHI'2010), pp.487-491, 2010.
• Refereed Workshop Proceedings
1. Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbriano, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, and Leon Osterweil. On effective testing of health care simulation software. The 3rd workshop on Software engineering in health care (SEHC'11), pp.40-47, 2011.
2. Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee. Improving resource utilization for compositional scheduling using DPRM interfaces. The 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'2010), 2010.
3. Linh T.X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, and Oleg Sokolsky. CARTS: A Tool for Compositional Analysis of Real-Time Systems. The 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'2010), 2010.
• Other Publications
1. Andrew King, Alex Roederer, Sanjian Chen, Nicholas Stevens, Philip Asare, Oleg Sokolsky, Insup Lee, Margaret Mullen-Fortino, and 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 (WH'2010), 210-211.

Teaching Experience

University of Pennsylvania, Philadelphia, PA

• Teaching Assistant, CIS 541/441, "Embedded Software for Life-Critical Applications", Fall 2011.
• Teaching Assistant, CIS 540, "Principles of Embedded Computation", Spring 2011.
• Teaching Assistant, CIS 541/441, "Embedded Software for Life-Critical Applications", Fall 2010.
• Teaching Assistant, EAS 105, "Introduction to Scientific Computing", Fall 2008.