Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops -

. .

Résumé :
.- 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...

Biographie:
control co-design: the Kista Innovation Park.
.- Real-Time Control Selection over the Computing Continuum.
.- Temporal Intent-Aware Multi-Agent Learning for Network ...

Sommaire:
.- 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...