Fu SONG
机构: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
每年引用次数
引用次数
引用: 1,579
H-指数: 21
I10-指数 : 36
出版物: 90
Model-Checking for Android Malware Detection
Fu Song , Tayssir Touili
asian symposium on programming languages and systems 216 -235
21
2014
Pushdown model checking for malware detection
Fu Song , Tayssir Touili
International Journal on Software Tools for Technology Transfer 16 ( 2) 147 -173
16
2014
KRust: A Formal Executable Semantics of Rust
Feng Wang , Fu Song , Min Zhang , Xiaoran Zhu
theoretical aspects of software engineering 44 -51
2018
Android Malware Family Classification and Characterization Using CFG and DFG
Zhiwu XU , Kerong Ren , Fu Song
theoretical aspects of software engineering 49 -56
32
2019
Efficient CTL Model-Checking for Pushdown Systems
Fu Song , Tayssir Touili
CONCUR 2011 – Concurrency Theory 434 -449
23
2011
SPAIN: security patch analysis for binaries towards understanding the pain and pills
Zhengzi Xu , Bihuan Chen , Mahinthan Chandramohan , Yang Liu
international conference on software engineering 462 -472
41
2017
A Distributed Clustering Algorithm for Voronoi Cell-Based Large Scale Wireless Sensor Network
Jiehui Chen , Chul-soo Kim , Fu Song
communications and mobile computing 3 209 -213
15
2010
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations
Pengfei Gao , Jun Zhang , Fu Song , Chao Wang
ACM Transactions on Software Engineering and Methodology 28 ( 3) 1 -32
7
2019
Probabilistic Alternating-Time µ -Calculus
Fu Song , Yedi Zhang , Taolue Chen , Yu Tang
national conference on artificial intelligence 33 ( 01) 6179 -6186
2019
Reasoning About Periodicity on Infinite Words
Wanwei Liu , Fu Song , Ge Zhou
International Symposium on Dependable Software Engineering: Theories, Tools, and Applications 200 -215
2017
Model-checking software library API usage rules
Fu Song , Tayssir Touili
Software and Systems Modeling 15 ( 4) 961 -985
1
2016
On the complexity of ω -pushdown automata
Yusi Lei , Fu Song , Wanwei Liu , Min Zhang
Science in China Series F: Information Sciences 60 ( 11) 112102
1
2017
Model Checking Pushdown Epistemic Game Structures
Taolue Chen , Fu Song , Zhilin Wu
international conference on formal engineering methods 36 -53
2
2017
Efficient CTL model-checking for pushdown systems
Fu Song , Tayssir Touili
Theoretical Computer Science 549 127 -145
13
2014
Making Agents’ Abilities Explicit
Yedi Zhang , Fu Song , Taolue Chen
IEEE Access 7 101804 -101819
2019
Pushdown model checking for malware detection
Fu Song , Tayssir Touili
tools and algorithms for construction and analysis of systems 110 -125
36
2012
Efficient Malware Detection Using Model-Checking
Fu Song , Tayssir Touili
formal methods 418 -433
48
2012
Android Stack Machine
Taolue Chen , Jinlong He , Fu Song , Guozhen Wang
computer aided verification 10982 487 -504
3
2018
SCInfer: Refinement-based verification of software countermeasures against side-channel attacks
Jun Zhang , Pengfei Gao , Fu Song , Chao Wang
computer aided verification 10982 157 -177
20
2018
PuMoC: a CTL model-checker for sequential programs
Fu Song , Tayssir Touili
automated software engineering 346 -349
14
2012