默认搜索操作

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

问别人

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

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

SAT和SMT I

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BlichaHKS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BlichaHKS19
马丁·布利查,安蒂·海瓦里宁,扬·科夫伦,娜塔莎·莎莉吉娜:
分解Farkas插值。 3-20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/OsamaW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/OsamaW19
穆罕默德·奥萨马,安东·威伊斯:
GPU架构上的并行SAT简化。 21-40
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeuleKB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeuleKB19
Marijn J.H.鞋垫,本杰明·基尔,阿明·比尔:
满足驱动子句学习的编码冗余。 41-58
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GuptaSRM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GuptaSRM19
古普塔,Shubham Sharma公司,苏巴吉特·罗伊,库尔德普·S·梅尔:
WAPS：加权和投影采样。 59-76

SAT和SMT II

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BrainSS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BrainSS19
马丁·布莱恩,弗洛里安·沙达,孙友成:
为浮点问题构建更好的位持久性。 79-98
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BeckerMS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BeckerMS19
尼尔斯·贝克尔,彼得·米勒,亚历山大·萨默斯:
Axiom Profiler：理解和调试SMT量词实例化。 99-116
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BlasiusFS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BlasiusFS19
托马斯·巴西乌斯,托比亚斯·弗里德里希,安德鲁·萨顿:
无标度3-SAT在相变时的经验时间复杂性。 117-134
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FriouxBSK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FriouxBSK19
卢多维克·勒弗里克斯,Souheib Baarir公司,朱利安·索佩纳,Fabrice Kordon公司:
基于无痛框架的模块化高效分治SAT解算器。 135-151

SAT求解与定理证明

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GaoXZSC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GaoXZSC19
高鹏飞,谢洪义,Jun Zhang（张军）,傅松,陈陶璐:
屏蔽算法程序对抗边信道攻击的定量验证。 155-173
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WangWGK19会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WangWGK19网站
王文喜,王开元,米洛斯·格利戈里克,萨尔夫拉兹·库希德:
演化合金模型的增量分析。 174-191
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VukmirovicBCS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VukmirovicBCS19
彼得·武克米洛维奇,贾斯敏·克里斯蒂安·布兰切特,西蒙·克鲁安斯,斯蒂芬·舒尔茨:
将Brainiac校准器扩展到Lambda-Free高阶逻辑。 192-210

验证和分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ParkPSL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ParkPSL19
Junkil公园,米罗斯拉夫·帕季奇,奥列格·索科尔斯基,因苏普·李:
LCV：线性控制器软件的验证工具。 213-225
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChristakisHMSW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChristakisHMSW19
玛丽亚·克里斯塔基斯,马蒂亚斯·海兹曼,穆罕默德·努迈尔·曼苏尔,克里斯蒂安·席林,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）:
语义错误定位和可疑度排序。 226-243
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BispingN19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BispingN19
本杰明·比斯平,乌韦·内斯特曼:
计算耦合相似性。 244-261
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SternagelY19文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SternagelY19
克里斯蒂安·斯特纳格尔,山田秋久:
重写终止和合并的可达性分析。 262-278

模型检查

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BelmonteCLM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BelmonteCLM19
吉娜·贝尔蒙特,文森佐·西安西亚,迭戈·拉特拉,梅克·马西克:
VoxLogicA:用于声明性图像分析的空间模型检查器。 281-298
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GanjeiRHEP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GanjeiRHEP19
Zeinab Ganjei公司,艾哈迈德·雷兹,卢多维克·亨利奥,佩特鲁·埃利斯,彭泽波:
参数化相位器程序中的可达性。 299-315
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/EnevoldsenLS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/EnevoldsenLS19
瑟伦·恩沃尔森,金·古德斯特兰·拉森,吉尔·斯尔巴:
抽象依赖图及其在模型检查中的应用。 316-333

工具演示

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MessnerS19公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MessnerS19
弗洛里安·梅纳,克里斯蒂安·斯特纳格尔:
非可达性分析工具。 337-343
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HartmannsKPQR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HartmannsKPQR19
阿恩·哈特曼斯,迈克拉·克劳克,大卫·帕克,蒂姆·夸特曼,Enno Ruijters公司:
定量验证基准集。 344-350
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HuangZGM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HuangZGM19
黄伯元,张洪策,阿尔蒂·古普塔,莎拉·马利克:
ILAng：使用指令级抽象的SoC建模和验证平台。 351-357
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RoblesKPRG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RoblesKPRG19
维吉尔·罗伯斯,尼古拉·科马托夫,维吉尔·普雷沃斯托,路易斯·瑞林,帕斯卡尔·勒加尔:
MetAcsl：高级属性的规范和验证。 358-364
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LiSTCX19文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LiSTCX19
李勇,孙学超,安德烈亚·图里尼,陈玉芳,徐俊楠:
ROLL 1.0:\omega-常规语言学习库。 365-371
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SarikiviVWX19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SarikiviVWX19网址
奥利·萨里基维,玛格斯·维恩斯,蒂基·万,徐勇:
象征性Regex Matcher。 372-378
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BozzanoBCKNT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozzanoBCKNT19
马可·波扎诺,哈罗德·布鲁因杰斯,亚历山德罗·西马蒂,Joost-Pieter Katoen公司,托马斯·诺尔,斯特凡诺·托内塔:
罗盘3.0。 379-385
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BarbonLS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BarbonLS19
吉安卢卡·巴本,文森特·勒罗伊,格温·萨拉恩:
使用CLEAR调试行为模型。 386-392

机器学习

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HahnPSSTW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HahnPSSTW19
恩斯特·莫里茨·哈恩,马特奥·佩雷斯,斯文·舍韦,法比奥·萨蒙齐,阿什图什·特里维迪,多米尼克·沃伊特扎克:
无模型强化学习中的Omega规则目标。 395-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Fulton第19页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Fulton第19页
内森·富尔顿,安德烈·普拉泽:
可验证安全的模型外强化学习。 413-430

管理网站设置

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