Liangze Yin

43 papers A* 4A 1B 5C 5Misc 4Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2025 Misc conf
A Robust Distributed Recurrent Neural Network for Multi-Agent Consensus Control.
ICASSP
Yiwei Li, Jiaxin Liu, Lin Yang, Yating Zhang, Kunlin Liu, Ge Zhou, Liangze Yin, Wei Dong
2025 J jnl
A Self-Learning Noise-Resistant Zeroing Neural Network for Dynamic Equations and Its Applications.
IEEE Trans. Syst. Man Cybern. Syst.
Yiwei Li, Jiaxin Liu, Lin Xiao, Qiuyue Zuo, Liangze Yin, Wei Dong
2025 C conf
BCCIC3: Batch Clause Construction Enhanced Generalization in IC3.
ICFEM
Yi Chen, Xinyi Gong, Liangze Yin, Ji Wang, Ting Wang
2025 C conf
Beyond Test Cases: Multi-Agent Collaboration for Detecting Errors in Full-Score Code Implementations.
SEKE
Yiwei Li, Jiaxin Liu, Yanfeng Hu, Chen Liu, Yating Zhang, Liangze Yin, Wei Dong
2025 J jnl
Corrigendum to "Noise-resistant predefined-time convergent ZNN models for dynamic least squares and multi-agent systems" [Neural Networks 187 (2025) 107412].
Neural Networks
Yiwei Li, Jiaxin Liu, Lei Jia, Liangze Yin, Xingpei Li, Yong Zhang
2025 A* conf
Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V.
ICSE
Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li
2025 J jnl
Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation.
Proc. ACM Softw. Eng.
Liangze Yin, Yiwei Li, Kun Chen, Wei Dong, Ji Wang
2025 J jnl
Noise-resistant predefined-time convergent ZNN models for dynamic least squares and multi-agent systems.
Neural Networks
Yiwei Li, Jiaxin Liu, Lei Jia, Liangze Yin, Xingpei Li, Yong Zhang
2024 C conf
RustPruner: A Program Slicing Tool for Rust Programs.
SEKE
Yanfeng Hu, Weihong Chen, Yilong Zhao, Ruiyu Zhang, Liangze Yin, Wei Dong
2023 — conf
FAEG: Feature-Driven Automatic Exploit Generation.
Internetware
Peng Xu, Liangze Yin, Jiantong Ma, Dong Yang, Wei Dong
2023 — conf
OpenMP Program Verification Based on Bounded Model Checking.
QRS Companion
Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin
2021 J jnl
AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel.
J. Comput. Sci. Technol.
Ying-Jie Wang, Liangze Yin, Wei Dong
2021 — conf
Extend Rchecker for Accurate Analysis of Real Embedded Projects.
QRS Companion
Ranjie Ding, Wenfeng Lin, Xiang Du, Liangze Yin
2021 C conf
Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities.
APSEC
Xiang Du, Liangze Yin, Haining Feng, Wei Dong
2021 A conf
Simplify Array Processing Loops for Efficient Program Verification.
ISSRE
Xiang Du, Liangze Yin, Wei Dong
2020 Misc conf
Compiling FL
SETTA
Wanwei Liu, Liangze Yin, Tun Li
2020 — conf
Graph-based Vulnerability Detection via Extracting Features from Sliced Code.
QRS Companion
Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong
2020 J jnl
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification.
IEEE Trans. Software Eng.
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2020 — conf
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs.
QRS Companion
Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong
2020 — conf
Vulnerability Analysis through Interface-based Checker Design.
QRS Companion
Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong
2019 A* conf
Parallel refinement for multi-threaded program verification.
ICSE
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2018 J jnl
A True-Concurrency Encoding for BMC of Compositional Systems.
Comput. J.
Liangze Yin, Wei Dong, Fei He, Ji Wang
2018 J jnl
Efficient software product-line model checking using induction and a SAT solver.
Frontiers Comput. Sci.
Fei He, Yuan Gao, Liangze Yin
2018 — conf
Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis.
SATE
Bailin Lu, Wei Dong, Liangze Yin, Li Zhang
2018 C conf
Expediting Binary Fuzzing with Symbolic Analysis.
SEKE
Luhang Xu, Wei Dong, Liangze Yin, Weixi Jia, Shenzhi Li
2018 J jnl
Expediting Binary Fuzzing with Symbolic Analysis.
Int. J. Softw. Eng. Knowl. Eng.
Luhang Xu, Liangze Yin, Wei Dong, Weixi Jia, Yongjun Li
2018 — conf
Guide Fuzzing with Multi-Factor Potential Analysis.
QRS Companion
Luhang Xu, Wei Dong, Liangze Yin, Qiuxi Zhong
2018 — conf
Model and Practice of Crowd-Based Education.
APWeb/WAIM Workshops
Xinjun Mao, Yao Lu, Liangze Yin, Tao Wang, Gang Yin
2018 A* conf
Scheduling constraint based abstraction refinement for weak memory models.
ASE
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2018 — conf
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).
TACAS (2)
Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
2017 — conf
Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.
QRS Companion
Hao Shi, Wei Dong, Ge Zhou, Liangze Yin
2017 — conf
Optimizing Monitor Code Based on Patterns in Runtime Verification.
QRS Companion
Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin
2017 J jnl
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.
CoRR
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2017 J jnl
混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method).
计算机科学
Qilin Liu, Wei Dong, Liangze Yin, Xuan Qi, Shazhou Yang
2014 B conf
Clause Replication and Reuse in Incremental Temporal Induction.
ICECCS
Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun
2014 A* conf
Symbolic assume-guarantee reasoning through BDD learning.
ICSE
Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu
2013 B conf
Component-Based Modeling and Code Synthesis for Cyclic Programs.
COMPSAC
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
2013 B conf
Modeling and Verification of Component-Based Systems with Data Passing Using BIP.
ICECCS
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu
2013 Misc conf
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.
TASE
Liangze Yin, Fei He, Ming Gu
2013 B conf
Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
ICECCS
Liangze Yin, Fei He, Min Zhou, Ming Gu
2013 B conf
VCS: A Verifier for Component-Based Systems.
ATVA
Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng
2012 J jnl
Maxterm Covering for Satisfiability.
IEEE Trans. Computers
Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
2012 Misc conf
Modeling and Validation of PLC-Controlled Systems: A Case Study.
TASE
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga