| 2026 | TASE | PAT2PRISM: Bridging Qualitative Correctness and Quantitative Resilience for IoT Protocols. | Zihan Tang, Sini Chen, Lili Xiao, Huibiao Zhu |
| 2024 | COMPSAC | Trace and Algebraic Semantics for Partial Store Order Memory Model. | Junfu Luo, Lili Xiao, Huibiao Zhu, Ziqing Su |
| 2024 | ICA3PP | A Cost-Effective Data Placement Strategy Based on Battle Royale Optimization in Multi-cloud Edge Environments. | Sen Zhang, Lili Xiao, Xin Luo, Zhaohui Zhang, Pengwei Wang |
| 2024 | ICTAC | Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. | Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao |
| 2023 | SEKE | LTLf Satisfiability Checking via Formula Progression (S). | Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li |
| 2022 | COMPSAC | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. | Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic |
| 2022 | COMPSAC | Algebraic Semantics for C++11 Memory Model. | Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin |
| 2021 | SETTA | Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. | Lili Xiao, Huibiao Zhu |
| 2020 | APSEC | Modeling and Verifying Data Access Mechanism of NLSR Trust Model. | Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin |
| 2020 | SEKE | Formalization and Verification of VANET. | Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | SEKE | Formal Modelling and Verification of MCAC Router Architecture in ICN. | Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | SEKE | Modeling and Verifying NDN-based IoV Using CSP. | Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei |
| 2019 | SEKE | Modeling and Verifying TESAC Using CSP. | Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin |
| 2018 | COMPSAC | Modeling and Verifying MooseFS in CSP. | Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie |
| 2018 | COMPSAC | Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. | Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu |
| 2018 | SAC | Modeling and verifying SDN with multiple controllers. | Lili Xiao, Shuangqing Xiang, Huibiao Zhu |
| 2018 | SEKE | Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. | Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao |
| 2018 | TASE | Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. | Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie |