Computer Safety, Reliability, and Security (eBook, PDF)
44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, Proceedings Redaktion: Gallina, Barbara; Bitsch, Friedemann; Törngren, Martin
Computer Safety, Reliability, and Security (eBook, PDF)
44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, Proceedings Redaktion: Gallina, Barbara; Bitsch, Friedemann; Törngren, Martin
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025. The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and Dependability Properties; Testing and Complex Environments; Methodologies (1) - Safety Design and Risk Assessment; and Methodologies (2) Machine Learning and Large Language.
This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025.
The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and Dependability Properties; Testing and Complex Environments; Methodologies (1) - Safety Design and Risk Assessment; and Methodologies (2) Machine Learning and Large Language.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
.- Safety Arguments/Cases. .- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases. .- Principled Safety Assurance Arguments. .- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases. .- Data Sets and Dependability Properties. .- Creation and use of a representative dataset for Advanced Persistent Threats detection. .- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies. .- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation. .- Testing and Complex Environments. .- Alignment of SOTIF and Scenario-based Safety Evaluation Framework. .- Managing capability in software dependability testing through generic test rigs. .- Improving Out-of-Distribution Detection via Test-Time Augmentation. .- Methodologies (1) Safety Design and Risk Assessment. .- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit. .- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. .- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment. .- Methodologies (2) Machine Learning and Large Language Models. .- Large Language Models in Code Co-generation for Safe Autonomous Vehicles. .-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development. .- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA.
.- Safety Arguments/Cases. .- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases. .- Principled Safety Assurance Arguments. .- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases. .- Data Sets and Dependability Properties. .- Creation and use of a representative dataset for Advanced Persistent Threats detection. .- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies. .- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation. .- Testing and Complex Environments. .- Alignment of SOTIF and Scenario-based Safety Evaluation Framework. .- Managing capability in software dependability testing through generic test rigs. .- Improving Out-of-Distribution Detection via Test-Time Augmentation. .- Methodologies (1) Safety Design and Risk Assessment. .- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit. .- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. .- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment. .- Methodologies (2) Machine Learning and Large Language Models. .- Large Language Models in Code Co-generation for Safe Autonomous Vehicles. .-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development. .- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826