停止战争！

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

对于科学家：

默认搜索操作

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

问别人

10.VMCAI 2009：美国佐治亚州萨凡纳

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

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/2009
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/2009
尼尔·D·琼斯,马库斯·穆勒·奥尔姆:
验证、模型检查和抽象解释，第十届国际会议，VMCAI 2009，美国佐治亚州萨凡纳，2009年1月18-20日。诉讼程序。计算机科学课堂讲稿5403,施普林格 2009，国际标准图书编号978-3-540-93899-6

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/艾默生09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Emerson09
E.艾伦·艾默生:
模型检查：进展和问题。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Gupta09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Gupta09
阿尔蒂·古普塔:
模型检查并发程序。 2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Sagiv09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Sagiv09
穆利·萨吉夫:
螺纹模数形状分析。三

邀请的教程

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Cook09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Cook09
拜伦·库克:
程序终止和生存的进展。 4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Cortier09会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Cortier09
Véronique Cortier公司:
验证安全协议。 5-13

提交的论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/AmjadB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/AmjadB09
哈桑·阿姆贾德,理查德·博纳特:
可靠性保证证明的自动稳定性分析。 14-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BentonF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BentonF09
威廉·本顿,查尔斯·菲舍尔:
Java程序中的大多数功能行为。 29-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/DimoulasW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/DimoulasW09
克里斯托斯·迪穆拉斯,米切尔·旺德:
高阶聚合更新问题。 44-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/EtessamiG09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/EtessamiG09
库沙·埃特萨米,帕特丽斯·戈德弗里德:
事务编程的一个异常感知模型。 59-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GallowayLMS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GallowayLMS09
安迪·加洛韦,杰拉尔德·吕特根,扬·托拜厄斯·穆尔伯格,西米尼亚努半径:
模型-检查Linux虚拟文件系统。 74-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GodefroidP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GodefroidP09
帕特丽斯·戈德弗里德,尼尔·皮特曼:
重温LTL广义模型检查。 89-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GondiPS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GondiPS09
卡尔帕纳·贡迪,约格什库马尔·帕特尔,A.普拉萨德·西斯特拉:
监测随机系统的全部欧米伽正则性质。 105-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GulwaniSV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GulwaniSV09
苏米特·古尔瓦尼,索拉巴·斯利瓦斯塔瓦,文卡特桑:
谓词抽象上基于约束的不变推理。 120-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GurovH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GurovH09
迪利安·古罗夫,玛丽克·赫斯曼:
使用过程将程序的行为简化为结构属性。 136-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/HolzerSTV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/HolzerSTV09
安德烈亚斯·霍尔泽,克里斯蒂安·夏尔哈特,迈克尔·陶奇尼格,赫尔穆特·维思:
查询驱动程序测试。 151-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/JurdzinskiLR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/JurdzinskiLR09
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,米查尔·鲁特考夫斯基:
具有强重置的混合自动机上的平均价格奖励游戏。 167-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/KattenbeltKNP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/KattenbeltKNP09
马克·卡滕贝尔特,Marta Z.Kwiatkowska公司,格钦·诺曼,大卫·帕克:
概率软件的抽象精化。 182-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/KiddRDV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/KiddRDV09
尼古拉斯·基德,托马斯·W·代表,朱利安·杜比,曼达纳·瓦齐里:
使用随机隔离查找与并发相关的Bug。 198-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/KinderZV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/KinderZV09
约翰内斯·金德,弗洛里安·祖勒格,赫尔穆特·维思:
基于抽象解释的二进制控制流重构框架。 214-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/LavironL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/LavironL09
文森特·拉维隆,弗朗西斯科·洛戈佐:
次多面体：推断线性不等式的（更多）可缩放方法。 229-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Mier09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Maier09
帕特里克·迈尔:
向量和袋理论的决定扩展。 245-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/MightM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/MightM09
马修·梅,Manolios帕纳焦蒂斯:
非确定性抽象解释的后验稳健性。 260-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Oshman09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Oshman09
罗特姆·奥斯曼:
有界模型检验的自动机理论动态完备性准则。 275-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/RakamaricH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/RakamaricH09
兹沃尼米尔·拉卡马利奇,艾伦·J·胡:
低层代码的可扩展内存模型。 290-304
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/TalyGT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/TalyGT09
安库尔·塔利,苏米特·古尔瓦尼,阿什什·蒂瓦里:
使用约束求解合成开关逻辑。 305-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/TreflerW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/TreflerW09
理查德·特雷弗,托马斯·沃尔:
通过利用系统架构扩展对称约简。 320-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Vafeiadis09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Vafeiadis09
维克托·瓦菲亚迪斯:
用于验证线性化的形状值抽象。 335-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/WeiGC09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/WeiGC09
欧伟,阿里·古芬克尔,玛莎·契契克:
重新审视混合过渡系统。 349-365
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/WimmerBB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/WimmerBB09
拉尔夫·威默,贝蒂娜Braiting,伯恩德·贝克尔:
用有界模型检验生成离散时间马尔可夫链的反例。 366-380

服务

管理网站设置

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