A change management framework for service based business process. - Pengbo Xiu; Jian Yang 001; Weiliang Zhao (ACSW, 2017)

Correctness Verification for Service-Based Business Processes. - Pengbo Xiu; Weiliang Zhao; Jian Yang 001 (ICWS, 2017)

TReAT: A Tool for Analyzing Relations Between Tasks in a Process. - Pengbo Xiu; Jian Yang 001; Weiliang Zhao (ICSOC Workshops, 2018)

Change management of service-based business processes. - Pengbo Xiu; Jian Yang 001; Weiliang Zhao (Serv. Oriented Comput. Appl., 2019)