| 2023 | APSEC | A Single-sample Pruning and Clustering Method for Neural Network Verification. | Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong |
| 2021 | ICA3PP | A Modeling and Verification Method of Modbus TCP/IP Protocol. | Jie Wang, Zhichao Chen, Gang Hou, Haoyu Gao, Pengfei Li, Ao Gao, Xintao Wu |
| 2020 | TASE | 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 |
| 2019 | ICPADS | Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. | Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin |
| 2019 | TASE | Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. | Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda |
| 2016 | TrustCom | ETSTM: A New Green Software Model. | Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li |
| 2015 | ICA3PP | Parallel Computing Method for HRV Time-Domain Based on GPU. | Jie Wang, Weihao Chen, Gang Hou |
| 2007 | KSEM | Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time. | Gang Hou, Kuanjiu Zhou, Yang Tian |
| 2006 | ICONIP | A Novel Color Image Watermarking Method Based on Genetic Algorithm and Neural Networks. | Jialing Han, Jun Kong, Yinghua Lu, Yulong Yang, Gang Hou |