Gang Hou

48 papers B 1C 2Misc 2Journal 22Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Carbon nanotube identification model based on improved OTSU profile extraction method.
Signal Image Video Process.
Gang Hou, Yinghua Lu, Zhiqiang Ma, Suhua Wang, Lizhu Chen
2025 J jnl
Dual-timescale hierarchical MADDPG for Multi-UAV cooperative search.
J. King Saud Univ. Comput. Inf. Sci.
Jiancheng Liu, Siwen Wei, Bo Li, Tuo Wang, Wanlong Qi, Xingye Han, Gang Hou, Ke Li, Yuqing Lin, Dingrui Xue, Kexin Wang
2025 J jnl
MPD-RL: Meta-path-driven reinforcement learning for enhancing resilience in unmanned weapon system-of-systems.
J. Supercomput.
Zaikun Han, Siwen Wei, Dingrui Xue, Yuqing Lin, Ke Li, Jiancheng Liu, Xingye Han, Gang Hou, Junxiong Ye, Kexin Wang
2025 J jnl
Space-Constrained Random Sparse Adversarial Attack.
Neurocomputing
Yueyuan Qin, Gang Hou, Tingting Yu, Bing Gao, Weiqiang Kong, Xiaoshan Liu
2025 J jnl
TreePPFL: A Verifiable Secure and Efficient Federated Learning Framework.
Concurr. Comput. Pract. Exp.
Chuan Liu, Ce Zhai, Wenchao Zhao, Xin Qi, Ruizhong Du, Gang Hou
2024 J jnl
A Dual Relaxation Method for Neural Network Verification.
Int. J. Softw. Eng. Knowl. Eng.
Huanzhang Xiong, Gang Hou, Yueyuan Qin, Jie Wang, Weiqiang Kong
2024 J jnl
Resilience Augmentation in Unmanned Weapon Systems via Multi-Layer Attention Graph Convolutional Neural Networks.
Comput. Mater. Continua
Kexin Wang, Yingdong Gou, Dingrui Xue, Jiancheng Liu, Wanlong Qi, Gang Hou, Bo Li
2023 C conf
A Single-sample Pruning and Clustering Method for Neural Network Verification.
APSEC
Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong
2022 J jnl
Modeling and reliability verification of industrial control network protocol based on time state transition matrix.
Int. J. Commun. Syst.
Jie Wang, Xintao Wu, Gang Hou, Pengfei Li, Ao Gao, Zhichao Chen, Haoyu Gao
2021 — conf
A Modeling and Verification Method of Modbus TCP/IP Protocol.
ICA3PP (3)
Jie Wang, Zhichao Chen, Gang Hou, Haoyu Gao, Pengfei Li, Ao Gao, Xintao Wu
2021 J jnl
SDLV: Verification of Steering Angle Safety for Self-Driving Cars.
Formal Aspects Comput.
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
2020 Misc conf
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features.
TASE
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
2020 J jnl
A model based on CT radiomic features for predicting RT-PCR becoming negative in coronavirus disease 2019 (COVID-19) patients.
BMC Medical Imaging
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
2020 J jnl
D2D communication mode selection and resource allocation in 5G wireless networks.
Comput. Commun.
Gang Hou, Lizhu Chen
2019 — conf
A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning.
DSA
Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin
2019 — conf
From Local to Global Semantic Clone Detection.
DSA
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
2019 J jnl
High Spectral Resolution Raman Measurements Using Light-Emitting Diode as Excitation Based on Weighted Spectral Reconstruction Method.
IEEE Access
Shuo Chen, Mixing Liu, Jing Liu, Lingmin Kong, Wenbin Xu, Gang Hou, Liping Xie, Xiaoyu Cui
2019 — conf
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.
DSA
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
2019 B conf
Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.
ICPADS
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin
2019 J jnl
Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm.
IEEE Access
Jie Wang, Junjie Kang, Gang Hou
2019 — conf
Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm.
WISATS (2)
Jie Wang, Junjie Kang, Gang Hou
2019 Misc conf
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.
TASE
Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda
2018 — conf
A Survey of Formal Techniques for Hardware/Software Co-verification.
IIAI-AAI
Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda
2018 — conf
Analysis of Interrupt Behavior Based on Probabilistic Model Checking.
IIAI-AAI
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
2018 J jnl
Managing bioethanol supply chain resiliency: a risk-sharing model to mitigate yield uncertainty risk.
Ind. Manag. Data Syst.
Fei Ye, Gang Hou, Yina Li, Shaoling Fu
2017 J jnl
A Cost-Optimized Resource Provisioning Policy for Heterogeneous Cloud Environments.
IEEE Access
Xin Chen, Feng Ding, Tiantian Zhang, Gang Hou, Lan Lan
2017 J jnl
A novel green software evaluation model for cloud robotics.
Comput. Electr. Eng.
Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang
2017 J jnl
Concept drift detection for data stream learning based on angle optimized global embedding and principal component analysis in sensor networks.
Comput. Electr. Eng.
Shenglan Liu, Lin Feng, Jun Wu, Gang Hou, Guangjie Han
2017 J jnl
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN.
IEEE Access
Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li
2017 J jnl
基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model).
计算机科学
Haoran Liang, Kuanjiu Zhou, Kai Cui, Jie Pan, Gang Hou
2016 — conf
ETSTM: A New Green Software Model.
Trustcom/BigDataSE/ISPA
Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li
2016 J jnl
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.
J. Inf. Secur. Appl.
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
2016 J jnl
Multi-level Scheduling Algorithm Based on Storm.
KSII Trans. Internet Inf. Syst.
Jie Wang, Siguang Hang, Jiwei Liu, Weihao Chen, Gang Hou
2016 — conf
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.
ICA
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
2015 — conf
Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set.
IMIS
Chi Lin, Guowei Wu, Kangbin Yim, Lin Yao, Gang Hou
2015 — conf
Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling.
FCST
Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao
2015 — conf
Parallel Computing Method for HRV Time-Domain Based on GPU.
ICA3PP (2)
Jie Wang, Weihao Chen, Gang Hou
2015 — conf
The Dynamic Evaluation Strategy for Evolvable Hardware.
FCST
Jie Wang, Jiwei Liu, Bin Feng, Gang Hou
2013 — conf
A Novel Image Retrieval Method Based on Mutual Information Descriptors.
ICIC (2)
Gang Hou, Ke Zhang, Xiaoxue Zhang, Jun Kong, Ming Zhang
2013 — conf
Accelerating Software Model Checking Based on Program Backbone.
APPT
Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang
2013 — conf
Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.
APPT
Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li
2012 J jnl
Software Reliability Test Based on Markov Usage Model.
J. Softw.
Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai
2011 — conf
N-Times Trilateral Centroid Weighted Localization Algorithm of Wireless Sensor Networks.
iThings/CPSCom
Yu Zhou, Tie Qiu, Feng Xia, Gang Hou
2007 C conf
Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time.
KSEM
Gang Hou, Kuanjiu Zhou, Yang Tian
2006 — conf
A Novel Color Image Watermarking Method Based on Genetic Algorithm and Hybrid Neural Networks.
RSCTC
Yinghua Lu, Jialing Han, Jun Kong, Yulong Yang, Gang Hou
2006 — conf
A Novel Color Image Watermarking Method Based on Genetic Algorithm and Neural Networks.
ICONIP (3)
Jialing Han, Jun Kong, Yinghua Lu, Yulong Yang, Gang Hou
2006 — conf
Resource and Bandwidth Allocation on a Computational Grid with Tree Topology.
GCC
Shaoqiang Zhang, Chunyong Ding, Gang Hou
2005 — conf
Joint Spatial and Frequency Domains Watermarking Algorithm Based on Wavelet Packets.
Australian Conference on Artificial Intelligence
Yinghua Lu, Wei Wang, Jun Kong, Jialing Han, Gang Hou