停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2007年第5届ATVA：日本东京

>主页 >会议和研讨会 >ATVA公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/2007
Kedar S.Namjoshi公司,Tomohiro Yoneda公司,东野太郎,冈村义雄:
验证和分析自动化技术，第五届国际研讨会，2007年10月22日至25日，日本东京，ATVA 2007，会议记录。计算机科学课堂讲稿4762,施普林格 2007，国际标准图书编号978-3-540-75595-1

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WhiteheadJA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WiteheadJA07网址
内森·怀特黑德,乔丹·约翰逊,马丁·阿巴迪:
代码审核的策略和证据。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/长谷川07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Hasegawa07网址
长谷川Atsushi Hasegawa:
行业最新趋势和DA研究展望。 15-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/McMillan07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/McMillan07网址
肯尼思·麦克米兰:
堆操作程序的属性驱动抽象。 17-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/NainV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/NainV07
苏米特·奈恩,莫舍·瓦尔迪:
分支与线性时间：语义视角。 19-34

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BauerTW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BauerTW07网址
约格·鲍尔,托比·托本,伯恩德·韦斯特法尔:
注意形状：通过拓扑不变量进行抽象优化。 35-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/黄W07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HuangW07
耿殿煌,王朝霞（Bow-Yaw Wang）:
完成基于SAT的无上下文进程模型检查。 51-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WalterLM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WorterLM07
大卫·瓦尔特,斯科特·利特尔,克里斯·J·迈尔斯:
使用SMT求解器对模拟和混合信号电路进行有界模型检查。 66-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/PacePS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/PacePS07网址
戈登·佩斯,克里斯蒂安·普里萨卡里奥,杰拉尔多·施奈德:
模型检查合同-案例研究。 82-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GeeraertsRB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GeeraertsRB07
吉勒斯·杰拉尔茨,让-弗朗索瓦·拉斯金,劳伦特·范·贝京:
Petri网最小覆盖集的有效计算。 98至113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LittleWJM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LittleWJM07网址
斯科特·利特尔,大卫·瓦尔特,凯文·琼斯,克里斯·迈尔斯:
使用模拟轨迹生成的模型进行模拟/混合信号电路验证。第114页至第128页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AlizadehF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AlizadehF07
比扬·阿利扎德,藤田正弘:
系统级和RTL描述的顺序等价性检查的自动合并点检测。 129-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HabermehlIRV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HabermehlIRV07
彼得·哈贝梅尔,半径Iosif,亚当·罗加列维奇,托马斯·沃伊纳:
证明树操作程序的终止。 145-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BozzanoCT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BozzanoCT07
马可·波扎诺,亚历山德罗·西马蒂,弗朗西斯科·塔帕罗:
反应系统的符号故障树分析。 162-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GawlitzaS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GawlitzaS07
托马斯·高利察,赫尔穆特·塞德尔:
计算碰撞游戏的游戏值。 177-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/CassezDLLR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/CassezDLLR07
弗兰克·卡塞兹,亚历山大·戴维,金·古德斯特兰·拉森,迪迪埃·莱姆,Jean-François Raskin女士:
基于观测和断续不变量策略的时间控制。 192-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/张H07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/张H07
张丽君,霍尔格·赫尔曼斯:
概率自动机上的决策模拟。 207-222年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DaxEK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DaxEK07
克里斯蒂安·达克斯,约钦·艾辛格,费利克斯·克莱特克:
限制等级的发电机组机械化施工欧米茄-自动化。 223-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RakamaricBHC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/RakamaricBHC07
兹沃尼米尔·拉卡马利奇,罗伯托·布鲁托梅索,艾伦·J·胡,亚历山德罗·西马蒂:
验证SMT框架中的堆操作程序。 237-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Pinchinat07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Pinchinat07网址
苏菲·平奇纳特:
具有策略表达约束的并发博弈的一般构造解。 253-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ScheweF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ScheweF07网址
斯文·舍韦,伯恩德·芬克贝纳:
交替时间逻辑的分布式综合。 268-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ShaaMR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ShaaMR07
因德拉尼尔·萨哈,贾纳丹·米斯拉,苏曼·罗伊:
基于超时和日历的实时系统有限状态建模和验证。 284-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BosnackiDLM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BosnackiDLM07
德拉甘·博斯纳奇,阿拉斯泰尔·唐纳森,迈克尔·勒谢尔,蒂埃里·马萨特:
通过对称标记对Promela模型进行有效的近似验证。 300-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/KupfermanL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KupfermanL07
奥尔娜·库普夫曼,尤亚德·卢斯蒂格:
网格模拟关系与游戏。 316-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/汉K07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HanK07
韩婷婷,Joost-Pieter Katoen公司:
提供可能准时的证据：CTMC模型检查的反例生成。 331-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RomijnWM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/RomijnWM07网址
朱迪·罗米恩,Wieger-Wesselink公司,阿尔扬·J·穆伊（Arjan J.Mooij）:
PVS中Chang-Roberts领导人选举的基于断言的证明检查。 347-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RecaldeHS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/RecaldeHS07网站
劳拉·雷卡德,谢尔盖·哈达德,曼努埃尔·席尔瓦·苏亚雷斯:
连续Petri网：表达能力和可决定性问题。 362-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ElkindGPS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ElkindGPS07
伊迪丝·埃尔金德,布莱斯·基内斯特,多龙·A·贝利德,保拉·斯波莱蒂尼:
量化不一致：消息序列图中的顺序不一致。 378-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RodriguezN07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/RodriguezN07
伊斯梅尔·罗德里格斯,曼努埃尔·努涅斯:
测试复杂异构系统的形式化方法。 394-409年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/奥斯曼G07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/OshmanG07
罗特姆·奥斯曼,奥尔娜·格伦伯格:
分支时间逻辑有界模型检验的一种新方法。 410-424
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DammDHJPPSWW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DammDHJPPSWW07
沃纳·达姆,Stefan Disch公司,哈迪·亨加,瑞典雅各布斯,彭军（Jun Pang）,Florian Pigorsch公司,克里斯托夫·斯科尔,乌韦·沃尔德曼,鲍里斯·维茨:
大离散状态空间线性混合系统验证中的精确状态集表示。 425-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BoudaliCS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BoudaliCS07网址
Hichem Boudali公司,Pepijn Crouzen公司,玛丽埃尔·斯托琳加:
基于交互式马尔可夫链的动态故障树合成语义。 441-456
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GrumbergSY07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GrumbergSY07网站
奥尔娜·格伦伯格,阿萨夫·舒斯特,阿维·亚德加:
STE的3值电路SAT，具有自动优化功能。 457-473
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/方案F07a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ScheweF07a网站
斯文·舍韦,伯恩德·芬克贝纳:
有界合成。 474-488

短文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Kim07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Kim07网址
蒙祖·金:
网络安全设备高可用性协议的形式化建模与验证。 489-500
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MerayoNR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MerayoNR07
梅赛德斯·G·梅拉约,曼努埃尔·努涅斯,伊斯梅尔·罗德里格斯:
简介THOTL公司. 501-510
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LiO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LiO07
李国强,小川瑞之:
公平非否认协议的现场模型检查。第511页至第522页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BerthomieuPV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BerthomieuPV07
伯纳德·伯托米厄,弗洛伦特·佩雷斯,弗朗索瓦·沃纳达特:
模型检查有界优先时间Petri网。 523-532
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SalamahGKR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SalamahGKR07
萨拉马萨拉马,安·Q·盖茨,弗拉基克·克雷诺维奇,史提夫·洛奇:
使用模式和复合命题自动生成LTL规范。 533-542
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DashtiW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DashtiW07
穆罕默德·托拉比·达什蒂,安东·威伊斯:
使用扩展波束搜索修剪状态空间。 543-552
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SakunkonchakKF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SakunkonchKF07
Thanyapat Sakunkonchak先生,小松佐治,藤田正弘:
使用反例分析最小化谓词抽象的谓词数量。 553-563

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。