停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2018年第24届TACAS：希腊塞萨洛尼基（ETAPS 2018的一部分）

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2018-2年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2018-2
德克·拜尔,玛丽克·赫斯曼:
系统构建和分析的工具和算法——第24届国际会议，TACAS 2018，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2018，塞萨洛尼基，希腊，2018年4月14日至20日，会议记录，第二部分。计算机科学课堂讲稿10806,施普林格 2018，国际标准图书编号978-3-319-89962-6

并发和分布式系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MeyerEV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MeyerEV18
菲利普·梅耶,哈维尔·埃斯帕尔扎,哈根·沃尔泽:
计算无声音选择工作流网络的并发阈值。 3-19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChiniMS18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChiniMS18
彼得·奇尼,罗兰·梅耶,普拉卡什·塞瓦桑:
安全验证的精细复杂性。 20-37
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Balasubramanian18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Balasubramanian18
A.R.巴拉苏布拉曼尼亚语,纳塔莉·贝特朗,尼古拉斯·马基:
约束可重构广播网络中同步的参数化验证。 38-54
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MattareiBGNS18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MatareiBGNS18
克里斯蒂安·马塔雷,克拉克·W·巴雷特,郭树友,布拉德雷·尼尔森,本·史密斯:
EMME：ECMAScript内存模型评估的形式化工具。 55-71

SAT和SMT II

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeuleB18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeuleB18
Marijn J.H.鞋垫,阿明·比尔:
变量带来的差异。 75-92
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/IosifX18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/IosifX18网址
半径Iosif,小旭:
交替数据自动机空检查的抽象精化。 93-111
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ReynoldsBF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ReynoldsBF18
安德鲁·雷诺兹,哈尼尔·巴博萨,帕斯卡·方丹:
重新审视枚举实例化。 112-131
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RouxIC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RouxIC18
皮埃尔·鲁克斯,穆罕默德·伊格伦拉拉,Sylvain Conchon公司:
控制命令软件验证的非线性算法程序。 132-151

安全和反应系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CeskaHHLV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CeskaHHLV18
米兰塞斯卡,Vojtech哈夫勒纳,卢卡斯·霍利克,Ondrej Lengál公司,托马斯·沃伊纳:
高速网络入侵检测中有限自动机的近似约简。 155-175
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KatisFGGBGW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KatisFGGBGW18
安德烈亚斯·凯蒂斯,格里戈里·费德尤科维奇,郭华军,安德鲁·盖切克,约翰·巴克斯,阿里·古芬克尔,迈克尔·沃伦:
基于假设保证合同的反应系统的有效性引导合成。 176-193
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FinkbeinerHST18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FinkbeinerHST18
伯恩德·芬克贝纳,克里斯托弗·哈恩,马文·斯坦格,Leander Tentrup公司:
RVHyper：一个用于时间超属性的运行时验证工具。 194-200
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DragomirPT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DragomirPT18
尤利娅·德拉戈米尔,紫罗兰Preoteasa,斯塔夫罗斯·特里帕基斯:
反应系统工具集的精化演算。 201-208

静态和动态程序分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Marsso0S18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Marsso0S18
利娜·马尔索,Radu Mateescu公司,温德林·塞维:
TESTOR：用于即时一致性测试用例生成的模块化工具。 211-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AronisJLS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AronisJLS18
斯塔夫罗斯·阿罗尼斯,本特·琼森,马格努斯·朗格,康斯坦蒂诺斯·萨戈纳斯:
带观测器的最优动态部分降阶。 229-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ShermanD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ShermanD18
埃琳娜·谢尔曼,马修·德怀尔:
结构化定义的条件数据流静态分析。 249-265
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LeikeH18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LeikeH18
简·雷克,马蒂亚斯·海兹曼:
几何不确定性参数。 266-283

