Xutao Du

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Modeling Control Flow in WS-BPEL with Chu Spaces.
Int. J. Inf. Syst. Serv. Sect., 2011

Comparing Process Behaviors with Finite Chu Spaces.
IEICE Trans. Inf. Syst., 2011

2010
Modeling and Verifying Concurrent Programs with Finite Chu Spaces.
J. Comput. Sci. Technol., 2010

2009
A Chu Spaces Semantics of BPEL-Like Fault Handling.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

A Chu spaces semantics of control flow in BPEL.
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

2008
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

Reachability analysis of Web service interfaces.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

Abstract Reachability Graph for Verifying Web Service Interfaces.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

2003
A Proof Assistant for Mobile Processes.
Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003


  Loading...