| 2026 | TASE | Learning-Based Quantitative Evaluation of GR(1) Temporal Properties upon Partial Data Traces. | Jianing Chen, Wanwei Liu, Ji Wang |
| 2025 | ICFEM | Neural-Symbolic System Control Adjustment Based on Runtime Verification. | Hongxu Zhu, Wanwei Liu, Ji Wang |
| 2025 | IJCNN | UR4NNV: Neural Network Verification, Under-approximation Reachability Works! | Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu |
| 2024 | ISSTA | Synthesizing Boxes Preconditions for Deep Neural Networks. | Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang |
| 2024 | SETTA | Runtime Verification of Neural-Symbolic Systems. | Shaojun Deng, Wanwei Liu, Miaomiao Zhang |
| 2023 | ATVA | An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. | Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu |
| 2023 | TASE | Safety Verification for Neural Networks Based on Set-Boundary Analysis. | Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue |
| 2022 | CAV | PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. | Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu |
| 2022 | ICTAC | Human-Cyber-Physical Automata and Their Synthesis. | Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu |
| 2021 | FIE | On Enhancing Application-Ability Training in Discrete Mathematics. | Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao |
| 2020 | APSEC | Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. | Rui Li, Hao Shi, Wanwei Liu, Wei Dong |
| 2020 | KR | On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. | Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu |
| 2020 | SMC | Towards an Extended POMDP Planning Approach with Adjoint Action Model for Robotic Task. | Shuo Yang, Xinjun Mao, Wanwei Liu |
| 2020 | SEKE | Controller Synthesis for ROS-based Multi-Robot Collaboration. | Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong |
| 2020 | SETTA | Compiling FL | Wanwei Liu, Liangze Yin, Tun Li |
| 2019 | ICFEM | An Axiomatisation of the Probabilistic \mu -Calculus. | Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang |
| 2019 | ICSE | Parallel refinement for multi-threaded program verification. | Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang |
| 2018 | TACAS | YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). | Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang |
| 2017 | QRS | Optimizing Monitor Code Based on Patterns in Runtime Verification. | Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin |
| 2017 | SETTA | Reasoning About Periodicity on Infinite Words. | Wanwei Liu, Fu Song, Ge Zhou |
| 2016 | SETTA | An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. | Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang |
| 2015 | IJCAI | A Simple Probabilistic Extension of Modal Mu-calculus. | Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang |
| 2014 | APSEC | Runtime Verification by Convergent Formula Progression. | Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen |
| 2014 | TASE | Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. | Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang |
| 2013 | ICTAC | Counterexample-Preserving Reduction for Symbolic Model Checking. | Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao |
| 2013 | ITiCSE | Introduction to programming: science or art? | Tun Li, Wanwei Liu, Xiaoguang Mao, Huiping Zhou |
| 2010 | TASE | Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. | Jianjun Xu, Qingping Tan, Wanwei Liu |
| 2008 | TASE | Symbolic Model Checking APSL. | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma |
| 2007 | ICTAC | Axiomatizing Extended Temporal Logic Fragments Via Instantiation. | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |