Jiao Jia

According to our database, Jiao Jia authored at least 7 papers between 2016 and 2022.

Collaborative distances:

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

2022

A Formal Verification Method for the SOPC Software.

Shan Zhou, Jinbo Wang, Jiao Jia, Chi Zhang, Ruixue Wang

IEEE Trans. Reliab., 2022

Test Case Prioritization for Deep Neural Networks.

Zhonghao Pan, Shan Zhou, Jianmin Wang, Jinbo Wang, Jiao Jia, Yang Feng

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

Efficient Automaton Theoretical Vacuity Detection for Formal Properties.

Shan Zhou, Xu Zhi Li, Jin Bo Wang, Jun Yuan, Jiao Jia

IEEE Trans. Reliab., 2021

UAV Test Data Generation Method based on CycleGAN.

Kunyu Gao, Jinbo Wang, Bin Wang, Ruixue Wang, Jiao Jia

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

Test Case Reuse based on ESIM Model.

Xiaomeng Chen, Jinbo Wang, Shan Zhou, Panpan Xue, Jiao Jia

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

2017

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

2016

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