Yanhua Du

According to our database1, Yanhua Du authored at least 21 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2017
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.
IJHPCN, 2017

Dynamic service selection with QoS constraints and inter-service correlations using cooperative coevolution.
Future Generation Comp. Syst., 2017

2016
Two-stage dynamic optimisation of service processes with temporal constraints.
IJHPCN, 2016

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

2015
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

2014
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

2013
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

2012
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

2011
Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2011

2007
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

2005
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets.
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005


  Loading...