LEADER 04631nam 22007455 450 001 996673176503316 005 20250821130558.0 010 $a3-032-01241-4 024 7 $a10.1007/978-3-032-01241-8 035 $a(CKB)40402066900041 035 $a(MiAaPQ)EBC32269880 035 $a(Au-PeEL)EBL32269880 035 $a(DE-He213)978-3-032-01241-8 035 $a(OCoLC)1534804154 035 $a(EXLCZ)9940402066900041 100 $a20250821d2026 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security $e44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10?12, 2025, Proceedings /$fedited by Barbara Gallina, Martin Törngren, Friedemann Bitsch 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (329 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15954 311 08$a3-032-01240-6 327 $a -- 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15954 606 $aComputer networks 606 $aSoftware engineering 606 $aInformation technology$xManagement 606 $aRobotics 606 $aMicroprogramming 606 $aComputer networks$xSecurity measures 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aComputer Application in Administrative Data Processing 606 $aRobotics 606 $aControl Structures and Microprogramming 606 $aMobile and Network Security 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aInformation technology$xManagement. 615 0$aRobotics. 615 0$aMicroprogramming. 615 0$aComputer networks$xSecurity measures. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputer Application in Administrative Data Processing. 615 24$aRobotics. 615 24$aControl Structures and Microprogramming. 615 24$aMobile and Network Security. 676 $a004.6 700 $aGallina$b Barbara$01768500 701 $aTo?rngren$b Martin$01328682 701 $aBitsch$b Friedemann$01427978 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996673176503316 996 $aComputer Safety, Reliability, and Security$94428610 997 $aUNISA