Jinyu Kai

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 3

Top Topics

Formal Verification

Temporal Properties

Web Services Composition

Top Venues

Int. J. Softw. Innov.

Publications

Honghao Gao, Huaikou Miao, Lilan Liu, Jinyu Kai, Kun Zhao
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective. Int. J. Softw. Eng. Knowl. Eng. 28 (10) (2018)
Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. SERA (2016)
Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai
Applying Probabilistic Model Checking to Service Discovery Framework. SCC (2016)
Kun Zhao, Huaikou Miao, Jinyu Kai, Jiaan Zhou, Honghao Gao
A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model. ACIT-CSI (2015)
Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao
Survivability prediction of web system based on log statistics. SNPD (2015)
Jinyu Kai, Huaikou Miao, Kun Zhao, Jiaan Zhou, Honghao Gao
A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking. Int. J. Softw. Innov. 3 (2) (2015)
Jinyu Kai, Huaikou Miao, Honghao Gao
Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes). 计算机科学 42 (12) (2015)
Jinyu Kai, Huaikou Miao, Honghao Gao
A requirements description language pLSC for probabilistic branches and three-stage events. SNPD (2014)
Qingsheng Li, Aimin Wang, Jinyu Kai, Jipeng Wang
Research on Multimedia Intelligence Course and Intelligence Classroom Based on Multiple Intelligence Theory. IIH-MSP (2010)