Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings /
This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissio...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | , , |
| Format: | Elektronički e-knjiga |
| Jezik: | engleski |
| Izdano: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Izdanje: | 1st ed. 2023. |
| Serija: | Lecture Notes in Computer Science,
14181 |
| Teme: | |
| Online pristup: | https://doi.org/10.1007/978-3-031-40923-3 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-40923-3 | ||
| 003 | DE-He213 | ||
| 005 | 20260810153857.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230810s2023 sz | o |||| 0|eng d | ||
| 020 | |a 9783031409233 |9 978-3-031-40923-3 | ||
| 024 | 7 | |a 10.1007/978-3-031-40923-3 |2 doi | |
| 050 | 4 | |a TK7885-7895 | |
| 050 | 4 | |a TK5105.5-5105.9 | |
| 072 | 7 | |a UK |2 bicssc | |
| 072 | 7 | |a COM067000 |2 bisacsh | |
| 072 | 7 | |a UK |2 thema | |
| 082 | 0 | 4 | |a 621.39 |2 23 |
| 082 | 0 | 4 | |a 004.6 |2 23 |
| 245 | 1 | 0 | |a Computer Safety, Reliability, and Security |h [electronic resource] : |b 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings / |c edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch. |
| 250 | |a 1st ed. 2023. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2023. | |
| 300 | |a 1 online resource (XVII, 284 p. 113 illus.). |b 82 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14181 | |
| 505 | 0 | |a Safety Assurance -- Assurance Case Arguments in the Large – CERN LHC Machine Protection System -- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments -- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases -- Software Testing & Reliability -- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study -- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry -- Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics -- Neural Networks Robustness & Monitoring -- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks -- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers -- Model-based Security and Threat Analysis -- Model-based Generation of Attack-Fault Trees -- MBTA: A Model-Based Threat Analysis approach for software architectures -- Attribute Repair for Threat Prevention -- Safety of Autonomous Driving -- Probabilistic Spatial Relations for Monitoring Behavior of Road Users -- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems -- Security Engineering -- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems -- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures -- AI Safety -- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems -- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products -- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference -- Neural Networks & Testing -- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection -- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models. | |
| 520 | |a This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing. | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Computer engineering. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Application software. | |
| 650 | 0 | |a Robotics. | |
| 650 | 0 | |a Microprogramming . | |
| 650 | 0 | |a Data protection. | |
| 650 | 1 | 4 | |a Computer Engineering and Networks. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Computer and Information Systems Applications. |
| 650 | 2 | 4 | |a Robotics. |
| 650 | 2 | 4 | |a Control Structures and Microprogramming. |
| 650 | 2 | 4 | |a Data and Information Security. |
| 700 | 1 | |a Guiochet, Jérémie. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Tonetta, Stefano. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Bitsch, Friedemann. |e editor. |0 (orcid)0000-0001-6152-4121 |1 https://orcid.org/0000-0001-6152-4121 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031409226 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031409240 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14181 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-40923-3 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||