Lin Gui

According to our database, Lin Gui authored at least 8 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

What Makes Open Source Software Projects Impactful: A Data-Driven Approach.

Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2015

Reliability assessment for distributed systems via communication abstraction and refinement.

Lin Gui, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

RaPiD: a toolkit for reliability analysis of non-deterministic systems.

Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

SCC-Based Improved Reachability Analysis for Markov Decision Processes.

Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2014

MDP-Based Reliability Analysis of an Ambient Assisted Living System.

Yan Liu, Lin Gui, Yang Liu

Proceedings of the FM 2014: Formal Methods, 2014

2013

Combining model checking and testing with an application to reliability prediction and distribution.

Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improved Reachability Analysis in DTMC via Divide and Conquer.

Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012