Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

AvIbrahim Habli,Mark Sujan

Häftad, Engelska, 2021

Del 12853 i serien Lecture Notes in Computer Science

967 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021.The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are:DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsWAISE 2021: Fourth International Workshop on Artificial Intelligence Safety EngineeringDepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical SystemsUSDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design

Produktinformation

Utgivningsdatum:2021-08-07
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:324
Förlag:Springer Nature Switzerland AG
ISBN:9783030839055

Utforska kategorier

Programvaruutveckling inom Data och IT
Nätverk och kommunikation inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021).- Dependable Integration Concepts for Human-Centric AI-based Systems.- Rule-Based Threat Analysis and Mitigation for the Automotive Domain.- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems.- Synchronisation of an Automotive Multi-Concern Development Process.- Offline Access to a Vehicle via PKI-based Authentication.- HEIFU - Hexa Exterior Intelligent Flying Unit.- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes.- Formal Modelling of the Impact of Cyber Attacks on Railway Safety.- LoRaWAN with HSM as a Security Improvement for Agriculture Applications – Evaluation.- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021).- Towards Continuous Safety Assessment in Context of DevOps.- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution.- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021).- An Accountability Approach to Resolve Multi-stakeholder Conflicts.- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance.- Towards Assurance-Driven Architectural Decomposition of Software Systems.- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021).- Integration of a RTT Prediction into a Multi-path Communication Gateway.- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021).- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty.- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds.- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors.- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review.- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving.- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600.- Learning From AV Safety: Hope and Humility Shape Policy and Progress.- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems.- Certification Game for the Safety Analysis of AI-based CPS.- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems.I

Mer från samma författare

Del 12852

Computer Safety, Reliability, and Security

Ibrahim Habli, Mark Sujan, Friedemann Bitsch

Häftad, 2021

555 kr

Computer Safety, Reliability, and Security

Friedemann Bitsch, Mark Sujan, Ibrahim Habli

E-bok

2021

718 kr

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

Friedemann Bitsch, Erwin Schoitsch, Simos Gerasimou, Mark Sujan, Ibrahim Habli

E-bok

2021

1 188 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr

Computer Safety, Reliability, and Security

Friedemann Bitsch, Mark Sujan, Ibrahim Habli

E-bok

2021

718 kr

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Friedemann Bitsch, Elena Troubitsyna, Erwin Schoitsch, Barbara Gallina, Martin Torngren

E-bok

2025

1 026 kr

Del 10489

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2017

572 kr

Elena Troubitsyna, David de Andrés, Erwin Schoitsch, Joaquín Gracia-Morán, Friedemann Bitsch - Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops, Häftad

Nyhet

Del 16869

Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops

Elena Troubitsyna, David de Andrés, Erwin Schoitsch, Joaquín Gracia-Morán, Friedemann Bitsch

Häftad, 2026

994 kr

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

Friedemann Bitsch, Erwin Schoitsch, Simos Gerasimou, Mark Sujan, Ibrahim Habli

E-bok

2021

1 188 kr

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Pedro Ferreira, Friedemann Bitsch, Erwin Schoitsch, Frank Ortmeier, Antonio Casimiro

E-bok

2020

1 306 kr

Del 12852

Computer Safety, Reliability, and Security

Ibrahim Habli, Mark Sujan, Friedemann Bitsch

Häftad, 2021

555 kr

Computer Safety, Reliability, and Security

Friedemann Bitsch, Erwin Schoitsch, Amund Skavhaug, Barbara Gallina

E-bok

2018

1 150 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 136 kr

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

AvIbrahim Habli,Mark Sujan

Häftad, Engelska, 2021

Del 12853 i serien Lecture Notes in Computer Science

967 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2021-08-07
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:324
Förlag:Springer Nature Switzerland AG
ISBN:9783030839055

Utforska kategorier

Programvaruutveckling inom Data och IT
Nätverk och kommunikation inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021).- Dependable Integration Concepts for Human-Centric AI-based Systems.- Rule-Based Threat Analysis and Mitigation for the Automotive Domain.- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems.- Synchronisation of an Automotive Multi-Concern Development Process.- Offline Access to a Vehicle via PKI-based Authentication.- HEIFU - Hexa Exterior Intelligent Flying Unit.- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes.- Formal Modelling of the Impact of Cyber Attacks on Railway Safety.- LoRaWAN with HSM as a Security Improvement for Agriculture Applications – Evaluation.- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021).- Towards Continuous Safety Assessment in Context of DevOps.- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution.- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021).- An Accountability Approach to Resolve Multi-stakeholder Conflicts.- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance.- Towards Assurance-Driven Architectural Decomposition of Software Systems.- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021).- Integration of a RTT Prediction into a Multi-path Communication Gateway.- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021).- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty.- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds.- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors.- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review.- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving.- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600.- Learning From AV Safety: Hope and Humility Shape Policy and Progress.- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems.- Certification Game for the Safety Analysis of AI-based CPS.- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems.I

Mer från samma författare

Del 12852

Computer Safety, Reliability, and Security

Ibrahim Habli, Mark Sujan, Friedemann Bitsch

Häftad, 2021

555 kr

Computer Safety, Reliability, and Security

Friedemann Bitsch, Mark Sujan, Ibrahim Habli

E-bok

2021

718 kr

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

Friedemann Bitsch, Erwin Schoitsch, Simos Gerasimou, Mark Sujan, Ibrahim Habli

E-bok

2021

1 188 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr