Semantic Matching of Web Services Based on Choreographies. - Lihui Lei; Zhenhua Duan; Bin Yu 014 (CSCWD, 2006)

Semantic Matching of Web Services for Collaborative Business Processes. - Lihui Lei; Zhenhua Duan; Bin Yu 014 (CSCWD (Selected Papers), 2006)

Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. - Peng Men; Zhenhua Duan; Bin Yu 014 (ICATPN, 2007)

Bounded Model Checking of Traffic Light Control System. - Bin Yu 014; Zhenhua Duan; Cong Tian (TTSS, 2013)

Unified Bounded Model Checking for MSVL. - Bin Yu 014; Zhenhua Duan; Cong Tian (SOFL+MSVL, 2014)

Verifying temporal properties of programs: A parallel approach. - Bin Yu 014; Zhenhua Duan; Cong Tian; Nan Zhang 001 (J. Parallel Distributed Comput., 2018)

A Novel Load Balancing Scheme for Mobile Edge Computing. - Zhenhua Duan; Cong Tian; Nan Zhang 001; Mengchu Zhou; Bin Yu 014; Xiaobing Wang; Jiangen Guo; Ying Wu (CoRR, 2021)

A dynamic approach to detecting, eliminating and fixing memory leaks. - Bin Yu 014; Cong Tian; Nan Zhang 001; Zhenhua Duan; Hongwei Du 001 (J. Comb. Optim., 2021)

Temporal logic specification mining of programs. - Nan Zhang 001; Bin Yu 014; Cong Tian; Zhenhua Duan; Xiaoshuai Yuan (Theor. Comput. Sci., 2021)

Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. - Chu Chen; Xuan Wang; Pinghong Ren; Zhenhua Duan; Cong Tian; Xu Lu 003; Bin Yu 014 (SOFL+MSVL, 2022)

Using Experience Classification for Training Non-Markovian Tasks. - Ruixuan Miao; Xu Lu 003; Cong Tian; Bin Yu 014; Zhenhua Duan (CoRR, 2023)

Generating Java code pairing with ChatGPT. - Zelong Zhao; Nan Zhang 001; Bin Yu 014; Zhenhua Duan (Theor. Comput. Sci., 2024)