Songzheng Song
Title
Cited by
Cited by
Year
Targeted deletion of FATP5 reveals multiple functions in liver metabolism: alterations in hepatic lipid homeostasis
H Doege, RA Baillie, AM Ortegon, B Tsang, Q Wu, S Punreddy, D Hirsch, ...
Gastroenterology 130 (4), 1245-1258, 2006
2062006
Model checking hierarchical probabilistic systems
J Sun, S Song, Y Liu
International Conference on Formal Engineering Methods, 388-403, 2010
412010
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
242014
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
202013
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
192011
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
172012
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
122012
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
112014
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
92016
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
92012
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
82013
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
82012
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
52016
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
52015
Online technical report
JY Hao, SZ Song, Y Liu, J Sun, JS Dong, HF Leung
5
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
32014
An Efficient Method of Probabilistic Model Checking
S Song
2010 Fourth International Conference on Secure Software Integration and …, 2010
22010
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
22010
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
12015
Abnormal methionine metabolism in alcoholic liver disease.
CJ McClain, SY Song, I Deaciuc, T Chen, S Barve
ALCOHOLISM-CLINICAL AND EXPERIMENTAL RESEARCH 29 (5), 183A-183A, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–20