logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Shengchao Qin

xidian university

27H-index
207Paper Count
2.5KCitation Count
Published Papers 21
Publication Date
logo
Adversarial rain attack and defensive deraining for DNN perception
errNeural Networks
IF6.3
err2025-11-27
err0
PREAI
errLiming Zhai; Qing Guo; Felix Juefei-Xu; Xiaofei Xie; Lei Ma; Wei Feng; Shengchao Qin; Yang Liu
errShare
errSave
CTxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-10-01
err0
PREAI
errJiang, Jiacheng; Wen, Cheng; Fu, Zhiyuan; Qin, Shengchao
errShare
errSave
Enhancing deep learning for demand forecasting to address large data gaps
errEXPERT SYSTEMS WITH APPLICATIONS
IF7.5
err2025-04-01
err1
PREAI
errRiachy, Chirine; He, Mengda; Joneidy, Sina; Qin, Shengchao; Payne, Tim; Boulton, Graeme
errShare
errSave
Automatically Inspecting Thousands of Static BugWarnings with Large Language Model: How Far AreWe?
errACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA
IF4.8
err2024-06-19
err8
errOAAI
errWen, Cheng; Cai, Yuandao; Zhang, Bin; Su, Jie; Xu, Zhiwu; Liu, Dugang; Qin, Shengchao; Ming, Zhong; Cong, Tian
errShare
errSave
Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2023-09-01
err0
PREAI
errXu, Zhiwu; Liu, Yazheng; Qin, Shengchao; Ming, Zhong
errShare
errSave
BATON: symphony of random testing and concolic testing through machine learning and taint analysis
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2022-11-11
err2
PREAI
errChen, Bihuan; Liu, Yang; Peng, Xin; Wu, Yijian; Qin, Shengchao
errShare
errSave
Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-07-23
err1
PREAI
errTao, Yida; Tang, Shan; Liu, Yepang; Xu, Zhiwu; Qin, Shengchao
errShare
errSave
Extracting automata from neural networks using active learning
errPEERJ COMPUTER SCIENCE
IF2.5
err2021-04-19
err2
errOAAI
errXu, Zhiwu; Wen, Cheng; Qin, Shengchao; He, Mengda
errShare
errSave
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-01-01
err3
errOAAI
errWang, Jingyi; Sun, Jun; Qin, Shengchao; Jegourel, Cyrille
errShare
errSave
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols
errJOURNAL OF INTELLIGENT MANUFACTURING
IF7.4
err2020-05-23
err25
PREAI
errLv, Wanyou; Xiong, Jiawen; Shi, Jianqi; Huang, Yanhong; Qin, Shengchao
errShare
errSave
A Program Logic for Reasoning About C11 Programs With Release-Sequences
errIEEE ACCESS
IF3.6
err2020-01-01
err0
errOAAI
errHe, Mengda; Qin, Shengchao; Xu, Zhiwu
errShare
errSave
Type Learning for Binaries and Its Applications
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2019-09-01
err6
errOAAI
errXu, Zhiwu; Wen, Cheng; Qin, Shengchao
errShare
errSave
State-taint analysis for detecting resource bugs
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2018-09-01
err13
errOAAI
errXu, Zhiwu; Wen, Cheng; Qin, Shengchao
errShare
errSave
Language Inclusion Checking of Timed Automata with Non-Zenoness
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2017-11-01
err2
errOAAI
errWang, Xinyu; Sun, Jun; Wang, Ting; Qin, Shengchao
errShare
errSave
Detecting Energy Bugs in Android Apps Using Static Analysis
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017
IF0
err2017-10-11
err25
PREAI
errJiang, Hao; Yang, Hongli; Qin, Shengchao; Su, Zhendong; Zhang, Jian; Yan, Jun
errShare
errSave
Maximizing influence under influence loss constraint in social networks
errEXPERT SYSTEMS WITH APPLICATIONS
IF7.5
err2016-08-01
err25
errOAAI
errZeng, Yifeng; Chen, Xuefeng; Cong, Gao; Qin, Shengchao; Tang, Jing; Xiang, Yanping
errShare
errSave
State-Taint Analysis for Detecting Resource Bugs
err2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
IF0
err2016-07-01
err4
PREAI
errXu, Zhiwu; Fan, Dongxiao; Qin, Shengchao
errShare
errSave
Semantic theories of programs with nested interrupts
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2015-02-03
err4
PREAI
errHuang, Yanhong; He, Jifeng; Zhu, Huibiao; Zhao, Yongxin; Shi, Jianqi; Qin, Shengchao
errShare
errSave
Algorithms for checking channel passing in web service choreography
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-08-05
err2
PREAI
errYang, Hongli; Cai, Chao; Peng, Liyang; Zhao, Xiangpeng; Qiu, Zongyan; Qin, Shengchao
errShare
errSave
The stochastic semantics and verification for periodic control systems
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2012-12-29
err6
PREAI
errYang MengFei; Wang Zheng; Pu GeGuang; Qin ShengChao; Gu Bin; He JiFeng
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
刘
刘洋 (Yang Liu)
H-index: 106 · Papers: 3.5K
X
Xuefeng Chen
H-index: 92 · Papers: 1.3K
J
Jian Zhang
H-index: 72 · Papers: 896
G
Gao Cong
H-index: 69 · Papers: 414
Z
Zhendong Su
H-index: 65 · Papers: 275
View more