Research on Clothing Image Classification by Convolutional Neural Networks. - Lili Chen; Runping Han; Shaopeng Xing; Shuiqiang Ru (CISP-BMEI, 2018)

Incremental Online Verification of Dynamic Cyber-Physical Systems. - Lei Bu; Shaopeng Xing; Xinyue Ren; Yang Yang; Qixin Wang; Xuandong Li (DATE, 2019)

Scenario-Based Online Reachability Validation for CPS Fault Prediction. - Lei Bu; Qixin Wang; Xinyue Ren; Shaopeng Xing; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. - Jiawan Wang; Lei Bu; Shaopeng Xing; Yuming Wu; Xuandong Li (FM, 2021)

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. - Shaopeng Xing; Jiawan Wang; Lei Bu; Xin Chen 027; Xuandong Li (HSCC, 2021)

PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. - Jiawan Wang; Lei Bu; Shaopeng Xing; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)