A reputation model based on hierarchical bayesian estimation for Web services. - Dongming Jiang; Jinyun Xue; Wuping Xie (CSCWD, 2012)

A Novel Service Selection Based on Resource-Directive Decomposition. - Dongming Jiang; Yuan Jiang; Wuping Xie; Zhen You (WAIM, 2013)

Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration. - Wuping Xie; Jinyun Xue; Dongming Jiang (CIT, 2014)

无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol). - Lan Song; Jinyun Xue; Qimin Hu; Wuping Xie; Dongming Jiang; Zhen You (计算机科学, 2017)

PAR: A Practicable Formal Method and Its Supporting Platform. - Jinyun Xue; Yujun Zheng; Qimin Hu; Zhen You; Wuping Xie; Zhuo Cheng (ICFEM, 2018)

Formal Specification and Verification for Real-Time Scheduling Based on PAR. - Zhen You; Zhuo Cheng; Jinyun Xue; Qimin Hu; Wuping Xie (SOFL+MSVL, 2018)

An iteration-based interactive analysis method to design dynamic service-oriented systems. - Wuping Xie; Jinyun Xue; Dongming Jiang; Lan Song (Softw. Pract. Exp., 2018)

Apla+: a Practical Service-oriented Programming Language for Service Orchestration. - Wuping Xie; Songsong Wan; Dongming Jiang (ICCCS, 2022)

Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments. - Shuqi Pan; Changjing Wang; Wuping Xie; Jiaxing Lu; Qing Huang; Zhengkang Zuo (IEEE Trans. Reliab., 2024)