基本信息Personal Information
教授博士生导师
硕士生导师
主要任职：软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
在职信息：在职
所在单位：软件学院
学科：软件工程
办公地点：综合楼525
联系方式：**
电子邮箱：
扫描关注
同专业博导同专业硕导个人学术主页
教育经历Education Background
工作经历Work Experience
2003.102006.9
北陆先端科学技术大学院大学
信息科学
博士
2000.92003.6
武汉大学
软件与理论
硕士
1996.92000.6
武汉大学
软件专业
学士
1993.91996.6
辽宁省抚顺第二中学
2014.9至今
大连理工大学软件学院
教授
2012.12014.9
日本九州大学
研究副教授
2008.112011.12
福冈县产业科学技术振兴集团
研究员
2006.102008.10
北陆先端科学技术大学院大学
博士后
研究方向Research Focus
社会兼职Social Affiliations
可信软件技术：通过形式验证（Formal Verification）技术来提高软件系统可靠性的研究。形式验证的主要思想为：将软件系统（设计或程序代码）进行抽象建模，利用公式对系统应具有的性质（Property）进行描述，之后使用半自动的定理证明（Theorem Proving）或全自动的模型检查（Model Checking）技术分析系统模型的所有运行行为，以检验模型是否满足所描述的性质。
基本信息Personal Information
教授博士生导师
硕士生导师
主要任职：软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
在职信息：在职
所在单位：软件学院
学科：软件工程
办公地点：综合楼525
联系方式：**
电子邮箱：
扫描关注
同专业博导同专业硕导个人学术主页
当前位置: 中文主页 >> 科学研究
研究领域
论文成果 More>>
Tang, Yixuan,Ren, Zhilei,Kong, Weiqiang,Jiang, He.Compiler testing: a systematic literature analysis[J],FRONTIERS OF COMPUTER SCIENCE,2020,14(1):1-20
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
Liu, Kun,Kong, Weiqiang,Hou, Gang,Fukuda, Akira.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],2018,125-128
孔维强.Toward Sustainable Smart Mobility Information Infrastructure Platform ：Project Overview[J],New Trends in E-Service and Smart Computing,2018,742:35-46
刘琨,孔维强,侯刚,Akira Fukuda.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],the 7th International Congress on Advanced Applied Informatics (IIAI-AAI 2018),2018,125-128
侯刚,周宽久,曹迅,孔维强,王洁,Fukuda Akira.Analysis of Interrupt Behavior Based on Probabilistic [A],2018 7th International Congress on Advanced Applied Informatics,2018
专利
暂无内容
著作成果
暂无内容
科研项目
基于混成计算的多核限界模型检测, 国家自然科学基金项目, 2015/08/18, 进行
大连理工大学与北京中科慧眼科技有限公司共建联合实验室协议书, 企事业单位委托科技项目, 2018/10/26-2023/10/31, 进行
物联网环境下基于情景的在线智能调度优化方法, 国家自然科学基金项目, 2015/08/18, 进行
基本信息Personal Information
教授博士生导师
硕士生导师
主要任职：软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
在职信息：在职
所在单位：软件学院
学科：软件工程
办公地点：综合楼525
联系方式：**
电子邮箱：
扫描关注
同专业博导同专业硕导个人学术主页
研究领域
当前位置: 中文主页 >> 科学研究 >> 研究领域基本信息Personal Information
教授博士生导师
硕士生导师
主要任职：软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
在职信息：在职
所在单位：软件学院
学科：软件工程
办公地点：综合楼525
联系方式：**
电子邮箱：
扫描关注
同专业博导同专业硕导个人学术主页
论文成果
当前位置: 中文主页 >> 科学研究 >> 论文成果[1]Tang, Yixuan,Ren, Zhilei,Kong, Weiqiang,Jiang, He.Compiler testing: a systematic literature analysis[J],FRONTIERS OF COMPUTER SCIENCE,2020,14(1):1-20
[2]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
[3]Liu, Kun,Kong, Weiqiang,Hou, Gang,Fukuda, Akira.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],2018,125-128
[4]孔维强.Toward Sustainable Smart Mobility Information Infrastructure Platform ：Project Overview[J],New Trends in E-Service and Smart Computing,2018,742:35-46
[5]刘琨,孔维强,侯刚,Akira Fukuda.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],the 7th International Congress on Advanced Applied Informatics (IIAI-AAI 2018),2018,125-128
[6]侯刚,周宽久,曹迅,孔维强,王洁,Fukuda Akira.Analysis of Interrupt Behavior Based on Probabilistic [A],2018 7th International Congress on Advanced Applied Informatics,2018
[7]Hou, Gang,Zhou, Kuanjiu,Qiu, Tie,Kong, Weiqiang,Li, Mingchu.Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN[J],IEEE ACCESS,2017,5:5178-5189
[8]Hu, Yan,Kong, Weiqiang,Ren, Yizhi,Choo, Kim-Kwang Raymond.A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution[J],IEEE ACCESS,2017,5:8752-8762
[9]Kong, Weiqiang,Hou, Gang,Hu, Xiangpei,Ando, Takahiro,Hisazumi, Kenji,Fukuda, Akira.Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC[J],JOURNAL OF INFORMATION SECURITY AND APPLICATIONS,2016,31(,SI):61-74
[10]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],1st IEEE International Conference on Agents (ICA),2016,154-157
[11]孔维强.Translation Method for SysML State Machine Diagram into Simple SPIN Model[A],2016,64-68
[12]孔维强,胡祥培.ZipPath: A Simple Path Finder for ZIPC Design[A],1st Workshop on Sustainable Smart Mobility Platform (SSMP),2016,154-157
[13]Fukuda, Akira,Kong, Weiqiang,Hisazumi, Kenji,Ishida, Shigemi,Mine, Tsunenori,Nakanishi, Tsuneo,Furusho, Hiroki,Tagashira, Shigeaki,Arakawa, Yutaka,Kaneko, Kunihiko.Towards Sustainable Information Infrastructure Platform for Smart Mobility -Project Overview-[A],5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI),2016,211-214
[14]Kong, Weiqiang.Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration(aEuro)[J],COMPUTER JOURNAL,2015,58(11):2824-2840
[15]Jiang, He,Chen, Xin,Zhang, Shuwei,Zhang, Xin,Kong, Weiqiang,Zhang, Tao.Software for Wearable Devices: Challenges and Opportunities[A],39th IEEE Annual International Computer Software and Applications Conference Workshops (COMPSAC),2015,3:592-597
[16]Kong, Weiqiang,Ando, Takahiro,Yatsu, Hirokazu,Hisazumi, Kenji,Fukuda, Akira.Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC[A],2nd International Symposium on Dependable Computing and Internet of Things (DCIT),2015,21-29
共16条1/1首页上页下页尾页
基本信息Personal Information
教授博士生导师
硕士生导师
主要任职：软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
在职信息：在职
所在单位：软件学院
学科：软件工程
办公地点：综合楼525
联系方式：**
电子邮箱：
扫描关注
同专业博导同专业硕导个人学术主页
专利
当前位置: 中文主页 >> 科学研究 >> 专利共0条0/0
基本信息Personal Information
教授博士生导师
硕士生导师
主要任职：软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
在职信息：在职
所在单位：软件学院
学科：软件工程
办公地点：综合楼525
联系方式：**
电子邮箱：
扫描关注
同专业博导同专业硕导个人学术主页
著作成果
当前位置: 中文主页 >> 科学研究 >> 著作成果共0条0/0
基本信息Personal Information
教授博士生导师
硕士生导师
主要任职：软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
在职信息：在职
所在单位：软件学院
学科：软件工程
办公地点：综合楼525
联系方式：**
电子邮箱：
扫描关注
同专业博导同专业硕导个人学术主页
科研项目
当前位置: 中文主页 >> 科学研究 >> 科研项目基于混成计算的多核限界模型检测, 国家自然科学基金, 2015/08/18, 进行
大连理工大学与北京中科慧眼科技有限公司共建联合实验室协议书, 2018/10/26-2023/10/31, 进行
物联网环境下基于情景的在线智能调度优化方法, 国家自然科学基金, 2015/08/18, 进行
共3条1/1首页上页下页尾页
