Publications

Zhenyu Zhang, Chunhui Guo, Shangping Ren (2020). Mining Timing Constraints from Event Logs for Process, IEEE Computers, Systems and Applications Conference, COMPSAC 2020.

Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha (2020). UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4(3): 24:1-24:25.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha (2019). Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet of Things Journal 6(4): 6276-6284.

Zhenyu Zhang, Chunhui Guo, Zhicheng Fu, and Shangping Ren (2019). Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. The 15th IEEE International Conference on Embedded Software and Systems (ICESS)..

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha (2019). Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. 6(4): 6276-6284 (2019).

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha (2018). Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS 2018: 253-262.

Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha (2018). IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC 2018: 143:1-143:6.

Zhenyu Zhang, Chunhui Guo, Zhicheng Fu, and Shangping Ren (2018). Reducing Patient Waiting Time for Radiotherapy Treatments with a Genetic Algorithm. The 5th Annual Conference on Computational Science & Computational Intelligence (CSCI).

Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha (2017). A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. MMSys 2017: 158-163.

Mohammad Hosseini, Richard R. Berlin, Lui Sha (2017). A physiology-aware communication architecture for distributed emergency medical CPS. ICCPS 2017: 83 doi>10.1145/3055004.3064841.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha (2017). Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969.

Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Po-Liang Wu, Lui Sha (2017). Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. ICCAD 2017: 957-963.

Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha (2017). Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618.

Mohammad Hosseini, Richard R. Berlin, Yu Jiang, Lui Sha (2017). Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE 2017: 245-246.

Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha (2017). Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS 2017: 373-378.

Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha (2017). Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS 2017: 117-122.

Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song (2017). Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. IEEE Trans. Multimedia 19(10): 2307-2321.

Hongwei Wang, Yunlong Gao, Shaohan Hu, Shiguang Wang, Renato Mancuso, Minje Kim, Po-Liang Wu, Lu Su, Lui Sha, Tarek F. Abdelzaher (2017). On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems. TCPS 1(3): 16:1-16:19.

Po-Liang Wu, Min-Young Nam, Jeonghwan Choi, Alex Kirlik, Lui Sha (2017). Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient Data. J. Medical Systems 41(12): 186:1-186:19.

Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr. (2017). Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Systems 41(1): 9:1-9:12.

Maryam Rahmaniheris, Yu Jiang, Lui Sha (2016). Model-Driven Design of Clinical Guidance Systems. CoRR abs/1610.06895 arXiv:1610.06895v1.

Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha (2016). Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. SMC 2016: 4394-4399.

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha (2016). Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121.

Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha (2016). Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS 2016: 34:1-34:10 .

Maryam Rahmaniheris, Po-Liang Wu, Lui Sha, Richard R. Berlin (2016). An Organ-Centric Best Practice Assist System for Acute Care. CBMS 2016: 100-105.

Yu Jiang, Pengliu Tan, Houbing Song, Binhua Wan, Mohammad Hosseini, Lui Sha (2016). A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS 2016: 60-65.

Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Shangping Ren, Lui Sha (2016). A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Systems 40(11): 227:1-227:17.

Yu Jiang, Lui Sha, Maryam Rahmaniheris, Binhua Wan, Mohammad Hosseini, Pengliu Tan (2016). Sepsis Patient Detection and Monitor Based on Auto-BN. J. Medical Systems 40(4): 111:1-111:10.