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