Jinyu Kai

According to our database, Jinyu Kai authored at least 9 papers between 2010 and 2018.

Collaborative distances:

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

2018

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

2016

Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.

Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao

Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Applying Probabilistic Model Checking to Service Discovery Framework.

Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes).

Jinyu Kai, Huaikou Miao, Honghao Gao

计算机科学, 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

Survivability prediction of web system based on log statistics.

Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model.

Kun Zhao, Huaikou Miao, Jinyu Kai, Jiaan Zhou, Honghao Gao

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014

A requirements description language pLSC for probabilistic branches and three-stage events.

Jinyu Kai, Huaikou Miao, Honghao Gao

Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

2010

Research on Multimedia Intelligence Course and Intelligence Classroom Based on Multiple Intelligence Theory.

Qingsheng Li, Aimin Wang, Jinyu Kai, Jipeng Wang

Proceedings of the Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), 2010