內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院研究生導(dǎo)師劉靖介紹如下：

劉靖，男，副教授，碩士生導(dǎo)師。2011年博士畢業(yè)于中國(guó)科學(xué)院計(jì)算技術(shù)研究所。2014年9月至2015年8月在澳大利亞墨爾本大學(xué)云計(jì)算實(shí)驗(yàn)室從事訪問(wèn)學(xué)者研究，合作導(dǎo)師為Rajkumar Buyya教授。主要研究方向?yàn)樵朴?jì)算、軟件容錯(cuò)、軟件測(cè)試方法與工具、形式化方法等。主持并參與多項(xiàng)國(guó)家級(jí)和自治區(qū)級(jí)自然科學(xué)基金項(xiàng)目。已發(fā)表20余篇 SCI/EI檢索高水平學(xué)術(shù)論文。是內(nèi)蒙古自治區(qū)“云計(jì)算與服務(wù)軟件”工程實(shí)驗(yàn)室和內(nèi)蒙古自治區(qū)“云計(jì)算與軟件工程”科技創(chuàng)新團(tuán)隊(duì)的核心研發(fā)成員。

Email：liujing@imu.edu.cn

主持項(xiàng)目：

1、基于軟件抗衰與檢查點(diǎn)技術(shù)的云應(yīng)用系統(tǒng)主動(dòng)容錯(cuò)服務(wù)方法研究(61662051)，國(guó)家自然科學(xué)基金項(xiàng)目，2017.1 ~ 2020.12;

2、Petri網(wǎng)模型驅(qū)動(dòng)的SaaS型云測(cè)試方法及支撐平臺(tái)研究(61262017)，國(guó)家自然科學(xué)基金項(xiàng)目，2013.1 ~ 2016.12;

3、移動(dòng)Web服務(wù)系統(tǒng)的云測(cè)試方法研究(2015MS0611)，內(nèi)蒙古自然科學(xué)基金面上項(xiàng)目，2015.1 ~ 2017.12。

代表性期刊論文：

1、劉靖, 李茹, 葉新銘, 李軍. PN4TS：一種基于CPN模型的IOCO測(cè)試選擇方法, 計(jì)算機(jī)學(xué)報(bào), 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、劉靖, 葉新銘, 馬元飛. 基于時(shí)間著色Petri網(wǎng)的SIP協(xié)議驗(yàn)證與分析. 計(jì)算機(jī)科學(xué). Vol.41(7): 122-129, 2014. (CSCD檢索)

5、劉靖, 葉新銘, 周建濤. 復(fù)雜網(wǎng)絡(luò)軟件的CP-net層次建模及模型集成確認(rèn)方法. 高技術(shù)通訊, Vol.23(11):1139-1147, 2013. (CSCD檢索)

6、劉靖, 周建濤. “做中學(xué)”理念在軟件體系結(jié)構(gòu)課程教學(xué)中的應(yīng)用實(shí)踐. 計(jì)算機(jī)教育, Vol.222 (22):88-92, 2013.

代表性會(huì)議論文：

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檢索)

研究生培養(yǎng)情況：

每年預(yù)計(jì)招收學(xué)術(shù)型研究生2名，專(zhuān)業(yè)學(xué)位研究生2名，歡迎對(duì)云計(jì)算、軟件測(cè)試、軟件容錯(cuò)等方向感興趣的同學(xué)報(bào)考。

畢業(yè)研究生：學(xué)碩6人、專(zhuān)碩6人，去向包括：東南大學(xué)攻讀博士，阿里集團(tuán)業(yè)務(wù)平臺(tái)事業(yè)部、京東、東軟、北京工行、北京農(nóng)行、山東聯(lián)通、內(nèi)蒙古恒泰證券、中國(guó)銀聯(lián)內(nèi)蒙古分公司、國(guó)網(wǎng)內(nèi)蒙古東部電力等單位。