|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼525
联系方式：0411-62274401
电子邮箱：wqkong@dlut.edu.cn
扫描关注
- [21]Kong, Weiqiang, Hou, Gang, Hu, Xiangpei, Ando, Takahiro, Hisazumi, Kenji, Fukuda, Akira, WQ (reprint author), Dalian Univ Technol, Sch Software Technol, Dalian, Peoples R China..Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC[J],JOURNAL OF INFORMATION SECURITY AND APPLICATIONS,2016,31(,SI):61-74
- [22]Kong, Weiqiang, Hou, Gang, Hu, Xiangpei, Arimoto, Yasuhito, Watanabe, Masahiko, Ando, Takahiro, Hisazumi, Kenji, Fukuda, Akira.ZipPath: A Simple-but-Useful Path Finder for HSTM Designs in ZIPC[A],2016,154-157
- [23]孔维强.Translation Method for SysML State Machine Diagram into Simple SPIN Model[A],2016,64-68
- [24]孔维强, 胡祥培.ZipPath: A Simple Path Finder for ZIPC Design[A],2016,154-157
- [25]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
- [26]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
- [27]Jiang, He, Chen, Xin, Zhang, Shuwei, Kong, Weiqiang, Tao.Software for Wearable Devices: Challenges and Opportunities[A],2015,3:592-597
- [28]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