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

A
Akagic, Amila	Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
Almeida Nascimento, Luis Felipe	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Arshadizadeh, Razieh	Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
Asgari, Mahmoud	Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
Aslensfat, Koorosh	Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
B
Bialet-Carbonne, Emmanuelle	Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
Bieber, Pierre	An Altarica-based modelling and analysis approach enabling UAV regulation compliance
Bitetti, Lorenzo	Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
Bozzano, Marco	Towards a Unifying View of Fault Propagation Analyses and Notations
Braga, Regina	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Burkhardt, Jan	Analyzing Truck Platoons with Automata Learning and Model Checking
C
Cappiello, Cinzia	Cybersecurity Threat Detection through Business Process Log Analysis
Castelo Branco, Kalinka	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Chaudemar, Jean-Charles	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
Cimatti, Alessandro	Towards a Unifying View of Fault Propagation Analyses and Notations
D
De Bossoreille, Xavier	MBSA model exchange and its challenges
de Oliveira, André Luiz	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Delmas, Kevin	An Altarica-based modelling and analysis approach enabling UAV regulation compliance
Di Paola, Donato	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Dunn, Oliver	Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning
Duthoit, Sebastien	MBSA model exchange and its challenges
F
Fernet, Anne	Multi-approach based Safety Analysis of a Wastewater Treatment System
Fischer, Alexander	The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems
Frey, Joshua	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Friebe, Martin	Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways
G
Gansch, Roman	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems CODIF: Counterfactual data-augmentations for estimating perception influencing factors
Garcia Ferrão, Isadora	Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
Ghueldre, Tony	MBSA model exchange and its challenges
Gioulekas, Fotios	Cybersecurity Threat Detection through Business Process Log Analysis
Gounaris, Konstantinos	Cybersecurity Threat Detection through Business Process Log Analysis
Griggio, Alberto	Towards a Unifying View of Fault Propagation Analyses and Notations
Guiazon, Raoul	MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
H
Haifani, Fajar	Towards a Unifying View of Fault Propagation Analyses and Notations
Hawkins, Richard	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Hillen, Daniel	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Höfig, Kai	Failure and defect detection of safety critical 3D printed goods AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications
J
Joas, Wilkinson	MBSA model exchange and its challenges
Jonon, Franck	Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service)
K
Katsaros, Panagiotis	From Natural Language Requirement Specifications to Logic Properties
Kelly, Tim	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees
Khosravi, Zeinab	Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance
Kloul, Leïla	Multi-approach based Safety Analysis of a Wastewater Treatment System
Koopmann, Tjark	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
L
Lanzani, Isabella	Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA Timed Models in AltaRica 3.0
Laxman, Nishanth	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Leitner-Fischer, Florian	Analyzing Truck Platoons with Automata Learning and Model Checking
Liggesmeyer, Peter	CODIF: Counterfactual data-augmentations for estimating perception influencing factors
M
Maassen, Florian	Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways
Mboko, Jonathan	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
Medenou, Macaire	MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
Meszaros, Christopher	CODIF: Counterfactual data-augmentations for estimating perception influencing factors
Mian, Zhibao	The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems
Mokos, Konstantinos	From Natural Language Requirement Specifications to Logic Properties
Morio, Jérôme	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment
Munk, Peter	Model-based Dependent Failure Analysis
N
Naveed Akram, Mohammad	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Nestoridis, Theodoros	From Natural Language Requirement Specifications to Logic Properties
Neurohr, Christian	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
O
Ogata, Takehito	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Otsuka, Satoshi	From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
P
Papadopoulos, Yiannis	Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Paxton, Kuniko	Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
Perfetti, Luca	Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
Perfetti, Luca	Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA
Pernici, Barbara	Cybersecurity Threat Detection through Business Process Log Analysis
Pizziol, Sergio	An Altarica-based modelling and analysis approach enabling UAV regulation compliance
Prosvirnova, Tatiana	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment An Altarica-based modelling and analysis approach enabling UAV regulation compliance
Putze, Lina	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
R
Ranjan, Rajiv	Scaling Law Challenges for Digital Twins
Reich, Jan	Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
Roy, Romain	Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data
S
Schaberreiter, Thomas	Cybersecurity Threat Detection through Business Process Log Analysis
Schneider, Daniel	Model-based Dependent Failure Analysis
Schweizer, Markus	Model-based Dependent Failure Analysis
Seguin, Christel	Variance-based Sensitivity Analysis for Probabilistic Risk Assessment An Altarica-based modelling and analysis approach enabling UAV regulation compliance Timed Models in AltaRica 3.0
Sfeir, Antoine	MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
Sorokos, Ioannis	Model-based Dependent Failure Analysis
Stamatiadis, Evangelos	Cybersecurity Threat Detection through Business Process Log Analysis
T
Tavakoli Kolagari, Ramin	The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems
Thakker, Dhavalkumar	Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
Tzikas, Athanasios	Cybersecurity Threat Detection through Business Process Log Analysis
U
Uliano, Luca	Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
Uliano, Luca	Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA
V
Velasco, Santiago	Model-based Dependent Failure Analysis
Vidalie, Julien	MBSA model exchange and its challenges
W
Waheed, Faiza	Failure and defect detection of safety critical 3D printed goods
Walker, Connor	RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs
Wei, Ran	ACEditor: a Tool for Synthesizing Assurance Cases from Fault Trees

Disclaimer | Powered by EasyChair Smart Program