刘靖 - 内蒙古大学 - 计算机学院

个人简介

刘靖，男，教授，博士生导师。2011年博士毕业于中国科学院计算技术研究所。2014年9月至2015年8月在澳大利亚墨尔本大学云计算实验室从事访问学者研究。主要研究方向为云计算与大数据分析技术、软件容错技术、软件测试方法、形式化方法等。主持并参与多项国家级和自治区级自然科学基金项目。在《IEEE Transactions on Services Computing》《计算机学报》《软件学报》等领域顶级期刊及IEEE ICWS/ ICPADS/ COMPSAC/ CLOUD等领域重要国际会议上发表高水平学术论文，累计发表SCI/EI检索论文40余篇，获2016年度内蒙古自治区自然科学奖三等奖、内蒙古自治区第十届高校青年教师教学大赛二等奖、内蒙古大学“教坛新秀”及“最美教师”荣誉称号。是“蒙古文智能信息处理技术”国家地方联合工程研究中心、“生态大数据”教育部工程研究中心（培育）、内蒙古自治区“云计算与服务软件”工程实验室、内蒙古自治区“云计算与软件工程”科技创新团队的骨干成员。主持项目： 1、基于软件抗衰与检查点技术的云应用系统主动容错服务方法研究（61662051），国家自然科学基金项目，2017.1 ~ 2020.12； 2、Petri网模型驱动的SaaS型云测试方法及支撑平台研究（61262017），国家自然科学基金项目，2013.1 ~ 2016.12； 3、基于Petri 网模型的区块链智能合约形式化建模及验证方法研究（2019MS06007），内蒙古自然科学基金面上项目，2019.9 ~ 2021.12； 4、移动Web服务系统的云测试方法研究（2015MS0611），内蒙古自然科学基金面上项目，2015.1 ~ 2017.12。

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

1. McTAR: A Multi-trigger Checkpointing Tactic for Fast Task Recovery in MapReduce. IEEE Transactions on Services Computing, Early Access, 2019.（CCF推荐B类期刊） 2. A Survey on Security Verification of Blockchain Smart Contracts. IEEE Access, Vol.7: 77894-77904, 2019.（SCI二区） 3. Integrating Artificial Bee Colony Algorithm and Artificial Neural Network for Software Aging Prediction in IoT Environment. IEEE Access, Vol.7: 32941-32948, 2019.（SCI二区） 4. 面向云应用系统的容错即服务优化提供方法. 软件学报, Vol.30(4): 1191-1202, 2019. 5. 基于SOM神经网络的二阶变异体约简方法研究. 软件学报, Vol.30(5): 1464-1480, 2019. 6. PN4TS：一种基于CPN模型的IOCO测试选择方法, 计算机学报, Vol.37(12): 2451-2463, 2014. 代表性会议论文： 1. CSSAP: Software Aging Prediction for Cloud Services Based on ARIMA-LSTM Hybrid Model. Proc. of the IEEE 26th International Conference on Web Services (ICWS 2019): 283-290, Jul. 2019.（CCF推荐B类会议） 2. Efficient Bus Arrival Time Prediction Based on Spark Streaming Platform. Proc. of the IEEE 23rd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2019): 416-421, May. 2019.（CCF推荐C类会议） 3. How to Buy Cloud Resource Better for IaaS User: From the Perspective of Cloud Elasticity Testing. Proc. of the IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS 2018): 110-117, Dec. 2018.（CCF推荐C类会议） 4. FEMCRA: Fine-grained Elasticity Measurement for Cloud Resources Allocation. Proc. of the IEEE 11th International Conference on Cloud Computing (CLOUD 2018): 732-739, Jun. 2018.（CCF推荐C类会议） 5. FATDOG: Hadoop based Test Data Generation Tool for RESTful Web Service. Proc. of the IEEE 41st Annual Computer Software and Applications Conference (COMPSAC 2017): 280-281, Jul. 2017.（CCF推荐C类会议） 6. Software Rejuvenation based Fault Tolerance Scheme for Cloud Applications. Proc. of the IEEE 8th International Conference on Cloud Computing (CLOUD 2015): 1115-1118, Jun. 2015.（CCF推荐C类会议）