Tong, Yanxiang and Zhou, Yu and Fang, Lisheng and Chen, Taolue (2015) Towards a novel approach for defect localization based on part-of-speech and invocation. In: Internetware 2015. (Accepted/In press)
Gu, Jiayi and Zhou, Yu and Wu, Weigang and Chen, Taolue (2015) Analyzing eventual leader election protocols for dynamic systems by probabilistic model checking. In: First International Conference on Cloud Computing and Security (ICCCS 2015), 13-15 Aug 2015, Nanjing, China.
Su, Guoxin and Chen, Taolue and Feng, Yuan and Rosenblum, David S. and Thiagarajan, P. S. (2016) An iterative decision-making scheme for Markov decision processes and its application to self-adaptive systems. In: 19th International Conference Fundamental Approaches to Software Engineering (FASE 2016), 2-8 Apr 2016, Eindhoven, The Netherlands.
Su, Guoxin and Feng, Yuan and Chen, Taolue and Rosenblum, David S. (2016) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering . ISSN 0098-5589 (Accepted/In press)