停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第33届CAV 2021：虚拟赛事——第一部分

>主页 >会议和研讨会 >CAV汽车

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2021-1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2021-1
亚历山德拉·席尔瓦,K.鲁斯坦·莱诺:
计算机辅助验证——第33届国际会议，CAV 2021，虚拟事件，2021年7月20日至23日，会议记录，第一部分。计算机科学课堂讲稿12759,施普林格 2021，国际标准图书编号978-3-030-81684-1

受邀论文

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/UsmanGSNP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/UsmanGSNP21
乌斯曼,迪维亚·戈皮纳特,孙友成,亚尼克·诺勒,科里纳S.Pasareanu:
NNrepair：基于约束的神经网络分类器修复。 3-25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GeolSSS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GeolSSS21
Shilpi戈埃尔,安娜·斯洛博多娃,Rob Sumners公司,索尔剑:
微处理器形式验证的平衡自动化和控制。 26-45
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Kincaid公司RC21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KincaidRC21
扎卡里·金凯德,托马斯·W·代表,约翰·西弗特:
代数程序分析。 46-83
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DAntoniHKR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DAntoniHKR21
洛里斯·德安东尼,秦和平湖,Jinwoo Kim（金宇）,托马斯·W·代表:
可编程程序合成。 84-109
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ItzhakyPPRS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ItzhakyPPRS21
沙查尔·伊扎基,希拉·佩莱,纳迪娅·波里卡波娃,鲁本·N.S.罗,伊利亚·谢尔盖:
带指针程序的演绎综合：技术、挑战、机遇-（受邀论文）。 110-134

人工智能验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ShriverED21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ShiverED21
大卫·施莱弗,塞巴斯蒂安·埃尔鲍姆,马修·德怀尔:
DNNV：深度神经网络验证框架。 137-150
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GuanFY21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GuanFY21
纪冠,王芳,明生英:
量子分类器的稳健性验证。 151-174
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/张ZCSC21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ShangZCSC21网址
张叶迪（Yedi Zhang）,Zhe Zhao（赵哲）,陈广科,傅松,陈陶璐:
BDD4BNN：基于BDD的二值化神经网络定量分析框架。 175-200
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChristakisEHHKL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChristakisEHHKL21
玛丽亚·克里斯塔基斯,哈桑·费里特·恩塞尔,霍尔格·赫尔曼斯,约格·霍夫曼,尤格什·科塔里,李建林,豪尔赫·纳瓦斯,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）:
调用神经网络程序的自动安全验证。 201-224
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RyouCBSDV21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RyouCBSDV21
龙永良,陈嘉玉,米斯拉夫·巴卢诺维奇,加甘迪普·辛格,安德烈·玛丽安·丹,马丁·T·韦切夫:
递归神经网络的可缩放多面体验证。 225-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/IvanovCWAL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/IvanovCWAL21
拉多斯拉夫·伊万诺夫,泰勒·J·卡彭特,詹姆斯·魏默,拉杰夫·阿鲁尔,乔治·J·帕帕斯,因苏普·李:
Verisig 2.0：使用泰勒模型预处理验证神经网络控制器。 249-262
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/TranPMLHYBJ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/TranPMLHYBJ21
Hoang-Dung Tran公司,尼拉尼亚娜·帕尔,帕特里克·穆索,迭戈·曼扎纳斯·洛佩兹,纳撒尼尔·汉密尔顿,杨晓东,斯坦利·贝克,泰勒·T·约翰逊:
基于松弛可达性的语义分割神经网络鲁棒性验证。 263-286
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KhedrFS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KhedrFS21
海塔姆·凯德,詹姆斯·费雷兹,亚西尔·舒克里:
PEREGRiNN：惩罚松弛贪婪神经网络验证器。 287-300

并发和区块链

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ArmstrongCSPS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ArmstrongCSPS21
阿拉斯代尔·阿姆斯特朗,布赖恩坎贝尔,本·西姆纳,克里斯托弗·普尔特,彼得·苏厄尔:
Isla：集成全规模ISA语义和公理并发模型。 303-316
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EladRIKS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EladRIKS21
内塔埃拉德,苏菲·雨,尼尔·伊梅尔曼,劳拉·科瓦奇,穆利·萨吉夫:
总结智能过渡。 317-340
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AgarwalCPPT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AgarwalCPPT21
普拉蒂乌斯·阿加瓦尔,克里希南德·查特吉,Shreya Pathak先生,安德烈亚斯·帕夫罗甘尼斯,维克托·托曼:
读-值-自等价下的无状态模型检查。 341-366
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/WolfACOPM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/WolfACOPM21
费利克斯·A·沃尔夫,利纳德·阿昆特,马丁·克洛查德,Wytse Oortwijn公司,乔·卡洛斯·佩雷拉,彼得·米勒:
Gobra：Go程序的模块化规范和验证。 367-379
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JohnsonW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JohnsonW21
安德鲁·约翰逊,托马斯·沃尔:
无延迟的有延迟调度！ 380-402
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CogumbreiroLRZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CoumbreiroLRZ21
蒂亚戈·科古姆布雷罗,朱利安·兰格,丹尼斯·刘振荣,汉娜·齐卡雷利:
检查GPU内核的数据空间自由度（组合）。 403-426
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Kokologianakis21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Kokologianakis21
米查利斯·科科洛吉安纳基斯,维克托·瓦菲亚迪斯:
GenMC：弱内存模型的模型检查器。 427-440

