Accepted Papers
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation
Failure Mode Reasoning in Model Based Safety Analysis
An integrated approach to support cost-effective process-based certification of variant-intensive systems
Counterexample Interpretation for Contract-based Design
U-Map: A reference map for safe handling of runtime uncertainties
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities
Model-based Error Detection for Industrial Automation Systems using LSTM Networks
Identification and Quantification of Hazardous Scenarios for Automated Driving
Model-based Risk Analysis for an Open Source PCA Pump using the AADL Error Modeling Annex
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming
A Visual Notation for the Representation of Assurance Cases using SACM
Generative engineering for safety-critical system design
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles
Modelwise Paitron – A tool for automated FMEA
SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measures
Lowering Barriers for Applying Model-based FMEA – Results of the qSafe Project
An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities