內蒙古大學

內蒙古大學計算機學院研究生導師劉靖介紹如下：

劉靖，男，副教授，碩士生導師。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檢索)

研究生培養情況：

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

畢業研究生：學碩6人、專碩6人，去向包括：東南大學攻讀博士，阿里集團業務平臺事業部、京東、東軟、北京工行、北京農行、山東聯通、內蒙古恒泰證券、中國銀聯內蒙古分公司、國網內蒙古東部電力等單位。