Lin Gui

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 1

Top Topics

Markov Decision Processes

Reachability Analysis

Temporal Properties

Top Venues

Publications

Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen
What Makes Open Source Software Projects Impactful: A Data-Driven Approach. Internetware (2020)
Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA (2015)
Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong
RaPiD: a toolkit for reliability analysis of non-deterministic systems. SIGSOFT FSE (2014)
Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong
SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM (2014)
Yan Liu, Lin Gui, Yang Liu
MDP-Based Reliability Analysis of an Ambient Assisted Living System. FM (2014)
Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang
Combining model checking and testing with an application to reliability prediction and distribution. ISSTA (2013)
Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
Improved Reachability Analysis in DTMC via Divide and Conquer. IFM (2013)
Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA (2012)