Table of Contents

• An End-to-End Testbed for Communication, Compute, and Control Co-design: The Kista Innovation ParkAitor Hernandez Herranz, Fernando S. Barbosa. 5-16 [doi]
• Real-Time Control Selection over the Computing ContinuumXiyu Gu, Luca Schenato 0001, Subhrakanti Dey, Matthias Pezzutto. 17-28 [doi]
• Temporal Intent-Aware Multi-agent Learning for Network OptimizationAlbin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova. 29-40 [doi]
• Dependable AI Inference - A Work-in-Progress on CPU, Co-processor and FPGA ApproachesHans Dermot Doran, Carlos Rafael Tordoya Taquichiri, Pablo Ghiglino, Mandar Harshe. 49-60 [doi]
• Methodology for Test Case Allocation Based on a Formalized ODDMartin A. Skoglund, Fredrik Warg, Anders Thorsén, Sasikumar Punnekkat, Hans Hansson. 61-72 [doi]
• Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAALNazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat. 73-87 [doi]
• From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and SecurityLuca Arnaboldi 0001, David Aspinall 0001, Christina Kolb, Sasa Radomirovic. 88-100 [doi]
• A ThreatGet-Based Framework for Aligning System Security with the Cyber Resilience ActAbdelkader Magdy Shaaban, Christoph Schmittner. 101-114 [doi]
• i7Fuzzer: Neural-Guided Fuzzing for Enhancing Security Testing of Stateful ProtocolsLoui Al Sardy, Avinash Rajendra Prasad, Reinhard German. 115-128 [doi]
• HyLLM-IDS: A Conceptual Hybrid LLM-Assisted Intrusion Detection Framework for Cyber-Physical SystemsMamdouh Muhammad, Abdelkader Magdy Shaaban, Reinhard German, Loui Al Sardy. 129-142 [doi]
• PROTECTION: Provably Robust Intrusion Detection System for IoT Through Recursive DelegationRiad Ibadulla, Hafiz ul Asad. 143-155 [doi]
• Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual TestingRamana Reddy Avula, Mazen Mohamad, Behrooz Sangchoolie, Marvin Damschen. 156-168 [doi]
• Cybersecurity in Partitioned Space Embedded SystemsLuis Ortiz, Alfons Crespo, Marc Fontalba, Patricia Balbastre, José E. Simó, Pedro Albertos. 169-178 [doi]
• A GSN-Based Requirement Analysis of the EU AI RegulationNatsuki Hayama, Yoriyuki Yamagata, Hideaki Nishihara, Yutaka Matsuno. 183-196 [doi]
• A Safety Argument Fragment Towards Safe Deployment of Performant Automated Driving SystemsMagnus Gyllenhammar, Gabriel Rodrigues de Campos, Martin Törngren. 197-210 [doi]
• Certus: A Domain Specific Language for Confidence Assessment in Assurance CasesSimon Diemert, Jens H. Weber. 211-225 [doi]
• Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It?Peter Bishop 0001, Andrey Povyakalo, Lorenzo Strigini. 226-239 [doi]
• Ensuring Information Security in Inclusive Digital EnvironmentsDamilola Innomesanghan, Emmanuel Kiwamu, Sergey Butakov, Eslam G. AbdAllah. 240-252 [doi]
• Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761ATim Gonschorek, Frank Ortmeier. 253-266 [doi]
• High-Performance AI Inference for Agile Deployment on Space-Qualified Processors: A Performance Benchmarking StudyPablo Ghiglino, Mandar Harshe, Hans Dermot Doran, Carlos Rafael Tordoya Taquichiri. 267-280 [doi]
• SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine EnvironmentNawshin Mannan Proma, Victoria J. Hodge, Rob Alexander. 281-293 [doi]
• Trick or Treat: A Study of Human Detection of Manipulative Tactics in Phishing EmailsArifa Islam Champa, Md. Fazle Rabbi, Farjana Z. Eishita, Minhaz Fahim Zibran. 299-311 [doi]
• Rational Verification in Repeated Security GamesSurasak Phetmanee, Michele Sevegnani, Oana Andrei. 312-326 [doi]
• Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection AttacksImran Riaz Hasrat, Sani M. Abdullahi, Eun-Young Kang 0001. 327-339 [doi]
• Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-AttacksMuhammad Arsal, Hafizul Asad, Tamer S. Kamel, Asiya Khan. 340-354 [doi]
• Scenario Hazard Prevention for Autonomous Driving Based on Improved STPAMingyang Zhao, Ci Liang, Tianxiao Wang, Jinping Guan, Long Wan. 359-370 [doi]
• Systematic Test Scenario Generation and Risk Assessment for Automated Driving SystemAlexandru Forrai. 371-385 [doi]
• AV-SLAF: A Scenario-Layered Framework for Safety Analysis of Autonomous Vehicles Based on STPA and CTAZhouhang Lyu, Hongrui Kou, Tianxiao Wang, Mingyang Zhao, Ziyu Wang, Cheng Wang, Yuxin Zhang. 386-398 [doi]
• Applying Machine Learning Towards the Recognition of Driving BehaviorMatheus João Silva de Almeida, Gabriel Nicoli Niederauer, Vinícius K. Marini, Marcia Pasin. 399-411 [doi]
• External Human-Machine Interaction Design Principles and Supporting Technologies for Autonomous VehiclesHaotian Wei, Quan Yuan. 412-422 [doi]
• Formal Analysis of Resilience in Transport Systems with BigraphsSusmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani. 423-436 [doi]
• Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value AnalysisPengcheng Wu, Sadegh Rahrovani, Zhennan Fei, Derong Yang, Stina Carlsson, Martin Törngren. 437-452 [doi]
• A Modular AI Testing Framework for Trustworthy AI: Proof-of-Concept ImplementationMaximilian Pintz, Daniel Becker 0010, Michael Mock. 459-471 [doi]
• Architectural Mitigation of Control AI Risk Factors for Safe Human-Robot-CollaborationAndreas Kreutz, René Beck, Gereon Weiss, Satoshi Otsuka. 472-484 [doi]
• Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital TwinsLaure Millet, Justin Kernot, Arun Adiththan, S. Ramesh, Rami Debouk, Jeffrey Joyce. 485-498 [doi]
• AURORA Networks: Auto-associative Universal Real-Time Outlier Risk Assessment NetworksMoritz Zink, Daniel Grimm, Eric Sax. 499-510 [doi]
• Does Not Impute! Performance and Ethical Implications of Missing Data for an AI-Based Diabetes Co-morbidity PredictorPhilippa Ryan, Berk Ozturk, Laura Fearnley, Tom Lawton, Ibrahim Habli. 511-523 [doi]
• Facilitating Fault Tree Analysis with Generative AIYujiao Shentu, Mario Trapp. 524-536 [doi]
• Efficient Safety Retrofitting Against Jailbreaking for LLMsDario Garcia-Gasulla, Adrián Tormos, Anna Arias-Duart, Daniel Hinjos, Oscar Molina-Sedano, Ashwin Kumar Gurarajan, Maria Eugenia Cardello. 537-565 [doi]
• Risk Analysis of One-Pixel Image Defects in Safety-Critical Deep Neural NetworksKrystian Radlak, Adam Popowicz, Michal Szczepankiewicz, Pawel Zawistowski. 566-578 [doi]
• Safe Adversarial Control Through InteractionBenedikt Rank, Mario Trapp. 579-591 [doi]