Xutao Du

According to our database, Xutao Du authored at least 9 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Modeling Control Flow in WS-BPEL with Chu Spaces.

Xutao Du, Chunxiao Xing, Lizhu Zhou, Ke Han

Int. J. Inf. Syst. Serv. Sect., 2011

Comparing Process Behaviors with Finite Chu Spaces.

Xutao Du, Chunxiao Xing, Lizhu Zhou

IEICE Trans. Inf. Syst., 2011

2010

Modeling and Verifying Concurrent Programs with Finite Chu Spaces.

Xutao Du, Chun-Xiao Xing, Li-Zhu Zhou

J. Comput. Sci. Technol., 2010

2009

A Chu Spaces Semantics of BPEL-Like Fault Handling.

Xutao Du, Chunxiao Xing, Lizhu Zhou

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

A Chu spaces semantics of control flow in BPEL.

Xutao Du, Chunxiao Xing, Lizhu Zhou

Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

2008

Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).

Xutao Du, Chunxiao Xing, Lizhu Zhou

Proceedings of the Eighth International Conference on Quality Software, 2008

Reachability analysis of Web service interfaces.

Xutao Du, Chunxiao Xing, Lizhu Zhou

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

Abstract Reachability Graph for Verifying Web Service Interfaces.

Xutao Du, Chunxiao Xing, Lizhu Zhou

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

2003

A Proof Assistant for Mobile Processes.

Xutao Du, Zhoujun Li

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003