停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2021-1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2021-1
亚历山德拉·席尔瓦，K.鲁斯坦M.莱诺:
计算机辅助验证——第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
乌斯曼，迪维亚·戈皮纳特，孙友成，亚尼克·诺勒，科琳娜·帕萨雷努:
NNrepair：基于约束的神经网络分类器修复。 3-25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GoelSSS21会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GeolSSS21
希尔皮·戈尔，安娜·斯洛博多娃，罗布·萨姆内斯，索尔剑:
微处理器形式验证的平衡自动化和控制。 26-45
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Kincaid公司RC21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KincaidRC21
扎卡里·金凯德，Thomas 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

AI验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SriverED21
- 问别人
- 股份记录
  持久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），赵哲，陈广科，傅松，陈陶璐:
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
李在勋，沙伦·金，Kyungmin Bae公司，彼得·塞巴·奥尔夫茨基:
HybridSynchAADL:AADL中虚拟同步CPS的建模和形式化分析。 491-504
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BenesBPS21
- 问别人
- 股份记录
  持久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/EilersMM21
- 问别人
- 股份记录
  持久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
秦和平湖，约翰·西弗特，洛里斯·德安东尼，Thomas 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公司，西蒙·斯图品斯克:
PAINT：概率程序的归纳综合工具。 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。