Songzheng Song

According to our database, Songzheng Song authored at least 17 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints.

Bihuan Chen, Xin Peng, Yang Liu, Songzheng Song, Jiahuan Zheng, Wenyun Zhao

IEEE Trans. Serv. Comput., 2019

2016

Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking.

Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang

IEEE Trans. Hum. Mach. Syst., 2016

Formalizing and verifying stochastic system architectures using Monterey Phoenix.

Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen

Softw. Syst. Model., 2016

2015

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).

Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.

Akin Günay, Songzheng Song, Yang Liu, Jie Zhang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

An efficient and robust negotiating strategy in bilateral negotiations over multiple items.

Jianye Hao, Songzheng Song, Ho-fung Leung, Zhong Ming

Eng. Appl. Artif. Intell., 2014

SCC-Based Improved Reachability Analysis for Markov Decision Processes.

Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2014

An extensive model checking framework for multi-agent systems.

Songzheng Song, Yang Liu, Jie Zhang, Jun Sun

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

An Effective Heuristic-Based Approach for Partitioning.

Xibin Zhao, Hehua Zhang, Yu Jiang, Songzheng Song, Xun Jiao, Ming Gu

J. Appl. Math., 2013

Improved Reachability Analysis in DTMC via Divide and Conquer.

Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Analyzing multi-agent systems with probabilistic model checking approach.

Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong

Proceedings of the 34th International Conference on Software Engineering, 2012

More Anti-chain Based Refinement Checking.

Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li

Proceedings of the Formal Methods and Software Engineering, 2012

A Model Checker for Hierarchical Probabilistic Real-Time Systems.

Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.

Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li

Proceedings of the Formal Methods and Software Engineering, 2011

2010

An Efficient Method of Probabilistic Model Checking.

Songzheng Song

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Model Checking Hierarchical Probabilistic Systems.

Jun Sun, Songzheng Song, Yang Liu

Proceedings of the Formal Methods and Software Engineering, 2010