logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
付

付松 (Fu Song)

chinese academy of sciences

23H-index
129Paper Count
1.5KCitation Count
Published Papers 23
Publication Date
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
errShare
errSave
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
errShare
errSave
FD-LLM: Large language model for fault diagnosis of complex equipment
errADVANCED ENGINEERING INFORMATICS
IF9.9
err2025-05-01
err0
PREAI
errLin, Lin; Zhang, Sihao; Fu, Song; Liu, Yikun
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
VenomAttack: automated and adaptive activity hijacking in Android
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2022-08-08
err0
PREAI
errSun, Pu; Chen, Sen; Fan, Lingling; Gao, Pengfei; Song, Fu; Yang, Min
errShare
errSave
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
errShare
errSave
Model-based automated testing of JavaScript Web applications via longer test sequences
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2021-11-11
err5
PREAI
errGao, Pengfei; Xu, Yongjie; Song, Fu; Chen, Taolue
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

航空发动机运行机理分析数据驱动的航空发动机智能健康管理制造业信息化工业知识图谱构建与大数据挖掘
Co-authors
Cooperation Journals
张
张军 (Jun Zhang)
H-index: 124 · Papers: 4.5K
刘
刘洋 (Yang Liu)
H-index: 106 · Papers: 3.5K
D
David Lo
H-index: 90 · Papers: 975
孙俊 cover
孙俊 (Jun Sun)
H-index: 46 · Papers: 956
L
Li Li
H-index: 45 · Papers: 808
View more