|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：hougang@dlut.edu.cn
扫描关注
- [21]刘昆, 孔维强, 侯刚, Fukuda, Akira.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018),2022,125-128
- [22]刘胜蓝, 冯林, Wu, Jun, 侯刚, 韩光洁.Concept drift detection for data stream learning based on angle optimized global embedding and ...[J],COMPUTERS ELECTRICAL ENGINEERING,2022,58:327-336
- [23]林驰, 吴国伟, Yim, Kangbin, 姚琳, 侯刚.Compromising Ad-hoc Networks by Attacking Weakly Connected Dominating Set[A],9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS),2022,213-220
- [24]侯刚, 周宽久, Wu, Yanran, 迟宗正, 王洁, 李明楚.ETSTM: A New Green Software Model[A],15th IEEE Int Conf on Trust, Security and Privacy in Comp and Commun / 10th IEEE Int Conf on Big Data Science and Engineering / 14th IEEE Int Symposium on Parallel and Distributed Proc with Applicat (IEEE Trustcom/BigDataSE/ISPA),2022,1825-1830
- [25]Yuan, Yuan, 孔维强, 侯刚, 胡燕, Watanabe, Masahiko, Fukuda, Akira.From Local to Global Semantic Clone Detection[A],Proceedings - 2019 6th International Conference on Dependable Systems and Their Applications, DSA 2019,2022,13-24
- [26]孔维强, 侯刚, 胡祥培, Ando, Takahiro, Hisazumi, Kenji, Fukuda, Akira.Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC[J],Journal of Information Security and Applications,2022,31(,SI):61-74
- [27]王洁, Deng, Shuangmin, Kang, Junjie, 侯刚.FTEI: A Fault Tolerance Model of FPGA with Endogenous Immunity[A],Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST,2022,356 LNICST:544-557
- [28]Liu, Kun, Zhang, Xiaozhen, 孔维强, 侯刚, Watanabe, Masahiko, Fukuda, Akira.Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs[A],Proceedings - 2019 6th International Conference on Dependable Systems and Their Applications, DSA 2019,2022,25-36
- [29]王洁, 冯斌, Liu, Jiwei, 侯刚.The Dynamic Evaluation Strategy for Evolvable Hardware[A],Ninth International Conference on Frontier of Computer Science and Technology,2022,91-95
- [30]孔维强, 侯刚, 胡祥培, Arimoto, Yasuhito, Watanabe, Masahiko, Ando, Takahiro, Hisazumi, Kenji, Fukuda, Akira.ZipPath: A Simple-but-Useful Path Finder for HSTM Designs in ZIPC[A],1st IEEE International Conference on Agents (ICA),2022,154-157
- [31]周宽久, 侯刚, 张熙菡.Direct3D Player性能优化[J],计算机工程与应用,2007,43(23):97-99,146
- [32]侯刚, Ban Yinfeng, 周宽久, 王洁, 李明楚, Liao Zihao.Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling[A],Ninth International Conference on Frontier of Computer Science and Technology,2015,34-39
- [33]于维扬, 周宽久, 王洁, 侯刚.一种基于FPGA的高性能多模式匹配算法[A],2014年全国计算机体系结构学术年会,2014
- [34]王洁, 于颜硕, 侯刚, 周宽久.一种面向分布式无线网络的正则表达式匹配[J],清华大学学报 自然科学版,2013,53(12):1676
- [35]王洁, 于颜硕, 侯刚, 周宽久.一种面向分布式无线网络的正则表达式匹配方法[A],中国信息安全测评中心,2013,107-119
- [36]王小龙, 周宽久, 侯刚, 勇嘉伟, 王洁.一种定理证明与模型检测融合的软件验证加速方法[A],2014年全国计算机体系结构学术年会,2014
- [37]迟宗正, 侯刚, 赖晓晨, 任志磊, 王洁, 李大奎.依托新技术建设移动辅助教学一体化平台[J],实验室研究与探索,2016,5:166-169,248
- [38]迟宗正, 惠煌, 侯刚, 于成, 赖晓晨, 张政凯.计算机组成原理实验之“微改革”[J],实验室研究与探索,2015,8:154-157
- [39]迟宗正, 侯刚, 赖晓晨, 任志磊, 惠煌, 李大奎.计算机组织与结构课程群开放式实验建设探讨[J],实验室研究与探索,2016,1:150-154
- [40]赖晓晨, 迟宗正, 侯刚.《计算机组织与结构》课程虚拟仿真实验设计[J],现代计算机,2017,28:35-37