师资队伍
刘靖（博士）
来源:计算机学院发布时间:2013-11-2123:52:08
刘靖，男，2011年博士毕业于中国科学院计算技术研究所。主要研究方向为云计算、软件测试方法与工具、形式描述与验证、Petri网理论与应用等。以骨干研究人员参与过国家十一五科技支撑计划项目、国家863项目、国家自然科学基金项目、国家下一代互联网工程CNGI项目等。以第一发明人获得授权的发明专利1项（一种数字版权保护方法和系统，专利号：ZL**8.1）；参与软件著作权登记18项。
Email：liujing@imu.edu.cn

主持项目：
1、Petri网模型驱动的SaaS型云测试方法及支撑平台研究（61262017），国家自然科学基金项目，2013.1~2016.12；
2、P2P可信控制协议的验证与测试集成方法研究，内蒙古大学高层次人才引进基金项目，2011.8~2013.12。

代表性论文：
[1]刘靖,李茹,叶新铭,李军.一种基于CPN模型的IOCO一致性测试生成方法.计算机学报（已录用）
[2]LiuJing,YeXinming,ZhangJun,LiJun.SecurityVerificationof802.11i4-wayHandshakeProtocol.Proc.oftheIEEEInternationalConferenceonCommunications(ICC2008):1602-1607,Beijing,May.2008（EI检索）
[3]LiuJing,YeXinming,SunTao.TowardsFormalModelingandAnalysisofBitTorrentusingColouredPetriNets.Proc.ofthe10thCPNWorkshop2009:159-178,Aarhus,Denmark,Oct.2009（CPN研究领域重要学术研讨会）
[4]LiuJing,YeXinming,ZhangJun,LiJun,SunYi.IntegratingFunctionalVerificationandPerformanceAnalysisforNetworkProtocolsusingCP-nets.Proc.ofthe15thIEEESymposiumonComputersandCommunications(ISCC2010):963-965,Riccione,Italy,Jun.2010（EI检索）
[5]LiuJing,YeXinming,LiJun.ColoredPetriNetsModelbasedConformanceTestGeneration.Proc.ofthe16thIEEESymposiumonComputersandCommunications(ISCC2011):321-324,Corfu,Greece,Jun.2011（EI检索）
[6]LiuJing,YeXinming,LiJun.AnalyzingPerformanceforComplexProtocolusingValidatedCP-netsModels.Proc.ofthe10thIEEEConferenceonComputerandInformationTechnology(CIT2010):377-384,Bradford,UK,Jun.2010（EI检索）
[7]LiuJing,WuHaibo,YeXinming,LiJun.ScalableCP-netsModelingforBitTorrentProtocol.Proc.ofthe26thACMSymposiumOnAppliedComputing(SAC2011):542-543,Taiwan,Mar.2011（EI检索）
[8]刘靖,叶新铭,李军.BitTorrent协议的Petri网建模方法研究.系统仿真学报,Vol.233(11):2312-2320,2011