| 2025 | ICASSP | A Robust Distributed Recurrent Neural Network for Multi-Agent Consensus Control. | Yiwei Li, Jiaxin Liu, Lin Yang, Yating Zhang, Kunlin Liu, Ge Zhou, Liangze Yin, Wei Dong |
| 2025 | ICFEM | BCCIC3: Batch Clause Construction Enhanced Generalization in IC3. | Yi Chen, Xinyi Gong, Liangze Yin, Ji Wang, Ting Wang |
| 2025 | ICSE | Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V. | Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li |
| 2025 | SEKE | Beyond Test Cases: Multi-Agent Collaboration for Detecting Errors in Full-Score Code Implementations. | Yiwei Li, Jiaxin Liu, Yanfeng Hu, Chen Liu, Yating Zhang, Liangze Yin, Wei Dong |
| 2024 | SEKE | RustPruner: A Program Slicing Tool for Rust Programs. | Yanfeng Hu, Weihong Chen, Yilong Zhao, Ruiyu Zhang, Liangze Yin, Wei Dong |
| 2023 | QRS | OpenMP Program Verification Based on Bounded Model Checking. | Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin |
| 2021 | APSEC | Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. | Xiang Du, Liangze Yin, Haining Feng, Wei Dong |
| 2021 | ISSRE | Simplify Array Processing Loops for Efficient Program Verification. | Xiang Du, Liangze Yin, Wei Dong |
| 2021 | QRS | Extend Rchecker for Accurate Analysis of Real Embedded Projects. | Ranjie Ding, Wenfeng Lin, Xiang Du, Liangze Yin |
| 2020 | QRS | Vulnerability Analysis through Interface-based Checker Design. | Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong |
| 2020 | QRS | Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. | Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong |
| 2020 | QRS | Graph-based Vulnerability Detection via Extracting Features from Sliced Code. | Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong |
| 2020 | SETTA | Compiling FL | Wanwei Liu, Liangze Yin, Tun Li |
| 2019 | ICSE | Parallel refinement for multi-threaded program verification. | Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang |
| 2018 | APWEB | Model and Practice of Crowd-Based Education. | Xinjun Mao, Yao Lu, Liangze Yin, Tao Wang, Gang Yin |
| 2018 | QRS | Guide Fuzzing with Multi-Factor Potential Analysis. | Luhang Xu, Wei Dong, Liangze Yin, Qiuxi Zhong |
| 2018 | SEKE | Expediting Binary Fuzzing with Symbolic Analysis. | Luhang Xu, Wei Dong, Liangze Yin, Weixi Jia, Shenzhi Li |
| 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 | Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. | Hao Shi, Wei Dong, Ge Zhou, Liangze Yin |
| 2017 | QRS | Optimizing Monitor Code Based on Patterns in Runtime Verification. | Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin |
| 2014 | ICECCS | Clause Replication and Reuse in Incremental Temporal Induction. | Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun |
| 2014 | ICSE | Symbolic assume-guarantee reasoning through BDD learning. | Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu |
| 2013 | ATVA | VCS: A Verifier for Component-Based Systems. | Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng |
| 2013 | COMPSAC | Component-Based Modeling and Code Synthesis for Cyclic Programs. | Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu |
| 2013 | ICECCS | Modeling and Verification of Component-Based Systems with Data Passing Using BIP. | Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu |
| 2013 | ICECCS | Reusing Search Tree for Incremental SAT Solving of Temporal Induction. | Liangze Yin, Fei He, Min Zhou, Ming Gu |
| 2013 | TASE | Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. | Liangze Yin, Fei He, Ming Gu |
| 2012 | TASE | Modeling and Validation of PLC-Controlled Systems: A Case Study. | Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga |