Modeling and Control of a Suspended Gravity Compensation System with Rigid-Elastic Coupling. - Jiao Jia; Yingmin Jia; Shihao Sun (J. Robotics Netw. Artif. Life, 2016)

Continuous Non-singular Fast Terminal Sliding Mode Control for an Active Gravity Field Simulator. - Jiao Jia; Yingmin Jia; Shihao Sun (J. Robotics Netw. Artif. Life, 2017)

Test Case Reuse based on ESIM Model. - Xiaomeng Chen; Jinbo Wang 001; Shan Zhou; Panpan Xue; Jiao Jia (DSA, 2021)

UAV Test Data Generation Method based on CycleGAN. - Kunyu Gao; Jinbo Wang 001; Bin Wang; Ruixue Wang; Jiao Jia (DSA, 2021)

Efficient Automaton Theoretical Vacuity Detection for Formal Properties. - Shan Zhou; Xu Zhi Li; Jinbo Wang 001; Jun Yuan; Jiao Jia (IEEE Trans. Reliab., 2021)

Test Case Prioritization for Deep Neural Networks. - Zhonghao Pan; Shan Zhou; Jianmin Wang 015; Jinbo Wang 001; Jiao Jia; Yang Feng (DSA, 2022)

A Formal Verification Method for the SOPC Software. - Shan Zhou; Jinbo Wang 001; Jiao Jia; Chi Zhang; Ruixue Wang (IEEE Trans. Reliab., 2022)