Modeling and Validation of PLC-Controlled Systems: A Case Study. - Rui Wang 024; Min Zhou 001; Liangze Yin; Lianyi Zhang; Jiaguang Sun 001; Ming Gu 001; Marius Bozga (TASE, 2012)

Maxterm Covering for Satisfiability. - Liangze Yin; Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (IEEE Trans. Computers, 2012)

VCS: A Verifier for Component-Based Systems. - Fei He 001; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng (ATVA, 2013)

Component-Based Modeling and Code Synthesis for Cyclic Programs. - Min Zhou 001; Hai Wan; Chen Su; Liangze Yin; Lianyi Zhang; Fei He 001; Ming Gu 001 (COMPSAC, 2013)

Modeling and Verification of Component-Based Systems with Data Passing Using BIP. - Chen Su; Min Zhou 001; Liangze Yin; Hai Wan; Ming Gu 001 (ICECCS, 2013)

Reusing Search Tree for Incremental SAT Solving of Temporal Induction. - Liangze Yin; Fei He 001; Min Zhou 001; Ming Gu 001 (ICECCS, 2013)

Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. - Liangze Yin; Fei He 001; Ming Gu 001 (TASE, 2013)

Clause Replication and Reuse in Incremental Temporal Induction. - Liangze Yin; Fei He 001; Ming Gu 001; Jia-Guang Sun 001 (ICECCS, 2014)

Symbolic assume-guarantee reasoning through BDD learning. - Fei He 001; Bow-Yaw Wang; Liangze Yin; Lei Zhu (ICSE, 2014)

Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. - Hao Shi 007; Wei Dong 006; Ge Zhou; Liangze Yin (QRS Companion, 2017)

Optimizing Monitor Code Based on Patterns in Runtime Verification. - Ge Zhou; Wei Dong 006; Wanwei Liu; Hao Shi 007; Chi Hu; Liangze Yin (QRS Companion, 2017)

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (CoRR, 2017)

混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method). - Qilin Liu; Wei Dong 006; Liangze Yin; Xuan Qi; Shazhou Yang (计算机科学, 2017)

Model and Practice of Crowd-Based Education. - Xinjun Mao; Yao Lu 003; Liangze Yin; Tao Wang 006; Gang Yin (APWeb/WAIM Workshops, 2018)

Scheduling constraint based abstraction refinement for weak memory models. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (ASE, 2018)

Guide Fuzzing with Multi-Factor Potential Analysis. - Luhang Xu; Wei Dong 006; Liangze Yin; Qiuxi Zhong (QRS Companion, 2018)

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. - Bailin Lu; Wei Dong 006; Liangze Yin; Li Zhang (SATE, 2018)

Expediting Binary Fuzzing with Symbolic Analysis. - Luhang Xu; Wei Dong 006; Liangze Yin; Weixi Jia; Shenzhi Li (SEKE, 2018)

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). - Liangze Yin; Wei Dong 006; Wanwei Liu; Yunchou Li; Ji Wang 001 (TACAS (2), 2018)

A True-Concurrency Encoding for BMC of Compositional Systems. - Liangze Yin; Wei Dong 006; Fei He; Ji Wang 001 (Comput. J., 2018)

Efficient software product-line model checking using induction and a SAT solver. - Fei He 001; Yuan Gao; Liangze Yin (Frontiers Comput. Sci., 2018)

Expediting Binary Fuzzing with Symbolic Analysis. - Luhang Xu; Liangze Yin; Wei Dong 006; Weixi Jia; Yongjun Li 006 (Int. J. Softw. Eng. Knowl. Eng., 2018)

Parallel refinement for multi-threaded program verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (ICSE, 2019)

Vulnerability Analysis through Interface-based Checker Design. - Xiang Du; Liangze Yin; Peng Wu; Liyuan Jia; Wei Dong 006 (QRS Companion, 2020)

Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. - Haining Feng; Liangze Yin; Wenfeng Lin; Xudong Zhao 006; Wei Dong 006 (QRS Companion, 2020)

Graph-based Vulnerability Detection via Extracting Features from Sliced Code. - Peng Wu; Liangze Yin; Xiang Du; Liyuan Jia; Wei Dong 006 (QRS Companion, 2020)

Compiling FLres on Finite Words. - Wanwei Liu; Liangze Yin; Tun Li (SETTA, 2020)

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (IEEE Trans. Software Eng., 2020)

Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. - Xiang Du; Liangze Yin; Haining Feng; Wei Dong 006 (APSEC, 2021)

Simplify Array Processing Loops for Efficient Program Verification. - Xiang Du; Liangze Yin; Wei Dong 006 (ISSRE, 2021)

Extend Rchecker for Accurate Analysis of Real Embedded Projects. - Ranjie Ding; Wenfeng Lin; Xiang Du; Liangze Yin (QRS Companion, 2021)

AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel. - Ying-Jie Wang; Liangze Yin; Wei Dong (J. Comput. Sci. Technol., 2021)

FAEG: Feature-Driven Automatic Exploit Generation. - Peng Xu; Liangze Yin; Jiantong Ma; Dong Yang; Wei Dong 006 (Internetware, 2023)

OpenMP Program Verification Based on Bounded Model Checking. - Liang Sun; Bailin Lu; Liangze Yin; Zhe Bu; Wenjing Jin 004 (QRS Companion, 2023)

RustPruner: A Program Slicing Tool for Rust Programs. - Yanfeng Hu; Weihong Chen; Yilong Zhao; Ruiyu Zhang; Liangze Yin; Wei Dong (SEKE, 2024)

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 (ICASSP, 2025)

Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V. - Yiwei Li; Liangze Yin; Wei Dong; Jiaxin Liu; Yanfeng Hu; Shanshan Li (ICSE, 2025)

Noise-resistant predefined-time convergent ZNN models for dynamic least squares and multi-agent systems. - Yiwei Li; Jiaxin Liu; Lei Jia; Liangze Yin; Xingpei Li; Yong Zhang (Neural Networks, 2025)

Corrigendum to "Noise-resistant predefined-time convergent ZNN models for dynamic least squares and multi-agent systems" [Neural Networks 187 (2025) 107412]. - Yiwei Li; Jiaxin Liu; Lei Jia; Liangze Yin; Xingpei Li; Yong Zhang (Neural Networks, 2025)

Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation. - Liangze Yin; Yiwei Li 006; Kun Chen; Wei Dong 006; Ji Wang 001 (Proc. ACM Softw. Eng., 2025)