停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2016年第14届ATVA：日本千叶

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

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2016年conf/atva
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/2016
西里尔·阿瑟,阿克塞尔·莱盖,多伦·贝利德:
验证和分析自动化技术-第14届国际研讨会，ATVA 2016，日本千叶，2016年10月17日至20日，会议记录。计算机科学课堂讲稿9938,2016，国际标准图书编号978-3-319-46519-7

主题演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/富士16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Fujita16
藤田正弘:
通过少量测试模式合成并完全测试基于模板的硬件。 3-10

马尔可夫模型、链和决策过程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AbateCK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AbateCK16
亚历山德罗·阿巴特,米兰塞斯卡,玛尔塔·奎亚特科夫斯卡:
基于定量自适应聚合的马尔可夫决策过程近似策略迭代。 13-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BrazdilKN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BrazdilKN16
托马斯·布拉兹迪尔,安东·库塞拉,彼得·诺沃顿:
能量马尔可夫决策过程中期望平均收益的优化。 32-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/QuatmannD0JK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/QuatmannD0JK16
蒂姆·夸特曼,克里斯蒂安·德纳特,尼尔斯·詹森,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司:
马尔可夫模型的参数合成：比以往更快。 50-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/0001DKKW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/0001DKKW16
尼尔斯·詹森,克里斯蒂安·德纳特,本杰明·卢西安·卡明斯基,Joost-Pieter Katoen公司,卢卡斯·韦斯特霍芬:
概率程序的有界模型检验。 68-85

计数器系统，自动

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/IosifS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/IosifS16
半径Iosif,阿诺德·桑尼尔:
验证具有有限单体性质的平面仿射计数器系统有多难？ 89-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AvellanedaDR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AvellanedaDR16
弗洛伦特·阿维兰达,西尔瓦诺·达尔·齐利奥,让-巴蒂斯特·拉克勒:
使用侧翼自动机求解语言方程。 106-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Duret-LutzLFMRX16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Duret-LutzLFMRX16
亚历山大·杜雷特·卢茨,亚历山大·卢科维奇,阿默里·福齐尔,蒂鲍德·米绍德,艾蒂安·雷诺,劳伦特·徐:
Spot 2.0-LTL和omega的框架-自动操作。 122-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SickertK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SickertK16
所罗门·西克特,扬·克伦斯克:
MoChiBA：使用极限确定性Büchi自动机的概率LTL模型检查。 130-137

并行性、并发性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MartinVM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MartinVM16
奥斯卡·马汀,阿尔贝托·维尔德乔,纳西索·马蒂-奥列特:
重写系统的同步产品。 141-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FinkbeinerS016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FinkbeinerS016
伯恩德·芬克贝纳,赫尔穆特·塞德尔,克里斯蒂安·米勒:
使用任意多个代理指定和验证工作流中的机密性。 157-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Nguyen0TP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Nguyen0TP16
Truc L.Nguyen公司,伯恩德·菲舍尔,萨尔瓦托雷拉托雷,Gennaro Parlato公司:
无边界并发程序安全验证的延迟序列化。 174-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BenesBDPS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BenesBDPS16
尼古拉·贝内斯,卢博斯·布里姆,马丁·德姆科,塞缪尔·帕斯特瓦,大卫·萨法内克:
基于并行SMT的参数综合及其在分段多仿射系统中的应用。 192-208

复杂性、可决定性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/KuperbergBC16会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KuperbergBC16
丹尼斯·库珀伯格,朱利安·布鲁内尔,大卫·切穆尔:
一阶线性时序逻辑中的有限域。 211-226
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/布伦吉尔F16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BrenguierF16
罗曼·布伦吉尔,Vojtech预测:
多目标随机博弈的可判定性结果。 227-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ReynoldsIS016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ReynoldsIS016
安德鲁·雷诺兹,半径Iosif,Cristina塞尔维亚人,蒂姆·金:
SMT中分离逻辑的决策过程。 244-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MeyerL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MeyerL16
菲利普·梅耶,迈克尔·卢滕伯格:
在GPU上解决Mean-Payoff游戏。 262-267

合成、精炼

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FinkbeinerT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FinkbeinerT16
伯恩德·芬克拜纳,哈泽姆·托法:
反应系统骨架的合成。 271-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Ben-DavidCU16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Ben-DavidCU16
Shoham Ben-David公司,玛莎·契契克,塞巴斯蒂安·乌奇特尔:
虚拟MTS的观察精炼和合并。 287-303
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Li016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Li016
辛莉（Xin Li）,小林直树:
用于HORS模型检查的基于等价性的抽象精化。 304-320

优化、启发式、部分降阶

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BaierKMNW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BaierKMNW16
克里斯特尔·拜尔,Sascha Klüppelholz公司,赫尔曼·德·梅尔,弗洛里安·尼德梅尔,萨沙·温德利希:
绿色比特：需求响应的形式分析。 323-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Duret-LutzKPR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Duret-LutzKPR16
亚历山大·杜雷特·卢茨,Fabrice Kordon公司,丹尼斯·波特雷诺,艾蒂安·雷诺:
用部分降阶检查活性属性的启发式。 340-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/NeeleWBP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/NeeleWBP16
托马斯·尼尔,安东·威伊斯,德拉甘·博斯纳奇,雅各·范德波尔:
用于GPU模型检查的部分降阶。 357-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MetzlerSBHS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MetzlerSBHS16
帕特里克·梅茨勒,哈比布·塞西,佩特博科,罗宾·黑塞,内拉杰·苏里:
程序片段的有效验证：急切的POR。 375-391

解决程序，模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/威默WSB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WimmerWSB16
卡琳娜·威默,拉尔夫·威默,克里斯托夫·斯科尔,伯恩德·贝克尔:
DQBF的Skolem函数。 395-411
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RoehmOHA16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/RoehmOHA16
亨德里克·罗姆,延斯·奥勒金,托马斯·海因茨,马蒂亚斯·阿尔霍夫:
连续和混合系统的STL模型检查。 412-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MarescottiHS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MarescottiHS16
马泰奥·马雷斯科蒂,安蒂·海瓦里宁,娜塔莎·沙里吉娜:
基于云的SMT解决的子句共享和分区。 428-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DeiningerDM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DeiningerDM16
大卫·戴宁格,雷娜·迪米特洛娃,鲁帕克·马朱姆达尔:
因子概率模型的符号模型检查。 444-460

项目分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HuaK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HuaK16
金汝华,萨尔夫拉兹·库希德:
使用测试用例进行调试的基于草图的方法。 463-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/OliveiraBP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/OliveiraBP16
史蒂文·德·奥利维拉,萨德克·本萨勒姆,维吉尔·普雷沃斯托:
线性代数多项式不变量。 479-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/QiuPK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/QiuPK16
芮秋,科琳娜·帕萨雷努,萨尔夫拉兹·库希德:
经认证的符号执行。 495-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/CadekST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/CadekST16
帕维尔·卡德克,简·斯特雷切克,马雷克·特里克:
更紧密的回路界限分析。 512-527

服务

管理网站设置

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