|
1
|
面向参数化LTL的预测监控器构造技术 |
赵常智
董威
隋平
齐治昌
|
《软件学报》
EI
CSCD
北大核心
|
2010 |
6
|
|
|
2
|
时态描述逻辑ALC-LTL的Tableau判定算法 |
常亮
王娟
古天龙
董荣胜
|
《计算机科学》
CSCD
北大核心
|
2011 |
5
|
|
|
3
|
一种有效的基于LTL和Petri网的模型检测方法 |
张斌
罗贵明
王平
|
《计算机应用》
CSCD
北大核心
|
2006 |
1
|
|
|
4
|
LTL公式到自动机的转换 |
郭建
边明明
韩俊岗
|
《计算机科学》
CSCD
北大核心
|
2008 |
4
|
|
|
5
|
基于符号执行和LTL公式重写的测试用例产生方法 |
陈冬火
刘全
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2013 |
3
|
|
|
6
|
一种基于LTL性质的面向对象并发程序切片方法 |
戎玫
何志学
张广泉
|
《计算机应用》
CSCD
北大核心
|
2008 |
1
|
|
|
7
|
可能LTL模型检测的两种方法 |
李永明
|
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2014 |
18
|
|
|
8
|
基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测 |
朱创营
常亮
徐周波
李凤英
|
《计算机科学》
CSCD
北大核心
|
2013 |
2
|
|
|
9
|
含有合取查询的时态描述逻辑ALC-LTL模型检测 |
朱创营
常亮
徐周波
李凤英
|
《智能系统学报》
CSCD
北大核心
|
2014 |
1
|
|
|
10
|
一种基于自动机理论的LTL检验符号优化方法 |
钱俊彦
赵岭忠
古天龙
|
《计算机工程》
EI
CAS
CSCD
北大核心
|
2005 |
0 |
|
|
11
|
用LTL模型检验的方法验证SpaceWire检错机制 |
董玲玲
关永
李晓娟
施智平
张杰
华伟
|
《计算机工程与应用》
CSCD
|
2012 |
7
|
|
|
12
|
基于SPIN的LTL属性分解方法研究 |
贺志宏
曾庆凯
|
《计算机应用与软件》
CSCD
北大核心
|
2014 |
2
|
|
|
13
|
面向模型检测的LTL语句自动生成方法 |
段喜龙
陆智伟
郑巍
陈晋升
樊鑫
肖鹏
|
《计算机工程与设计》
北大核心
|
2023 |
2
|
|
|
14
|
一种基于Petri网的多机器人路径规划建模方法 |
褚晶
周力
岳颀
胡悦
郑子轩
黄勇
|
《西北工业大学学报》
EI
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
15
|
基于线性时序逻辑理论的仓储机器人路径规划 |
禹鑫燚
陈浩
郭永奎
程诚
欧林林
俞立
|
《高技术通讯》
CAS
CSCD
北大核心
|
2016 |
9
|
|
|
16
|
线性时态逻辑中的特性模式 |
黎升洪
缪淮扣
张新林
|
《计算机应用》
CSCD
北大核心
|
2006 |
9
|
|
|
17
|
基于线性时序逻辑的最优巡回路径规划 |
肖云涛
欧林林
俞立
|
《自动化学报》
EI
CSCD
北大核心
|
2014 |
10
|
|
|
18
|
基于模型检测的程序恶意行为识别方法 |
张一弛
庞建民
范学斌
姚鑫磊
|
《计算机工程》
CAS
CSCD
|
2012 |
5
|
|
|
19
|
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 |
林闯
刘婷
曲扬
|
《计算机学报》
EI
CSCD
北大核心
|
2001 |
13
|
|
|
20
|
满足复杂要求的机器人最优巡回控制系统设计与实现 |
欧林林
陈浩
肖云涛
程诚
俞立
|
《控制理论与应用》
EI
CAS
CSCD
北大核心
|
2016 |
5
|
|
