Songzheng Song

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 3

Top Topics

Markov Decision Process

Formal Verification

Reachability Analysis

Alternating Time Temporal Logic

Top Venues

IEEE Trans. Serv. Comput.

Publications

Bihuan Chen, Xin Peng, Yang Liu, Songzheng Song, Jiahuan Zheng, Wenyun Zhao
Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints. IEEE Trans. Serv. Comput. 12 (1) (2019)
Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15 (2) (2016)
Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang
Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). MoDELS (2015)
Akin Günay, Songzheng Song, Yang Liu, Jie Zhang
Automated Analysis of Commitment Protocols Using Probabilistic Model Checking. AAAI (2015)
Songzheng Song, Yang Liu, Jie Zhang, Jun Sun
An extensive model checking framework for multi-agent systems. AAMAS (2014)
Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong
SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM (2014)
Jianye Hao, Songzheng Song, Ho-fung Leung, Zhong Ming
An efficient and robust negotiating strategy in bilateral negotiations over multiple items. Eng. Appl. Artif. Intell. 34 (2014)
Xibin Zhao, Hehua Zhang, Yu Jiang, Songzheng Song, Xun Jiao, Ming Gu
An Effective Heuristic-Based Approach for Partitioning. J. Appl. Math. 2013 (2013)
Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
Improved Reachability Analysis in DTMC via Divide and Conquer. IFM (2013)
Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong
Analyzing multi-agent systems with probabilistic model checking approach. ICSE (2012)
Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA (2012)
Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong
A Model Checker for Hierarchical Probabilistic Real-Time Systems. CAV (2012)
Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li
More Anti-chain Based Refinement Checking. ICFEM (2012)
Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM (2011)
Jun Sun, Songzheng Song, Yang Liu
Model Checking Hierarchical Probabilistic Systems. ICFEM (2010)
Songzheng Song
An Efficient Method of Probabilistic Model Checking. SSIRI (Companion) (2010)