Del 14182 i serien Lecture Notes in Computer Science

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Häftad, Engelska, 2023

AvJérémie Guiochet,Stefano Tonetta,Erwin Schoitsch,Matthieu Roy,Friedemann Bitsch

1 189 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)- 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)- Second International Workshop on Security and Safety Interactions (SENSEI 2023)- First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023)- 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

Produktinformation

Utgivningsdatum2023-09-14
Mått155 x 235 x 25 mm
Vikt686 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor438
Upplaga23001
FörlagSpringer International Publishing AG
ISBN9783031409523

Tillhör följande kategorier

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases for Timing Properties of Automotive TSN Networks.- Toward Dependability Assurance Framework for Automated Driving Systems.- A Quantitative Approach for System of Systems’ Resilience Analyzing Based on Archimate.- Towards DO-178C Compliance of a Secure Product.- The Need for Threat Modelling in Unmanned Aerial Systems.- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach.- Safety and Robustness for Deep Neural Networks: An Automotive Use Case.- Towards Dependable Integration Concepts for AI-based Systems.- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices.- Computer-Aided Generation of Assurance Cases.- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases.- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model.- Utilising Redundancy to Enhance Security of Safety-Critical Systems.- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain.- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning.- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals.- Research on Brain Load prediction based on machine learning for High-speed Railway.- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution.- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling.- Rear-end Collision Risk Analysis for Autonomous Driving.- Improving road traffic safety and performance – barriers and directions towards cooperative automated vehicles.- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions.- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning.- AIMOS: Metamorphic Testing of AI - An Industrial Application.- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms.- A Reasonable Driver Standard for Automated Vehicle Safety.- Structuring Research Related to Dynamic Risk Management for Autonomous Systems.- Towards Safe Machine Learning Lifecycles with ESG Model Cards.- Towards Deep Anomaly Detection with Structured Knowledge Representations.- Evaluating and Increasing Segmentation Robustness in CARLA.- Safety Integrity Levels for Artificial Intelligence.- Can Large Language Models assist in Hazard Analysis.- Contextualised Out-of-Distribution Detection using Pattern Identification.

Du kanske också är intresserad av

Del 14182

Wilhelm Meisters Lehrjahre

Johann Wolfgang Goethe, Ehrhard Bahr

Häftad, 2021

209 kr

Computer Safety, Reliability, and Security

Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche

Häftad, 2013

739 kr

Del 14181

Computer Safety, Reliability, and Security

Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch

Häftad, 2023

939 kr

Del 10489

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2017

739 kr

Del 11699

Computer Safety, Reliability, and Security

Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2019

979 kr

Del 9922

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch

Häftad, 2016

739 kr

António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira - Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, Häftad

Del 12235

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira

Häftad, 2020

1 329 kr

Del 10488

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2017

739 kr

Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch - Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, Häftad

Del 15955

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch

Häftad, 2025

1 069 kr

Del 13415

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch

Häftad, 2022

1 479 kr

Del 14182 i serien Lecture Notes in Computer Science

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Häftad, Engelska, 2023

AvJérémie Guiochet,Stefano Tonetta,Erwin Schoitsch,Matthieu Roy,Friedemann Bitsch

1 189 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2023-09-14
Mått155 x 235 x 25 mm
Vikt686 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor438
Upplaga23001
FörlagSpringer International Publishing AG
ISBN9783031409523

Tillhör följande kategorier

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases for Timing Properties of Automotive TSN Networks.- Toward Dependability Assurance Framework for Automated Driving Systems.- A Quantitative Approach for System of Systems’ Resilience Analyzing Based on Archimate.- Towards DO-178C Compliance of a Secure Product.- The Need for Threat Modelling in Unmanned Aerial Systems.- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach.- Safety and Robustness for Deep Neural Networks: An Automotive Use Case.- Towards Dependable Integration Concepts for AI-based Systems.- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices.- Computer-Aided Generation of Assurance Cases.- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases.- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model.- Utilising Redundancy to Enhance Security of Safety-Critical Systems.- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain.- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning.- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals.- Research on Brain Load prediction based on machine learning for High-speed Railway.- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution.- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling.- Rear-end Collision Risk Analysis for Autonomous Driving.- Improving road traffic safety and performance – barriers and directions towards cooperative automated vehicles.- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions.- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning.- AIMOS: Metamorphic Testing of AI - An Industrial Application.- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms.- A Reasonable Driver Standard for Automated Vehicle Safety.- Structuring Research Related to Dynamic Risk Management for Autonomous Systems.- Towards Safe Machine Learning Lifecycles with ESG Model Cards.- Towards Deep Anomaly Detection with Structured Knowledge Representations.- Evaluating and Increasing Segmentation Robustness in CARLA.- Safety Integrity Levels for Artificial Intelligence.- Can Large Language Models assist in Hazard Analysis.- Contextualised Out-of-Distribution Detection using Pattern Identification.

Du kanske också är intresserad av

Del 14182

Wilhelm Meisters Lehrjahre

Johann Wolfgang Goethe, Ehrhard Bahr

Häftad, 2021

209 kr

Computer Safety, Reliability, and Security

Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche

Häftad, 2013

739 kr

Del 14181

Computer Safety, Reliability, and Security

Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch

Häftad, 2023

939 kr

Del 10489

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2017

739 kr

Del 11699

Computer Safety, Reliability, and Security

Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2019

979 kr

Del 9922

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch

Häftad, 2016

739 kr

Del 12235

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira

Häftad, 2020

1 329 kr

Del 10488

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2017

739 kr

Del 15955

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch

Häftad, 2025

1 069 kr

Del 13415

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch

Häftad, 2022

1 479 kr

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av