Lin Gui
Lin Gui
PhD student in School of Computing, National University of Singapore
No verified email
Title
Cited by
Cited by
Year
Combining model checking and testing with an application to reliability prediction and distribution
L Gui, J Sun, Y Liu, YJ Si, JS Dong, XY Wang
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
152013
SCC-based improved reachability analysis for Markov decision processes
L Gui, J Sun, S Song, Y Liu, JS Dong
International Conference on Formal Engineering Methods, 171-186, 2014
102014
Mdp-based reliability analysis of an ambient assisted living system
Y Liu, L Gui, Y Liu
International Symposium on Formal Methods, 688-702, 2014
92014
Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
J Hao, S Song, Y Liu, J Sun, L Gui, JS Dong, H Leung
International Conference on Principles and Practice of Multi-Agent Systems …, 2012
92012
Improved reachability analysis in DTMC via divide and conquer
S Song, L Gui, J Sun, Y Liu, JS Dong
International Conference on Integrated Formal Methods, 162-176, 2013
82013
Reliability assessment for distributed systems via communication abstraction and refinement
L Gui, J Sun, Y Liu, JS Dong
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
2015
RaPiD: a toolkit for reliability analysis of non-deterministic systems
L Gui, J Sun, Y Liu, TK Nguyen, JS Dong
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
2014
Analytical study on model checking with fairness assumptions
Y SI, L GUI, X YANG
Journal of ZheJiang University (Engineering Science) 48 (7), 1217-1225, 2014
2014
Reliability Analysis of Non-deterministic Systems
GUI LIN
2014
FM2014: Formal Methods, Doctor Symposium
A CAVALCANTI, F ALBERTI, W DENMAN, C MS FILHO, L GUI, ...
2014
The system can't perform the operation now. Try again later.
Articles 1–10