{"product_id":"9783032012401","title":"Computer Safety, Reliability, and Security : 44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, Proceedings (Lecture Notes in Computer Science)","description":"\u003cp\u003eThis 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. \u003c\/p\u003e\u003cp\u003eThe 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.\n\n\u003c\/p\u003e \u003cp\u003e\u003cstrong\u003e.- Safety Arguments\/Cases.\u003c\/strong\u003e\n.- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases.\n.- Principled Safety Assurance Arguments.\n.- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases.\n\u003cstrong\u003e.- Data Sets and Dependability Properties.\n\u003c\/strong\u003e.- Creation and use of a representative dataset for Advanced Persistent Threats detection.\n.- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies.\n.- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation.\n\u003cstrong\u003e.- Testing and Complex Environments.\n\u003c\/strong\u003e.- Alignment of SOTIF and Scenario-based Safety Evaluation Framework.\n.- Managing capability in software dependability testing through generic test rigs.\n.- Improving Out-of-Distribution Detection via Test-Time Augmentation.\n\u003cstrong\u003e.- Methodologies (1) Safety Design and Risk Assessment.\u003c\/strong\u003e\n.- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit.\n.- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis.\n.- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment.\n\u003cstrong\u003e.- Methodologies (2) Machine Learning and Large Language Models.\n\u003c\/strong\u003e.- Large Language Models in Code Co-generation for Safe Autonomous Vehicles.\n.-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development.\n.- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA.\u003cstrong\u003e\n\n\u003c\/strong\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48869484200171,"sku":"00000_00000_00000_00000","price":137.32,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9783032012401-1.jpg?v=1781718004","url":"https:\/\/kinokuniya.com.sg\/products\/9783032012401","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}