{"product_id":"computer-safety-reliability-and-security-safecomp-2025-workshops-9783032020178","title":"Computer Safety Reliability and Security. SAFECOMP 2025 Workshops","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cstrong\u003e.- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025).\u003c\/strong\u003e\u003cbr\u003e.- An end-to-end testbed for communication, compute, and control co-design: the Kista Innovation Park.\u003cbr\u003e.- Real-Time Control Selection over the Computing Continuum.\u003cbr\u003e.- Temporal Intent-Aware Multi-Agent Learning for Network Optimization.\u003cbr\u003e\u003cstrong\u003e.- 20th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2025).\u003c\/strong\u003e\u003cbr\u003e.- Dependable AI Inference - A work-in-progress on CPU, Co-Processor and FPGA Approaches.\u003cbr\u003e.- Methodology for Test Case Allocation based on a Formalized ODD.\u003cbr\u003e.- Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL.\u003cbr\u003e.- From Bouncing Break-ins to Frictional Firewalls: Interacting Requirements for Vehicle Safety and Security.\u003cbr\u003e.- A ThreatGet-Based Framework for Aligning System Security with the Cyber Resilience Act.\u003cbr\u003e.- i7Fuzzer: Neural-Guided Fuzzing for Enhancing Security Testing of Stateful Protocols.\u003cbr\u003e.- HyLLM-IDS: A Conceptual Hybrid LLM-Assisted Intrusion Detection Framework for Cyber-Physical Systems.\u003cbr\u003e.- PROTECTION: Provably Robust Intrusion Detection system for IoT through recursive Delegation.\u003cbr\u003e.- Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual Testing.\u003cbr\u003e.- Cybersecurity in Partitioned Space Embedded Systems.\u003cbr\u003e\u003cstrong\u003e.- 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2025).\u003c\/strong\u003e\u003cbr\u003e.- A GSN-Based Requirement Analysis of the EU AI Regulation.\u003cbr\u003e.- A Safety Argument Fragment Towards Safe Deployment of Performant Automated Driving Systems.\u003cbr\u003e.- Certus: A domain specific language for confidence assessment in assurance cases.\u003cbr\u003e.- Doubt in Safety Claims is Inevitable: What is its Impact, and How to Deal with it?.\u003cbr\u003e.- Ensuring Information Security in Inclusive Digital Environments.\u003cbr\u003e.- Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A.\u003cbr\u003e.- High-Performance AI Inference for Agile Deployment on Space-Qualified Processors: A Performance Benchmarking Study.\u003cbr\u003e.- SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine.\u003cbr\u003e\u003cstrong\u003e.- 4th International Workshop on Safety-Security Interaction (SENSEI 2025).\u003c\/strong\u003e\u003cbr\u003e.- Trick or Treat: A Study of Human Detection of Manipulative Tactics in Phishing Emails.\u003cbr\u003e.- Rational Verification in Repeated Security Games.\u003cbr\u003e.- Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data.\u003cbr\u003e.- Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks.\u003cbr\u003e\u003cstrong\u003e.- 2nd International Workshop on Safety\/Reliability\/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025).\u003c\/strong\u003e\u003cbr\u003e.- Scenario Hazard Prevention for Autonomous Driving Based on Improved STPA.\u003cbr\u003e.- Alexandru Forrai. Systematic test scenario generation and risk assessment for automated driving system.\u003cbr\u003e.- AV-SLAF: A Scenario-Layered Framework for Safety Analysis of Autonomous Vehicles Based on STPA and CTA.\u003cbr\u003e.- Applying Machine Learning towards the Recognition of Driving Behavior.\u003cbr\u003e.- External Human-Machine Interaction Design Principles and Supporting Technologies for Autonomous Vehicles.\u003cbr\u003e.- Formal Analysis of Resilience in Transport Systems with Bigraphs.\u003cbr\u003e.- Vehicle-Level Safety Validation of AD\/ADAS Systems via Extreme Value Analysis.\u003cbr\u003e\u003cstrong\u003e.- 8th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2025).\u003c\/strong\u003e\u003cbr\u003e.- A Modular AI Testing Framework for Trustworthy AI: Proof-of-Concept Implementation.\u003cbr\u003e.- Architectural Mitigation of Control AI Risk Factors for Safe Human-Robot-Collaboration.\u003cbr\u003e.- Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins.\u003cbr\u003e.- AURORA Networks: Auto-associative Universal Real-time Outlier Risk Assessment Networks.\u003cbr\u003e.- Does not impute! Performance and ethical implications of missing data for an AI-based diabetes co-morbidity predictor.\u003cbr\u003e.- Facilitating Fault Tree Analysis with Generative AI.\u003cbr\u003e.- Efficient Safety Retrofitting Against Jailbreaking for LLMs.\u003cbr\u003e.- Risk Analysis of One-Pixel Image Defects in Safety-Critical Deep Neural Networks.\u003cbr\u003e.- Safe Adversarial Control Through Interaction.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195513889111,"sku":"9783032020178","price":64.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/computer-safety-reliability-and-security-safecomp-2025-workshops-9783032020178","provider":"Book Curl","version":"1.0","type":"link"}