Dynamic Monitoring of Service Outsourcing for Timed Workflow Processes. - Yanhua Du; Li Wang; Gege Mu; Xitong Li (IEEE Trans. Engineering Management, 2019)

Change-Driven Analysis of Timed Security Requirements for Data-Aware Workflow Processes. - Yanhua Du; Gege Mu; Junfen Li; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2025)