混合随机系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SchoppA18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SchuppA18
斯特凡·舒普,埃里卡·阿布拉哈姆:
混合系统可达性分析中的有效动态误差减少。第287页至第302页
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NickovicLMFU18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NickovicLMFU18
德扬·尼科维奇,奥利维尔·勒贝特尔,奥德·马勒,托马斯·费雷尔,多根·乌卢斯:
AMT 2.0：使用扩展信号时间逻辑进行定性和定量跟踪分析。 303-319
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HartmannsJKQ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HartmannsJKQ18
阿恩·哈特曼斯,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司,蒂姆·夸特曼:
MDP中的多成本有界可达性。 320-339
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BuddeDHS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BuddeDHS18
卡洛斯·巴德,佩德罗·达吉尼奥,阿恩·哈特曼斯,肖恩·塞德瓦兹:
非确定性和罕见事件的统计模型检查器。 340-358

时间逻辑与微积分

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HausmannSD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HausmannSD18
丹尼尔·奥斯曼,卢茨·施罗德,汉斯·佩特·迪费尔:
弱结合的置换游戏\muμ-微积分。 361-378
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NamjoshiT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NamjoshiT18网址
Kedar S.Namjoshi公司,理查德·特雷弗:
局部Mu-Calculus的对称约简。 379-395
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BortolussiS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BortolussiS18
卢卡·博托鲁西,西蒙·西尔维蒂:
随机模型线性时间特性的贝叶斯统计参数综合。 396-413

第七届软件验证竞赛（SV-COMP）

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MalikMSSVW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MalikMSSVW18
维克托·马利克,斯特凡·马蒂切克,彼得·施拉姆,曼达扬·K·斯利瓦斯,托马斯·沃伊纳,约翰·瓦朗:
2LS：记忆安全和不终止-（竞争贡献）。 417-421
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/In0LLW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/In0LLW18
梁泽贤,魏东,刘万伟,李云愁,Ji Wang（音译）:
YOGAR-CBMC：具有基于调度约束的抽象精炼（竞争贡献）的CBMC。 422-426
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AndrianovMMV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AndrianovMMV18
帕维尔·S·安德里亚诺夫,瓦迪姆·S·穆提林,米哈伊尔·曼德利金,安东·瓦西利耶夫:
CPA-BAM切片：基于区域的依赖分析的块抽象记忆和切片（竞争贡献）。 427-431
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DuanTDO18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DuanTDO18
赵端,丛天,段振华,C.-H.卢克·翁:
InterpChecker：通过插值减少状态空间-（竞争贡献）。 432-436
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MenezesRCB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MenezesRCB18网站
拉斐尔·梅内泽斯,赫伯特·罗查,卢卡斯·科尔德罗,雷蒙多·巴雷托:
Map2使用LLVM和KLEE检查-（竞争贡献）。 437-441
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChalupaVS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChalupaVS18
马雷克·查鲁帕,马蒂娜·维托夫斯卡,简·斯特雷切克:
SYMBIOTIC 5:增强型仪器-（竞争贡献）。 442-446
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannCDGHLNM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18
马蒂亚斯·海兹曼,陈玉芳,丹尼尔·迪奇,马吕斯·格雷特斯,Jochen Hoenicke公司,李勇,亚历山大·纳茨,贝蒂姆·穆萨,克里斯蒂安·席林,坦尼娅·辛德勒,安德烈亚斯·波德尔斯基:
终极Automizer和寻找完美插值-（竞争贡献）。 447-451
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DietschGHHNPSS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DietschGHHNPSS18
丹尼尔·迪奇,马吕斯·格雷特斯,马蒂亚斯·海兹曼,Jochen Hoenicke公司,亚历山大·纳茨,安德烈亚斯·波德尔斯基,克里斯蒂安·席林,坦尼娅·辛德勒:
带动态块编码的终极大班-（竞争贡献）。 452至456
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/深色PCCKBVDM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DarkePCCKBVDM18
普里扬卡·达克,苏曼特·帕布,巴蒂·奇迪瓦尔,Avriti Chauhan公司,希拉旺·库玛,阿尼梅斯·巴萨克·乔杜里,R.文卡特斯,Advaita数据器,拉文德拉·库马尔·梅迪切拉:
VeriAbs：通过抽象和测试生成进行验证-（竞争贡献）。 457-462

服务

管理网站设置

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