IMBSA 2025: INTERNATIONAL SYMPOSIUM ON MODEL-BASED SAFETY AND ASSESSMENT

This page contains an index consisting of author-provided keywords.

3
3d print	Failure and defect detection of safety critical 3D printed goods
A
Additive Manufacturing	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
Aerospace	Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
Agriculture	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
AI Safety	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
AltaRica	Timed Models in AltaRica 3.0 An Altarica-based modelling and analysis approach enabling UAV regulation compliance Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
Assurance Cases	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Automata Learning	Analyzing Truck Platoons with Automata Learning and Model Checking
Automated Driving	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
Autonomous Systems	Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
Availability analysis	Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways
B
Bayesian Networks	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
C
CAD	Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data
Causal Inference	CODIF: Counterfactual data-augmentations for estimating perception influencing factors Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
Cecilia Workshop	Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
CECILIA Workshop (Satodev)	Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
Class Activation Map	Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
Cloud-based railway applications	Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways
CO2 footprint	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
COMPEXITY	Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data
Cyber-Physical Systems	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees Analyzing Truck Platoons with Automata Learning and Model Checking MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
Cyberattack	MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
cybersecurity	Cybersecurity Threat Detection through Business Process Log Analysis MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
D
Decision Support	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Deep Learning	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
defect classification	Failure and defect detection of safety critical 3D printed goods
Defect Detection	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
Dependent Failure Analysis	Model-based Dependent Failure Analysis
Digital Twins	Scaling Law Challenges for Digital Twins
Distance Measures	Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning
E
EGNOS	Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
Explainability	CODIF: Counterfactual data-augmentations for estimating perception influencing factors Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
F
failure detection	Failure and defect detection of safety critical 3D printed goods
Failure Propagation Modeling	An Altarica-based modelling and analysis approach enabling UAV regulation compliance
Fault Propagation Analysis	Towards a Unifying View of Fault Propagation Analyses and Notations
FAULT TREE	Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data
Fault Tree Analysis	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA
Fault Trees	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
Fault trees analysis	Multi-approach based Safety Analysis of a Wastewater Treatment System
FDM	Towards a Unifying View of Fault Propagation Analyses and Notations
Formal Methods	Timed Models in AltaRica 3.0
FTA	Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA
Functional Safety	Model-based Dependent Failure Analysis
G
GPS Spoofing	Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
I
In-context Safety	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Information meta model	The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems
IP Protection	MBSA model exchange and its challenges
J
Jamming	Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
K
KB3	Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data
L
Large Language Models	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Large Language Models	Scaling Law Challenges for Digital Twins
Learning-Based Verification	Analyzing Truck Platoons with Automata Learning and Model Checking
M
Machine learning	The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning
Machine Learning Failures	Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
Masking	MBSA model exchange and its challenges
MBSA	Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data MBSA model exchange and its challenges Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
Medical image classification	Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
Model Checking	Analyzing Truck Platoons with Automata Learning and Model Checking
Model Exchange	MBSA model exchange and its challenges
Model-Based	MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems Failure and defect detection of safety critical 3D printed goods
Model-Based Safety Analysis	Timed Models in AltaRica 3.0
Model-Based Safety Analysis (MBSA)	Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
Model-Based Safety Assessment	Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
Model-based Safety Engineering	Model-based Dependent Failure Analysis
Model-Based System Assurance	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Model-Driven Engineering	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Model-driving engineering	The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems
Multi-Sensor Fusion	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
N
natural language requirements	From Natural Language Requirement Specifications to Logic Properties
Neural networks	Multi-approach based Safety Analysis of a Wastewater Treatment System
O
Object detection	CODIF: Counterfactual data-augmentations for estimating perception influencing factors
ODD	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Offshore Wind Maintenance	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Ontology	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Operational Design Domain	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
P
Petri net modeling	Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways
PGFDS	Towards a Unifying View of Fault Propagation Analyses and Notations
Probabilistic Risk Assessment	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
Probabilistic Safety Assessment	Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
process mining	Cybersecurity Threat Detection through Business Process Log Analysis
Q
Quality Assurance	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
Quantum Computing	Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning
Quantum Machine Learning	Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning
R
RAGuard	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
RAMS	MBSA model exchange and its challenges Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
real-time data processing	Scaling Law Challenges for Digital Twins
Regulatory Compliance	An Altarica-based modelling and analysis approach enabling UAV regulation compliance
requirements formalization	From Natural Language Requirement Specifications to Logic Properties
Retrieval-Augmented Generation (RAG)	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Robotics	AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
Runtime Monitoring	Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
Runtime Safety Assurance	Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
runtime verification	From Natural Language Requirement Specifications to Logic Properties
S
Safe AI	CODIF: Counterfactual data-augmentations for estimating perception influencing factors
SafeML	Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
Safety	MBSA model exchange and its challenges Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
Safety Analysis	Analyzing Truck Platoons with Automata Learning and Model Checking Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
Safety-critical	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Safety-critical systems	The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems
Security Risk Assessment	MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
Sensitivity Analysis	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
Simplification	MBSA model exchange and its challenges
Skin lesion classification	Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
Sobol	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
System Analyst (THALES)	Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
System of systems	Multi-approach based Safety Analysis of a Wastewater Treatment System
System reliability	Multi-approach based Safety Analysis of a Wastewater Treatment System
T
TFPG	Towards a Unifying View of Fault Propagation Analyses and Notations
threat detection	Cybersecurity Threat Detection through Business Process Log Analysis
Timed failure propagation models	Timed Models in AltaRica 3.0
Truck Platooning	Analyzing Truck Platoons with Automata Learning and Model Checking
trusted decision making	Scaling Law Challenges for Digital Twins
Trustworthy AI	Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
U
UAV Operations	An Altarica-based modelling and analysis approach enabling UAV regulation compliance
UAV Security	Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
W
Wastewater treatment plants	Multi-approach based Safety Analysis of a Wastewater Treatment System

Disclaimer | Powered by EasyChair Smart Program