|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼525
联系方式：0411-62274401
电子邮箱：wqkong@dlut.edu.cn
扫描关注
- 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,33(6):885-932
- Wu, Hui-Hui, Zhang, Ya-Nan, Hou, Gang, Watanabe, Masahiko, Wang, Jie, 孔维强.基于凸优化的无人驾驶汽车转向角安全性验证[J],软件学报,2024,34(6):2586-2605
- 熊焕璋, 秦月源, 侯刚, 王洁, 孔维强.A Dual Relaxation Method for Neural Network Verification[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2024
- 唐艺璇, 任志磊, 江贺, 李晓晨, 孔维强.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
- 暂无内容
- 暂无内容