【国民娱乐每日礼金gm777.top,吉利彩票登录中大奖】我们为您提供吉利彩票登录注册,吉利彩票登录投注,吉利彩票登录app,吉利彩票登录平台,巨华彩票开户,充提快速,操控简单,为吉利彩票登录彩民服务!

計算機學院

站內搜索

友情鏈接

師資隊伍

劉靖(博士)
來源:計算機學院  發布時間: 2016-06-08 15:09:13

2955F

   劉靖,男,副教授,碩士生導師。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人,去向包括:東南大學攻讀博士,阿里集團業務平臺事業部吉利彩票登录、京東吉利彩票登录、東軟吉利彩票登录、北京工行、北京農行吉利彩票登录、山東聯通、內蒙古恒泰證券吉利彩票登录、中國銀聯內蒙古分公司吉利彩票登录、國網內蒙古東部電力等單位吉利彩票登录。 

     

?

內蒙古大學計算機學院  

聯系我們 | 關于我們 | 郵箱地址:csmhjy@imu.edu.cn    蒙ICP16002391號-1


    @2016 內蒙古大學計算機學院 版權所有

吉利彩票登录