Login / Signup
Chengyu Zhang
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Automated Verification
Object Detection
Timed Automata
Model Checking
Top Venues
CoRR
Microelectron. J.
TACAS (2)
</>
Publications
</>
Li Guo
,
Haoming Liu
,
Yuxuan Xia
,
Chengyu Zhang
,
Xiaochen Lu
Boosting Few-Shot Segmentation via Instance-Aware Data Augmentation and Local Consensus Guided Cross Attention.
CoRR
(2024)
Shengping Xiao
,
Chengyu Zhang
,
Jianwen Li
,
Geguang Pu
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.
TACAS (2)
(2023)
Yu Wang
,
Yibing Liao
,
Jiamei Yang
,
Hui Wang
,
Yuxuan Zhao
,
Chengyu Zhang
,
Bende Xiao
,
Fei Xu
,
Yifan Gao
,
Mingzhu Xu
,
Jianbin Zheng
An FPGA-based online reconfigurable CNN edge computing device for object detection.
Microelectron. J.
137 (2023)