Zhenhua Duan
Xidian University
H-index: 26
Asia-China
Top articles of Zhenhua Duan
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring | ACM Transactions on Sensor Networks | Hongwei Du Jingfang Su Zhao Zhang Zhenhua Duan Cong Tian | 2024 |
Meta-Interpretive LEarning with Reuse | Mathematics | Rong Wang Jun Sun Cong Tian Zhenhua Duan | 2024/3/20 |
A multi-granularity CNN pruning framework via deformable soft mask with joint training | Neurocomputing | Peng Zhang Cong Tian Liang Zhao Zhenhua Duan | 2024/3/1 |
Neuron importance based verification of neural networks via divide and conquer | Neurocomputing | Yansong Dong Yuehao Liu Liang Zhao Cong Tian Zhenhua Duan | 2024/1/14 |
Büchi 自动机确定化分析工具 | 软件学报 | 马润哲, 田聪, 王文胜, 段振华 | 2024/1/5 |
Tool for Determinization of Büchi Automata | Journal of Software | 马润哲, 田聪, 王文胜, 段振华 | 2024/1/5 |
Multi-keyword ranked search with access control for multiple data owners in the cloud | Journal of Information Security and Applications | Jiaqi Guo Cong Tian Xu Lu Liang Zhao Zhenhua Duan | 2024/5/1 |
Check for updates Verifying Chips Design at RTL Level | Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings | Wu Wang Nan Zhang Cong Tian Zhenhua Duan Zhijie Xu | 2023/6/26 |
Verification for Neural Network Based on Error Divide and Conquer | Journal of Software | 董彦松, 刘月浩, 董旭乾, 赵亮, 田聪, 于斌, 段振华 | 2023/9/27 |
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) | Jie Su Zuchao Yang Hengrui Xing Jiyu Yang Cong Tian | 2023/4/20 | |
基于误差分治的神经网络验证 | 软件学报 | 董彦松, 刘月浩, 董旭乾, 赵亮, 田聪, 于斌, 段振华 | 2023/9/27 |
A Dynamic Parameter Adaptive Path Planning Algorithm | Guangyu Yao Nan Zhang Zhenhua Duan Cong Tian | 2023/12/9 | |
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+ MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers | Shaoying Liu Zhenhua Duan Ai Liu | 2023/3/24 | |
Adaptively parallel runtime verification based on distributed network for temporal properties | Parallel Computing | Bin Yu Xu Lu* Cong Tian* Meng Wang Chu Chen | 2023/6/14 |
An Approach to Agent Path Planning Under Temporal Logic Constraints | Chaofeng Yu Nan Zhang Zhenhua Duan Cong Tian | 2023/12/9 | |
A proof system for unified temporal logic | Theoretical Computer Science | Nan Zhang Chaofeng Yu Zhenhua Duan Cong Tian | 2023/3/9 |
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations | Chu Chen Pinghong Ren Zhenhua Duan Cong Tian Xu Lu | 2023/7/12 | |
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering | Bin Yu Cong Tian Hengrui Xing Zuchao Yang Jie Su | 2023/11/30 | |
Verifying Chips Design at RTL Level | Wu Wang Nan Zhang Cong Tian Zhenhua Duan Zhijie Xu | 2023/6/27 | |
Using Experience Classification for Training Non-Markovian Tasks | arXiv preprint arXiv:2310.11678 | Ruixuan Miao Xu Lu Cong Tian Bin Yu Zhenhua Duan | 2023/10/18 |