Zhenyu Zhang

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 18

Top Topics

Technical Report

Top Venues

J. Syst. Archit.

ACM Trans. Cyber Phys. Syst.

Publications

Zhenyu Zhang, Junjie Zhu, Ryan Hildebrant, Nalini Venkatasubramanian, Shangping Ren
Using Domain Knowledge to Assist Process Scenario Discoveries. COMPSAC (2022)
Zhenyu Zhang, Caleb Johnson, Nalini Venkatasubramanian, Shangping Ren
Process scenario discovery from event logs based on activity and timing information. J. Syst. Archit. 125 (2022)
Zhenyu Zhang, Ryan Hildebrant, Fatemeh Asgarinejad, Nalini Venkatasubramanian, Shangping Ren
Improving Process Discovery Results by Filtering Out Outliers from Event Logs with Hidden Markov Models. CBI (1) (2021)
Wenyu Peng, Zhenyu Zhang, Ryan Hildebrant, Shangping Ren
Empirical Studies of Three Commonly Used Process Mining Algorithms. SMC (2021)
Ryan Hildebrant, Zhenyu Zhang, Shangping Ren
A Generalizable Approach for Determining The Sensitivity of A Trace within An Event Log. EMISA Forum 41 (1) (2021)
Zhenyu Zhang, Chunhui Guo, Wenyu Peng, Shangping Ren
Using Event Log Timing Information to Assist Process Scenario Discoveries. AIKE (2020)
Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha
: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4 (3) (2020)
Zhenyu Zhang, Chunhui Guo, Shangping Ren
Mining Timing Constraints from Event Logs for Process Model. COMPSAC (2020)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
A framework for supporting the development of verifiably safe medical best practice guideline systems. J. Syst. Archit. 104 (2020)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. 6 (4) (2019)
Zhenyu Zhang, Chunhui Guo, Zhicheng Fu, Shangping Ren, Nalini Venkatasubramanian
Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. ICESS (2019)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. CoRR (2019)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). CoRR (2018)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). CoRR (2018)
Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha
: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC (2018)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS (2018)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. CoRR (2018)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD (2017)