停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2020年第39届SAFECOMP：葡萄牙里斯本

>主页 >会议和研讨会 >SAFECOMP公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/2020
安东尼奥·卡西米罗,弗兰克·奥特米耶,弗里德曼·比施,佩德罗·费雷拉:
计算机安全、可靠性和安全——第39届国际会议，SAFECOMP 2020，葡萄牙里斯本，2020年9月16-18日，会议记录。计算机科学课堂讲稿12234,施普林格 2020，国际标准图书编号978-3-030-54548-2

安全案例和论证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Rech0SPKWAK20配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Reich0SPKWAK20
Jan Reich公司,丹尼尔·施奈德,伊安妮斯·索洛科斯,伊安妮斯·帕帕佐普洛斯,蒂姆·凯利,冉伟,埃里克·阿蒙加德,Cem Kaypmaz公司:
具有数字可靠性标识的网络物理系统运行时安全监测器工程。 3-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ChowdhuryWPL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ChowdhuryWPL20
托马斯·乔杜里,阿兰·瓦辛格,理查德·佩奇,马克·劳福德:
（安全）保证案例的系统评估。 18-33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/VigerSSC20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/VigerSSC20
托林维格,瑞克·萨莱,Gehan M.K.塞利姆,玛莎·契契克:
保证论证结构的形式性足够。 34-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HakeFH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HakeFH20
乔治·哈克,塞巴斯蒂安·费尔斯塔克,阿克塞尔·哈恩:
致力于重新认证综合海事系统的模块化更新。 50-63

形式验证和分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Ceesay-SeitzBP20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Ceesay-SeitzBP20
凯萨琳娜·塞萨·塞茨,哈姆扎·布卡巴奇,丹尼尔·佩林:
用于高参数化、连续运行的安全关键FPGA设计的功能验证方法：应用于CERN辐射监测电子学（CROME）。 67-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/0002KB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/0002KB20
沙希德·克汉,Joost-Pieter Katoen公司,马克·布伊索:
可修复BDMP的合成语义。 82-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Bozzano MSTV20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BuzzanoMSTV20（网址：https://dblp.org/rec/conf/safecomp/BuzzanoMSTV20）
马尔科·博扎诺,蒙克,马库斯·施韦泽,斯特凡诺·托内塔,维克托里亚·沃扎罗娃:
模态转换的基于模型的安全分析。 99-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GiantamidisBT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GiantamidisBT20
乔治·吉安塔米迪斯,Stylianos Basagiannis公司,斯塔夫罗斯·特里帕基斯:
使用符号自动机学习和归纳推理将安全LTL高效转换为DFA。 115-129

安全建模和方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HippelVTN20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HippelVTN20
马克斯·冯·希佩尔,科尔·维克,斯塔夫罗斯·特里帕基斯,克里斯蒂娜·尼塔·罗塔鲁:
分布式协议的自动攻击者合成。 133-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/DeloglosET20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DeloglosET20
克里斯托弗·德洛洛斯,卡尔·R·埃尔克斯,阿什拉夫·坦塔维:
网络物理系统安全评估的攻击者建模框架。 150-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HeinrichRA020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HeinrichRA020
马库斯·海因里希,多米尼克·伦克尔,托尔加·阿鲁尔,斯特凡·卡岑贝塞尔:
利用神经网络进行异常检测预测铁路信号命令。 164-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SchmidtHP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SchmidtHP20
塔比亚·施密特,弗洛里安·豪尔,亚历山大·普雷施纳:
CPS日志文件中的自动异常检测-时间序列聚类方法。 179-194

学习型系统的保证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Gauerof HPPHH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Gauerhof-HPPHH20
利迪亚·高尔霍夫,理查得·霍金,奇亚拉·皮卡尔迪,科林·帕特森,Yuki Hagiwara公司,易卜拉欣·哈布利:
确保十字路口行人检测的机器学习安全。 197-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Cheng20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Cheng20
Chih-Hong Cheng先生:
三维目标检测神经网络系统的安全增强。 213-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/JhaRS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/JhaRS20
苏斯米特·贾,约翰·拉什比,纳塔拉詹·尚卡尔:
自主系统的模型中心保证。 228-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ZhaoBSRF0020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ZhaoBSRF0020
赵星宇,亚历克银行,詹姆士·夏普,瓦伦丁·罗布,大卫·弗林,迈克尔·菲希尔,黄晓伟:
使用深度神经网络的关键系统安全框架。 244-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AshmoreS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AshmoreS20
罗布·阿什莫尔,詹姆士·夏普:
非闲置复杂计算硬件的保证参数元素。 260-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AsaadiDP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AsaadiDP20
埃尔凡·阿萨迪,埃文·丹尼,Ganesh派:
量化学习型系统中的保证。 270-286

实践经验和工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/贝克尔20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Becker20
乌韦·贝克尔:
医疗设备中神经网络的网络安全。 289-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CarlanR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CarlanR20
卡门·科尔兰,丹尼尔·拉蒂乌:
紧固。安全：用于试验可检查保证案例的模型驱动工程工具。 298-306

威胁分析和风险缓解

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/NishiharaKSY20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/NishiharaKSY20
西原秀美,川崎康夫,大辅岛,吉田广孝:
关于验证具有攻击效果的攻击树。 309-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/PullenAA020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/PullenAA020
多米尼克·普伦,尼古拉斯·阿纳格诺斯托普洛斯,托尔加·阿鲁尔,斯特凡·卡岑贝塞尔:
安全与安全：高自动化道路车辆使用IEC 62443。 325-340
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/0001KSNTY20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/0001KSNTY20
田口贤治,Ryo Kurachi先生,佐佐木清志,中村信彦,Kazuki Tomonaga先生,山下修平:
SCDL中安全架构的威胁分析框架。 341-354

网络物理系统安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FellmuthHSG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FellmuthHSG20
约阿希姆·费尔茅斯,朱利安·哈特默,汉诺·斯科沃内克,萨宾·格莱斯纳:
嵌入式实时操作系统的高效加载时间多样性。 357-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GresslKSN20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GresslKSN20
卢卡斯·格雷斯,迈克尔·克里斯珀,克里斯蒂安·斯泰格,乌尔里希·内菲:
实现安全物联网/CPS设计变量的自动探索。 372-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FuchsKKZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FuchsKKZ20
安德烈亚斯·富克斯,达斯汀·克恩,克里斯托夫·克劳,玛丽亚·齐达诺娃:
通过部件绑定固定电动汽车充电系统。 387-401

故障注入和容错

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/VankeirsbilckHB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/VankeirsbilckHB20
延斯·范基尔斯比尔克,汉斯·哈利兹,杰伦·博伊登斯:
使用基于硬件环的故障注入确定工业控制程序中控制流错误的影响。 405-418
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CamposCV20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CamposCV20
乔·坎波斯,埃内斯托·科斯塔,马可·维埃拉:
关于为可靠性实验配置测试床：指南和故障注入案例研究。 419-433
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/PalanqueCG20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/PalanqueCG20
菲利普·帕兰克,安迪·科克伯恩,卡尔·古特温:
涵盖人机交互回路的故障分类。 434-448

服务

管理网站设置

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