Zhibin Yang - Publications, H-index & Citations

杨

杨志斌 (Zhibin Yang)

nanjing university of aeronautics and astronautics

12H指数

61论文数

409被引数

收录论文 17

发表时间

MetaDTS: Distribution difference-based adaptive test input selection for Deep Neural Networks MetaDTS: 基于分布差异的深度神经网络自适应测试输入选择

Journal of Systems Architecture

IF4.1

2026-01-03

PREAI

Xiang Su; Zhibin Yang; Qu Liu; Hao Liu; Yong Zhou; Zhiqiu Huang

Towards consistent representations with bidirectional view alignment in graph contrastive learning for recommendation 通过双向视图对齐实现图对比学习推荐任务中的表示一致性

Neurocomputing

IF6.5

2025-12-04

PREAI

Jie Ma; Jiwei Qin; Peichen Ji; Zhibin Yang; Yanping Chen; Donghao Zhang; Shengquan Liu

SAR-DetAttack: GAN-based adversarial attack with transfer learning for ship detection in satellite SAR images SAR-DetAttack：基于生成对抗网络（GAN）和迁移学习的卫星SAR图像船舶检测对抗攻击

Journal of Systems Architecture

IF4.1

2025-10-30

PREAI

Qu Liu; Zhibin Yang; Xiang Su; Haoxin Wu; Yong Zhou; Hai Zhang

FARec: frequency domain enhanced filter for sequential recommendation

COMPUTING

IF2.8

2025-05-01

PREAI

Yang, Zhibin; Qin, Jiwei; Ma, Jie; Zhang, Donghao

Item attributes fusion based on contrastive learning for sequential recommendation 基于对比学习的项目属性融合序贯推荐

MULTIMEDIA SYSTEMS

IF3.1

2024-09-26

PREAI

Zhang, Donghao; Qin, Jiwei; Ma, Jie; Yang, Zhibin; Cui, Daishun; Ji, Peichen

Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2023-01-01

PREAI

Yang, Zhibin; Xing, Linquan; Gu, Zonghua; Xiao, Yingmin; Zhou, Yong; Huang, Zhiqiu; Xue, Lei

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

CONNECTION SCIENCE

IF3.4

2021-12-26

OAAI

Xie, Jian; Tan, Wenan; Yang, Zhibin; Li, Shuming; Xing, Linquan; Huang, Zhiqiu

C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2021-09-01

OAAI

Yang, Zhibin; Qiu, Zhikai; Zhou, Yong; Huang, Zhiqiu; Bodeveix, Jean-Paul; Filali, Mamoun

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2020-03-01

OAAI

Wang, Fei; Yang, Zhi-Bin; Huang, Zhi-Qiu; Liu, Cheng-Wei; Zhou, Yong; Bodeveix, Jean-Paul; Filali, Mamoun

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2019-06-18

OAAI

Yang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun

A survey on formal specification and verification of separation kernels

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2017-01-11

PREAI

Zhao, Yongwang; Yang, Zhibin; Ma, Dianfu

Towards a verified compiler prototype for the synchronous language SIGNAL

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2015-11-11

OAAI

Yang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun; Hu, Kai; Zhao, Yongwang; Ma, Dianfu

Exploring AADL verification tool through model transformation

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2015-03-01

OAAI

Hu, Kai; Zhang, Teng; Yang, Zhibin; Tsai, Wei-Tek

Simulation of real-time systems with clock calculus

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2015-02-01

OAAI

Hu, Kai; Zhang, Teng; Yang, Zhibin; Tsai, Wei-Tek

From AADL to Timed Abstract State Machines: A verified model transformation

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2014-07-01

OAAI

Yang, Zhibin; Hu, Kai; Ma, Dianfu; Bodeveix, Jean-Paul; Pi, Lei; Talpin, Jean-Pierre

A comparative study of two formal semantics of the SIGNAL language 信号语言两种形式语义的比较研究

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-10-02

OAAI

Yang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun

Multi-threaded code generation from Signal program to OpenMP

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-09-16

OAAI

Hu, Kai; Zhang, Teng; Yang, Zhibin

研究方向