|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：hougang@dlut.edu.cn
扫描关注
- [1]Wu, Hui-Hui, Zhang, Ya-Nan, 侯刚, Watanabe, Masahiko, Wang, Jie, 孔维强, Kong, Wei-Qiang.基于凸优化的无人驾驶汽车转向角安全性验证[J],软件学报,2023,34(6):2586-2605
- [2]侯刚, 王洁, 孔维强, 迟宗正.软件工程专业“智能控制系统”课程建设[J],电气电子教学学报,2024,46(01):58-61
- [3]熊焕璋, 朱龙, 侯刚, 王洁, 孔维强, Hou, Gang.A Single-sample Pruning and Clustering Method for Neural Network Verification[A],PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023,2007,319-328
- [4]熊焕璋, 秦月源, 侯刚, 王洁, 孔维强, Hou, Gang.A Dual Relaxation Method for Neural Network Verification[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2024
- [5]金乃高, 侯刚, 王学辉, 李非墨.基于主动感知的音视频联合说话人跟踪方法[A],2010年通信理论与信号处理学术年会,2022,531-536
- [6]Wu, Huihui, Lv, Deyun, Cui, Tengxiang, 侯刚, Watanabe, Masahiko, 孔维强.SDLV: Verification of Steering Angle Safety for Self-Driving Cars[J],FORMAL ASPECTS OF COMPUTING,2022,33(3):325-341
- [7]Zhang, Xiaozhen, Kong, Weigiang, Jiang, Jianguo, 侯刚, Fukuda, Akira.Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration[A],2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019),2022,113-120
- [8]王洁, Liu, Jiwei, 侯刚, Yu, Yanshuo, 周宽久.Quality evaluation method of undergraduate thesis references based on Hadoop[J],International Journal of Database Theory and Application,2022,7(4):227-236
- [9]Wang, Jie, Kang, Junjie, 侯刚.Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm[J],IEEE Access,2022,7:35805-35815
- [10]王洁, Kang, Junjie, 侯刚.Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm[A],WIRELESS AND SATELLITE SYSTEMS, PT II,2022,281:145-156
- [11]王洁, Hang, Siguang, Liu, Jiwei, Chen, Weihao, 侯刚.Multi-level Scheduling Algorithm Based on Storm[J],KSII Transactions on Internet and Information Systems,2022,10(3):1091-1110
- [12]侯刚, 王小龙, 周宽久.Network Model Construction and Cascading Effect Analysis for Software Systems[A],3rd World Congress on Software Engineering (WCSE),2022,9-12
- [13]侯刚, Kong, Weigiang, 周宽久, 王洁, 林驰.Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking[A],2019 IEEE 25TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS),2022,844-851
- [14]侯刚, 周宽久, 邱铁, 孔维强, 李明楚.Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN[J],IEEE Access,2022,5:5178-5189
- [15]Chen, Xin, 丁锋, Zhang, Tiantian, 侯刚, Lan, Lan.A Cost-Optimized Resource Provisioning Policy for Heterogeneous Cloud Environments[J],IEEE Access,2022,5:26681-26689
- [16]侯刚, 周宽久, Tian, Yang.Algorithm for public transit trip with minimal transfer times and shortest travel time[A],2nd International Conference on Knowledge Science, Engineering Management,2022,4798:562-+
- [17]Zhen Wang, Xiaoning Han, 孔维强, 侯刚, Masahiko Watanabe, Akira Fukuda.A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features[A],The 14th International Symposium on Theoretical Aspects of Software Engineering,2022
- [18]侯刚, 周宽久, 曹迅, 孔维强, 王洁, Fukuda Akira.Analysis of Interrupt Behavior Based on Probabilistic[A],2018 7th International Congress on Advanced Applied Informatics,2022
- [19]侯刚, 孔维强, 周宽久, 王洁, Cao, Xun, Fukud, Akira.Analysis of Interrupt Behavior Based on Probabilistic Model Checking[A],2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018),2022,86-91
- [20]侯刚, 周宽久, 邱铁, Cao, Xun, 李明楚, 王洁.A novel green software evaluation model for cloud robotics[J],COMPUTERS ELECTRICAL ENGINEERING,2022,63:139-156