学者知网节

【姓名】	刘剑
【职称】	研究员;
【研究领域】	计算机软件及计算机应用;电信技术;
【研究方向】
【发表文献关键词】	谓词m演算,模态图,示例,诊断生成,模型检测,嵌套谓词等式系,证明图,进程代数,不动点,传值进程,语义一致,演算,诊断信息,谓词,语义一致性,依赖状态,正例,嵌套谓词,等式系,迁移关系,状态集,算法,...
【工作单位】	中国科学院软件研究所
【曾工作单位】	中国科学院软件研究所;
【所在地域】	北京

中国期刊全文数据库 共找到9篇

[1]孙可钦;王玉庆;刘剑;杨秋松;马越;.一种基于微内核操作系统进程间通信恢复方法[J]计算机应用与软件.2015,(06)

[2]王云飞;刘剑;马越;.基于锁信息的多线程软件原子性错误检测方法[J]计算机应用与软件.2014,(06)

[3]周艺;易秋萍;刘剑;淮晓永;.一种基于单条程序执行路径的错误定位方法[J]计算机系统应用.2014,(10)

[4]刘剑;孙可钦;汪孙律;.基于控制流挖掘的Android系统代码漏洞分析[J]清华大学学报(自然科学版).2012,(10)

[5]李斌;马越;李潇;刘剑;.航天嵌入式操作系统的分析与验证[J]载人航天.2012,(06)

[6]李潇;刘剑;易秋萍;.一种并发程序原子性错误的检测方法及工具[J]计算机应用与软件.2012,(11)

[7]易秋萍;刘剑;武术;.面向访问验证保护级的安全VMM形式化原型系统设计和实现[J]计算机科学.2010,(12)

[8]刘剑,林惠民.传值进程模型检测中诊断信息的生成[J]软件学报.2003,(01)

[9]刘剑,林惠民.谓词μ演算和模态图的语义一致性[J]软件学报.2003,(10)

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/10	6	9	3	58	1532