Hongzhen Zhong

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Structural Similarity

Poisson Equation

Sufficient Conditions

Boundary Conditions

Top Venues

J. Syst. Softw.

Publications

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. 213 (2024)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. CoRR (2021)
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
How to Identify Boundary Conditions with Contrasty Metric? ICSE (2021)
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD (2021)
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
How to Identify Boundary Conditions with Contrasty Metric? CoRR (2021)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. APSEC (2020)
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. CoRR (2019)