內(nèi)蒙古大學(xué)

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

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

Email：liujing@imu.edu.cn

主持項目：

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

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

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

代表性期刊論文：

1、劉靖, 李茹, 葉新銘, 李軍. PN4TS：一種基于CPN模型的IOCO測試選擇方法, 計算機(jī)學(xué)報, 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網(wǎng)的SIP協(xié)議驗證與分析. 計算機(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)用實踐. 計算機(jī)教育, 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檢索)

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

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

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