Follow
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
182013
SCC-based improved reachability analysis for Markov decision processes
L Gui, J Sun, S Song, Y Liu, JS Dong
Formal Methods and Software Engineering: 16th International Conference on …, 2014
162014
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
PRIMA 2012: Principles and Practice of Multi-Agent Systems: 15th …, 2012
152012
MDP-based reliability analysis of an ambient assisted living system
Y Liu, L Gui, Y Liu
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
122014
Improved reachability analysis in DTMC via divide and conquer
S Song, L Gui, J Sun, Y Liu, JS Dong
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013
112013
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
Reliability Analysis of Non-deterministic Systems
GUI LIN
2014
FM2014: Formal Methods, Doctor Symposium
A CAVALCANTI, F ALBERTI, W DENMAN, L GUI, TB NGUYEN, TT QUAN, ...
2014
Improved reachability analysis in DTMC via divide and conquer.(2013)
S SONG, L GUI, J SUN, Y LIU, JS DONG
Proceedings of the 10th International Conference, IFM, 10-14, 2013
2013
Reliability assessment for distributed systems via communication abstraction and refinement.(2015)
L GUI, J SUN, Y LIU, JS DONG
Proceedings of the 2015 International Symposium on Software Testing and …, 0
Combining model checking and testing with an application to reliability prediction and distribution.(2013)
L GUI, J SUN, Y LIU, Y SI, JS DONG, X WANG
Proceedings of the 2013 International Symposium on Software Testing and …, 0
Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction.(2012)
J HAO, S SONG, Y LIU, J SUN, L GUI, JS DONG, H LEUNG
Proceedings of the 15th International Conference, Kuching, Sarawak, Malaysia …, 0
RaPiD: A toolkit for reliability analysis of non-deterministic systems.(2014)
L GUI, J SUN, Y LIU, TK NGUYEN, JSD DONG
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 0
The system can't perform the operation now. Try again later.
Articles 1–14