Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Academic Titles:软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
Paper Publications
- [1] Wu, Huihui.Lv, Deyun,Cui, Tengxiang,侯刚,Watanabe, Masahiko,KONG Weiqiang.SDLV: Verification of Steering Angle Safety for Self-Driving Cars[J],FORMAL ASPECTS OF COMPUTING,2022,33(3):325-341
- [2] 张小珍.Kong, Hui,KONG Weiqiang.杨兆铭.Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking[J],International Journal of Software Engineering and Knowledge Engineering,33(6):885-932
- [3] Wu, Hui-Hui.Zhang, Ya-Nan,Hou, Gang,Watanabe, Masahiko,Wang, Jie,KONG Weiqiang.基于凸优化的无人驾驶汽车转向角安全性验证[J],软件学报,2024,34(6):2586-2605
- [4] 熊焕璋.侯刚,王洁,KONG Weiqiang.秦月源.A Dual Relaxation Method for Neural Network Verification[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2024
- [5] 唐艺璇.任志磊,江贺,李晓晨,KONG Weiqiang.An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Interface[J],JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2021,36(4):856-876
- [6] Zhen Wang.Xiaoning Han,KONG Weiqiang,侯刚,Masahiko Watanabe,Akira Fukuda.A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features[A],2021
- [7] 侯刚.林驰,孔维强,周宽久,王洁.Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.[A],2019:844-851
- [8] 张小珍.Akira Fukuda,孔维强,江建国,侯刚.Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration[A],2019:113-120
- [9] Wang, Zhen.Kong, Weiqiang,Li, Kai,Hu, Yan,Fukuda, Akira,胡燕,KONG Weiqiang.Multilevel Permission Extraction in Android Applications for Malware Detection[A],2019:221-225
- [10] Tang, Yixuan.Ren, Zhilei,Kong, Weiqiang,Jiang, He.Compiler testing: a systematic literature analysis[J],FRONTIERS OF COMPUTER SCIENCE,2020,14(1):1-20