Hengjun Zhao

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 15

Top Topics

Control Program

Quantifier Elimination

Top Venues

J. Syst. Sci. Complex.

Publications

Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao
HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. IJCNN (2023)
Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu
Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. ICPR (2022)
Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. Int. J. Softw. Informatics 12 (4) (2022)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33 (3) (2021)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu
Synthesizing barrier certificates using neural networks. HSCC (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA (2020)
Ge-Er Teng, Yue He, Hengjun Zhao, Dunhu Liu, Jin Xiao, S. Ramkumar
Design and Development of Human Computer Interface Using Electrooculogram with Deep Learning. Artif. Intell. Medicine 102 (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR (2020)
Jiajie Zhu, Bin Fang, Mingliang Zhou, Hengjun Zhao, Futing Luo
Legendre Based Adaptive Image Segmentation Combining The Gradient Information. ICIP (2020)
Jiye Qian, Hengjun Zhao, Jin Fu, Wei Song, Jide Qian, Qianbo Xiao
No-reference image sharpness assessment via difference quotients. J. Electronic Imaging 28 (1) (2019)
Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM (2019)
Jide Qian, Bin Chen, Jiye Qian, Hengjun Zhao, Gang Chen
基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD). 计算机科学 45 (6) (2018)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2018)
Ling Xie, Jin Xiao, Yi Hu, Hengjun Zhao, Yi Xiao
China's energy consumption forecasting by GMDH based auto-regressive model. J. Syst. Sci. Complex. 30 (6) (2017)
Jiye Qian, Hengjun Zhao, Jin Fu, Guojun He, Xingzhe Hou, Bin Fang, Jide Qian
No-reference image sharpness metric based on directional derivatives. SPAC (2017)
Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou
Abstraction of Elementary Hybrid Systems by Variable Transformation. FM (2015)
Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao
Discovering non-terminating inputs for multi-path polynomial programs. J. Syst. Sci. Complex. 27 (6) (2014)
Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou
Abstraction of Elementary Hybrid Systems by Variable Transformation. CoRR (2014)
Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. FM (2014)
Hengjun Zhao, Naijun Zhan, Deepak Kapur
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants. Theories of Programming and Formal Methods (2013)
Naijun Zhan, Shuling Wang, Hengjun Zhao
Formal Modelling, Analysis and Verification of Hybrid Systems. ICTAC Training School on Software Engineering (2013)
Deepak Kapur, Naijun Zhan, Hengjun Zhao
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation CoRR (2013)
Hengjun Zhao, Bin Fang, Yuan Yan Tang
A no-reference image sharpness estimation based on expectation of wavelet transform coefficients. ICIP (2013)
Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics (2013)
Hengjun Zhao, Zhaowei Shang, Yuan Yan Tang, Bin Fang
Multi-focus image fusion based on the neighbor distance. Pattern Recognit. 46 (3) (2013)
Zhaowei Shang, LingFeng Zhang, Hengjun Zhao, Lan Zhang
Image Fusion Method Based on Multi-Directional Support Value Transform. Int. J. Wavelets Multiresolution Inf. Process. 10 (5) (2012)
Yanxia Niu, Hengjun Zhao
Generalized Filled Function for Global Continuous Optimization Problems. CSO (2012)
Yin-Xia Wang, Hengjun Zhao
Logarithmically Improved Blow up Criterion for Smooths Solution to the 3D Micropolar Fluid Equations. J. Appl. Math. 2012 (2012)
Jiang Liu, Naijun Zhan, Hengjun Zhao
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. Math. Comput. Sci. 6 (4) (2012)
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example CoRR (2012)
Weibin Yang, Bin Fang, Yuan Yan Tang, Zhaowei Shang, Hengjun Zhao
Visual saliency estimation using support value transform. ICIP (2012)
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM (2012)
Jiang Liu, Naijun Zhan, Hengjun Zhao
A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems CoRR (2011)
Jiang Liu, Naijun Zhan, Hengjun Zhao
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems CoRR (2011)
Jiang Liu, Naijun Zhan, Hengjun Zhao
Computing semi-algebraic invariants for polynomial dynamical systems. EMSOFT (2011)
Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou
A Calculus for Hybrid CSP. APLAS (2010)
Hengjun Zhao, Changzheng He
Objective Cluster Analysis in Value-Based Customer Segmentation Method. WKDD (2009)