Fu Song

发表

Bo Li, Mengdi Wang, Yongxin Zhao, 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

Chao Wang, Fu Song, Jun Zhang, 2019, ACM Trans. Softw. Eng. Methodol..

Min Zhang, Geguang Pu, Fu Song, 2018, AI Commun..

Tayssir Touili, Fu Song, 2012, TACAS.

Jun Yan, Fu Song, Taolue Chen, 2018, CAV.

Yongzhi Cao, Fu Song, Haiyu Pan, 2019, IEEE Transactions on Fuzzy Systems.

Yang Liu, Fu Song, Bihuan Chen, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

Tayssir Touili, Fu Song, Tayssir Touili, 2013, TACAS.

Fu Song, Fu Song, 2017, Inf. Comput..

Fu Song, Jian Guo, J. M. Zhou, 2009, 2009 International Conference on Information Engineering and Computer Science.

Tayssir Touili, Fu Song, 2013, International Journal on Software Tools for Technology Transfer.

Fu Song, Ji Wang, Wan-Wei Liu, 2020, Journal of Computer Science and Technology.

Tayssir Touili, Fu Song, 2013, ESEC/FSE 2013.

Fu Song, Taolue Chen, Yedi Zhang, 2018, IEEE Access.

Fu Song, Taolue Chen, Zhilin Wu, 2016, SETSS.

Min Zhang, Fu Song, Wanwei Liu, 2017, Science China Information Sciences.

Fu Song, Wanwei Liu, Ge Zhou, 2017, SETTA.

Tayssir Touili, Fu Song, 2011, CONCUR.

Tayssir Touili, Fu Song, 2014, Formal Aspects of Computing.

Fu Song, Zhiwu XU, Kerong Ren, 2019, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Fu Song, Taolue Chen, Zhilin Wu, 2015, CONCUR.

Fu Song, Taolue Chen, Zhilin Wu, 2016, AAAI.

Tayssir Touili, Fu Song, 2013, APLAS.

Fu Song, Taolue Chen, Zhilin Wu, 2017, ICFEM.

Jun Zhang, Min Zhang, Fu Song, 2018, 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Tayssir Touili, Fu Song, Tayssir Touili, 2011, Theor. Comput. Sci..

Tayssir Touili, Fu Song, 2015, Software & Systems Modeling.

Tayssir Touili, Fu Song, 2012, FM.

Tayssir Touili, Fu Song, 2014, APLAS.

Mei Liu, Fu Song, 2010, The 2nd International Conference on Information Science and Engineering.

Taolue Chen, Fu Song, Pengfei Gao, 2020, ACM Trans. Softw. Eng. Methodol..

Jun Zhang, Taolue Chen, Fu Song, 2020, IEEE Transactions on Software Engineering.

Min Zhang, Geguang Pu, Fu Song, 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Kim-Kwang Raymond Choo, Peng Zeng, Fu Song, 2016, Int. J. Netw. Secur..

Tayssir Touili, Fu Song, 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

Yu Tang, Fu Song, Taolue Chen, 2019, AAAI.

Tayssir Touili, Fu Song, Tayssir Touili, 2013, Software & Systems Modeling.

Fu Song, Taolue Chen, Zhilin Wu, 2016, IJCAI.