Xu
Weiwen, Zeng Zhiyong and Lu Xinda, Distributed Model Checking for Linear
Temporal Logic, Proc. of the 6th Int’l Conf. for Young Computer
Scientist(International Academic Publishers World Publishing Corporation), pp.
240-244, Oct.23-25,2001
Xu Weiwen and Lu Xinda, Model Checking Partial Fair State Spaces with 3-Valued Fair CTL , Proc. of the 6th Int’l Conf. for Young Computer Scientist, Volume III, (International Academic Publishers World Publishing Corporation), IEEE Computer Society Press, pp.10-14, Oct.23-25,2001. EI: 03137409414
Xu Weiwen Zhang Wenhui and Lu Xinda, Formal Analysis and Verification of Distributed Grid Directory Service, ICA3PP 2002 - The 5th International Conference on Algorithms and Architecture for Parallel Processing. Beijing, China. October 23-25, 2002 :505-509,(IEEE Computer Society Press)
Xu Weiwen, Model Checking Authentication Protocols (in Chinese),
Chinese Journal of Computers, 26(2):195-201,
2003
Xu Weiwen, Fair Preorder for Partial Fair Kripke Structures,
Journal of Shanghai Jiaotong University, Vol.E-8, No.1, June, 2003:15-18
Xu Weiwen , Automatic Verification of Parameterized Leader Election Protocols (in Chinese), Chinese Journal of Computer Engineering. Vol.29 No.18，October 2003：14-16
Xu Weiwen, Automatic
Generation of Symbolic Model for Parameterized Synchronous Systems. Journal
Computer Science and Technology, Vol.19, No.6, November 2004：812-819
Xu Weiwen, and Jean-Pierre Jouannaud , Automatic Complexity Analysis
for Programs Extracted from Coq, to be submitted
Xu Weiwen, Wang Fengru and Chang Huiyou, Solving the Nonstandard
Job-Shop Scheduling Problem by Using Queue，The Fifth International Conference for
Young Computer Scientists，975-979,
Aug, 1999
WANG Feng-ru,XU Wei-wen, Genetic algorithm based on sequence & value encoding and its application, Journal of electric machine and control, vol.17, 2001
l Ph.D thesis : Formal Verification and its Application in Grid Computing Environment , Shanghai Jiaotong University.
l M.D thesis : Design and Implementation for Non-standard Job-Shop Schedule Algorithms, Harbin Science and Technology University.