Model and integrate medical resource availability into verifiably correct executable medical guidelines. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ICCAD, 2017)

IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. - Zhicheng Fu; Zhao Wang; Chunhui Guo; Zhenyu Zhang 009; Shangping Ren; Lui Sha (DAC, 2018)

Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ICCPS, 2018)

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. - Zhenyu Zhang 009; Chunhui Guo; Zhicheng Fu; Shangping Ren; Nalini Venkatasubramanian (ICESS, 2019)

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2019)

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (IEEE Internet Things J., 2019)

Using Event Log Timing Information to Assist Process Scenario Discoveries. - Zhenyu Zhang 009; Chunhui Guo; Wenyu Peng; Shangping Ren (AIKE, 2020)

Mining Timing Constraints from Event Logs for Process Model. - Zhenyu Zhang 009; Chunhui Guo; Shangping Ren (COMPSAC, 2020)

A framework for supporting the development of verifiably safe medical best practice guideline systems. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (J. Syst. Archit., 2020)

UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. - Zhicheng Fu; Chunhui Guo; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ACM Trans. Cyber Phys. Syst., 2020)

Empirical Studies of Three Commonly Used Process Mining Algorithms. - Wenyu Peng; Zhenyu Zhang 009; Ryan Hildebrant; Shangping Ren (SMC, 2021)

Improving Process Discovery Results by Filtering Out Outliers from Event Logs with Hidden Markov Models. - Zhenyu Zhang 009; Ryan Hildebrant; Fatemeh Asgarinejad; Nalini Venkatasubramanian; Shangping Ren (CBI (1), 2021)

A Generalizable Approach for Determining The Sensitivity of A Trace within An Event Log. - Ryan Hildebrant; Zhenyu Zhang 009; Shangping Ren (EMISA Forum, 2021)

Using Domain Knowledge to Assist Process Scenario Discoveries. - Zhenyu Zhang 009; Junjie Zhu; Ryan Hildebrant; Nalini Venkatasubramanian; Shangping Ren (COMPSAC, 2022)

Process scenario discovery from event logs based on activity and timing information. - Zhenyu Zhang 009; Caleb Johnson; Nalini Venkatasubramanian; Shangping Ren (J. Syst. Archit., 2022)

A Framework for Discovering Implicit Knowledge from Event Logs - Zhenyu Zhang 009 (2022)

Optimized Early Prediction of Business Processes with Hyperdimensional Computing. - Fatemeh Asgarinejad; Anthony Thomas; Ryan Hildebrant; Zhenyu Zhang 009; Shangping Ren; Tajana Rosing; Baris Aksanli (Inf., 2024)

Multiple semantic prompt for rehearsal-free continual learning. - Junwei Chen; Zhenyu Zhang 009; Depeng Li 001; Zhigang Zeng (Neural Networks, 2025)