Checking MSC Specifications for Timing Inconsistency. - Xuandong Li; Wenkai Tan; Guoliang Zheng (J. Comput. Sci. Technol., 2002)

Deep Random Search for Efficient Model Checking of Timed Automata. - Radu Grosu; Xiaowan Huang; Scott A. Smolka; Wenkai Tan; Stavros Tripakis (Monterey Workshop, 2006)

Exploring Adversarial Attacks on Neural Networks: An Explainable Approach. - Justus Renkhoff; Wenkai Tan; Alvaro Velasquez; William Yichen Wang; Yongxin Liu; Jian Wang 061; Shuteng Niu; Lejla Begic Fazlic; Guido Dartmann; Houbing Song (IPCCC, 2022)

NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks. - Wenkai Tan; Justus Renkhoff; Alvaro Velasquez; Ziyu Wang; Lusi Li; Jian Wang 061; Shuteng Niu; Fan Yang; Yongxin Liu; Houbing Song (FUZZ, 2023)

GPS Spoofing on UAV: A Survey. - Ryan D. Restivo; Laurel C. Dodson; Jian Wang 061; Wenkai Tan; Yongxin Liu; Huihui Wang 001; Houbing Song (INFOCOM Workshops, 2023)

Knowledge Distillation-Based GPS Spoofing Detection for Small UAV. - Yingying Ren; Ryan D. Restivo; Wenkai Tan; Jian Wang 061; Yongxin Liu; Bin Jiang 003; Huihui Wang 001; Houbing Song (Future Internet, 2023)

Explainable Artificial Intelligence for Antenna Sensor Modeling. - Wenkai Tan; Jayaprakash Shivakumar; Rishikesh Srinivasaraghavan Govindarajan; Nicholas Reed; Daewon Kim; Eduardo Rojas; Yongxin Liu; Houbing Song (MeditCom, 2024)

Incomplete multi-view clustering via structure exploration and missing-view inference. - Ziyu Wang; Lusi Li; Xin Ning 001; Wenkai Tan; Yongxin Liu; Houbing Song (Inf. Fusion, 2024)

DEM-NeRF: A Neuro-Symbolic Method for Scientific Discovery through Physics-Informed Simulation. - Wenkai Tan; Alvaro Velasquez; Houbing Song (CoRR, 2025)