| Model checking hierarchical probabilistic systems J Sun, S Song, Y Liu Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 62 | 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 | 32 | 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 | 28 | 2013 |
| Prts: An approach for model checking probabilistic real-time hierarchical systems J Sun, Y Liu, S Song, JS Dong, X Li Formal Methods and Software Engineering: 13th International Conference on …, 2011 | 23 | 2011 |
| More anti-chain based refinement checking T Wang, S Song, J Sun, Y Liu, JS Dong, X Wang, S Li Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 21 | 2012 |
| A model checker for hierarchical probabilistic real-time systems S Song, J Sun, Y Liu, JS Dong Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 19 | 2012 |
| 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 | 17 | 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 | 17 | 2012 |
| 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, 453-471, 2016 | 13 | 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 |
| 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 |
| 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 |
| Online technical report JY Hao, SZ Song, Y Liu, J Sun, JS Dong, HF Leung | 7 | |
| 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 | 6 | 2015 |
| 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 | 2 | 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 |
