未登录

S

Shengchao Qin

xidian university

H指数:27

被引数:2,460

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Adversarial rain attack and defensive deraining for DNN perception

对抗性降雨攻击与防御性去雨处理用于DNN感知

Neural Networks

IF6.3

2025-11-270

PRE

CTxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing

CTxFuzz：通过基于上下文的堆操作序列引导的模糊测试发现基于堆的内存漏洞

SCIENCE OF COMPUTER PROGRAMMING

IF1.4

2025-10-010

PRE

Enhancing deep learning for demand forecasting to address large data gaps

增强深度学习以应对需求预测中的大数据缺口

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2025-04-011

PRE

Automatically Inspecting Thousands of Static BugWarnings with Large Language Model: How Far AreWe?

ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA

IF4.8

2024-06-198

OA

Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2023-09-010

PRE

BATON: symphony of random testing and concolic testing through machine learning and taint analysis

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2022-11-112

PRE

Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2021-07-231

PREAI

Extracting automata from neural networks using active learning

PEERJ COMPUTER SCIENCE

IF2.5

2021-04-192

OAAI

Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2021-01-013

OAAI

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols

JOURNAL OF INTELLIGENT MANUFACTURING

IF7.4

2020-05-2325

PREAI

A Program Logic for Reasoning About C11 Programs With Release-Sequences

IF3.6

2020-01-010

OAAI

Type Learning for Binaries and Its Applications

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2019-09-016

OAAI

State-taint analysis for detecting resource bugs

SCIENCE OF COMPUTER PROGRAMMING

IF1.4

2018-09-0113

OAAI

Language Inclusion Checking of Timed Automata with Non-Zenoness

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2017-11-012

OAAI

Detecting Energy Bugs in Android Apps Using Static Analysis

使用静态分析检测Android应用程序中的能源漏洞

FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017

IF0

2017-10-1125

PREAI

Maximizing influence under influence loss constraint in social networks

社交网络中影响损失约束下的影响力最大化

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2016-08-0125

OAAI

State-Taint Analysis for Detecting Resource Bugs

2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)

IF0

2016-07-014

PREAI

Semantic theories of programs with nested interrupts

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2015-02-034

PREAI

Algorithms for checking channel passing in web service choreography

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-08-052

PRE

The stochastic semantics and verification for periodic control systems

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2012-12-296

PREAI