停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第三届ATVA 2005：台湾台北

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/2005
多龙·A·贝利德,Yih-Kuen Tsay先生:
《用于验证和分析的自动化技术》，第三届国际研讨会，2005年10月4日至7日，台湾台北，ATVA 2005，会议记录。计算机科学课堂讲稿3707,施普林格 2005，国际标准图书编号3-540-29209-8

主题报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Pnueli05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Pnueli05网址
阿米尔·普努利:
将抽象排序为谓词抽象的伴侣。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BradleyM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BradleyM05
亚伦·R·布拉德利,佐哈尔·曼纳:
回路的终止和不变性分析。 2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Thomas05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Thomas05网站
沃尔夫冈·托马斯:
无限状态验证的一些观点。 3-10

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FixGHHS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FixGHHS05
Limor修复,奥尔娜·格伦伯格,阿蒙·海曼,塔米尔·海曼,阿萨夫·舒斯特:
使用100种及以上工艺验证超大型工业电路。 11-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ShahooJID05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ShahooJID05
德巴希斯·萨胡,贾瓦哈·贾因,Subramanian K.Iyer公司,大卫·L·迪尔:
对称多处理器体系结构的一种新的可达性算法。 26-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ZhaoKOR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ZhaoKOR05
赵玉红,马丁·卡尔多斯,西蒙·奥伯瑟,弗兰兹·J·拉姆米格:
自优化系统可靠性综合验证框架。 39-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/PennaMIT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/PennaMIT05
朱塞佩·德尔拉·佩纳,伊戈尔·梅拉蒂,贝内代托·因特里吉拉,恩里科·特隆西:
在自动验证中利用集线器状态。 54-68

组合方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HabibiT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HabibiT05
阿里·哈比比,索菲涅·塔哈尔:
使用AsmL验证SystemC设计的方法。 69-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ChoiZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ChoiZ05
崔永顺（Yongsun Choi）,J.李昂·赵:
循环工作流的基于分解的验证。 84-98

定时、嵌入式和混合系统（I）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DammPR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DammPR05
沃纳·达姆,吉尔赫梅·平托,斯特凡·拉思坎（Stefan Ratschan）:
非线性鲁棒离散时间混合系统LTL特性验证中的保证终止。 99-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/杜贝WSK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DubeyWSK05
Abhishek Dubey公司,吴贤斌,杭素,德约翰古:
基于模型方法的嵌入式软件系统自动分析计算平台。 114-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Voinikonis05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Voinikonis05
安德烈·沃尼科尼斯:
复杂活动时间方面的定量和定性分析。 129-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/黄W05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HuangW05
耿殿煌,Farn Wang公司:
实时系统用区域相关覆盖注释自动生成测试用例。 144-158

抽象与约简技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Szreter05型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Szreter05
马西耶·斯兹雷特:
可达性有界模型检查中的选择性搜索。 159-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LiGLL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LiGLL05
吞力,杨果（Yang Guo）,李思坤,刘公杰:
使用约束逻辑编程实现RTL Verilog描述的谓词抽象。 174-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LakosK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LakosK05
查尔斯·拉科斯,拉尔斯·迈克尔·克里斯滕森:
使用等价约简和扫描线方法对基于对象系统的状态空间探索。 187-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/EvangelistaHP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/EvangelistaHP05
萨米·伊万格利斯塔,谢尔盖·哈达德,Jean-François Pradat-Peyre女士:
语法着色Petri网约简。 202-216

可决定性和复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MysorePM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MysorePM05
Venkatesh迈索尔,卡拉广场,巴德·米什拉:
算法代数模型检验II：半代数模型检验的可判定性及其在系统生物学中的应用。 217-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/YagiTS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/YagiTS05
Isao八木,高田吉崎,Hiroyuki Seki先生:
使用树自动机进行XML访问控制的静态分析。 234-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DemriN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DemriN05
斯特凡·德姆里,大卫·诺瓦:
关于超有限序列的推理。 248-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FinkbeinerS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FinkbeinerS05
伯恩德·芬克贝纳,斯文·舍韦:
半自动分布式合成。 263-277

既定的形式主义和标准

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MaoCV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MooCV05
毛晓宇,珍妮特·卡多佐,罗伯特·瓦莱特:
一种新的类图，用于保持定量时间约束。 278-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BerardCHLR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BerardCHLR05
贝特里斯·贝拉德,弗兰克·卡塞兹,谢尔盖·哈达德,迪迪埃·莱姆,奥利维尔·H·鲁:
时间Petri网不同语义的比较。 293-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SaadA05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SaadA05
穆纳·萨德,莱拉·杰姆尼·本·阿伊德:
在B精化中使用过去的时态算子引入动态属性。 308-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/TardieuE05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/TardieuE05
奥利维尔·塔迪厄,斯蒂芬·爱德华兹:
Esterel中死代码消除的近似可达性。 323-337

成分验证和游戏

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Bhaduri 2005年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Bhaduri05
普兰达尔·巴杜里:
界面自动机综合。 338-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ShohamG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ShohamG05
沙伦·肖姆,奥尔娜·格伦伯格:
多值模型检验博弈。 354-369

定时、嵌入式和混合系统（II）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LinHHC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LinHHC05
尚伟林,保安兴,黄春霞,Yean-Ru Chen先生:
模型检查优先级定时自动机。 370-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WangK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WangK05
王福之,玛尔塔·奎亚特科夫斯卡:
基于MTBDD的概率时间自动机前向可达性实现。 385-399

协议分析、案例研究和工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/OrsetAC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/OrsetAC05
Jean-Marie奥尔塞特,Baptiste Alcalde公司,安娜·R·卡瓦利:
一种基于EFSM的Ad Hoc网络入侵检测系统。 400-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/CombesHK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/CombesHK05
皮埃尔·库姆斯,哈雷尔,希勒尔·库格勒:
使用实时序列图和Play-Engine工具对电信应用程序进行建模和验证。 414-428
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/KimK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KimK05
蒙祖·金,Kyo Chul Kang先生:
家用服务机器人的正式构造和验证：案例研究。 429-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LindstromMV05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LindstromMV05
加里·林德斯特罗姆,彼得·梅赫利茨,威廉·维瑟:
使用Java PathFinder进行模型检查实时Java。 444-456

无限状态和参数化系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GallaschB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GallaschB05
盖伊·爱德华·加拉斯,乔纳森·比林顿:
使用参数自动机验证停止等待类协议。 457-473
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BardinFLS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BardinFLS05
塞巴斯蒂安·巴丁,阿兰·芬克尔,杰罗姆·勒鲁,菲利普·施诺贝伦:
符号模型检查中的平面加速度。 474-488
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LerouxS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LeruxS05
杰罗姆·勒鲁,格雷戈伊尔·苏特雷:
平面计数器自动机几乎无处不在！ 489-503

服务

管理网站设置

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