Chunyan Hou

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jinsong Wang

> Home > Persons > Chunyan Hou

Publications

2022
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LiangHWC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LiangHWC22
Haowei Liang, Chunyan Hou, Jinsong Wang, Chen Chen:
An Extention of Lazy Abstraction and Refinement for Program Verification. COMPSAC 2022: 1750-1755
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/GuoHWC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/GuoHWC22
Hui Guo, Chunyan Hou, Jinsong Wang, Chen Chen:
A K-Induction Method Extended with Value Analysis for C Program Safety Verification. TrustCom 2022: 1072-1077
2021
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LiangHWC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LiangHWC21
Haowei Liang, Chunyan Hou, Jinsong Wang, Chen Chen:
Software Safety Verification Framework based on Predicate Abstraction. COMPSAC 2021: 1327-1332
2018
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/HouWC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/HouWC18
Chunyan Hou, Jinsong Wang, Chen Chen:
Using Hierarchical Scenarios to Predict the Reliability of Component-Based Software. IEICE Trans. Inf. Syst. 101-D(2): 405-414 (2018)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/HouCW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/HouCW18
Chunyan Hou, Chen Chen, Jinsong Wang:
Tree-Based Feature Transformation for Purchase Behavior Prediction. IEICE Trans. Inf. Syst. 101-D(5): 1441-1444 (2018)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HouW0018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HouW0018
Chunyan Hou, Jinsong Wang, Chen Chen, Kai Shi:
Loop Invariant Generation for Non-monotone Loop Structures. COMPSAC (1) 2018: 304-309
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HouCWS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HouCWS16
Chunyan Hou, Chen Chen, Jinsong Wang, Kai Shi:
Reliability Analysis for Software Cluster Systems Based on Proportional Hazard Model. COMPSAC 2016: 32-41
2015
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/HouCWS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/HouCWS15
Chunyan Hou, Chen Chen, Jinsong Wang, Kai Shi:
A Scenario-Based Reliability Analysis Approach for Component-Based Software. IEICE Trans. Inf. Syst. 98-D(3): 617-626 (2015)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijghpc/LiSLWHZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijghpc/LiSLWHZ15
Menglong Li, Kai Shi, Sheng Lin, Jinsong Wang, Chunyan Hou, Peng Zhang:
An Enhanced TCP for Optimizing Channel Utilization in Dynamic Spectrum Access Networks. Int. J. Grid High Perform. Comput. 7(4): 33-46 (2015)

a service of

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.