内蒙古大学

内蒙古大学计算机学院研究生导师刘靖介绍如下：

刘靖，男，副教授，硕士生导师。2011年博士毕业于中国科学院计算技术研究所。2014年9月至2015年8月在澳大利亚墨尔本大学云计算实验室从事访问学者研究，合作导师为Rajkumar Buyya教授。主要研究方向为云计算、软件容错、软件测试方法与工具、形式化方法等。主持并参与多项国家级和自治区级自然科学基金项目。已发表20余篇 SCI/EI检索高水平学术论文。是内蒙古自治区“云计算与服务软件”工程实验室和内蒙古自治区“云计算与软件工程”科技创新团队的核心研发成员。

Email：liujing@imu.edu.cn

主持项目：

1、基于软件抗衰与检查点技术的云应用系统主动容错服务方法研究(61662051)，国家自然科学基金项目，2017.1 ~ 2020.12;

2、Petri网模型驱动的SaaS型云测试方法及支撑平台研究(61262017)，国家自然科学基金项目，2013.1 ~ 2016.12;

3、移动Web服务系统的云测试方法研究(2015MS0611)，内蒙古自然科学基金面上项目，2015.1 ~ 2017.12。

代表性期刊论文：

1、刘靖, 李茹, 叶新铭, 李军. PN4TS：一种基于CPN模型的IOCO测试选择方法, 计算机学报, Vol.37(12): 2451-2463, 2014.(EI检索)

2、刘靖, 叶新铭, 周建涛, 宋晓宇. I/O Conformance Test Generation with Colored Petri Nets. Applied Mathematics & Information Sciences. Vol.8(6): 2695-2704, 2014. (SCIE检索, 影响因子1.23)

3、刘靖, 叶新铭, 周建涛. Test Purpose oriented I/O Conformance Test Selection with Colored Petri Nets. Journal of Applied Mathematics. Volume 2014, Article No. 645235: 10 pages, 2014. (SCIE检索, 影响因子0.72)

4、刘靖, 叶新铭, 马元飞. 基于时间着色Petri网的SIP协议验证与分析. 计算机科学. Vol.41(7): 122-129, 2014. (CSCD检索)

5、刘靖, 叶新铭, 周建涛. 复杂网络软件的CP-net层次建模及模型集成确认方法. 高技术通讯, Vol.23(11):1139-1147, 2013. (CSCD检索)

6、刘靖, 周建涛. “做中学”理念在软件体系结构课程教学中的应用实践. 计算机教育, Vol.222 (22):88-92, 2013.

代表性会议论文：

1、刘靖, 赵俊峰. Providing Proactive Fault Tolerance as a Service for Cloud Applications. Proc.of the 12th IEEE World Congress on Services (SERVICES 2016), San Francisco, USA, Jul. 2016. (EI检索)

2、刘靖, 周建涛, Rajkumar Buyya. Software Rejuvenation based Fault Tolerance Scheme for Cloud Applications. Proc. of the IEEE 8th International Conference on Cloud Computing (CLOUD 2015), New York, USA, Jun. 2015. (EI检索)

3、刘靖, 吴海博. Make Systematic Conformance Testing for BitTorrent Protocol Feasible: A CP-nets Model Based Testing Approach. Proc. of the 31st IEEE International Performance Computing and Communications Conference (IPCCC 2012), Austin, USA, Dec. 2012. (EI检索)

4、刘靖,叶新铭,李军. Colored Petri Nets Model based Conformance Test Generation. Proc. of the 16th IEEE Symposium on Computers and Communications (ISCC 2011), Corfu, Greece, Jun. 2011. (EI检索)

5、刘靖, 吴海博, 叶新铭, 李军. Scalable CP-nets Modeling for BitTorrent Protocol. Proc. of the 26th ACM Symposium on Applied Computing (SAC 2011), Taiwan, Mar. 2011. (EI检索)

6、刘靖, 叶新铭, 李军, 张珺, 孙毅. Integrating Functional Verification and Performance Analysis for Network Protocols using CP-nets. Proc. of the 15th IEEE Symposium on Computers and Communications (ISCC 2010), Riccione, Italy, Jun. 2010. (EI检索)

7、刘靖,叶新铭,李军.Analyzing Performance for Complex Protocol using Validated CP-nets Models.Proc.of the 10th IEEE Conference on Computer and Information Technology (CIT 2010), Bradford, UK, Jun. 2010. (EI检索)

8、刘靖,叶新铭,张珺,李军. Security Verification of 802.11i 4-way Handshake Protocol. Proc.of the IEEE International Conference on Communications (ICC 2008), Beijing, May. 2008. (EI检索)

研究生培养情况：

每年预计招收学术型研究生2名，专业学位研究生2名，欢迎对云计算、软件测试、软件容错等方向感兴趣的同学报考。

毕业研究生：学硕6人、专硕6人，去向包括：东南大学攻读博士，阿里集团业务平台事业部、京东、东软、北京工行、北京农行、山东联通、内蒙古恒泰证券、中国银联内蒙古分公司、国网内蒙古东部电力等单位。