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

付松 (Fu Song)

chinese academy of sciences

23H指数
129论文数
1.5K被引数
收录论文 23
发表时间
logo
Decision Procedure for a Theory of String Sequences字符串序列理论的判定过程
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errHu, Denghang; Chen, Taolue; Rummer, Philipp; Song, Fu; Wu, Zhilin
err分享
err收藏
Performance evaluation method for modules based on organic fusion of data-driven methods and mechanistic knowledge基于数据驱动方法与机理知识有机融合的模块性能评估方法
errAdvanced Engineering Informatics
IF9.9
err2025-11-11
err0
PREAI
errWenhui He; Lin Lin; Song Fu; Dan Liu
err分享
err收藏
FD-LLM: Large language model for fault diagnosis of complex equipmentFd-llm: 复杂装备故障诊断的大语言模型
errADVANCED ENGINEERING INFORMATICS
IF9.9
err2025-05-01
err0
PREAI
errLin, Lin; Zhang, Sihao; Fu, Song; Liu, Yikun
err分享
err收藏
Deep hierarchical sorting networks for fault diagnosis of aero-engines面向航空发动机故障诊断的深度分层排序网络
errCOMPUTERS IN INDUSTRY
IF9.1
err2025-02-01
err1
PREAI
errWu, Jinlei; Lin, Lin; Liu, Dan; Fu, Song; Suo, Shiwei; Zhang, Sihao
err分享
err收藏
Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems不要完成它!为高效和可持续的神经代码完成系统防止无用的代码完成
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-12-28
err0
errOAAI
errSun, Zhensu; Du, Xiaoning; Song, Fu; Wang, Shangwen; Ni, Mingze; Li, Li; Lo, David
err分享
err收藏
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-06-03
err1
errOAAI
errLiu, Jiaxiang; Xing, Yunhan; Shi, Xiaomu; Song, Fu; Xu, Zhiwu; Ming, Zhong
err分享
err收藏
Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-03-15
err2
PREAI
errZhao, Zhe; Chen, Guangke; Liu, Tong; Li, Taishan; Song, Fu; Wang, Jingyi; Sun, Jun
err分享
err收藏
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks针对电源侧信道攻击的一阶掩蔽对策的组合验证
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-03-14
err1
errOAAI
errGao, Pengfei; Song, Fu; Chen, Taolue
err分享
err收藏
Using combinatorial optimization to solve entity alignment: An efficient unsupervised model
errNEUROCOMPUTING
IF6.5
err2023-11-01
err1
PREAI
errLin, Lin; Zu, Lizheng; Guo, Feng; Fu, Song; Lv, Yancheng; Guo, Hao; Liu, Jie
err分享
err收藏
Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-09-01
err14
errOAAI
errChen, Guangke; Zhao, Zhe; Song, Fu; Chen, Sen; Fan, Lingling; Wang, Feng; Wang, Jiashui
err分享
err收藏
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-04-27
err4
errOAAI
errZhang, Yedi; Zhao, Zhe; Chen, Guangke; Song, Fu; Chen, Taolue
err分享
err收藏
Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2022-09-01
err10
errOAAI
errBu, Lei; Zhao, Zhe; Duan, Yuchao; Song, Fu
err分享
err收藏
VenomAttack: automated and adaptive activity hijacking in AndroidVenomAttack: Android中的自动化和自适应活动劫持
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2022-08-08
err0
PREAI
errSun, Pu; Chen, Sen; Fan, Lingling; Gao, Pengfei; Song, Fu; Yang, Min
err分享
err收藏
ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2022-08-01
err0
PREAI
errXu, Yongjie; Song, Fu; Chen, Taolue
err分享
err收藏
Model-based automated testing of JavaScript Web applications via longer test sequences通过更长的测试序列对JavaScript Web应用程序进行基于模型的自动化测试
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2021-11-11
err5
PREAI
errGao, Pengfei; Xu, Yongjie; Song, Fu; Chen, Taolue
err分享
err收藏
Integration of high-fidelity model of forward variable area bypass injector into zero-dimensional variable cycle engine model
errCHINESE JOURNAL OF AERONAUTICS
IF5.7
err2021-08-01
err37
errOAAI
errSong, Fu; Zhou, Li; Wang, Zhanxue; Lin, Zhifu; Shi, Jingwei
err分享
err收藏
Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers
errINTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
IF3.7
err2021-06-14
err24
errOAAI
errSong, Fu; Lei, Yusi; Chen, Sen; Fan, Lingling; Liu, Yang
err分享
err收藏
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs一种高阶掩码算术程序形式化验证的混合方法
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-02-11
err6
errOAAI
errGao, Pengfei; Xie, Hongyi; Song, Fu; Chen, Taolue
err分享
err收藏
Formal Verification of Masking Countermeasures for Arithmetic Programs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2020-01-01
err8
errOAAI
errGao Pengfei; Xie Hongyi; Pu Sun; Jun Zhang; Fu Song; Chen, Taolue
err分享
err收藏
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2019-07-18
err16
PREAI
errGao, Pengfei; Zhang, Jun; Song, Fu; Wang, Chao
err分享
err收藏

研究方向

航空发动机运行机理分析数据驱动的航空发动机智能健康管理制造业信息化工业知识图谱构建与大数据挖掘
合作学者
合作期刊
张
张军 (Jun Zhang)
H 指数: 124 · 论文数: 4.5K
刘
刘洋 (Yang Liu)
H 指数: 106 · 论文数: 3.5K
D
David Lo
H 指数: 90 · 论文数: 977
孙俊 封面图
孙俊 (Jun Sun)
H 指数: 46 · 论文数: 957
L
Li Li
H 指数: 45 · 论文数: 812
查看更多