站内搜索

友情链接

师资队伍

刘靖(博士)
来源:计算机学院  发布时间: 2016-06-08 15:09:13

2955F

   刘靖,男,副教授,硕士生导师。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检索)                          
     

研究生培养情况:

 毕业研究生:学硕3人、专硕2人,在内蒙古恒泰证券、中国银联内蒙古分公司、中科院成都文献情报中心、国网内蒙古东部电力、东软、北京直真科技等单位从事技术研发工作。在读研究生:学硕5人、专硕4人。     



内蒙古大学计算机学院  

联系我们 | 关于我们 | 邮箱地址:csmhjy@imu.edu.cn    蒙ICP16002391号-1


    @2016 内蒙古大学计算机学院 版权所有