首页>外文会议>International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering

International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering

召开年：2019
召开地：Turku(FI)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Erwin Schoilsch
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
2.7th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2019)

机译：第七届软件密集型系统保证案例国际研讨会（ASSURE 2019）
- 作者：Ewen Denney;Ibrahim Habli;Ganesh Pai;Irfan Sljivo
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
3.Combining GSN and STPA for Safety Arguments

机译：结合GSN和STPA进行安全论证
- 作者：Celso Hiratal;Simin Nadjm-Tehrani
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- GSN;
- Assurance case;
- STAMP;
- STPA;
4.A Modelling Approach for System Life Cycles Assurance

机译：系统生命周期保证的建模方法
- 作者：Shuji Kinoshita;Yoshiki Kinoshita;Makoto Takeyama
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- System assurance;
- Dependent Petri Nets;
- IEC 62853;
5.Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts

机译：基于假定保证合同的产品线模块化安全案例
- 作者：Damir Nesic;Mattias Nyberg
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Modular safety case;
- Assunie-guarantee contract;
- Product line;
6.14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) European Research and Innovation Projects in the Field of Dependable Cyber-Physical Systems and Systems-of-Systems

机译：第14届国际ERCIM / EWICS / ARTEMIS可靠智能网络物理系统和系统系统研讨会（DECSoS 2019）可靠网络物理系统和系统系统领域的欧洲研究和创新项目
- 作者：Erwin Schoitsch;Amund Skavhaug
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
7.Comparative Evaluation of Security Fuzzing Approaches

机译：安全模糊测试方法的比较评估
- 作者：Loui Al Sardy;Andreas Neubaum;Francesca Saglietti;Daniel Rudrich
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Security fuzzing;
- Software vulnerability;
- Buffer overflow;
- Integer constraint analysis;
- Random testing;
- Structural coverage;
8.Assuring Compliance with Protection Profiles with ThreatGet

机译：通过ThreatGet确保符合保护配置文件
- 作者：Magdy El Sadany;Christoph Schmittner;Wolfgang Kastner
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- ThreatGet;
- Protection profiles;
- Threat analysis;
9.A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems

机译：安全，安保和隐私标准在开发可靠系统中的适用性调查
- 作者：Lijun Shan;Behrooz Sangchoolie;Peter Folkesson;Jonny Vinter;Erwin Schoitsch;Claire Loiseaux
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Safety;
- Security;
- Privacy;
- Standards;
- Dependable systems;
10.Combined Approach for Safety and Security

机译：安全与保障相结合的方法
- 作者：Siddhartha Verma;Thomas Gruber;Christoph Schmittner;P. Puschner
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- FTA;
- FTDMP;
- SCPN;
- ATA;
- FMVEA;
- ANP;
- Safety;
- Security;
- Combined risk assessment;
11.Demo: CANDY CREAM

机译：演示：糖果奶油
- 作者：Gianpiero Costantino;Ilaria Matteucci
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Automotive;
- Cyber-security attack;
- Infotainment system;
- Android;
- Remote exploit;
12.CarlNA - Car Sharing with IdeNtity Based Access Control Re-enforced by TPM

机译：CarlNA-TPM加强了与基于身份的访问控制的汽车共享
- 作者：Bogdan Groza;Lucian Popa;Pal-Stefan Murvay
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
13.Combining Safety and Security in Autonomous Cars Using Blockchain Technologies

机译：使用区块链技术将自动驾驶汽车的安全性与安全性相结合
- 作者：Lucas Davi;Denis Hatebur;Maritta Heisel;Roman Wirtz
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Blockchain;
- Safety;
- Security;
- Autonomous vehicles;
14.Enhancing CAN Security by Means of Lightweight Stream-Ciphers and Protocols

机译：通过轻量级流密码和协议增强CAN安全性
- 作者：Aymen Boudguiga;Jerome Letailleur;Renaud Sirdey;Witold Klaudel
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Controller Area Network;
- Confidentiality;
- Integrity;
15.Analysis of Security Overhead in Broadcast V2V Communications

机译：广播V2V通信中的安全性开销分析
- 作者：Mujahid Muhammad;Paul Kearney;Adel Aneiba;Andreas Kunz
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- V2V;
- Security;
- Performance;
- Queuing theory;
16.You Overtrust Your Printer

机译：您过度信任打印机
- 作者：Giampaolo Bella;Pietro Biondi
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
17.2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019)

机译：第二届人工智能安全工程国际研讨会（WAISE 2019）
- 作者：Zakaria Chihani;Simos Gerasimou;Andreas Theodorou;Guillaume Charpiat
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
18.Three Reasons Why: Framing the Challenges of Assuring AI

机译：原因的三个原因：构筑确保AI的挑战
- 作者：Xinwei Fang;Nikita Johnson
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Machine Learning;
- Safety;
- Assurance;
- Sensors;
19.Improving ML Safety with Partial Specifications

机译：通过部分规范提高机器学习的安全性
- 作者：Rick Salay;Krzysztof Czarnecki
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Safety;
- Machine learning;
- Specification;
20.An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles

机译：树组合形式验证的抽象精化方法
- 作者：John Tornblom;Simin Nadjm-Tehrani
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Formal verification;
- Decision trees;
- Tree ensembles;
21.Towards Integrated Quantitative Security and Safety Risk Assessment

机译：走向综合量化安全和安全风险评估
- 作者：Juegen Dobaj;Christoph Schmittner;Michael Krisper;Georg Macher
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Security analysis;
- Safety analysis;
- Risk assessment;
- Threat analysis;
- Threat modeling;
- SAHARA;
- FMVEA;
- Diamond;
- FAIR;
22.Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications

