Research on Multimedia Intelligence Course and Intelligence Classroom Based on Multiple Intelligence Theory. - Qingsheng Li; Aimin Wang; Jinyu Kai; Jipeng Wang (IIH-MSP, 2010)

A requirements description language pLSC for probabilistic branches and three-stage events. - Jinyu Kai; Huaikou Miao; Honghao Gao (SNPD, 2014)

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)

Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes). - Jinyu Kai; Huaikou Miao; Honghao Gao (计算机科学, 2015)

Applying Probabilistic Model Checking to Service Discovery Framework. - Honghao Gao; Huaikou Miao; Yucong Duan; Jinyu Kai (SCC, 2016)

Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. - Chengyang Mi; Huaikou Miao; Jinyu Kai; Honghao Gao (SERA, 2016)

Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective. - Honghao Gao; Huaikou Miao; Lilan Liu; Jinyu Kai; Kun Zhao (Int. J. Softw. Eng. Knowl. Eng., 2018)