| 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 | 15 | 2013 |
| 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 | 13 | 2014 |
| MDP-based reliability analysis of an ambient assisted living system Y Liu, L Gui, Y Liu International Symposium on Formal Methods, 688-702, 2014 | 9 | 2014 |
| 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 | 9 | 2012 |
| 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 | 8 | 2013 |
| 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, L GUI, TB NGUYEN, TT QUAN, ... | | 2014 |
Yang LiuUniversity Leadership Forum Chair Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
