Probabilistic Alternating-Time Mu-Calculus.Fu Song, Yedi Zhang, Yu Tang, Taolue Chen and Zhiwu Xu.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI), Hawaii, USA. January 27-February 1, 2019. (CCF-A)
Android Stack Machine.[Full version]
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu and Jun Yan.
Proceedings of the 30th International Conference on Computer Aided Verification (CAV), Oxford, UK. July 14-17, 2018. (EI,CCF-A)
Optimizing Backbone Filtering.
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu and Fu Song.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering (TASE). Nice, France, September 13-15, 2017.
Modeling and Verifying Google File System.
Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu and Fu Song.
Proceedings of 16th IEEE International Symposium on High Assurance Systems Engineering (HASE). Daytona Beach, FL, USA. 8-10 January, 2015.
Model Checking Dynamic Pushdown Networks.Fu Song and Tayssir Touili.
Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS). Melbourne, Australia. 9-11 December, 2013.
POMMADE:PushdOwn Model-checking for Malware DEtection.Fu Song and Tayssir Touili.
Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013). Russia. August 18-26, 2013.
LTL Model-Checking For Malware Detection.Fu Song and Tayssir Touili.
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Rome, Italy. March 16-24, 2013.
Pushdown Model-Checking for Malware Detection.Fu Song and Tayssir Touili.
Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Tallinn, Estonia. March 24-April 1, 2012. Won the EASST best paper award at ETAPS 2012.