Songzheng Song

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