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)

Sign Confirmation Analysis of Congestion Surplus in Two-node Simple Power System based on Nodal Marginal Electricity Price. - Yao Lu; Shuo Yin; Meng Yang; Man Jin; Xin Wang; Zhe Chai; Xingwu Guo; Xing Chen (ICCSIE, 2022)

Transformer-Based Multi-industry Electricity Demand Forecasting. - Zhenli Deng; Fangzhao Deng; Meng Yang; Xingwu Guo; Jianan Si; Boning Yu; Boxiang Feng (ICAI (2), 2023)

TimesNet Model for Multi-industry Electricity Demand Forecasting. - Fangzhao Deng; Hujun Li; Zhenli Deng; Jianan Si; Boning Yu; Xingwu Guo; Yizhou Zeng (ICAI (2), 2023)

OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. - Xingwu Guo; Ziwei Zhou; Yueling Zhang; Guy Katz; Min Zhang 002 (TACAS (1), 2023)