|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：
扫描关注
研究领域
[1] 智能软件工程
[2] 对抗机器学习
[3] 智能软件测试
[4] 智能软件形式化验证
[5] 嵌入式软件模糊测试
[6] 嵌入式软件形式化验证
- Wu, Hui-Hui.Zhang, Ya-Nan,侯刚,Watanabe, Masahiko,Wang, Jie,孔维强,Kong, Wei-Qiang.基于凸优化的无人驾驶汽车转向角安全性验证[J],软件学报,2023,34(6):2586-2605
- 侯刚.王洁,孔维强,迟宗正.软件工程专业“智能控制系统”课程建设[J],电气电子教学学报,2024,46(01):58-61
- 熊焕璋.侯刚,王洁,孔维强,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
- 熊焕璋.侯刚,王洁,孔维强,Hou, Gang.秦月源.A Dual Relaxation Method for Neural Network Verification[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2024
- 金乃高.侯刚,王学辉,李非墨.基于主动感知的音视频联合说话人跟踪方法[A],2010年通信理论与信号处理学术年会,2022:531-536
- 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
- 暂无内容
- 暂无内容