刘靖
11刘靖，男，汉族，1981年出生，内蒙古呼和浩特人，2011年7月于中国科学院计算技术研究所获得工学博士学位，毕业后任职于内蒙古大学计算机学院，2013年评为硕士生导师，2014年晋升为副教授职称。2014年9月至2015年8月在澳大利亚墨尔本大学云计算实验室从事访问研究，合作导师为Rajkumar Buyya教授。
基本信息
- 中文名
刘靖
- 毕业院校
- 职业
教师
- 研究方向
云计算、软件容错、形式化方法
基本内容
主持项目：
1、Petri网模型驱动的SaaS型云测试方法及支撑平台研究（61262017），国家自然科学基金项目，2013.1 ~ 2016.12；
2、移动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.
7.刘靖, 吴海博. 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检索)
8. 刘靖,叶新铭, 李军. 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检索)
9. 刘靖, 吴海博, 叶新铭, 李军. Scalable CP-nets Modeling for BitTorrent Protocol. Proc. of the 26th ACM Symposium on Applied Computing (SAC 2011), Taiwan, Mar. 2011. (EI检索)
10. 刘靖, 叶新铭, 李军, 张珺, 孙毅.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检索)
11. 刘靖, 叶新铭, 李军. 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检索)
12. 刘靖, 叶新铭, 张珺, 李军. Security Verification of 802.11i 4-way Handshake Protocol. Proc. of the IEEE International Conference on Communications (ICC 2008), Beijing, May. 2008. (EI检索)