Safety Assurance
Assurance Case Arguments in the Large : CERN LHC Machine Protection System
Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases
Software Testing & Reliability
A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study
A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry
Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics
Neural Networks Robustness & Monitoring
A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
Model-based Security and Threat Analysis
Model-based Generation of Attack-Fault Trees
MBTA: A Model-Based Threat Analysis approach for software architectures
Attribute Repair for Threat Prevention
Safety of Autonomous Driving
Probabilistic Spatial Relations for Monitoring Behavior of Road Users
Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems
Security Engineering
Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems
From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures
AI Safety
The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems
Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products
Online Quantization Adaptation for Fault-Tolerant Neural Network Inference
Neural Networks & Testing
Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection
Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models.