Fu Song - RankMe

137 papers A* 14A 8B 11C 1Misc 7Journal 76Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Formally Verified Procedure for Width Inference in FIRRTL. ESOP (2) Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen
2026	J	`jnl`	A Formally Verified Procedure for Width Inference in FIRRTL. CoRR Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Taolue Chen, Fu Song, David N. Jansen
2026	J	`jnl`	Can LLM Aid in Solving Constraints with Inductive Definitions? CoRR Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu
2026	J	`jnl`	Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification. CoRR Jingyang Li, Fu Song, Guoqiang Li
2026	J	`jnl`	SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression. CoRR Jingyang Li, Fu Song, Guoqiang Li
2026	J	`jnl`	χ RVFormal: Formal verification of RISC-V processor Chisel designs. J. Syst. Archit. Shidong Shen, Shijie Chen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu
2025	J	`jnl`	AudioJailbreak: Jailbreak Attacks against End-to-End Large Audio-Language Models. CoRR Guangke Chen, Fu Song, Zhe Zhao, Xiaojun Jia, Yang Liu, Yanchen Qiao, Weizhe Zhang
2025	A	`conf`	BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. ICCAD Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu
2025	J	`jnl`	Decision Procedure for A Theory of String Sequences. CoRR Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025	B	`conf`	Decision Procedure for a Theory of String Sequences. APLAS Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025	J	`jnl`	Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems. ACM Trans. Softw. Eng. Methodol. Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li, David Lo
2025	—	`conf`	LaserGuider: A Laser Based Physical Backdoor Attack Against Deep Neural Networks. ACNS (3) Yongjie Xu, Guangke Chen, Fu Song, Yuqi Chen
2025	A*	`conf`	SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers. NDSS Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
2025	A*	`conf`	Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. AAAI Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
2025	J	`jnl`	Verification of Bit-Flip Attacks against Quantized Neural Networks. CoRR Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong
2025	J	`jnl`	Verification of Bit-Flip Attacks against Quantized Neural Networks. Proc. ACM Program. Lang. Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong
2024	J	`jnl`	A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion. CoRR Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
2024	J	`jnl`	Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. ACM Trans. Softw. Eng. Methodol. Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
2024	J	`jnl`	Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples. ACM Trans. Softw. Eng. Methodol. Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun
2024	—	`conf`	Certified Quantization Strategy Synthesis for Neural Networks. FM (1) Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong
2024	—	`conf`	Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks. FM (2) Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu
2024	J	`jnl`	Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. Pengfei Gao, Fu Song, Taolue Chen
2024	J	`jnl`	EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. Proc. ACM Program. Lang. Pu Sun, Fu Song, Yuqi Chen, Taolue Chen
2024	A	`conf`	FDI: Attack Neural Code Generation Systems through User Feedback Channel. ISSTA Zhensu Sun, Xiaoning Du, Xiapu Luo, Fu Song, David Lo, Li Li
2024	J	`jnl`	FDI: Attack Neural Code Generation Systems through User Feedback Channel. CoRR Zhensu Sun, Xiaoning Du, Xiapu Luo, Fu Song, David Lo, Li Li
2024	Misc	`conf`	Formal Verification of RISC-V Processor Chisel Designs. SETTA Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu
2024	—	`conf`	K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language. CPSS@AsiaCCS Zichen Wang, Jingyi Wang, Fu Song, Kun Wang, Hongyi Pu, Peng Cheng
2024	J	`jnl`	LaserGuider: A Laser Based Physical Backdoor Attack against Deep Neural Networks. CoRR Yongjie Xu, Guangke Chen, Fu Song, Yuqi Chen
2024	J	`jnl`	Preface to the Special Issue on Formal Methods and Applications. Int. J. Softw. Informatics Qinxiang Cao, Fu Song, Naijun Zhan
2024	J	`jnl`	Qualitative and Quantitative Model Checking Against Recurrent Neural Networks. J. Comput. Sci. Technol. Zhen Liang, Wan-Wei Liu, Fu Song, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
2024	J	`jnl`	SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits. IACR Trans. Cryptogr. Hardw. Embed. Syst. Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu
2024	A*	`conf`	SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. NDSS Guangke Chen, Yedi Zhang, Fu Song
2024	J	`jnl`	Towards Efficient Verification of Constant-Time Cryptographic Implementations. CoRR Luwei Cai, Fu Song, Taolue Chen
2024	J	`jnl`	Towards Efficient Verification of Constant-Time Cryptographic Implementations. Proc. ACM Softw. Eng. Luwei Cai, Fu Song, Taolue Chen
2024	J	`jnl`	Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. CoRR Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
2024	A*	`conf`	When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference. ICSE Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Li Li
2024	J	`jnl`	When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference. CoRR Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Li Li
2023	—	`conf`	An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
2023	J	`jnl`	An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. CoRR Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
2023	J	`jnl`	An Empirical Study of Bugs in Open-Source Federated Learning Framework. CoRR Weijie Shao, Yuyang Gao, Fu Song, Sen Chen, Lingling Fan
2023	—	`conf`	Automated Verification of Correctness for Masked Arithmetic Programs. CAV (3) Mingyang Liu, Fu Song, Taolue Chen
2023	J	`jnl`	Automated Verification of Correctness for Masked Arithmetic Programs. CoRR Mingyang Liu, Fu Song, Taolue Chen
2023	—	`conf`	CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models. ESEC/SIGSOFT FSE Zhensu Sun, Xiaoning Du, Fu Song, Li Li
2023	J	`jnl`	CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models. CoRR Zhensu Sun, Xiaoning Du, Fu Song, Li Li
2023	J	`jnl`	Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert
2023	—	`conf`	Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems. ICSE Companion Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li
2023	J	`jnl`	Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol. Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2023	—	`conf`	QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) Yedi Zhang, Fu Song, Jun Sun
2023	A*	`conf`	QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. USENIX Security Symposium Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
2023	J	`jnl`	QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. CoRR Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
2023	J	`jnl`	SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu
2023	A*	`conf`	SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison. DAC Limin Wang, Lei Bu, Fu Song
2023	J	`jnl`	SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. CoRR Guangke Chen, Yedi Zhang, Fu Song
2023	J	`jnl`	Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition. IEEE Trans. Dependable Secur. Comput. Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Feng Wang, Jiashui Wang
2023	J	`jnl`	VenomAttack: automated and adaptive activity hijacking in Android. Frontiers Comput. Sci. Pu Sun, Sen Chen, Lingling Fan, Pengfei Gao, Fu Song, Min Yang
2022	J	`jnl`	AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems. CoRR Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu
2022	J	`jnl`	Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. CoRR Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
2022	B	`conf`	CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. SAS Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
2022	A*	`conf`	CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning. WWW Zhensu Sun, Xiaoning Du, Fu Song, Mingze Ni, Li Li
2022	—	`conf`	DeJITLeak: eliminating JIT-induced timing side-channel leaks. ESEC/SIGSOFT FSE Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
2022	J	`jnl`	ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation. J. Syst. Archit. Yongjie Xu, Fu Song, Taolue Chen
2022	J	`jnl`	Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Trans. Software Eng. Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen
2022	J	`jnl`	Learning to Prevent Profitless Neural Code Completion. CoRR Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li
2022	J	`jnl`	Model-based automated testing of JavaScript Web applications via longer test sequences. Frontiers Comput. Sci. Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen
2022	—	`conf`	PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. CAV (1) Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu
2022	J	`jnl`	Preface to Special Issue on System Software Security. Int. J. Softw. Informatics Min Yang, Chao Zhang, Fu Song, Yuan Zhang
2022	J	`jnl`	Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation. CoRR Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
2022	J	`jnl`	QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR Yedi Zhang, Fu Song, Jun Sun
2022	A*	`conf`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022	J	`jnl`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022	J	`jnl`	Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain. IEEE Trans. Dependable Secur. Comput. Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song
2022	J	`jnl`	Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition. CoRR Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Feng Wang, Jiashui Wang
2021	J	`jnl`	A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. ACM Trans. Softw. Eng. Methodol. Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
2021	J	`jnl`	Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers. Int. J. Intell. Syst. Fu Song, Yusi Lei, Sen Chen, Lingling Fan, Yang Liu
2021	J	`jnl`	Attack as Defense: Characterizing Adversarial Examples using Robustness. CoRR Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
2021	A	`conf`	Attack as defense: characterizing adversarial examples using robustness. ISSTA Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
2021	—	`conf`	BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. CAV (1) Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2021	J	`jnl`	BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. CoRR Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2021	J	`jnl`	CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning. CoRR Zhensu Sun, Xiaoning Du, Fu Song, Mingze Ni, Li Li
2021	Misc	`conf`	ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. SETTA Yongjie Xu, Fu Song, Taolue Chen
2021	A	`conf`	Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
2021	Misc	`conf`	Inferring Loop Invariants for Multi-Path Loops. TASE Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun
2021	A	`conf`	Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps. ISSRE Sen Chen, Lingling Fan, Cuiyun Gao, Fu Song, Yang Liu
2021	J	`jnl`	SEC4SR: A Security Analysis Platform for Speaker Recognition. CoRR Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu
2021	A*	`conf`	Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. SP Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu
2020	J	`jnl`	A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. CoRR Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
2020	J	`jnl`	Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. CoRR Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song
2020	J	`jnl`	Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers. CoRR Yusi Lei, Sen Chen, Lingling Fan, Fu Song, Yang Liu
2020	A	`conf`	Patch based vulnerability matching for binary programs. ISSTA Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu
2020	J	`jnl`	Verifying ReLU Neural Networks from a Model Checking Perspective. J. Comput. Sci. Technol. Wan-Wei Liu, Fu Song, Tanghaoran Zhang, Ji Wang
2019	Misc	`conf`	Android Malware Family Classification and Characterization Using CFG and DFG. TASE Zhiwu Xu, Kerong Ren, Fu Song
2019	J	`jnl`	Fuzzy Pushdown Termination Games. IEEE Trans. Fuzzy Syst. Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian
2019	J	`jnl`	Making Agents' Abilities Explicit. IEEE Access Yedi Zhang, Fu Song, Taolue Chen
2019	J	`jnl`	Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences. CoRR Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su
2019	A*	`conf`	Probabilistic Alternating-Time AAAI Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu
2019	—	`conf`	Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. TACAS (1) Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
2019	J	`jnl`	Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks. CoRR Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
2019	B	`conf`	SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
2019	J	`jnl`	Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack. CoRR Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song
2019	J	`jnl`	Verifying and Quantifying Side-channel Resistance of Masked Software Implementations. ACM Trans. Softw. Eng. Methodol. Pengfei Gao, Jun Zhang, Fu Song, Chao Wang
2019	J	`jnl`	Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. CoRR Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu
2018	J	`jnl`	Analyzing pushdown systems with stack manipulation. Inf. Comput. Fu Song
2018	—	`conf`	Android Stack Machine. CAV (2) Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
2018	Misc	`conf`	KRust: A Formal Executable Semantics of Rust. TASE Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
2018	J	`jnl`	KRust: A Formal Executable Semantics of Rust. CoRR Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
2018	J	`jnl`	Making Agents' Abilities Explicit. CoRR Yedi Zhang, Fu Song, Taolue Chen
2018	—	`conf`	SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. CAV (2) Jun Zhang, Pengfei Gao, Fu Song, Chao Wang
2018	J	`jnl`	Towards backbone computing: A Greedy-Whitening based approach. AI Commun. Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
2017	C	`conf`	Model Checking Pushdown Epistemic Game Structures. ICFEM Taolue Chen, Fu Song, Zhilin Wu
2017	J	`jnl`	On the complexity of Sci. China Inf. Sci. Yusi Lei, Fu Song, Wanwei Liu, Min Zhang
2017	Misc	`conf`	Optimizing backbone filtering. TASE Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
2017	Misc	`conf`	Reasoning About Periodicity on Infinite Words. SETTA Wanwei Liu, Fu Song, Ge Zhou
2017	A*	`conf`	SPAIN: security patch analysis for binaries towards understanding the pain and pills. ICSE Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Fu Song
2017	B	`conf`	Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR Taolue Chen, Fu Song, Zhilin Wu
2016	J	`jnl`	An Improved Online/Offline Identity-Based Signature Scheme for WSNs. Int. J. Netw. Secur. Ya Gao, Peng Zeng, Kim-Kwang Raymond Choo, Fu Song
2016	—	`conf`	Formal Reasoning on Infinite Data Values: An Ongoing Quest. SETSS Taolue Chen, Fu Song, Zhilin Wu
2016	A*	`conf`	Global Model Checking on Pushdown Multi-Agent Systems. AAAI Taolue Chen, Fu Song, Zhilin Wu
2016	J	`jnl`	LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks. CoRR Fu Song, Tayssir Touili
2016	J	`jnl`	Model-checking software library API usage rules. Softw. Syst. Model. Fu Song, Tayssir Touili
2016	J	`jnl`	On temporal logics with data variable quantifications: Decidability and complexity. Inf. Comput. Fu Song, Zhilin Wu
2016	A*	`conf`	Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI Taolue Chen, Fu Song, Zhilin Wu
2015	J	`jnl`	Model checking dynamic pushdown networks. Formal Aspects Comput. Fu Song, Tayssir Touili
2015	—	`conf`	Modeling and Verifying Google File System. HASE Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
2015	B	`conf`	On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. CONCUR Fu Song, Weikai Miao, Geguang Pu, Min Zhang
2015	B	`conf`	On the Satisfiability of Indexed Linear Temporal Logics. CONCUR Taolue Chen, Fu Song, Zhilin Wu
2014	J	`jnl`	Efficient CTL model-checking for pushdown systems. Theor. Comput. Sci. Fu Song, Tayssir Touili
2014	—	`conf`	Extending Temporal Logics with Data Variable Quantifications. FSTTCS Fu Song, Zhilin Wu
2014	B	`conf`	Model-Checking for Android Malware Detection. APLAS Fu Song, Tayssir Touili
2014	J	`jnl`	Pushdown model checking for malware detection. Int. J. Softw. Tools Technol. Transf. Fu Song, Tayssir Touili
2013	A	`conf`	LTL Model-Checking for Malware Detection. TACAS Fu Song, Tayssir Touili
2013	B	`conf`	Model Checking Dynamic Pushdown Networks. APLAS Fu Song, Tayssir Touili
2013	B	`conf`	Model-Checking Software Library API Usage Rules. IFM Fu Song, Tayssir Touili
2013	—	`conf`	PoMMaDe: pushdown model-checking for malware detection. ESEC/SIGSOFT FSE Fu Song, Tayssir Touili
2012	B	`conf`	Efficient Malware Detection Using Model-Checking. FM Fu Song, Tayssir Touili
2012	A*	`conf`	PuMoC: a CTL model-checker for sequential programs. ASE Fu Song, Tayssir Touili
2012	A	`conf`	Pushdown Model Checking for Malware Detection. TACAS Fu Song, Tayssir Touili
2011	B	`conf`	Efficient CTL Model-Checking for Pushdown Systems. CONCUR Fu Song, Tayssir Touili