Liangze Yin

According to our database1, Liangze Yin authored at least 21 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
International Journal of Software Engineering and Knowledge Engineering, 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
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...