停止战争！

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

对于科学家：

默认搜索操作

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

问别人

7.VMCAI 2006年：美国南卡罗来纳州查尔斯顿

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/2006
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/2006
E.艾伦·艾默生,Kedar S.Namjoshi公司:
验证、模型检查和抽象解释，第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日，会议记录。计算机科学课堂讲稿3855,施普林格 2006，国际标准图书编号3-540-31139-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/SachteS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/SchachteS06
彼得·沙赫特,哈拉尔德·森德加德:
ROBDD的闭包运算符。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/JaffarSV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/JaffarSV06
佐克森·贾法尔,安德鲁·桑托萨,Razvan Voicu公司:
一种用于组合和间歇谓词抽象的CLP方法。 17-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/AnoldMSS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/AnoldMSS06
吉拉德·阿诺德,罗曼·曼尼维奇,穆利·萨吉夫,兰·沙哈姆:
通过相交抽象组合形状分析。 33-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GantyRB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GantyRB06
皮埃尔·甘蒂,Jean-François Raskin女士,劳伦特·范·贝京:
WSTS覆盖特性的完整抽象解释框架。 49-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Bozzelli06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Bozzelli06网址
劳拉·博泽利:
分支时间下推模型检查的复杂性结果。 65-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/TanA06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/TanA06
谭刚（Gang Tan）,安德鲁·W·阿佩尔:
控制流的组合逻辑。 80-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/RosignoliS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/RosignoliS06
斯特凡诺·罗西尼奥利,福斯托·斯波托:
通过将抽象编译为布尔函数来检测非循环性。 95-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/SankaranarayananCSM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/SankaranarayananCSM06
斯里拉姆·桑卡拉纳拉亚南,迈克尔·科隆,亨尼·B·西普玛,佐哈尔·曼纳:
高效的强关联多面体分析。 111-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/ClarkeTV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/ClarkeTV06
埃德蒙·克拉克,穆拉利达尔·塔卢普尔,赫尔穆特·维思:
参数化验证的环境抽象。 126-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Younes06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Younes06网站
哈坎·L.S.Younes:
概率模型检验的误差控制。 142-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/WiesKLPR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/WiesKLPR06
托马斯·维斯,维克托·昆卡,林立信,安德烈亚斯·波德尔斯基,马丁·里纳德:
字段约束分析。 157-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/ChangCN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/ChangCN06
Bor-Yuh Evan Chang先生,亚当·克利帕拉,乔治·C·内库拉:
认证程序分析框架及其在移动代码安全中的应用。 174-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/HristovaL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/HristovaL06
卡蒂娅·赫里斯托娃,杨红A.刘:
下推系统线性时序逻辑模型检查的改进算法复杂性。 190-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BinghamR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BinghamR06
杰西·宾厄姆,兹沃尼米尔·拉卡马利奇:
堆操作程序谓词抽象的逻辑和决策过程。 207-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/SistlaZZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/SistlaZZ06
A.普拉萨德·西斯特拉,Min Zhou女士,勒诺·D·扎克:
监控非现成组件。 222-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/JabbarE06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/JabbarE06
沙希德·贾巴尔,斯特凡·埃德尔坎普:
具有线性I/O的并行外部定向模型检查。 237-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GhafariT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GhafariT06网址
纳格梅·加法里,理查德·特雷弗:
可分析分段FIFO通道。 252-266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BalabanCP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BalabanCP06
伊塔·巴拉班,艾里尔·柯亨,阿米尔·普努利:
递归程序的排序抽象。 267-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/JaffarSV06a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/JaffarSV06a
佐克森·贾法尔,安德鲁·桑托萨,Razvan Voicu公司:
相对安全。 282-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/KobayashiSW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/KobayashiSW06
小林直树,Kohei Suenaga公司,卢西安·维希克:
的资源使用分析圆周率-微积分。 298-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/LogozzoC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/LogozoC06
弗朗西斯科·洛戈佐,阿戈斯蒂诺·科尔泰西:
通过抽象解释重构语义层次。 313-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/RanzatoT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/RanzatoT06
弗朗西斯科·兰扎托,弗朗西斯科·塔帕罗:
基于时间不动点算子的抽象解释的强保持性。 332-347
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Mine06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Mine06网址
安托万·米内:
提高数值抽象域精度的符号方法。 348-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/PitermanPS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/PitermanPS06网址
尼尔·皮特曼,阿米尔·普努利,亚尼夫·萨尔:
反应（1）设计的合成。 364-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GurfinkelWC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GurfinkelWC06
阿里·古芬克尔,欧伟,玛莎·契契克:
模型检查抽象的系统构建。 381-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Subramani06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Subramani06网址
K.Subramani公司:
具有相对时间约束的完全透视调度。 398-411
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BozzelliTP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BozzelliTP06
劳拉·博泽利,萨尔瓦托雷·拉托雷,阿德里亚诺·佩隆:
形式良好的通信递归状态机的验证。 412-426
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BradleyMS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BradleyMS06
亚伦·R·布拉德利,佐哈尔·曼纳,亨尼·B·西普玛:
阵列的决定因素是什么？ 427-442

服务

管理网站设置

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