|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：
扫描关注
- [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