|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼525
联系方式：0411-62274401
电子邮箱：wqkong@dlut.edu.cn
扫描关注
- [1]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
- [2]张小珍, 杨兆铭, 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
- [3]Wu, Hui-Hui, Zhang, Ya-Nan, Hou, Gang, Watanabe, Masahiko, Wang, Jie, 孔维强.基于凸优化的无人驾驶汽车转向角安全性验证[J],软件学报,2024,34(6):2586-2605
- [4]熊焕璋, 秦月源, 侯刚, 王洁, 孔维强.A Dual Relaxation Method for Neural Network Verification[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2024
- [5]唐艺璇, 任志磊, 江贺, 李晓晨, 孔维强.An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Inte...[J],JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2021,36(4):856-876
- [6]Zhen Wang, Xiaoning Han, 孔维强, 侯刚, 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, Fukuda, Akira, Li, Kai, Hu, Yan, 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
- [11]Fukuda, Akira, Ashihara, Shuichi, Ura, Masakatsu, Nakamura, Yoshimichi, Soichiro, Kong, Weiqiang, Li, Guoqiang, Nakanishi, Tsuneo, Hisazumi, Kenji, Kaneko, Kunihiko, Tagashira, Shigeaki, Mine, Tsunenori, Arakawa, Yutaka, Ishida, Shigemi, Ando, Takahiro.Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status - Current ...[A],2018,81-85
- [12]Jiang, He, Nie, Liming, Sun, Zeyi, Ren, Zhilei, Kong, Weiqiang, Zhang, Tao, Luo, Xiapu.ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets[J],IEEE TRANSACTIONS ON SERVICES COMPUTING,2019,12(1):34-46
- [13]Hou, Gang, Kong, Weiqiang, Zhou, Kuanjiu, Wang, Jie, Cao, Xun, Fukud, Akira.Analysis of Interrupt Behavior Based on Probabilistic Model Checking[A],2018,86-91
- [14]Fukuda, Akira, Kong, Weiqiang, Li, Guoqiang, Hisazumi, Kenji, Mine, Tsunenori, Ishida, Shigemi, Ando, Takahiro, Ishibashi, Shota, Tagashira, Shigeaki, Kaneko, Kunihiko, Arakawa, Yutaka.Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview[A],2018,742:35-46
- [15]Liu, Kun, Kong, Weiqiang, Hou, Gang, Fukuda, Akira.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],2018,125-128
- [16]孔维强.Toward Sustainable Smart Mobility Information Infrastructure Platform ：Project Overview[J],New Trends in E-Service and Smart Computing,2018,742:35-46
- [17]刘琨, 孔维强, 侯刚, Akira Fukuda.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],2018,125-128
- [18]侯刚, 周宽久, 曹迅, 孔维强, 王洁, Fukuda Akira.Analysis of Interrupt Behavior Based on Probabilistic[A],2018
- [19]Hou, Gang, Zhou, Kuanjiu, Qiu, Tie, Kong, Weiqiang, Li, Mingchu, T (reprint author), Dalian Univ Technol, Sch Software Technol, Key Lab Ubiquitous Network & Serv Software Liaoni, Dalian 116620, Peoples R China..Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN[J],IEEE ACCESS,2017,5:5178-5189
- [20]Hu, Yan, Kong, Weiqiang, Ren, Yizhi, Choo, Kim-Kwang Raymond, KKR (reprint author), Univ Texas San Antonio, Dept Informat Syst & Cyber Secur, San Antonio, TX 78249 USA..A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Executio...[J],IEEE ACCESS,2017,5:8752-8762