Transparently secure smartphone-based social networking. - Yongdong Wu; Zhigang Zhao; Xuejun Wen (WCNC, 2013)

Characterization of a Passive Telemetric System for ISM Band Pressure Sensors. - Yujia Peng; B. M. Farid Rahman; TengXing Wang; Guoan Wang; Xinchuan Liu; Xuejun Wen (J. Electron. Test., 2014)

Detection of Gear Tooth Number and Common Normal Length Change Based on Computer Vision. - Yongzuo Wu; Dongyuan Ge; Xiulong Gao; Xuejun Wen; Zhibin Xu; Qing Zhu; Xi-fan Yao (AIAM (IEEE), 2019)

Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. - Xingwu Guo; Wenjie Wan; Zhaodi Zhang; Min Zhang 002; Fu Song; Xuejun Wen (ISSRE, 2021)

Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning. - Peng Jin; Min Zhang 002; Jianwen Li; Li Han; Xuejun Wen (CoRR, 2021)

Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning. - Peng Jin; Jiaxu Tian; Dapeng Zhi; Xuejun Wen; Min Zhang 002 (CAV (1), 2022)

TransPatch: A Transformer-based Generator for Accelerating Transferable Patch Generation in Adversarial Attacks Against Object Detection Models. - Jinghao Wang; Chenling Cui; Xuejun Wen; Jie Shi (ECCV Workshops (1), 2022)