劉靖，男，漢族，1981年出生，內蒙古呼和浩特人，2011年7月於中國科學院計算技術研究所獲得工學博士學位，畢業後任職於內蒙古大學計算機學院，2013年評為碩士生導師，2014年晉升為副教授職稱。2014年9月至2015年8月在澳大利亞墨爾本大學雲計算實驗室從事訪問研究，合作導師為Rajkumar Buyya教授。
基本介紹
- 中文名：劉靖
- 職業：教師
- 畢業院校：中國科學院計算技術研究所
- 研究方向：雲計算、軟體容錯、形式化方法
- ：
主持項目：
1、Petri網模型驅動的SaaS型雲測試方法及支撐平台研究（61262017），國家自然科學基金項目，2013.1 ~ 2016.12；
2、移動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)
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.
7.劉靖, 吳海博. 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檢索)
8. 劉靖,葉新銘, 李軍. 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檢索)
9. 劉靖, 吳海博, 葉新銘, 李軍. Scalable CP-nets Modeling for BitTorrent Protocol. Proc. of the 26th ACM Symposium on Applied Computing (SAC 2011), Taiwan, Mar. 2011. (EI檢索)
10. 劉靖, 葉新銘, 李軍, 張珺, 孫毅.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檢索)
11. 劉靖, 葉新銘, 李軍. 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檢索)
12. 劉靖, 葉新銘, 張珺, 李軍. Security Verification of 802.11i 4-way Handshake Protocol. Proc. of the IEEE International Conference on Communications (ICC 2008), Beijing, May. 2008. (EI檢索)
