Search

Zhenyu Zhang

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

Published with Wowchemy — the free, open source website builder that empowers creators.