| Model checking hierarchical probabilistic systems J Sun, S Song, Y Liu International Conference on Formal Engineering Methods, 388-403, 2010 | 58 | 2010 |
| An efficient and robust negotiating strategy in bilateral negotiations over multiple items J Hao, S Song, H Leung, Z Ming Engineering Applications of Artificial Intelligence 34, 45-57, 2014 | 35 | 2014 |
| An Effective Heuristic‐Based Approach for Partitioning X Zhao, H Zhang, Y Jiang, S Song, X Jiao, M Gu Journal of Applied Mathematics 2013 (1), 138037, 2013 | 30 | 2013 |
| Prts: An approach for model checking probabilistic real-time hierarchical systems J Sun, Y Liu, S Song, JS Dong, X Li International Conference on Formal Engineering Methods, 147-162, 2011 | 24 | 2011 |
| More anti-chain based refinement checking T Wang, S Song, J Sun, Y Liu, JS Dong, X Wang, S Li International Conference on Formal Engineering Methods, 364-380, 2012 | 22 | 2012 |
| A model checker for hierarchical probabilistic real-time systems S Song, J Sun, Y Liu, JS Dong International Conference on Computer Aided Verification, 705-711, 2012 | 21 | 2012 |
| 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 | 20 | 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 | 17 | 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 | 15 | 2013 |
| Formalizing and verifying stochastic system architectures using Monterey Phoenix S Song, J Zhang, Y Liu, M Auguston, J Sun, JS Dong, T Chen Software & Systems Modeling 15 (2), 453-471, 2016 | 12 | 2016 |
| Architecture-based behavioral adaptation with generated alternatives and relaxed constraints B Chen, X Peng, Y Liu, S Song, J Zheng, W Zhao IEEE Transactions on Services Computing 12 (1), 73-87, 2016 | 11 | 2016 |
| Analyzing multi-agent systems with probabilistic model checking approach S Song, J Hao, Y Liu, J Sun, HF Leung, JS Dong 2012 34th International Conference on Software Engineering (ICSE), 1337-1340, 2012 | 11 | 2012 |
| Improved EGT-Based robustness analysis of negotiation strategies in multiagent systems via model checking S Song, J Hao, Y Liu, J Sun, HF Leung, J Zhang IEEE Transactions on Human-Machine Systems 46 (2), 197-208, 2015 | 7 | 2015 |
| Online technical report JY Hao, SZ Song, Y Liu, J Sun, JS Dong, HF Leung | 7 | |
| An extensive model checking framework for multi-agent systems S Song, Y Liu, J Zhang, J Sun Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 4 | 2014 |
| Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) S Song, Y Liu, M Auguston, J Sun, JS Dong, T Chen 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 3 | 2015 |
| PRTS: Specification and Model Checking J Sun, SZ Song, Y Liu, JS Dong Technical report, 2011. http://www. comp. nus. edu. sg/~ pat/preport. pdf, 2010 | 3 | 2010 |
| An Efficient Method of Probabilistic Model Checking S Song 2010 Fourth International Conference on Secure Software Integration and …, 2010 | 1 | 2010 |
| 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 |
| More anti-chain based refinement checking.(2012) T WANG, S SONG, J SUN, Y LIU, JS DONG, X WANG, S LI Proceedings of the 14th International Conference on Formal Engineering …, 2012 | | 2012 |
