Zhenya Zhang - Publications, H-index & Citations

Zhenya Zhang

kyushu university

17H指数

119论文数

942被引数

收录论文 15

发表时间

CauMon: A tool for online monitoring against signal temporal logic CauMon：用于信号时序逻辑的在线监控工具

Science of Computer Programming

IF1.4

2026-08-01

PREAI

Zhang, Zhenya; An, Jie; Arcaini, Paolo; Hasuo, Ichiro

Boosting source code learning with text-oriented data augmentation: an empirical study

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2025-02-18

PREAI

Dong, Zeming; Hu, Qiang; Guo, Yuejun; Zhang, Zhenya; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves; Zhao, Jianjun

SPECTACLE: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences SPECTACLE：利用DNN控制器推理序列进行AI赋能的CPS故障定位

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2024-11-22

OAAI

Lyu, D; Zhang, ZY; Arcaini, P; Zhang, XY; Ishikawa, F; Zhao, JJ

Photothermal-assisted solar hydrogen production: A review

ENERGY CONVERSION AND MANAGEMENT

IF10.9

2024-10-01

PREAI

Zhang, Jun; Hu, Zhiwei; Zheng, Jili; Xiao, Yanqiu; Song, Jun; Li, Xiaotian; Cheng, Chuanxiao; Zhang, Zhenya

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2024-10-01

OAAI

Dong, Zeming; Hu, Qiang; Zhang, Zhenya; Guo, Yuejun; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves; Zhao, Jianjun

Behavior Selection Models of Fire Evacuations with the Consideration of Adaptive Evacuation Psychologies

SUSTAINABILITY

IF3.3

2024-04-25

OAAI

Wang, Lixiao; Zhang, Zhenya; Lu, Shijun; Wang, Jianhu

Advancements and insights in thermal and water management of proton exchange membrane fuel cells: Challenges and prospects

INTERNATIONAL COMMUNICATIONS IN HEAT AND MASS TRANSFER

IF6.4

2024-04-01

OAAI

Zhang, Zhenya; Mao, Jia; Liu, Zhengxuan

On the effectiveness of graph data augmentation for source code learning

KNOWLEDGE-BASED SYSTEMS

IF7.6

2024-02-01

PREAI

Dong, Zeming; Hu, Qiang; Zhang, Zhenya; Zhao, Jianjun

Effect of microporous layer structural parameters on heat and mass transfer in proton exchange membrane fuel cells

APPLIED THERMAL ENGINEERING

IF6.9

2024-02-01

OAAI

Zhang, Zhenya; Mao, Jia; Wei, Houyu; Cheng, Chuanxiao; Liu, Zhengxuan

TAT: Targeted backdoor attacks against visual object tracking TAT: 针对视觉对象跟踪的针对性后门攻击

PATTERN RECOGNITION

IF7.6

2023-10-01

PREAI

Cheng, Ziyi; Wu, Baoyuan; Zhang, Zhenya; Zhao, Jianjun

A Survey on Automated Driving System Testing: Landscapes and Trends 自动驾驶系统测试综述: 景观与趋势

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-07-24

OAAI

Tang, Shuncheng; Zhang, Zhenya; Zhang, Yi; Zhou, Jixiang; Guo, Yan; Liu, Shuang; Guo, Shengjian; Li, Yan-Fu; Ma, Lei; Xue, Yinxing; Liu, Yang

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria FalsifAI: 以时间感知覆盖标准为指导的AI混合控制系统的伪造

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-04-01

PREAI

Zhang, Zhenya; Lyu, Deyun; Arcaini, Paolo; Ma, Lei; Hasuo, Ichiro; Zhao, Jianjun

Detecting adversarial examples by positive and negative representations

APPLIED SOFT COMPUTING

IF6.6

2022-03-01

PREAI

Luo, Wenjian; Wu, Chenwang; Ni, Li; Zhou, Nan; Zhang, Zhenya

A privacy-preserving aggregation scheme based on immunological negative surveys for smart meters

APPLIED SOFT COMPUTING

IF6.6

2019-12-01

PREAI

Jiang, Hao; Luo, Wenjian; Zhang, Zhenya

Automated Generation of Benchmarks for Falsification of STL Specifications 自动化生成用于STL规范反例的基准测试

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

IF2.9

PREAI

Yipei Yan; Deyun Lyu; Zhenya Zhang; Paolo Arcaini; Jianjun Zhao

研究方向