Zhenyu Zhang

According to our database, Zhenyu Zhang authored at least 18 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Process scenario discovery from event logs based on activity and timing information.

Zhenyu Zhang, Caleb Johnson, Nalini Venkatasubramanian, Shangping Ren

J. Syst. Archit., 2022

Using Domain Knowledge to Assist Process Scenario Discoveries.

Zhenyu Zhang, Junjie Zhu, Ryan Hildebrant, Nalini Venkatasubramanian, Shangping Ren

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

A Generalizable Approach for Determining The Sensitivity of A Trace within An Event Log.

Ryan Hildebrant, Zhenyu Zhang, Shangping Ren

EMISA Forum, 2021

Improving Process Discovery Results by Filtering Out Outliers from Event Logs with Hidden Markov Models.

Zhenyu Zhang, Ryan Hildebrant, Fatemeh Asgarinejad, Nalini Venkatasubramanian, Shangping Ren

Proceedings of the 23rd IEEE Conference on Business Informatics, 2021

Empirical Studies of Three Commonly Used Process Mining Algorithms.

Wenyu Peng, Zhenyu Zhang, Ryan Hildebrant, Shangping Ren

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

2020

<i>UACFinder</i>: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models.

Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha

ACM Trans. Cyber Phys. Syst., 2020

A framework for supporting the development of verifiably safe medical best practice guideline systems.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

J. Syst. Archit., 2020

Mining Timing Constraints from Event Logs for Process Model.

Zhenyu Zhang, Chunhui Guo, Shangping Ren

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Using Event Log Timing Information to Assist Process Scenario Discoveries.

Zhenyu Zhang, Chunhui Guo, Wenyu Peng, Shangping Ren

Proceedings of the 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2020

2019

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

IEEE Internet Things J., 2019

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

CoRR, 2019

Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments.

Zhenyu Zhang, Chunhui Guo, Zhicheng Fu, Shangping Ren, Nalini Venkatasubramanian

Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019

2018

Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, 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, Shangping Ren, Lui Sha

CoRR, 2018

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

CoRR, 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, Shangping Ren, Lui Sha

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

<i>IAfinder</i>: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.

Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Model and integrate medical resource availability into verifiably correct executable medical guidelines.

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017