停止战争！

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

对于科学家：

默认搜索操作

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

问别人

15.VMCAI 2014：美国加利福尼亚州迭戈

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

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/2014
肯尼思·麦克米兰,Xavier对手:
验证、模型检查和抽象解释-第15届国际会议，VMCAI 2014，圣地亚哥，加利福尼亚州，美国，2014年1月19-21日，会议记录。计算机科学课堂讲稿8318,施普林格 2014，国际标准图书编号978-3-642-54012-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BloemKS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BloemKS14
罗德里克·布隆,罗伯特·科尼霍弗,马蒂娜·塞德尔:
基于SAT的安全规范合成方法。 1-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/SchwarzSVA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/SchwarzSVA14
马丁·施瓦兹,赫尔穆特·塞德尔,维萨尔·沃达尼,Kalmer Apinis公司:
优先级调度程序中值相关同步的精确分析。 21-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Mine14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Mine14
安托万·米内:
通过抽象解释进行关系线程模块静态值分析。 39-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GustavssonGL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GustavssonGL14
安德烈亚斯·古斯塔夫森,简·古斯塔夫森,比约恩·利斯珀:
使用抽象执行的并行软件时序分析。 59-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Chatterjee0FR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Chatterjee0FR14
克里希南德·查特吉,劳伦特·多恩,艾曼纽尔·菲利奥特,Jean-François Raskin女士:
Omega规则游戏的末日平衡。 78-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Song0G14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Song0G14
雷松,张丽君,Jens Chr.公司。哥斯克森:
连续时间Markov决策过程的互模拟和逻辑特征。 98至117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/KiniV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/KiniV14
迪利普·基尼,马赫什·维斯瓦纳坦:
安全概率自动机LTL规范。 118-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Chang14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Chang14
Bor Yuh Evan Chang:
拒绝堆可达性。 137-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/WangBW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/WangBW14
王伟（音译）,克拉克·W·巴雷特,托马斯·维斯:
级联2.0。 142-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/DragoiHVWZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/DragoiHVWZ14
塞扎拉·德拉戈伊,托马斯·汉津格,赫尔穆特·维思,约瑟夫·威德,达米安·祖弗里:
基于逻辑的共识算法验证框架。 161-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/AngelisFPP14文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/AngelisFPP14
伊曼纽尔·德·安吉利斯,法比奥·菲奥拉万蒂,阿尔贝托·佩托罗西,毛里齐奥·普罗埃蒂:
通过转换验证条件验证阵列程序。 182-202年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/洛佩斯M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/LopesM14网址
努诺·P·洛佩斯,何塞·蒙泰罗:
编译器优化的最弱前提合成。 203-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/JezequelE14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/JezequelE14
洛伊格·杰泽奎尔,哈维尔·埃斯帕尔扎:
分布式协议验证的消息传递算法。 222-241
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BozgaIK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BozgaIK14
马吕斯·博兹加,半径Iosif,菲利普·科内克:
对于具有八角循环的平面整数程序，安全问题是NP-完全的。 242-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/AminofJKR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/AminofJKR14
本杰明·阿米诺夫,瑞典雅各布斯,阿伊拉特·卡利莫夫,萨沙·鲁宾:
令牌传递系统的参数化模型检查。 262-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Fu14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Fu14
周来福:
将数字抽象域与指向分析进行模块化组合，以及针对Java的可扩展静态数字分析器。 282-301年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Ferrara14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Ferrara14
彼得罗·费拉拉:
抽象解释中堆分析和价值分析的一般结合。 302-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/AcunaAMS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/AcunaAMS14
维森特·阿库尼亚,安德烈斯·阿拉维纳,亚历杭德罗·马斯,安妮·西格尔:
节俭假设监管网络建模：复杂性和启发式方法。 322至336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Romano14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Romano14
安东尼·罗马诺:
使用整数代码的实际浮点测试。 337-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/FaymonvilleFP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/FaymonvilleFP14
彼得·费蒙维尔,伯恩德·芬克贝纳,多伦·A·佩里德:
监测参数时序逻辑。 357-375
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/WangH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/WangH14网址
王超（Chao Wang）,黄凯文（Kevin Hoang）:
有限可观测性并发轨迹中控制状态可达性的精确判定。 376-394
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/SinghSXKS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/SinghSXKS14
罗希特·辛格,里沙布·辛格,徐志磊,丽贝卡·克罗斯尼克,阿曼多·索拉勒扎马:
使用模型的草图模块化合成。 395-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/EhlersSK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/EhlersSK14
吕迪格·埃勒斯,桑吉特·塞希亚,哈达斯·克雷斯·加济特:
标识符合成。 415-433
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/LeikeT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/LeikeT14网址
简·雷克,阿什什·蒂瓦里:
多项式Lasso程序的合成。 434-452
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Mass14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/Masse14
达米安·马萨:
基于策略迭代的条件终止和排序函数。 453-471
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/HardekopfWCK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/HardekopfWCK14网址
本·哈德科夫,本·维德曼,伯克利·R·丘吉尔,维尼斯·卡西亚普:
控制流加宽。 472-491

服务

管理网站设置

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