logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
黄

黄滟鸿 (Yanhong Huang)

chinese academy of sciences

13H指数
97论文数
693被引数
收录论文 15
发表时间
logo
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2024-04-01
err0
PREAI
errShi, Jianqi; Chen, Yinghao; Li, Qin; Huang, Yanhong; Yang, Yang; Zhao, Mengyan
err分享
err收藏
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness
errJOURNAL OF GRID COMPUTING
IF2.9
err2023-07-04
err1
PREAI
errYang, Hailin; Huang, Yanhong; Shi, Jianqi; Yang, Yang
err分享
err收藏
Extracting optimal explanations for ensemble trees via automated reasoning通过自动推理提取集成树的最佳解释
errAPPLIED INTELLIGENCE
IF3.5
err2022-10-25
err1
PREAI
errZhang, Gelin; Hou, Zhe; Huang, Yanhong; Shi, Jianqi; Bride, Hadrien; Dong, Jin Song; Gao, Yongsheng
err分享
err收藏
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2022-07-01
err6
PREAI
errMao, Xia; Li, Xin; Huang, Yanhong; Shi, Jianqi; Zhang, Yueling
err分享
err收藏
Improved discrete imperialist competition algorithm for order scheduling of automated warehouses
errCOMPUTERS & INDUSTRIAL ENGINEERING
IF6.5
err2022-06-01
err6
PREAI
errYan, Bo; Liu, Yanping; Huang, Yanhong
err分享
err收藏
Transcriptome analysis method based on differential distribution evaluation
errBRIEFINGS IN BIOINFORMATICS
IF7.7
err2022-02-13
err0
PREAI
errMeng, Yiwei; Huang, Yanhong; Chang, Xiao; Liu, Xiaoping; Chen, Luonan
err分享
err收藏
Safety Verification of IEC 61131-3 Structured Text Programs
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2021-04-01
err5
PREAI
errXiong, Jiawen; Bu, Xiangxing; Huang, Yanhong; Shi, Jianqi; He, Weigang
err分享
err收藏
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
err分享
err收藏
Disease characterization using a partial correlation-based sample-specific network
errBRIEFINGS IN BIOINFORMATICS
IF7.7
err2020-05-18
err19
PREAI
errHuang, Yanhong; Chang, Xiao; Zhang, Yu; Chen, Luonan; Liu, Xiaoping
err分享
err收藏
A feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus
errIEEE ACCESS
IF3.6
err2019-01-01
err15
errOAAI
errZhang, Peng; Liu, Yu; Shi, Jianqi; Huang, Yanhong; Zhao, Yongxin
err分享
err收藏
A Decomposition-Based Development Method for Industrial Control Systems一种基于分解的工业控制系统开发方法
errIEEE ACCESS
IF3.6
err2019-01-01
err3
errOAAI
errXiong, Jiawen; Li, Ju; Shi, Jianqi; Huang, Yanhong
err分享
err收藏
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
errIEEE ACCESS
IF3.6
err2019-01-01
err7
errOAAI
errHuang, Yanhong; Bu, Xiangxing; Zhu, Gang; Ye, Xin; Zhu, Xiaoran; Shi, Jianqi
err分享
err收藏
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning
errIEEE ACCESS
IF3.6
err2019-01-01
err30
errOAAI
errLi, Zhihui; Zhao, Hui; Shi, Jianqi; Huang, Yanhong; Xiong, Jiawen
err分享
err收藏
Intracellular methylglyoxal induces oxidative damage to pancreatic beta cell line INS-1 cell through Ire1α-JNK and mitochondrial apoptotic pathway
errFREE RADICAL RESEARCH
IF2.9
err2017-05-10
err24
PREAI
errLiu, Chongxiao; Huang, Yanhong; Zhang, Yifan; Chen, Xueru; Kong, Xiang; Dong, Yan
err分享
err收藏
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
err分享
err收藏

研究方向

可信计算，形式化建模与验证，高可信嵌入式控制软件
合作学者
合作期刊
陈
陈洛南 (Luonan Chen)
H 指数: 84 · 论文数: 809
刘小平 封面图
刘小平 (Xiaoping Liu)
H 指数: 73 · 论文数: 765
杨海麟 封面图
杨海麟 (Hailin Yang)
H 指数: 47 · 论文数: 350
Y
Yifan Zhang
H 指数: 45 · 论文数: 283
Y
Yongsheng Gao
H 指数: 40 · 论文数: 358
查看更多