|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼525
联系方式：
电子邮箱：
移动版主页
研究领域
- 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
- 张小珍.Kong, Hui,孔维强.杨兆铭.Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2023,33(06):885-932
- Wu, Hui-Hui.Zhang, Ya-Nan,Hou, Gang,Watanabe, Masahiko,Wang, Jie,孔维强.基于凸优化的无人驾驶汽车转向角安全性验证[J],软件学报,2023,34(6):2586-2605
- 熊焕璋.侯刚,王洁,孔维强.秦月源.A Dual Relaxation Method for Neural Network Verification[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2024,34(08):1199-1220
- 唐艺璇.任志磊,江贺,李晓晨,孔维强.An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Interface[J],JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2021,36(4):856-876
- Zhen Wang.Xiaoning Han,孔维强,侯刚,Masahiko Watanabe,Akira Fukuda.A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features[A],2021
- 暂无内容
- 暂无内容
- JOINT RESEARCH AND DEVELOPMENT AGREEMENT (LLM Test and LLM Unit Test),国际合作项目,委托开发,2024-12-16,2026-09-01,结题
- 智能无缆海洋机器人操作系统关键技术,国家自然科学基金项目,2024-08-23,在研
- 车联网通用漏洞数据验证服务,企事业单位委托科技项目,一般性技术服务,2023-04-03,2026-09-01,结题
- 自动驾驶验证与研究（五）,企事业单位委托科技项目,委托开发,2023-04-01,2026-09-01,结题
- 重点低慢小目标防御系统调度算法研制,企事业单位委托科技项目,2024-02-29,在研
- 汽车漏洞数据验证服务,企事业单位委托科技项目,一般性技术服务,2024-05-15,2026-09-01,结题