0

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