默认搜索操作

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

问别人

第二十八塔卡斯@ETAPS2022年：德国慕尼黑——第二部分

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2022-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2022-2
达娜·菲斯曼,格里戈·罗苏:
系统构建和分析的工具和算法——第28届国际会议，TACAS 2022，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2022，德国慕尼黑，2022年4月2日至7日，会议记录，第二部分。计算机科学课堂讲稿13244,施普林格 2022，国际标准图书编号978-3-030-99526-3

概率系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GuanY22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GuanY22
纪冠,俞能坤:
用于验证连续时间马尔可夫链的概率逻辑。 3-21
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BorkKQ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BorkKQ22
亚历山大·博克,Joost-Pieter Katoen公司,蒂姆·夸特曼:
POMDP中的预期总回报低于近似值。 22-40
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Hartmanns22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Hartmanns22
阿恩·哈特曼斯:
用浮点运算纠正概率模型检查。 41-59
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KwiatkowskaNPS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KwiatkowskaNPS22
玛尔塔·奎亚特科夫斯卡,格钦·诺曼,大卫·帕克,加布里埃尔·桑托斯:
并发随机博弈中的相关均衡与公平。 60-78

欧米茄自动机

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BanerjeeMMSS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BanerjeeMMSS22
塔马吉特·班纳吉,鲁帕克·马朱姆达尔,考希克·马利克,安妮·凯瑟琳·施穆克,萨代赫·苏贾尼:
求解随机拉宾博弈的直接符号算法。 81-98
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CasaresDMRS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CasaresDMRS22
安东尼奥·卡萨雷斯,亚历山大·杜雷特·卢茨,卡拉·梅耶,弗洛里安·伦金,所罗门·西克特:
交替循环分解的实际应用。 99-117
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HavlenaLS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HavlenaLS22
Vojtech哈夫勒纳,Ondrej Lengál公司,巴博拉·斯马利科娃:
天空不是极限-在Büchi自动机互补中电梯自动机的更紧秩界。 118-136
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LaveauxWW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LaveauxWW22
莫里斯·拉维奥,威格·威瑟林克,蒂姆·A·C·威廉斯:
符号平价游戏的现场解决方案。 137-155

等价性检验

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BirkmannDM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BirkmannDM22
费边·伯克曼,汉斯·佩特·迪费尔,斯特凡·米利乌斯:
分布式余代数划分精化。 159-177
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KoutavasLT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KoutavasLT22
Vasileios Koutavas公司,于杨林,尼科斯·齐夫列科斯:
从有界检查到通过符号Up-to技术验证等效性。 178-195
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GuilloudK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GuilloudK22
西蒙·吉洛伊德,维克托·昆卡:
对数线性时间下正交补双半格的等价性检验。 196-214

监测和分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/YiWXML22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/YiWXML22
溥仪,王浩（Hao Wang）,陶雪,达科·马里诺夫,林师父:
随机回归测试优先级的理论分析。 217-235
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ZingKRST22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ZingKRST22
希拉·津格,Srdan Krstic公司,马丁·拉西克,约书亚·施耐德,德米特里·特拉泰尔:
使用递归规则验证一阶监控。 236-253
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ZlatkinF22型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ZlatkinF22
伊利亚·兹拉特金,格里戈里·费德尤科维奇:
使用约束Horn子句最大化分支覆盖。 254-272
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bozzano公司CGJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozzanoCGJ22
马可·波扎诺,亚历山德罗·西马蒂,阿尔贝托·格里乔,马丁·乔纳斯:
基于布尔故障传播的循环冗余结构的有效分析。 273-291

工具|优化、修复和解释

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SolvstenPJT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SolvstenPJT22
斯蒂芬·克里斯特·瑟尔夫斯滕,雅各·范德波尔,安娜·布鲁梅·雅各布森,马蒂亚斯·韦勒·伯格·托马森:
外部存储器中的Adiar二进制决策图。 295-313
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MurtoviBS22会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MurtoviBS22
阿尔尼斯·穆托维,亚历山大·班茨克,伯恩哈德·斯特芬:
森林GUMP：一种解释工具。 314-331
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SakarSHW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SakarSHW22
奥梅尔·萨卡,莫森野生动物园,玛丽克·赫斯曼,安东·威伊斯:
Alpinist：注释软件GPU程序优化程序。 332-352
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SiWAL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SiWAL22
雷氏,王月鹏,拉杰夫·阿鲁尔,Boon Thau Loo先生:
网络程序的自动修复。 353-372

