停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2017年第23届TACAS：瑞典乌普萨拉（ETAPS 2017的一部分）

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2017-1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2017-1
阿克塞尔·莱盖,蒂齐亚娜·玛格丽亚:
系统构建和分析的工具和算法——第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2017，乌普萨拉，瑞典，2017年4月22日至29日，会议记录，第一部分。计算机科学课堂讲稿10205,2017，国际标准图书编号978-3-662-54576-8

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Larsen公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Larsen17
金·古德斯特兰·拉森:
网络物理系统的验证、综合和优化。 3-20

验证技术I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SankurT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SankurT17
奥坎·桑库尔,Jean-Pierre Talpin女士:
领导选举协议参数化模型检查的抽象技术：在FTSP中的应用。 23-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AmadiniJGGSSSZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AmadiniJGGSSSZ17
罗伯托·阿马迪尼,亚历山大·乔丹,格雷姆恒河,弗朗索瓦·高瑟,彼得·沙赫特,Harald Søndergaard公司,彼得·J·斯塔基,张晨毅:
组合字符串抽象域进行JavaScript分析：评估。 41-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CimattiGIRS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CimattiGIRS17
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
通过使用EUF增量还原为LRA，对NRA过渡系统进行不变量检查。 58-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FeldmanPISS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FeldmanPISS17
约塔姆·M·Y·费尔德曼,奇怪的帕顿,尼尔·伊梅尔曼,穆利·萨吉夫,沙伦·肖姆:
用于检查归纳不变量的有界量词实例化。 76-95

验证技术II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BorrallerasBLOR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BorrallerasBLOR17
克里斯蒂娜·博拉莱拉斯,马克·布罗克施密特,丹尼尔·拉拉兹,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔,阿尔伯特·卢比奥:
通过有条件终止证明终止。 99-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Cruz-FilipeMS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Cruz-FilipeMS17
路易斯·克鲁斯·菲利佩,乔安·马奎斯·西尔瓦,彼得·施奈德-坎普:
高效的认证解决方案验证检查。 118-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CourantU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CourantU17
纳塔娜·库兰特,卡特琳娜市区:
通过抽象解释证明终止的精确加宽算子。 136-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ParkPSL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ParkPSL17
Junkil公园,米罗斯拉夫·帕季奇,奥列格·索科尔斯基,因苏普·李:
线性控制器有限精度实现的自动验证。 153-169

学习

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DrewsD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DrewsD17
塞缪尔·德鲁斯,洛里斯·德安东尼:
学习符号自动机。 173-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Das017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Das017
Ankush Das公司,扬·霍夫曼:
ML for ML：通过实验学习成本语义学。 190-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LiCZL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LiCZL17
李勇,陈玉芳,张丽君,刘德鹏:
基于DFA族和分类树的Büchi自动机学习算法。 208-226

合成I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KupfermanT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KupfermanT17
奥尔娜·库普夫曼,塔米·塔米尔:
分层网络编队游戏。 229-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/InalaPQLS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/InalaPQLS17
Jeevana Priya Inala女士,纳迪娅·波里卡波娃,邱晓康,本杰明·S·勒纳,阿曼多·索拉勒扎马:
从可重用模板合成递归ADT转换。 247-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PreinerNB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PreinerNB17
马蒂亚斯·普雷纳,艾娜·尼梅茨,阿明·比尔:
反例——指导模型合成。 264-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CavezzaA17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CavezzaA17
戴维德·卡维扎,达拉·阿拉杰:
基于插值的GR（1）假设优化。 281-297

合成II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NguyenWKF17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NguyenWKF17
ThanhVu Nguyen先生,维斯特利·威默尔,迪帕克·卡普尔,斯蒂芬妮·福雷斯特:
连接程序合成和可达性：使用测试输入生成的自动程序修复。 301-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlurRU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlurRU17
拉杰夫·阿鲁尔,阿琼·拉德哈克里什纳,Abhishek Udupa公司:
通过Divide and Conquer缩放枚举程序合成。 319-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AkshayCJS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AkshayCJS17
S.阿克西,Supratik Chakraborty公司,Ajith K.约翰,谢塔尔·沙阿:
走向并行布尔函数综合。 337-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FaymonvilleFRT17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FaymonvilleFRT17
彼得·费蒙维尔,伯恩德·芬克贝纳,马库斯·拉贝,Leander Tentrup公司:
有界合成的编码。 354-370

工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WimmerRM017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WimmerRM017
拉尔夫·威默,斯文·雷默,保罗·马林,伯恩德·贝克尔:
HQSpre-一种有效的QBF和DQBF预处理器。 373-390
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BratterKGP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BratterKGP17
莱昂内尔·布拉特,尼古拉·科马托夫,帕斯卡尔·勒加尔,维吉尔·普雷沃斯托:
RPP：通过自组合自动证明关系属性。 391-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChengLR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChengLR17
Chih-Hong Cheng先生,爱德华·A·李,哈拉尔德·罗斯:
autoCode4：结构控制器合成。 398-404

自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FiedorHJLV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FiedorHJLV17
托马斯·菲多尔,卢卡斯·霍利克,彼得·扬库,Ondrej Lengál,托马斯·沃伊纳:
WS1S的惰性自动机技术。 407-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/EsparzaKRS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/EsparzaKRS17
哈维尔·埃斯帕尔扎,扬·克伦斯克,Jean-François Raskin女士,所罗门·西克特:
从LTL和极限确定性Büchi自动机到确定性奇偶自动机。 426-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KretinskyMWW17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KretinskyMWW17
扬·克伦斯克,托比亚斯·梅根多夫,克拉拉·沃尔德曼,马克西米利安·魏宁格:
拉宾自动机转化为奇偶自动机的索引外观记录。 443-460
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannST17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannST17
马蒂亚斯·海兹曼,克里斯蒂安·席林,丹尼尔·蒂施纳:
利用部分Max-SAT最小化可视下推自动机。 461-478

并发和共刺激

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SananZHZTL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SananZHZTL17
大卫·桑安,赵永旺,哲侯,张福源,Alwen Tiu先生,杨柳:
CSimpl：一个基于可靠保证的并发程序验证框架。 481-498
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LengalLMR17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LengalLMR17
Ondrej Lengál,安东尼·威贾贾·林,鲁帕克·马朱姆达尔,菲利普·吕默:
参数化概率并发系统的公平终止。 499-517
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DAntoniV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DAntoniV17网站
洛里斯·德安东尼,玛格斯·维恩斯:
非确定性符号有限自动机的前向互模拟。 518-534
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bonchi0K17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Bonchi0K17
菲利波·邦奇,芭芭拉·科尼格,塞巴斯蒂安·库珀:
加权系统的最新技术。 535-552

混合动力系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BakD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BakD17
斯坦利·贝克,帕拉萨拉·斯里达尔·杜吉拉拉:
基于严格仿真的线性混合系统分析。 555-572
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RoohiP017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RoohiP017
尼玛·鲁希,帕维思拉·普拉巴卡,马赫什·维斯瓦纳坦:
HARE：用于验证非线性混合自动机的混合抽象优化引擎。 573-588
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BogomolovFGH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BogomolovFGH17
塞尔吉·博戈莫洛夫,戈兰·弗雷斯,米尔科·贾科布,托马斯·汉津格:
反例——模板多面体的引导精化。 589-606

服务

管理网站设置

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