Liangze Yin

Orcid: 0000-0002-1645-2787

According to our database¹, Liangze Yin authored at least 34 papers between 2012 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

OpenMP Program Verification Based on Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

FAEG: Feature-Driven Automatic Exploit Generation.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

2021

AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel.

[BibT_eX]

[DOI]

Ying-Jie Wang

Liangze Yin

Wei Dong

J. Comput. Sci. Technol., 2021

Extend Rchecker for Accurate Analysis of Real Embedded Projects.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Simplify Array Processing Loops for Efficient Program Verification.

[BibT_eX]

[DOI]

Xiang Du

Liangze Yin

Wei Dong

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Compiling FL<sup>res</sup> on Finite Words.

[BibT_eX]

[DOI]

Wanwei Liu

Liangze Yin

Tun Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Graph-based Vulnerability Detection via Extracting Features from Sliced Code.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Vulnerability Analysis through Interface-based Checker Design.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Parallel refinement for multi-threaded program verification.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Expediting Binary Fuzzing with Symbolic Analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2018

Efficient software product-line model checking using induction and a SAT solver.

[BibT_eX]

[DOI]

Fei He

Yuan Gao

Liangze Yin

Frontiers Comput. Sci., 2018

A True-Concurrency Encoding for BMC of Compositional Systems.

[BibT_eX]

[DOI]

Comput. J., 2018

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Expediting Binary Fuzzing with Symbolic Analysis.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Analysis, Testing, and Evolution, 2018

Guide Fuzzing with Multi-Factor Potential Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Scheduling constraint based abstraction refinement for weak memory models.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Model and Practice of Crowd-Based Education.

[BibT_eX]

[DOI]

Proceedings of the Web and Big Data, 2018

2017

混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method).

[BibT_eX]

[DOI]

计算机科学, 2017

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.

[BibT_eX]

[DOI]

CoRR, 2017

Optimizing Monitor Code Based on Patterns in Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2014

Symbolic assume-guarantee reasoning through BDD learning.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Clause Replication and Reuse in Incremental Temporal Induction.

[BibT_eX]

[DOI]

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2013

Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.

[BibT_eX]

[DOI]

Liangze Yin

Fei He

Ming Gu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.

[BibT_eX]

[DOI]

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Modeling and Verification of Component-Based Systems with Data Passing Using BIP.

[BibT_eX]

[DOI]

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

VCS: A Verifier for Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Maxterm Covering for Satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Liangze Yin

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...