Follow
Lei Zhou
Lei Zhou
Verified email at microsoft.com
Title
Cited by
Cited by
Year
Automatically testing web services choreography with assertions
L Zhou, J Ping, H Xiao, Z Wang, G Pu, Z Ding
Formal Methods and Software Engineering, 138-154, 2010
392010
Static check of WS-CDL documents
L Zhou, H Zhang, T Wang, C Yang, Z Wang, M Sun, G Pu
2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008
212008
Web services choreography validation
Z Wang, L Zhou, Y Zhao, J Ping, H Xiao, G Pu, H Zhu
Service Oriented Computing and Applications 4 (4), 291-305, 2010
122010
Efficient two-phase approaches for branch-and-bound style resource constrained scheduling
M Chen, F Gu, L Zhou, G Pu, X Liu
2014 27th International Conference on VLSI Design and 2014 13th …, 2014
42014
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis
M Chen, L Zhou, G Pu, J He
2013 International Conference on Hardware/Software Codesign and System …, 2013
42013
Simulation and validation of Web services choreography
L Zhou, H Xiao, J Ping, G Pu, H Zhang
2009 IEEE International Conference on Service-Oriented Computing and …, 2009
42009
DART-CUDA: A PGAS runtime system for multi-GPU systems
L Zhou, K Fürlinger
2015 14th International Symposium on Parallel and Distributed Computing, 110-119, 2015
32015
Static validation of WS-CDL documents
G Pu, Z Wang, L Zhou, H Zhang, T Wang, C Yang, L Peng, M Sun
Simulation Modelling Practice and Theory 17 (8), 1367-1377, 2009
22009
CDLChecker: A WS-CDL analysis tool
S Jiang, L Zhou, Y Qi
2012 2nd International Conference on Consumer Electronics, Communications …, 2012
12012
DART-‐CUDA: A PGAS Run me System for Mul-‐GPU Systems
L Zhou, K Fürlinger
The system can't perform the operation now. Try again later.
Articles 1–10