default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th IMBSA 2025: Athens, Greece
- Panagiotis Katsaros
:
Model-Based Safety and Assessment - 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings. Lecture Notes in Computer Science 15755, Springer 2026, ISBN 978-3-032-05072-4
System Safety Assessment
- Faiza Waheed, Kai Höfig, Fabian Riß:
AI-Driven Data Management Framework for Quality Assurance in Additive Manufacturing: A Case Study on the TRUMPF TruPrint 1000. 3-17 - Isabella Lanzani, Luca Perfetti, Luca Uliano:
Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study. 18-32 - Anne Fernet, Leïla Kloul:
Multi-approach Based Safety Analysis of a Wastewater Treatment System. 33-47 - Franck Jonon, Emmanuelle Bialet-Carbonne, Lorenzo Bitetti:
Application of a MBSA Approach on a Representative Subsystem of EGNOS (European Geostationary Navigation Overlay Service). 48-59 - Isabella Lanzani, Luca Perfetti, Luca Uliano:
Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA. 60-74
Cybersecurity Analysis
- Antoine Sfeir, Macaire Medenou, Raoul Guiazon:
MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems. 77-91 - Barbara Pernici, Fotios Gioulekas, Athanasios Tzikas, Konstantinos Gounaris, Evangelos Stamatiadis, Thomas Schaberreiter, Cinzia Cappiello:
Cybersecurity Threat Detection Through Business Process Log Analysis. 92-107 - Isadora Garcia Ferrão, David Espes, Catherine Dezan, Roberto G. Pacheco, André Luíz de Oliveira, Ana Quaresma, Kalinka Regina Lucas Jaquie Castelo Branco:
Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML. 108-123
Safe Machine Learning
- Razieh Arshadizadeh, Mahmoud Asgari, Zeinab Khosravi, Yiannis Papadopoulos, Koorosh Aslansefat:
Incorporating Failure of Machine Learning in Dynamic Probabilistic Safety Assurance. 127-143 - Kuniko Paxton, Koorosh Aslansefat, Amila Akagic, Dhavalkumar Thakker, Yiannis Papadopoulos:
Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML. 144-158 - Christopher Mészáros, Roman Gansch, Peter Liggesmeyer:
CODIF: Counterfactual Data-Augmentations for Estimating Perception Influencing Factors. 159-174 - Zhibao Mian, Ramin Tavakoli Kolagari, Alexander Fischer:
The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems. 175-189 - Connor Walker, Koorosh Aslansefat, Mohammed Naveed Akram, Yiannis Papadopoulos:
RAGuard: A Novel Approach for In-Context Safe Retrieval Augmented Generation for LLMs. 190-204
Probabilistic Analysis
- Jonathan Mboko, Jérôme Morio, Christel Seguin, Jean-Charles Chaudemar, Tatiana Prosvirnova:
Variance-Based Sensitivity Analysis for Probabilistic Risk Assessment. 207-221 - Roman Gansch, Lina Putze, Tjark Koopmann, Jan Reich, Christian Neurohr:
Causal Bayesian Networks for Data-Driven Safety Analysis of Complex Systems. 222-237
Model-Based Design and Safety Assessment
- Theodoros Nestoridis, Konstantinos Mokos, Panagiotis Katsaros:
From Natural Language Requirement Specifications to Logic Properties. 241-256 - Daniel Schneider, Ioannis Sorokos, Santiago Velasco, Peter Munk, Markus Schweizer:
Model-Based Dependent Failure Analysis. 257-270 - Martin Friebe, Florian Maassen:
Comparative Analysis of Non-colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways. 271-284 - Tony Ghueldre, Wilkinson Joas, Julien Vidalie, Xavier de Bossoreille, Sébastien Duthoit:
MBSA Model-Exchange and Its Challenges. 285-298 - Luís Nascimento, André Luíz de Oliveira, Regina Villela, Hiago Fonseca, Kalinka R. L. J. Castelo Branco, Ran Wei, Richard Hawkins, Tim Kelly:
ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees. 299-317
Machine Learning and Automata Learning for System Safety
- Kai Höfig, Mario Döller, Faiza Waheed, Fabian Riß, Michael Scholz, Joerg Bauer, Hannes Waclawek, Georg Schäfer, Stefan Huber, Bernhard Heinzl, Michael Hellwig, Steffen Finck:
AI4Green: A Framework for AI-Based Resource Optimizations for Reliable Applications. 321-332 - Jan Burkhardt, Florian Leitner-Fischer:
Analyzing Truck Platoons with Automata Learning and Model Checking. 333-347 - Oliver Dunn, Koorosh Aslansefat, Yiannis Papadopoulos:
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics. 348-364
Failure Detection Isolation and Recovery Analysis
- Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Fajar Haifani:
Towards a Unifying View of Fault Propagation Analyses and Notations. 367-382 - Pierre Bieber, Kevin Delmas, Sergio Pizziol, Tatiana Prosvirnova, Christel Seguin:
An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance. 383-397 - Isabella Lanzani, Christel Seguin:
Timed Models in AltaRica 3.0. 398-412 - Romain Roy, Youssef Lahlou, Julien Blangis, Ayoub Zeghari:
Experience in Developing an Algorithm at the MBSA Level to Minimize the Complexity of Fault Trees During Automatic Generation from Design Data. 413-428 - Daniel Hillen, Jan Reich, Nishanth Laxman, Joshua Frey, Satoshi Otsuka, Takehito Ogata, Donato Di Paola:
From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses. 429-443
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-09-02 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
