Liangze Yin

Orcid: 0000-0002-1645-2787

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 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.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

FAEG: Feature-Driven Automatic Exploit Generation.
Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

2021
AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel.
J. Comput. Sci. Technol., 2021

Extend Rchecker for Accurate Analysis of Real Embedded Projects.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Simplify Array Processing Loops for Efficient Program Verification.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification.
IEEE Trans. Software Eng., 2020

Compiling FL<sup>res</sup> on Finite Words.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Graph-based Vulnerability Detection via Extracting Features from Sliced Code.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Vulnerability Analysis through Interface-based Checker Design.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019
Parallel refinement for multi-threaded program verification.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Expediting Binary Fuzzing with Symbolic Analysis.
Int. J. Softw. Eng. Knowl. Eng., 2018

Efficient software product-line model checking using induction and a SAT solver.
Frontiers Comput. Sci., 2018

A True-Concurrency Encoding for BMC of Compositional Systems.
Comput. J., 2018

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Expediting Binary Fuzzing with Symbolic Analysis.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis.
Proceedings of the Software Analysis, Testing, and Evolution, 2018

Guide Fuzzing with Multi-Factor Potential Analysis.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Scheduling constraint based abstraction refinement for weak memory models.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Model and Practice of Crowd-Based Education.
Proceedings of the Web and Big Data, 2018

2017
混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method).
计算机科学, 2017

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

Optimizing Monitor Code Based on Patterns in Runtime Verification.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2014
Symbolic assume-guarantee reasoning through BDD learning.
Proceedings of the 36th International Conference on Software Engineering, 2014

Clause Replication and Reuse in Incremental Temporal Induction.
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.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
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.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

VCS: A Verifier for Component-Based Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Maxterm Covering for Satisfiability.
IEEE Trans. Computers, 2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012


  Loading...