Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. - Jianye Hao; Songzheng Song; Yang Liu 003; Jun Sun 001; Lin Gui 002; Jin Song Dong; Ho-fung Leung (PRIMA, 2012)

Improved Reachability Analysis in DTMC via Divide and Conquer. - Songzheng Song; Lin Gui 002; Jun Sun 001; Yang Liu 003; Jin Song Dong (IFM, 2013)

Combining model checking and testing with an application to reliability prediction and distribution. - Lin Gui 002; Jun Sun 001; Yang Liu 003; Yuanjie Si; Jin Song Dong; Xinyu Wang 001 (ISSTA, 2013)

MDP-Based Reliability Analysis of an Ambient Assisted Living System. - Yan Liu 012; Lin Gui 002; Yang Liu 003 (FM, 2014)

SCC-Based Improved Reachability Analysis for Markov Decision Processes. - Lin Gui 002; Jun Sun 001; Songzheng Song; Yang Liu 003; Jin Song Dong (ICFEM, 2014)

RaPiD: a toolkit for reliability analysis of non-deterministic systems. - Lin Gui 002; Jun Sun 001; Yang Liu 003; Truong Khanh Nguyen; Jin Song Dong (SIGSOFT FSE, 2014)

Reliability assessment for distributed systems via communication abstraction and refinement. - Lin Gui 002; Jun Sun 001; Yang Liu 003; Jin Song Dong (ISSTA, 2015)

What Makes Open Source Software Projects Impactful: A Data-Driven Approach. - Huaiwei Yang; Shuang Liu 007; Lin Gui 002; Yongxin Zhao; Jun Sun 001; Junjie Chen 003 (Internetware, 2020)