Hongzhen Zhong

According to our database1, Hongzhen Zhong authored at least 5 papers between 2019 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.
J. Syst. Softw., 2024

2021
How to Identify Boundary Conditions with Contrasty Metric?
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae.
CoRR, 2019


  Loading...