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 | 18 | 2013 |
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 | 16 | 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 PRIMA 2012: Principles and Practice of Multi-Agent Systems: 15th …, 2012 | 16 | 2012 |
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 | 12 | 2014 |
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 | 11 | 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 |
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 | | |