Liangze Yin

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 24

Top Topics

Control Software

Top Venues

Publications

Peng Xu, Liangze Yin, Jiantong Ma, Dong Yang, Wei Dong
FAEG: Feature-Driven Automatic Exploit Generation. Internetware (2023)
Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin
OpenMP Program Verification Based on Bounded Model Checking. QRS Companion (2023)
Xiang Du, Liangze Yin, Haining Feng, Wei Dong
Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. APSEC (2021)
Ranjie Ding, Wenfeng Lin, Xiang Du, Liangze Yin
Extend Rchecker for Accurate Analysis of Real Embedded Projects. QRS Companion (2021)
Xiang Du, Liangze Yin, Wei Dong
Simplify Array Processing Loops for Efficient Program Verification. ISSRE (2021)
Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong
Vulnerability Analysis through Interface-based Checker Design. QRS Companion (2020)
Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong
Graph-based Vulnerability Detection via Extracting Features from Sliced Code. QRS Companion (2020)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46 (5) (2020)
Wanwei Liu, Liangze Yin, Tun Li
on Finite Words. SETTA (2020)
Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. QRS Companion (2020)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Parallel refinement for multi-threaded program verification. ICSE (2019)
Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) (2018)
Bailin Lu, Wei Dong, Liangze Yin, Li Zhang
Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. SATE (2018)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling constraint based abstraction refinement for weak memory models. ASE (2018)
Liangze Yin, Wei Dong, Fei He, Ji Wang
A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. 61 (5) (2018)
Luhang Xu, Liangze Yin, Wei Dong, Weixi Jia, Yongjun Li
Expediting Binary Fuzzing with Symbolic Analysis. Int. J. Softw. Eng. Knowl. Eng. 28 (11-12) (2018)
Luhang Xu, Wei Dong, Liangze Yin, Weixi Jia, Shenzhi Li
Expediting Binary Fuzzing with Symbolic Analysis. SEKE (2018)
Luhang Xu, Wei Dong, Liangze Yin, Qiuxi Zhong
Guide Fuzzing with Multi-Factor Potential Analysis. QRS Companion (2018)
Xinjun Mao, Yao Lu, Liangze Yin, Tao Wang, Gang Yin
Model and Practice of Crowd-Based Education. APWeb/WAIM Workshops (2018)
Fei He, Yuan Gao, Liangze Yin
Efficient software product-line model checking using induction and a SAT solver. Frontiers Comput. Sci. 12 (2) (2018)
Hao Shi, Wei Dong, Ge Zhou, Liangze Yin
Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. QRS Companion (2017)
Qilin Liu, Wei Dong, Liangze Yin, Xuan Qi, Shazhou Yang
混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method). 计算机科学 44 (4) (2017)
Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin
Optimizing Monitor Code Based on Patterns in Runtime Verification. QRS Companion (2017)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR (2017)
Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu
Symbolic assume-guarantee reasoning through BDD learning. ICSE (2014)
Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun
Clause Replication and Reuse in Incremental Temporal Induction. ICECCS (2014)
Liangze Yin, Fei He, Min Zhou, Ming Gu
Reusing Search Tree for Incremental SAT Solving of Temporal Induction. ICECCS (2013)
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
Component-Based Modeling and Code Synthesis for Cyclic Programs. COMPSAC (2013)
Liangze Yin, Fei He, Ming Gu
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. TASE (2013)
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu
Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS (2013)
Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng
VCS: A Verifier for Component-Based Systems. ATVA (2013)
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE (2012)
Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
Maxterm Covering for Satisfiability. IEEE Trans. Computers 61 (3) (2012)