Yu Zhou

RESEARCH OF THE WORKFLOW MANAGEMENT SYSTEM BASED ON MICROKERNEL

Zhi-Yan Hou, Yu Zhou, 2013 .

Year : 2008 A Runtime Architecture-Based Approach for the Dynamic Evolution of Distributed Component-Based Systems

Yu Zhou, 2009 .

A Novel QoS Monitoring Approach Sensitive to Environmental Factors

Hareton K. N. Leung, Yu Zhou, Wei Song, 2015, 2015 IEEE International Conference on Web Services.

Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition

Bixin Li, Yu Zhou, Jun Pang, 2009, 2009 16th Asia-Pacific Software Engineering Conference.

A service-oriented methodology supporting automatic synthesis and verification of component behavior model

Bixin Li, Pengcheng Zhang, Yu Zhou, 2007, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007).

Model based verification of dynamically evolvable service oriented systems

Pengcheng Zhang, Yu Zhou, Jidong Ge, 2016, Science China Information Sciences.