default search action

combined dblp search
author search
venue search
publication search

ask others

Jinyu Kai

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/GaoMLKZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/GaoMLKZ18
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): 1369-1397 (2018)
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/GaoMDK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/GaoMDK16
Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai:
Applying Probabilistic Model Checking to Service Discovery Framework. SCC 2016: 782-785
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/MiMKG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/MiMKG16
Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao:
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. SERA 2016: 149-154
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsinnov/KaiMZZG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsinnov/KaiMZZG15
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): 24-38 (2015)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/KaiMG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/KaiMG15
Jinyu Kai, Huaikou Miao, Honghao Gao:
Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes). 计算机科学 42(12): 120-123 (2015)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/acit2/ZhaoMKZG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acit2/ZhaoMKZG15
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: 73-78
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/snpd/ZhouMKZG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snpd/ZhouMKZG15
Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao:
Survivability prediction of web system based on log statistics. SNPD 2015: 13-18
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/snpd/KaiMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snpd/KaiMG14
Jinyu Kai, Huaikou Miao, Honghao Gao:
A requirements description language pLSC for probabilistic branches and three-stage events. SNPD 2014: 1-6
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iih-msp/LiWKW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iih-msp/LiWKW10
Qingsheng Li, Aimin Wang, Jinyu Kai, Jipeng Wang:
Research on Multimedia Intelligence Course and Intelligence Classroom Based on Multiple Intelligence Theory. IIH-MSP 2010: 398-401

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.