Wuping Xie

According to our database, Wuping Xie authored at least 8 papers between 2012 and 2022.

Collaborative distances:

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

2022

Apla⁺: a Practical Service-oriented Programming Language for Service Orchestration.

Wuping Xie, Songsong Wan, Dongming Jiang

Proceedings of the 7th International Conference on Computer and Communication Systems, 2022

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

Formal Specification and Verification for Real-Time Scheduling Based on PAR.

Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

PAR: A Practicable Formal Method and Its Supporting Platform.

Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng

Proceedings of the Formal Methods and Software Engineering, 2018

2017

无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol).

Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You

计算机科学, 2017

2014

Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration.

Wuping Xie, Jinyun Xue, Dongming Jiang

Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

2013

A Novel Service Selection Based on Resource-Directive Decomposition.

Dongming Jiang, Yuan Jiang, Wuping Xie, Zhen You

Proceedings of the Web-Age Information Management - 14th International Conference, 2013

2012

A reputation model based on hierarchical bayesian estimation for Web services.

Dongming Jiang, Jinyun Xue, Wuping Xie

Proceedings of the IEEE 16th International Conference on Computer Supported Cooperative Work in Design, 2012