A Secure Finger Vein Recognition Algorithm Based on MB-GLBP and Logistic Mapping. - Lin You; Jiawan Wang; Bin Yan (J. Inf. Hiding Multim. Signal Process., 2016)

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. - Lei Bu; Jiawan Wang; Yuming Wu; Xuandong Li (SETSS, 2019)

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)

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. - Yuming Wu; Lei Bu; Jiawan Wang; Xinyue Ren; Wen Xiong; Xuandong Li (VMCAI, 2022)

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)

Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. - Jiawan Wang; Wenxia Liu; Muzimiao Zhang; Jiaqi Wei; Yuhui Shi; Lei Bu; Xuandong Li (CAV (3), 2024)