孔维强
院系：软件学院
办公电话：**
电子信箱：wqkong@dlut.edu.cn
更新时间：2015-9-20
其他专业：无



个人简介
教授，博士生导师

2015.07–至今 大连理工大学，软件学院，博士生导师
2015.03–至今 大连理工大学，软件学院，软件工程系主任
2014.10–至今 大连理工大学，软件学院，教授
2012.01–2014.10日本九州大学，系统情报科学研究院，研究副教授
2008.11–2011.12日本福冈县产业科学技术振兴财团，研究员
2006.10–2008.10日本北陆先端科学技术大学院大学，信息科学研究院，博士后
2003.10–2006.09日本北陆先端科学技术大学院大学，信息科学研究院，博士
2000.09–2003.07武汉大学，计算机学院（软件工程国家重点实验室），硕士
1996.09–2000.07武汉大学，计算机学院，学士

社会兼职
IEEE、ACM、CCF会员

研究领域（研究课题）
1. 中央高校基本科研业务费，多核并行模型检测技术的研究，2014.10-2016.12，负责人
2. 国家自然科学基金面上项目，基于混成计算的多核限界模型检测，2016.01-2019.12，负责人

硕博研究方向
1. 可信软件的分析与验证方法
2. 可信软件平台与工具
3. 软件工程

出版著作和论文
Selected Publication：
1. Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, and Akira Fukuda: Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. The Computer Journal, Oxford University Press, 2015
2. Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Van Tang Nguyen, Hitoshi Ohsaki, and Kenji Taguchi: A Formal Semantics of Extended Hierarchical State Transition Matrix using CSP#. Formal Aspects of Computing, 26(5): 943-962, 2014.
3. Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, and Akira Fukuda: An SMT-based Approach to Bounded Model Checking of Design in State Transition Matrix. IEICE Transactions on Information and Systems, E94-D(5): 946-957, 2011.
4. Weiqiang Kong, Kazuhiro Ogata, and Kokichi Futatsugi: Towards Reliable e-Government Systems with the OTS/CafeOBJ Method. IEICE Transactions on Information and Systems, E93-D(5): 974-984, 2010.
5. Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, and Kokichi Futatsugi: A Specification Translation from Behavioral Specifications to Rewrite Specifications. IEICE Transactions on Information and Systems, 91-D(5): 1492-1503, 2008.
6. Weiqiang Kong, Kazuhiro Ogata, and Kokichi Futatsugi: Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 17(1): 3-32, World Scientific, 2007.
7. Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, and Akira Fukuda: Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration, In: The 20th Asia-Pacific Software Engineering Conference (APSEC 2013), IEEE CS, pp.355-362, 2013.
8. Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, and Akira Fukuda: On Accelerating SMT-based Bounded Model Checking of HSTM Designs. In: The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), IEEE CS, pp. 614-623, 2012.
9. Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Van Tang Nguyen, Hitoshi Ohsaki, and Kenji Taguchi: Formal Semantics of Extended Hierarchical State Transition Matrix by CSP. In: The 5th International Workshop UML and Formal Methods (UML&FM'2012), a workshop of 18th International Symposium on Formal Methods (FM 2012), ACM SIGSOFT SEN 37(4), pp. 1-8, 2012.
10. Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, and Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. In: the 18th Asia-Pacific Software Engineering Conference (APSEC 2011), IEEE CS, pp. 81-88, 2011.
11. Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, and Akira Fukuda: An SMT-based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. In: The 11th International Conference on Computational Science and Its Application (ICCSA 2011), IEEE CS, pp. 159-167, 2011.
12. Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, and Masahiko Watanabe: An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. In: The 10th International Conference on Computational Science and Its Applications (ICCSA 2010), IEEE CS, pp.231-238, 2010.
13. Xiaoyi Chen, Weiqiang Kong, and Kokichi Futatsugi: Formal Support of e-Government Design with Transparency Consideration. In: The 1st International Conference on Theory and Practice of Electronic Governance (ICEGOV 2007), ACM Press, pp. 20-29, 2007.
14. Weiqiang Kong, Kazuhiro Ogata, and Kokichi Futatsugi: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. In: The 6th International Conference on Integrated Formal Methods (IFM 2007), LNCS 4591, Springer, pp. 393-412, 2007.
15. Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, and Kokichi Futatsugi: Induction-Guided Falsification. In: The 8th International Conference on Formal Engineering Methods (ICFEM 2006), LNCS 4260, Springer, pp. 114-131, 2006.
16. Kazuhiro Ogata, Weiqiang Kong, and Kokichi Futatsugi: Falsification of OTSs by Searches of Bounded Reachable State Spaces. In: The 18th International Conference on Software Engineering and Knowledge Engineering (SEKE 2006), pp. 440-445, 2006.
17. Jianwen Xiang, Weiqiang Kong, Kazuhiro Ogata, and Kokichi Futatsugi: Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. In: The 2nd International Conference on Web Information Systems and Technologies (WEBIST 2006), pp. 5-12, 2006.
18. Weiqiang Kong, Kazuhiro Ogata, Takahiro Seino, and Kokichi Futatsugi: A Lightweight Integration of Theorem Proving and Model Checking for System Verification. In: The 12th Asia-Pacific Software Engineering Conference (APSEC 2005), IEEE CS, pp. 59-66, 2005.
19. Weiqiang Kong, Kazuhiro Ogata, and Kokichi Futatsugi: Formal Analysis of Workflow Systems with Security Considerations. In: The 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), pp. 531-536, 2005.
20. Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, and Kokichi Futatsugi: Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. In: The IEEE 4th International Conference on Computer and Information Technology (CIT 2004), IEEE CS, pp. 1100-1107, 2004.


工作成果（奖励、专利等）
专利：
1. 专利名称：模型检查装置、模型检查方法及模型检查程序；专利号：**；批准日期：2014年1月22日（日本）
2. 专利名称：模型检查装置、模型检查处理方法及程序；专利申请号：**；申请日期：2012年3月26日（日本）



在读学生人数
1

毕业学生人数
0