停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第二十五塔卡斯@ETAPS2019年：捷克共和国布拉格

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2019-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2019-2
托马斯·沃伊纳,张丽君:
系统构建和分析的工具和算法——第25届国际会议，TACAS 2019，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2019，捷克共和国布拉格，2019年4月6日至11日，会议记录，第二部分。计算机科学课堂讲稿11428,施普林格 2019，国际标准图书编号978-3-030-17464-4

并发和分布式系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BozgaIS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozgaIS19
马吕斯·博兹加,半径Iosif,约瑟夫·西法基斯:
检查基于参数化组件的系统的死锁自由度。 3-20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BunteGKLNVWWW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BunteGKLNVWWW19
奥拉夫·邦特,简·弗里索·格鲁特,杰罗恩·J·A·凯伦,莫里斯·拉维奥,托马斯·内勒,埃里克·德文克,威格·威瑟林克,安东·威伊斯,蒂姆·A·C·威廉斯:
用于分析并发系统的mCRL2工具集-在表达性和可用性方面的改进。 21-39
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LiuOZWM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LiuOZWM19
司刘,彼得·塞巴·奥尔夫茨基,张敏,王琦（Qi Wang）,何塞·梅塞盖尔:
Maude中分布式事务系统一致性属性的自动分析。 40-57岁
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DijkMP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DijkMP19
汤姆·范·迪克,杰伦·梅耶尔,雅各·范德波尔:
多核实时饱和。 58-75

监控和运行时验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bakhirkin公司B19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BakhirkinB19
阿列克谢·巴赫金,尼古拉斯·巴塞特:
STL之外的规范和高效监控。 79-97
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DawesRFPG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DawesRFPG19
Joshua Heneage Dawes,贾尔斯·雷格尔,乔瓦尼·弗兰佐尼,安德烈亚斯·普菲弗,贾科莫·戈维:
VyPR2:Python Web服务运行时验证框架。 98至114
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HahnST19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HahnST19
克里斯托弗·哈恩,马文·斯坦格,Leander Tentrup公司:
基于约束的超属性监控。 115-131

混合随机系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KuraUH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KuraUH19
佐藤·库拉（Satoshi Kura）,Natsuki Urabe公司,哈朔一郎:
高阶矩鞅随机程序运行时的尾部概率。 135-153
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MeyerEO19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MeyerEO19
菲利普·梅耶,哈维尔·埃斯帕尔扎,菲利普·奥特马特:
计算概率工作流网络的预期执行时间。 154-171
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CeskaJJK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CeskaJJK19
米兰-塞斯卡,尼尔斯·詹森,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司:
马尔可夫链的牧羊群。 172-190
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ButkovaF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ButkovaF19
尤利亚·布特科娃,Gereon Fox公司:
并发系统的最优时限可达性分析。 191-208

合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AndreBPP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AndreBPP19
埃蒂安·安德烈,文森特·布洛曼,劳蕾·佩特鲁奇,雅各·范德波尔:
参数时间自动机的最小时间综合。 211-228年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MayumdarPS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MayumdarPS19
鲁帕克·马朱姆达尔,尼尔·皮特曼,安妮·凯瑟琳·施穆克:
环保GR（1）合成。 229-246
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CauchiA19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CauchiA19网址
纳塔莉·考奇,亚历山德罗·阿巴特:
\mathsf StocHy：随机过程的自动验证和合成。 247-264
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KhaledKAZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KhaledKAZ19
马哈茂德·哈立德,埃里克·S·金,穆拉特·阿卡克,马吉德·扎马尼:
符号控制器的综合：一种并行和稀疏的方法。 265-281

符号验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AmparoreCDM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AmparoreCDM19
Elvio Gilberto水族馆,吉安弗兰科·西亚多,苏珊娜·多纳泰利,安德鲁·米纳:
i_\mathrm秩：线性不变量DEDS的可变阶度量。 285-302
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BabarJCM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BabarJCM19
朱奈德·巴巴尔,川江,吉安弗兰科·西亚多,安德鲁·米纳:
具有边指定约简的二元决策图。 303-318
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/卡特兰MZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KatelaanMZ19
延斯·卡特兰,克里斯托夫·马蒂亚,弗洛里安·祖勒格:
归纳定义分离逻辑的有效蕴涵检查。 319-336

安全和容错系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BenesBPS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BenesBPS19
尼古拉·贝内斯,卢博斯·布里姆,塞缪尔·帕斯特瓦,大卫·萨法内克:
TCP动力学的数字分岔分析。 339-356
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/StoilkovskaKWZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/StoilkovskaKWZ19
伊琳娜·斯托尔科夫斯卡,伊戈尔·康诺夫,约瑟夫·威德,弗洛里安·祖勒格:
通过有界模型检查验证同步容错算法的安全性。 357-374
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CastroDDP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CastroDDP19
巴勃罗·卡斯特罗,佩德罗·达吉尼奥,拉米罗·德马西,卢西亚诺·普特鲁埃:
测量屏蔽故障容差。 375-392
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SchubertHB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SchubertHB19
菲利普·多米尼克·舒伯特,本·赫尔曼,埃里克·博登:
PhASAR：C/C++的跨过程静态分析框架。 393-410

服务

管理网站设置

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