混合和网络物理系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/WangCXZK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/WangCXZK21
王秋叶,陈明帅,白雪,詹乃军（Naijun Zhan）,Joost-Pieter Katoen公司:
通过凸差分编程合成不变障碍证书。 443-466
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/杨ZLZTZL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/杨ZLZTZL21
杨正峰,张一丹,王林,夏曾,唐晓超,曾振兵,刘志明:
非线性系统安全强化学习的障碍证书生成迭代方案。 467-490
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LeeKBO21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeeKBO21
李在勋（Jaehun Lee）,沙伦·金,Kyungmin Bae公司,彼得·科萨巴·奥尔韦茨基:
HybridSynchAADL：AADL中虚拟同步CPSs的建模和形式化分析。 491-504
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BenesBSPS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BenesBPS21
尼古拉·贝内斯,卢博斯·布里姆,塞缪尔·帕斯特瓦,大卫·萨法内克:
使用过渡引导减少以符号方式计算底层SCC。 505-528
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MoverCGIT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MoverCGIT21
塞尔吉奥·莫弗,亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,斯特凡诺·托内塔:
多项式动力系统的隐式半代数抽象。 529-551
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/安德烈21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Andre21
埃蒂安·安德烈:
模拟3：超越可决定性的时序参数的合成。 552-565
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LalMHKP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LalMHKP21
拉坦·拉尔,亚伦·麦金尼斯,达斯汀·豪普特曼,肖恩·凯什米里,帕维思拉·普拉巴卡:
飞机控制器可恢复性的正式验证开关逻辑。 566-579
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SibaiLM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SibaiLM21
侯赛因·斯拜,杨格丽,萨扬密特拉:
场景检查器：使用对称抽象增强场景验证。 580-594
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ZhangLAMHZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ShangLAMHZ21
张振亚,吕德云,保罗·阿卡尼,雷马,哈朔一郎,赵建军:
基于QB-鲁棒性的蒙特卡罗树搜索的有效混合系统伪造。 595-618
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AkshayGP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AkshayGP21
S.阿克西,保罗·加斯廷,卡西克·普拉卡什（Karthik R.Prakash）:
下推时间自动机可达性的快速分区算法。 619-642

安全性

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BostonBDDHPS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BostonBDDHPS21
布雷特·波士顿,塞缪尔·布雷斯,乔伊·多兹,迈克·多兹,布莱恩·霍夫曼,亚当·佩彻,安德烈·斯特凡内斯库:
每个人的验证密码。 645-668
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GirolFB21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GirolFB21
纪尧姆·吉罗尔,本杰明·法里尼尔,塞巴斯蒂安·巴丁:
并非所有的臭虫都是平等产生的，但强大的可达性可以区分差异。 669-693
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BaumeisterCBFS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BaumeisterCBFS21
扬·鲍迈斯特,挪威科宁,Borzoo Bonakdarpour公司,伯恩德·芬克贝纳,塞萨尔·桑切斯:
异步超属性的时态逻辑。 694-717
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EilersM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EilersMM21
马可·艾尔斯,Severin Meier公司,彼得·米勒:
野生产品程序：改装程序验证程序以检查信息流安全性。 718-741
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/UnnoTK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/UnnoTK21
Hiroshi Unno先生,塔奇·特劳奇,埃里克·科斯基宁:
基于约束的关系验证。 742-766
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CauliLPT21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CauliLPT21网址
克劳迪娅·考利,孟莉（Meng Li）,尼尔·皮特曼,Oksana Tkachuk公司:
通过语义推理对云服务进行部署前安全评估。 767-780

合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HuCDR21文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HuCDR21
胡琴河坪,约翰·西弗特,洛里斯·德安东尼,托马斯·W·代表:
具有渐近资源界的综合。 783-807
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BraggFRS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BraggFRS21
内特·布拉格,杰弗里·福斯特,科迪·鲁克斯,阿曼多·索拉勒扎马:
通过测试自动生成模拟的程序草图。 808-831
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Farzan21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FarzanN21
阿扎德·法尔赞,维克托·尼科莱特:
递归函数综合的反例引导部分定界。 832-855
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Andriushchenko公司21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AndriushchenkoC21
罗曼·安德留什琴科,米兰-塞斯卡,塞巴斯蒂安·琼格斯,Joost-Pieter Katoen公司,西蒙·斯图品斯克:
PAYNT：概率程序的归纳合成工具。 856-869
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AmramBFTVW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AmramBFTVW21
加尔·阿姆拉姆,苏古曼·班萨尔,Dror Fried公司,卢卡斯·马蒂内利·塔巴哈拉,莫舍·瓦尔迪,杰拉·韦斯:
通过反应合成调整行为。 870-893
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BaierCFFJS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BaierCFFJS21
克里斯特尔·拜尔,挪威科宁,伯恩德·芬克贝纳,弗洛里安·芬克,西蒙·扬奇,朱利安·西伯:
基于因果关系的游戏解决。 894-917

服务

管理网站设置

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