孔维强
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职:软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
性别:男
毕业院校:北陆先端科学技术大学院大学
学位:博士
所在单位:软件学院、国际信息与软件学院
学科:软件工程
办公地点:综合楼525
联系方式:0411-62274401
电子邮箱:wqkong@dlut.edu.cn
扫描关注
- [21]Fukuda, Akira, Kong, Weiqiang, Hisazumi, Kenji, Ishida, Shigemi, Tagashira, Shigeaki, Arakawa, Yutaka, Kaneko, Kunihiko, Mine, Tsunenori, Nakanishi, Tsuneo, Furusho, Hiroki.Towards Sustainable Information Infrastructure Platform for Smart Mobility -Project Overview-[A],2016,211-214
- [22]Kong, Weiqiang, Liu, Leyuan, Ando, Takahiro, Yatsu, Hirokazu, Hisazumi, Kenji, Fukuda, Akira, WQ (reprint author), Dalian Univ Technol, Sch Software, Dalian, Peoples R China..Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration(aEuro)[J],COMPUTER JOURNAL,2015,58(11):2824-2840
- [23]Jiang, He, Chen, Xin, Zhang, Shuwei, Kong, Weiqiang, Tao.Software for Wearable Devices: Challenges and Opportunities[A],2015,3:592-597
- [24]Kong, Weiqiang, Ando, Takahiro, Yatsu, Hirokazu, Hisazumi, Kenji, Fukuda, Akira.Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC[A],2015,21-29