Lui Sha

Latest

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
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet of Things Journal 6(4): 6276-6284
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. 6(4): 6276-6284 (2019)
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS 2018: 253-262
IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC 2018: 143:1-143:6
A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. MMSys 2017: 158-163
A physiology-aware communication architecture for distributed emergency medical CPS. ICCPS 2017: 83 doi>10.1145/3055004.3064841
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969
Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. ICCAD 2017: 957-963
Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618
Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE 2017: 245-246
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS 2017: 373-378
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS 2017: 117-122
Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. IEEE Trans. Multimedia 19(10): 2307-2321
On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems. TCPS 1(3): 16:1-16:19
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
Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Systems 41(1): 9:1-9:12
Model-Driven Design of Clinical Guidance Systems. CoRR abs/1610.06895 arXiv:1610.06895v1
Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. SMC 2016: 4394-4399
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS 2016: 34:1-34:10
An Organ-Centric Best Practice Assist System for Acute Care. CBMS 2016: 100-105
A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS 2016: 60-65
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Systems 40(11): 227:1-227:17
Sepsis Patient Detection and Monitor Based on Auto-BN. J. Medical Systems 40(4): 111:1-111:10