0

Mining Timing Constraints from Event Logs for Process, IEEE Computers, Systems and Applications Conference, COMPSAC 2020

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet of Things Journal 6(4): 6276-6284

Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. The 15th IEEE International Conference on Embedded Software and Systems (ICESS).

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

Reducing Patient Waiting Time for Radiotherapy Treatments with a Genetic Algorithm. The 5th Annual Conference on Computational Science & Computational Intelligence (CSCI)

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