Gang Hou

According to our database, Gang Hou authored at least 42 papers between 2005 and 2024.

Collaborative distances:

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

2024

A Dual Relaxation Method for Neural Network Verification.

Huanzhang Xiong, Gang Hou, Yueyuan Qin, Jie Wang, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., August, 2024

2023

A Single-sample Pruning and Clustering Method for Neural Network Verification.

Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Modeling and reliability verification of industrial control network protocol based on time state transition matrix.

Jie Wang, Xintao Wu, Gang Hou, Pengfei Li, Ao Gao, Zhichao Chen, Haoyu Gao

Int. J. Commun. Syst., 2022

2021

SDLV: Verification of Steering Angle Safety for Self-Driving Cars.

Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong

Formal Aspects Comput., 2021

A Modeling and Verification Method of Modbus TCP/IP Protocol.

Jie Wang, Zhichao Chen, Gang Hou, Haoyu Gao, Pengfei Li, Ao Gao, Xintao Wu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

2020

D2D communication mode selection and resource allocation in 5G wireless networks.

Gang Hou, Lizhu Chen

Comput. Commun., 2020

A model based on CT radiomic features for predicting RT-PCR becoming negative in coronavirus disease 2019 (COVID-19) patients.

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

BMC Medical Imaging, 2020

A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features.

Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm.

Jie Wang, Junjie Kang, Gang Hou

IEEE Access, 2019

High Spectral Resolution Raman Measurements Using Light-Emitting Diode as Excitation Based on Weighted Spectral Reconstruction Method.

Shuo Chen, Mixing Liu, Jing Liu, Lingmin Kong, Wenbin Xu, Gang Hou, Liping Xie, Xiaoyu Cui

IEEE Access, 2019

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.

Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm.

Jie Wang, Junjie Kang, Gang Hou

Proceedings of the Wireless and Satellite Systems, 2019

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin

Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

From Local to Global Semantic Clone Detection.

Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.

Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning.

Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

2018

Managing bioethanol supply chain resiliency: a risk-sharing model to mitigate yield uncertainty risk.

Fei Ye, Gang Hou, Yina Li, Shaoling Fu

Ind. Manag. Data Syst., 2018

A Survey of Formal Techniques for Hardware/Software Co-verification.

Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Analysis of Interrupt Behavior Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

2017

基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model).

Haoran Liang, Kuanjiu Zhou, Kai Cui, Jie Pan, Gang Hou

计算机科学, 2017

Concept drift detection for data stream learning based on angle optimized global embedding and principal component analysis in sensor networks.

Shenglan Liu, Lin Feng, Jun Wu, Gang Hou, Guangjie Han

Comput. Electr. Eng., 2017

A novel green software evaluation model for cloud robotics.

Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang

Comput. Electr. Eng., 2017

Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN.

Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li

IEEE Access, 2017

A Cost-Optimized Resource Provisioning Policy for Heterogeneous Cloud Environments.

Xin Chen, Feng Ding, Tiantian Zhang, Gang Hou, Lan Lan

IEEE Access, 2017

2016

Multi-level Scheduling Algorithm Based on Storm.

Jie Wang, Siguang Hang, Jiwei Liu, Weihao Chen, Gang Hou

KSII Trans. Internet Inf. Syst., 2016

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

J. Inf. Secur. Appl., 2016

ETSTM: A New Green Software Model.

Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

Proceedings of the IEEE International Conference on Agents, 2016

2015

Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set.

Chi Lin, Guowei Wu, Kangbin Yim, Lin Yao, Gang Hou

Proceedings of the 9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2015

Parallel Computing Method for HRV Time-Domain Based on GPU.

Jie Wang, Weihao Chen, Gang Hou

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

The Dynamic Evaluation Strategy for Evolvable Hardware.

Jie Wang, Jiwei Liu, Bin Feng, Gang Hou

Proceedings of the Ninth International Conference on Frontier of Computer Science and Technology, 2015

Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling.

Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao

Proceedings of the Ninth International Conference on Frontier of Computer Science and Technology, 2015

2013

A Novel Image Retrieval Method Based on Mutual Information Descriptors.

Gang Hou, Ke Zhang, Xiaoxue Zhang, Jun Kong, Ming Zhang

Proceedings of the Intelligent Computing Theories and Technology, 2013

Accelerating Software Model Checking Based on Program Backbone.

Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang

Proceedings of the Advanced Parallel Processing Technologies, 2013

Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.

Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li

Proceedings of the Advanced Parallel Processing Technologies, 2013

2012

Software Reliability Test Based on Markov Usage Model.

Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai

J. Softw., 2012

2011

N-Times Trilateral Centroid Weighted Localization Algorithm of Wireless Sensor Networks.

Yu Zhou, Tie Qiu, Feng Xia, Gang Hou

Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

2007

Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time.

Gang Hou, Kuanjiu Zhou, Yang Tian

Proceedings of the Knowledge Science, 2007

2006

A Novel Color Image Watermarking Method Based on Genetic Algorithm and Hybrid Neural Networks.

Yinghua Lu, Jialing Han, Jun Kong, Yulong Yang, Gang Hou

Proceedings of the Rough Sets and Current Trends in Computing, 2006

A Novel Color Image Watermarking Method Based on Genetic Algorithm and Neural Networks.

Jialing Han, Jun Kong, Yinghua Lu, Yulong Yang, Gang Hou

Proceedings of the Neural Information Processing, 13th International Conference, 2006

Resource and Bandwidth Allocation on a Computational Grid with Tree Topology.

Shaoqiang Zhang, Chunyong Ding, Gang Hou

Proceedings of the Grid and Cooperative Computing, 2006

2005

Joint Spatial and Frequency Domains Watermarking Algorithm Based on Wavelet Packets.

Yinghua Lu, Wei Wang, Jun Kong, Jialing Han, Gang Hou

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005