第十一届软件验证竞赛：SV-COMP 2022公司

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Beyer22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Beyer22
德克·拜尔:
软件验证进展：SV-COMP 2022。 375-402
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HenselMG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HenselMG22
杰拉·亨塞尔,康斯坦丁·门森迪克,吉尔根·吉斯尔:
AProVE：C项目的非终止见证人-（竞争贡献）。 403-407
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BuXLLGZL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BuXLLGZL22
雷布,准一解,乐成柳,李一超,小郭,赵建华,李宣东:
BRICK：基于路径枚举的C程序有界可达性检查（竞争贡献）。 408-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CotoIST22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CotoIST22
亚历克斯·科托,奥马尔·因弗索,艾默生销售,埃米利奥·托斯托:
CSeq 3-（竞争贡献）中的数据竞争检测原型。 413-417
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LeonHM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LeonHM22
埃尔南·蓬斯·德莱昂,托马斯·哈斯,罗兰·梅耶:
Dartagnan：基于SMT的违规见证验证（竞争贡献）。 418-423
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeSF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeSF22
飞鹤,孙志航,洪宇凡:
Deagle:基于SMT的多线程程序验证程序（竞争贡献）。 424-428
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BeyerS22公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BeyerS22
德克·拜尔,马丁·斯皮尔斯:
SV-COMP（竞争贡献）中的静态分析仪Frama-C。 429-434
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MuesH22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MuesH22
麦芽木,福尔克·豪瓦尔:
GDart:Java虚拟机上动态符号执行工具的集合（竞争贡献）。 435-439
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LeesonD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LeesonD22
威尔·利森,马修·德怀尔:
Graves-CPA：图形关注验证程序选择器（竞争贡献）。 440-445
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HowarM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HowarM22
福尔克·豪瓦尔,麦芽木:
GWIT：基于GraalVM（竞争贡献）的Java见证验证器。 446-450
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KettlL22型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KettlL22
马蒂亚斯·凯特尔,托马斯·莱姆伯格:
SV-COMP（竞争贡献）中的静态分析器推断。 451-456
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LaukoR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LaukoR22
亨里克·劳科,彼得·罗凯:
LART：汇编摘要执行-（竞争贡献）。 457-461
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChalupaMRZS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChalupaMRZS22
马雷克·查卢帕,文森特·米哈尔科维奇,安娜·雷奇塔科娃,卢卡斯·扎奥尔,简·斯特雷切克:
共生9：弦分析和反向符号执行与循环折叠-（竞争贡献）。 462-467
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AyaziovaCS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AyaziovaCS22
Paulína Ayaziová,马雷克·查卢帕,简·斯特雷切克:
共生密码：基于Klee的违规目击者检查器-（竞争贡献）。 468-473
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AdamBDHM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AdamBDHM22
索菲亚·阿达姆,勒文特·巴伊奇,米哈利·多博斯·科瓦奇,阿尔科斯·哈伊杜,文斯·莫尔纳:
Theta：基于CEGAR的动态算法选择分析组合（竞争贡献）。 474-478
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KlumppDHSEFP22文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KlumppDHSEFP22
多米尼克·克伦普,丹尼尔·迪奇,马蒂亚斯·海兹曼,弗兰克·舒赛尔,马塞尔·埃宾豪斯,阿扎德·法尔赞,安德烈亚斯·波德尔斯基:
终极宝石切割机和概括轴-（竞争贡献）。 479-483
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WuSC22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WuSC22
童武,彼得·施拉姆,卢卡斯·科尔德罗:
Wit4Java：Java验证程序的违规验证程序（竞争贡献）。 484-489

管理网站设置

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