Fu SONG
机构: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
每年引用次数
引用次数
引用: 1,579
H-指数: 21
I10-指数 : 36
出版物: 90
On the satisfiability of indexed linear temporal logics
Fu Song , Taolue Chen , Zhilin Wu
international conference on concurrency theory 42 254 -267
1
2015
Extending Temporal Logics with Data Variable Quantifications
Fu Song , Zhilin Wu
foundations of software technology and theoretical computer science 29 253 -265
4
2014
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference
Geguang Pu , Fu Song , Min Zhang , Weikai Miao
international conference on concurrency theory 397
3
2015
Global model checking on pushdown multi-agent systems
Fu Song , Taolue Chen , Zhilin Wu
national conference on artificial intelligence 2459 -2465
7
2016
Verifying pushdown multi-agent systems against strategy logics
Fu Song , Taolue Chen , Zhilin Wu
international joint conference on artificial intelligence 180 -186
3
2016
An Improved Online/Offline Identity-Based Signature Scheme for WSNs.
Peng Zeng , Fu Song , Ya Gao , Kim-Kwang Raymond Choo
International Journal of Network Security 18 1143 -1151
19
2016
Tractability of Separation Logic with Inductive Definitions: Beyond Lists
Fu Song , Taolue Chen , Zhilin Wu
international conference on concurrency theory 17
2
2017
Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain.
Fu Song , Yuchao Duan , Lei Bu , Zhe Zhao
arXiv: Learning
12
2019
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems
Fu Song , Yang Liu , Xiaoning Du , Sen Chen
arXiv: Audio and Speech Processing
107
2019
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Fu Song , Taolue Chen , Pengfei Gao , Hongyi Xie
ACM Transactions on Software Engineering and Methodology 30 ( 3) 1 -42
2021
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks.
Fu Song , Taolue Chen , Yedi Zhang , Zhe Zhao
arXiv: Learning
12
2021
Attack as Defense: Characterizing Adversarial Examples using Robustness.
Fu Song , Jun Sun , Jingyi Wang , Zhe Zhao
arXiv: Cryptography and Security
20
2021
Patch based vulnerability matching for binary programs
Yifei Xu , Zhengzi Xu , Bihuan Chen , Fu Song
international symposium on software testing and analysis 376 -387
30
2020
PoMMaDe: pushdown model-checking for malware detection
Fu Song , Tayssir Touili
foundations of software engineering 607 -610
21
2013
Integrating the B-Method into PVS
J. M. Zhou , Jian Guo , Fu Song
international conference on information engineering and computer science 1 -4
2009
Model checking dynamic pushdown networks
Fu Song , Tayssir Touili
Formal Aspects of Computing 27 ( 2) 397 -421
6
2015
LTL model-checking for malware detection
Fu Song , Tayssir Touili
tools and algorithms for construction and analysis of systems 416 -431
27
2013
Towards backbone computing: A Greedy-Whitening based approach
Yueling Zhang , Min Zhang , Geguang Pu , Fu Song
Ai Communications 31 ( 3) 267 -280
2018
Verifying ReLU Neural Networks from a Model Checking Perspective
Wan-Wei Liu , Fu Song , Tang-Hao-Ran Zhang , Ji Wang
Journal of Computer Science and Technology 35 ( 6) 1365 -1381
17
2020
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks
Pengfei Gao , Hongyi Xie , Jun Zhang , Fu Song
tools and algorithms for construction and analysis of systems 155 -173
2
2019