A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model. - Kun Zhao; Huaikou Miao; Jinyu Kai; Jiaan Zhou; Honghao Gao (ACIT-CSI, 2015)

Survivability prediction of web system based on log statistics. - Jiaan Zhou; Huaikou Miao; Jinyu Kai; Kun Zhao; Honghao Gao (SNPD, 2015)

A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking. - Jinyu Kai; Huaikou Miao; Kun Zhao; Jiaan Zhou; Honghao Gao (Int. J. Softw. Innov., 2015)

Usage pattern based survivability prediction of web system. - Xun Lee; Jiaan Zhou; Hao Fu (ICIS, 2016)