Gang Hou

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 27

Top Topics

Verification Method

Embedded Software

Behavioral Model

Top Venues

Comput. Electr. Eng.

Publications

Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong
A Single-sample Pruning and Clustering Method for Neural Network Verification. APSEC (2023)
Jie Wang, Xintao Wu, Gang Hou, Pengfei Li, Ao Gao, Zhichao Chen, Haoyu Gao
Modeling and reliability verification of industrial control network protocol based on time state transition matrix. Int. J. Commun. Syst. 35 (9) (2022)
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. Formal Aspects Comput. 33 (3) (2021)
Jie Wang, Zhichao Chen, Gang Hou, Haoyu Gao, Pengfei Li, Ao Gao, Xintao Wu
A Modeling and Verification Method of Modbus TCP/IP Protocol. ICA3PP (3) (2021)
Quan Cai, Si-Yao Du, Si Gao, Guo-Liang Huang, Zheng Zhang, Shu Li, Xin Wang, Pei-Ling Li, Peng Lv, Gang Hou, Lina Zhang
A model based on CT radiomic features for predicting RT-PCR becoming negative in coronavirus disease 2019 (COVID-19) patients. BMC Medical Imaging 20 (1) (2020)
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. TASE (2020)
Gang Hou, Lizhu Chen
D2D communication mode selection and resource allocation in 5G wireless networks. Comput. Commun. 155 (2020)
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin
Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. ICPADS (2019)
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
From Local to Global Semantic Clone Detection. DSA (2019)
Shuo Chen, Mixing Liu, Jing Liu, Lingmin Kong, Wenbin Xu, Gang Hou, Liping Xie, Xiaoyu Cui
High Spectral Resolution Raman Measurements Using Light-Emitting Diode as Excitation Based on Weighted Spectral Reconstruction Method. IEEE Access 7 (2019)
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. DSA (2019)
Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. TASE (2019)
Jie Wang, Junjie Kang, Gang Hou
Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm. WISATS (2) (2019)
Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin
A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning. DSA (2019)
Jie Wang, Junjie Kang, Gang Hou
Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm. IEEE Access 7 (2019)
Fei Ye, Gang Hou, Yina Li, Shaoling Fu
Managing bioethanol supply chain resiliency: a risk-sharing model to mitigate yield uncertainty risk. Ind. Manag. Data Syst. 118 (7) (2018)
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
Analysis of Interrupt Behavior Based on Probabilistic Model Checking. IIAI-AAI (2018)
Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda
A Survey of Formal Techniques for Hardware/Software Co-verification. IIAI-AAI (2018)
Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN. IEEE Access 5 (2017)
Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang
A novel green software evaluation model for cloud robotics. Comput. Electr. Eng. 63 (2017)
Shenglan Liu, Lin Feng, Jun Wu, Gang Hou, Guangjie Han
Concept drift detection for data stream learning based on angle optimized global embedding and principal component analysis in sensor networks. Comput. Electr. Eng. 58 (2017)
Haoran Liang, Kuanjiu Zhou, Kai Cui, Jie Pan, Gang Hou
基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model). 计算机科学 44 (4) (2017)
Xin Chen, Feng Ding, Tiantian Zhang, Gang Hou, Lan Lan
A Cost-Optimized Resource Provisioning Policy for Heterogeneous Cloud Environments. IEEE Access 5 (2017)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. 31 (2016)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA (2016)
Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li
ETSTM: A New Green Software Model. Trustcom/BigDataSE/ISPA (2016)
Jie Wang, Siguang Hang, Jiwei Liu, Weihao Chen, Gang Hou
Multi-level Scheduling Algorithm Based on Storm. KSII Trans. Internet Inf. Syst. 10 (3) (2016)
Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao
Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling. FCST (2015)
Jie Wang, Jiwei Liu, Bin Feng, Gang Hou
The Dynamic Evaluation Strategy for Evolvable Hardware. FCST (2015)
Chi Lin, Guowei Wu, Kangbin Yim, Lin Yao, Gang Hou
Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set. IMIS (2015)
Jie Wang, Weihao Chen, Gang Hou
Parallel Computing Method for HRV Time-Domain Based on GPU. ICA3PP (2) (2015)
Gang Hou, Ke Zhang, Xiaoxue Zhang, Jun Kong, Ming Zhang
A Novel Image Retrieval Method Based on Mutual Information Descriptors. ICIC (2) (2013)
Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li
Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. APPT (2013)
Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang
Accelerating Software Model Checking Based on Program Backbone. APPT (2013)
Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai
Software Reliability Test Based on Markov Usage Model. J. Softw. 7 (9) (2012)
Yu Zhou, Tie Qiu, Feng Xia, Gang Hou
N-Times Trilateral Centroid Weighted Localization Algorithm of Wireless Sensor Networks. iThings/CPSCom (2011)
Gang Hou, Kuanjiu Zhou, Yang Tian
Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time. KSEM (2007)
Shaoqiang Zhang, Chunyong Ding, Gang Hou
Resource and Bandwidth Allocation on a Computational Grid with Tree Topology. GCC (2006)
Jialing Han, Jun Kong, Yinghua Lu, Yulong Yang, Gang Hou
A Novel Color Image Watermarking Method Based on Genetic Algorithm and Neural Networks. ICONIP (3) (2006)
Yinghua Lu, Jialing Han, Jun Kong, Yulong Yang, Gang Hou
A Novel Color Image Watermarking Method Based on Genetic Algorithm and Hybrid Neural Networks. RSCTC (2006)
Yinghua Lu, Wei Wang, Jun Kong, Jialing Han, Gang Hou
Joint Spatial and Frequency Domains Watermarking Algorithm Based on Wavelet Packets. Australian Conference on Artificial Intelligence (2005)