Gang Hou

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

Pengfei Li, Haoyu Gao, Jie Wang, 2022, Int. J. Commun. Syst..

Accelerating Software Model Checking Based on Program Backbone

Xiaolong Wang, Gang Hou, Kuanjiu Zhou, 2013, APPT.

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

Guangjie Han, Jun Wu, Shenglan Liu, 2017, Comput. Electr. Eng..

A novel green software evaluation model for cloud robotics

Mingchu Li, Tie Qiu, Xun Cao, 2017, Comput. Electr. Eng..

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

Akira Fukuda, Kun Liu, Gang Hou, 2018, 2018 7th International Congress on Advanced Applied Informatics (IIAI-AAI).

A verification framework for behavioral safety of self‐driving cars

Deyun Lyu, Masahiko Watanabe, Jie Wang, 2022, IET Intelligent Transport Systems.

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

Jie Wang, Gang Hou, Kuanjiu Zhou, 2020, 2019 6th International Conference on Dependable Systems and Their Applications (DSA).

Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm

Jie Wang, Gang Hou, Junjie Kang, 2019, IEEE Access.

From Local to Global Semantic Clone Detection

Yuan Yuan, Yan Hu, Masahiko Watanabe, 2020, 2019 6th International Conference on Dependable Systems and Their Applications (DSA).

Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set

Lin Yao, Chi Lin, Kangbin Yim, 2015, 2015 9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing.