Chunhui Guo

Latest

Mining Timing Constraints from Event Logs for Process, IEEE Computers, Systems and Applications Conference, COMPSAC 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
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)
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969
Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618
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
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS 2016: 34:1-34:10