| 2015 | AAAI | Automated Analysis of Commitment Protocols Using Probabilistic Model Checking. | Akin Gnay, Songzheng Song, Yang Liu, Jie Zhang |
| 2015 | MODELS | Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). | Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen |
| 2014 | ICFEM | SCC-Based Improved Reachability Analysis for Markov Decision Processes. | Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong |
| 2013 | IFM | Improved Reachability Analysis in DTMC via Divide and Conquer. | Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | CAV | A Model Checker for Hierarchical Probabilistic Real-Time Systems. | Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | ICFEM | More Anti-chain Based Refinement Checking. | Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li |
| 2012 | ICSE | Analyzing multi-agent systems with probabilistic model checking approach. | Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong |
| 2012 | PRIMA | 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 |
| 2011 | ICFEM | PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. | Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li |
| 2010 | ICFEM | Model Checking Hierarchical Probabilistic Systems. | Jun Sun, Songzheng Song, Yang Liu |