-
劉靖
（內蒙古大學教授）
鎖定
劉靖，男，漢族，1981年出生，內蒙古呼和浩特人，2011年7月於中國科學院計算技術研究所獲得工學博士學位，教授、博導。2014年9月至2015年8月在澳大利亞墨爾本大學雲計算實驗室從事訪問研究。
- 中文名
- 劉靖
- 畢業院校
- 中國科學院計算技術研究所
- 職 業
- 教師
- 研究方向
- 雲計算、軟件容錯、形式化方法
1、Petri網模型驅動的SaaS型雲測試方法及支撐平台研究（61262017），國家自然科學基金項目，2013.1 ~ 2016.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.
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檢索)
- 參考資料
-
- 1. 劉靖教授 ．內蒙古大學計算機學院 - 師資團隊
