Yanhua Du is currently an Associate Professor with the School of Mechanical Engineering, University of Science and Technology Beijing. His research interests include the areas of Business Process Management, Service Computing and Cloud Computing.

He is IEEE Senior Member and CCF Senior Member. He has published more than 50 papers of journals and conferences, including IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Industrial Informatics, IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Engineering Management, etc.

In recent years, he has served as a PC Member for international conferences, including ATC, APSCC, ICSS, CBPM, CCF NCSC, etc. In addition, he has also served as a reviewer for journals, such as IEEE Transactions on Services Computing, IEEE Transactions on Automation Science and Engineering, Journal of Intelligent and Fuzzy Systems, Information and Software Technology, etc.

Degrees Earned:

1. Ph.D., Transportation Planning and Management, China Academy of Railway Sciences, China, 2006

2. M.S., Computer Software and Theory, Zhengzhou University, China, 2003

3. B.S., Computer Software, Zhengzhou University, China, 2000

Prior Positions:

1. Postdoctoral Researcher, Department of Automation, Tsinghua University, China, 2006-2008

2. Lecturer, School of Mechanical Engineering, University of Science and Technology Beijing, China, 2008-2013

3. Associate Professor, School of Mechanical Engineering, University of Science and Technology Beijing, China, 2013 to Date:

Selected Journal Publication:

(* denotes the corresponding author)

[1] Yanhua Du, Yang Wang, Benyuan Yang, Hesuan Hu*. Analyzing Security Requirements in Timed Workflow Processes. IEEE Transactions on Dependable and Secure Computing (TDSC), (online. DOI: 10.1109/TDSC.2020.2975163).

[2] Yanhua Du, Na Li, Hesuan Hu*. Self-Adaptive Execution of Data-aware Workflow Processes. IEEE Transactions on Industrial Informatics (TII), (online. DOI: 10.1109/TII.2019.2961664).

[3] Yanhua Du, Li Wang, Gege Mu, Xitong Li*. Dynamic Monitoring of Service Outsourcing for Timed Workflow Processes. IEEE Transactions on Engineering Management (TEM), 2019, 66(4): 715-729.

[4] Yanhua Du*, Ze Yu, Benyuan Yang, Yang Wang. Modeling and Simulation of Time and Value Throughputs for Data-aware Workflow Processes. Journal of Intelligent Manufacturing (JIM), 2019, 30(6): 2355–2373.

[5] Yanhua Du, Benyuan Yang, Hesuan Hu*. Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes with Dynamic Changes. IEEE Transactions on Industrial Informatics (TII), 2019,15(5): 2617-2627.

[6] Helan Liang, Yanhua Du*, Ting Jiang, Fanzhang Li. A Comprehensive Multi-objective Approach of Service Selection for Service Processes with Twofold Restrictions. Future Generation Computer Systems (FGCS), 2019, 92: 119-140.

[7] Yanhua Du, Benyuan Yang, Hesuan Hu*. Model Checking of Timed Compatibility for Mediation-Aided Web Service Composition: A Three Stage Approach. Expert Systems with Applications (ESWA), 2018, 112: 190-207.

[8] Helan Liang, Yanhua Du*, Fanzhang Li. Business Value-Aware Task Scheduling for Hybrid IaaS Cloud. Decision Support Systems (DSS), 2018, 112: 1-14.

[9] Helan Liang, Yanhua Du*. Dynamic Service Selection with QoS Constraints and Inter-service Correlations Using Cooperative Coevolution. Future Generation Computer Systems (FGCS)，2017, 76: 119–135.

[10] Yanhua Du, Li Wang, Xitong Li*. Analyzing Degree of Parallelism for Concurrent Timed Workflow Processes with Shared Resources. IEEE Transactions on Engineering Management (TEM), 2017, 64(1): 42-56.

[11] Yanhua Du, Wei Tan*, MengChu Zhou. Timed Compatibility Analysis of Web Service Composition: A Modular Approach based on Petri nets. IEEE Transactions on Automation Science and Engineering (TASE), 2014, 11(2): 594-606.

[12] Yanhua Du*, Xitong Li, PengCheng Xiong. A Petri Net Approach to Mediation-aided Composition of Web Services. IEEE Transactions on Automation Science and Engineering (TASE), 2012, 9(2): 429-435.

[13] Yanhua Du, Pengcheng Xiong*, Yushun Fan, Xitong Li. Dynamic Checking and Solution to Temporal Violations In Concurrent Workflow Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (TSMCA), 2011, 41(6):1166-1181.

Research Projects:

(1) National Natural Science Foundation of China (61473035), “Research on Dynamic Adaption and Runtime Protection of Temporal-aware Service Processes in Cloud Computing”. (2015. 01-2018. 12)

(2) National Natural Science Foundation of China (61004109), “Research on Adaption Analysis, Dynamic Checking and Performance Evaluation of Service-Oriented Workflow to Support the Collaboration of Enterprises”. (2011. 01-2013. 12)

(3) Beijing Natural Science Foundation (4133087), “Research on Compatibility Analysis, Dynamically Checking and Exception Handling for Service Processes under Temporal constraints”. (2013. 01-2014. 06)