Follow
Songzheng Song
Title
Cited by
Cited by
Year
Model checking hierarchical probabilistic systems
J Sun, S Song, Y Liu
Formal Methods and Software Engineering: 12th International Conference on …, 2010
582010
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
302014
An effective heuristic-based approach for partitioning
X Zhao, H Zhang, Y Jiang, S Song, X Jiao, M Gu
Journal of Applied Mathematics 2013, 2013
262013
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
232011
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
212012
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
172012
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
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
132016
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
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
102016
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
102012
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
62015
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
42014
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
32015
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
32010
An Efficient Method of Probabilistic Model Checking
S Song
2010 Fourth International Conference on Secure Software Integration and …, 2010
22010
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
The system can't perform the operation now. Try again later.
Articles 1–20