According to our database1, Yanhua Du authored at least 21 papers between 2005 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Model checking of timed compatibility for mediation-aided web service composition: A three stage approach.
Expert Syst. Appl., 2018
Business value-aware task scheduling for hybrid IaaS cloud.
Decision Support Systems, 2018
Analyzing Degree of Parallelism for Concurrent Timed Workflow Processes With Shared Resources.
IEEE Trans. Engineering Management, 2017
A sprouting graph-based approach to analysing timed workflow processes with shared resources.
Dynamic service selection with QoS constraints and inter-service correlations using cooperative coevolution.
Future Generation Comp. Syst., 2017
Two-stage dynamic optimisation of service processes with temporal constraints.
Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network.
Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016
A New Approach to Modeling and Analyzing Timed Compatibility of Service Composition under Temporal Constraints.
Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016
A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
Dynamic Service Scheduling in Cloud Computing Using a Novel Hybrid Algorithm.
Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015
Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets.
IEEE Trans. Automation Science and Engineering, 2014
An Operating Guideline Based Approach to Analyzing Timed Compatibility of Service Composition.
Proceedings of the 11th IEEE International Conference on e-Business Engineering, 2014
An Improved Genetic Algorithm for Service Selection under Temporal Constraints in Cloud Computing.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013
Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints.
Proceedings of the Ninth International Conference on Signal-Image Technology & Internet-Based Systems, 2013
An Approach to Selecting Services with Dynamic Prices for Temporal-Aware Service Processes.
Proceedings of the IEEE 11th International Conference on Dependable, 2013
A Petri Net Approach to Mediation-Aided Composition of Web Services.
IEEE Trans. Automation Science and Engineering, 2012
Dynamic Selection of Services under Temporal Constraints in Cloud Computing.
Proceedings of the Ninth IEEE International Conference on e-Business Engineering, 2012
An Incremental Approach to Analyzing Temporal Constraints of Workflow Processes.
Proceedings of the Web Technologies and Applications - 14th Asia-Pacific Web Conference, 2012
Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2011
Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets.
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005