机译：安全分析在智能城市传感器网络应用中的风险评估的潜在用途
- 作者：Torge Hinrichs;Bettina Buth
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Dependability;
- Smart Cities;
- Safety methods;
- Sensor networks risk assessment;
23.Increasing Safety of Neural Networks in Medical Devices

机译：提高医疗设备中神经网络的安全性
- 作者：Uwe Becker
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Safety;
- Neural networks;
- CNN;
- DNN;
- Systems engineering;
- STPA;
- Fault tolerance;
- Bit error;
- Error detection;
- Online test;
- Error correction;
24.Smart Wristband for Voting

机译：投票智能腕带
- 作者：Martin Pfatrisch;Linda Grefen;Hans Ehm
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Wearables;
- DPS310;
- CPS;
- Sensor networks;
25.8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019)

机译：第八届安全关键系统的下一代系统保证方法国际研讨会（SASSUR 2019）
- 作者：Alejandra Ruiz;Jose Luis de la Vara;John Favaro;Fabien Belmonle
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
26.Automotive Cybersecurity Standards - Relation and Overview

机译：汽车网络安全标准-关系和概述
- 作者：Christoph Schmittner;Georg Macher
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- ISO 21434;
- ISO 26262;
- Automotive;
- Security analysis;
27.A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems

机译：自适应自治系统的运行时安全监控方法
- 作者：Nikita Bhardwaj Haupt;Peter Liggesmeyer
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Runtime safety monitoring;
- Adaptable Autonomous Systems;
- Safety monitor;
- Reconfiguration;
28.Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance

机译：安全-保障保证的社会技术因素的结构化推理
- 作者：Nikita Johnson;Tim Kelly
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Safety;
- Security;
- Assurance;
- Socio-technical factors;
29.The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

机译：SISTER验证和确认方法：可重用结果的轻量级过程
- 作者：Andrea Ceccarelli;Davide Basile;Andrea Bondavalli;Lorenzo Falai;Alessandro Fantechi;Sandro Ferrari;Gianluca Mando;Nicola Nostro;Luigi Rucher
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Design;
- Verification and Validation;
- Hazard analysis;
- Model checking;
- Model-Driven Engineering;
- Stochastic modeling;
- Railway standards;
30.2nd International Workshop on Safety, securiTy, and pRivacy In automotive systEms (STRIVE 2019)

机译：第二届汽车系统安全性，安全性和实用性国际研讨会（STRIVE 2019）
- 作者：Gianpiero Costantino;Ilaria Matteucci
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
31.RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies

机译：基于RL的深度强化学习策略的对抗能力和鲁棒性基准测试方法
- 作者：Vahid Behzadan;William Hsu
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Deep Reinforcement Learning;
- Adversarial attack;
- Policy generalization;
- Resilience;
- Robustness;
- Benchmarking;
32.A Safety Standard Approach for Fully Autonomous Vehicles

机译：全自动驾驶汽车的安全标准方法
- 作者：Philip Koopman;Uma Ferrell;Frank Fratrik;Michael Wagner
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Self-driving cars;
- Autonomous vehicles;
- Safety standard;
- UL 4600;
33.Open Questions in Testing of Learned Computer Vision Functions for Automated Driving

机译：测试自动驾驶学习的计算机视觉功能中的未解决问题
- 作者：Matthias Woehrle;Christoph Gladisch;Christian Heinzemann
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
34.Adaptive Deployment of Safety Monitors for Autonomous Systems

机译：自主系统安全监控器的自适应部署
- 作者：Nico Hochgeschwender
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Runtime AI safety monitoring;
- Model-based engineering approaches to AI safety;
35.Uncertainty Wrappers for Data-Driven Models Increase the Transparency of AI/ML-Based Models Through Enrichment with Dependable Situation-Aware Uncertainty Estimates

机译：数据驱动模型的不确定性包装器通过丰富可靠的基于情境的不确定性估计来提高基于AI / ML的模型的透明度
- 作者：Michael Klas;Lena Sembach
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Artificial intelligence;
- Machine learning;
- Dependability;
- Safety engineering;
- Data quality;
- Operational design domain;
- Model validation;
36.Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

机译：高度自动化驾驶功能的机器学习性能证据的置信度
- 作者：Simon Burton;Lydia Gauerhof;Bibhuti Bhusan Sethy;Ibrahim Habli;Richard Hawkins
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Highly automated driving;
- Machine learning;
- Safety Assurance;
37.Bayesian Uncertainty Quantification with Synthetic Data

机译：综合数据的贝叶斯不确定性量化
- 作者：Buu Phan;Samin Khan;Rick Salay;Krzysztof Czarnecki
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Semantic segmentation;
- Uncertainty;
- Influence factors;
38.A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence

机译：由概率逻辑人工智能驱动的关键系统的自认证体系结构
- 作者：Jacques Robin;Raul Mazo;Henrique Madeira;Raul Barbosa;Daniel Diaz;Salvador Abreu
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
39.Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests

机译：解决机器学习安全保证中的不确定性：具有属性测试的连续参数工程
- 作者：Yutaka Matsuno;Fuyuki Ishikawa;Susumu Tokumoto
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
40.The Moral Machine: Is It Moral?

机译：道德机器：道德吗？
- 作者：A. M. Nascimento;L. F. Vismari;A. C. M. Queiroz;P. S. Cugnasca;J. B. Camargo;J. R. de Almeida
- 会议名称：《International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering》 | 2019年
- Autonomous vehicles;
- Safety;
- Risk;
- Moral machine;
- Artificial Intelligence;