logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
M

MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025

IF
Papers28
Citations
Journal Papers 28
Publication Date
delete
Experience in Developing an Algorithm at the MBSA Level to Minimize the Complexity of Fault Trees During Automatic Generation from Design Data
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRoy, Romain; Lahlou, Youssef; Blangis, Julien; Zeghari, Ayoub
deleteShare
deleteSave
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDunn, Oliver; Aslansefat, Koorosh; Papadopoulos, Yiannis
deleteShare
deleteSave
ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNascimento, Luis; de Oliveira, Andre L.; Villela, Regina; Fonseca, Hiago; Branco, Kalinka Castelo; Wei, Ran; Hawkins, Richard; Kelly, Tim
deleteShare
deleteSave
RAGuard: A Novel Approach for In-Context Safe Retrieval Augmented Generation for LLMs
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWalker, Connor; Aslansefat, Koorosh; Akram, Mohammad Naveed; Papadopoulos, Yiannis
deleteShare
deleteSave
Multi-approach Based Safety Analysis of a Wastewater Treatment System
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFernet, Anne; Kloul, Leila
deleteShare
deleteSave
From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHillen, Daniel; Reich, Jan; Laxman, Nishanth; Frey, Joshua; Otsuka, Satoshi; Ogata, Takehito; Di Paola, Donato
deleteShare
deleteSave
Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFerrao, Isadora G.; Espes, David; Dezan, Catherine; Pacheco, Roberto G.; de Oliveira, Andre Luiz; Quaresma, Ana; Branco, Kalinka Castelo
deleteShare
deleteSave
Analyzing Truck Platoons with Automata Learning and Model Checking
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBurkhardt, Jan; Leitner-Fischer, Florian
deleteShare
deleteSave
AI4Green: A Framework for AI-Based Resource Optimizations for Reliable Applications
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHoefig, Kai; Doeller, Mario; Waheed, Faiza; Riss, Fabian; Scholz, Michael; Bauer, Joerg; Waclawek, Hannes; Schaefer, Georg; Huber, Stefan; Heinzl, Bernhard; Hellwig, Michael; Finck, Steffen
deleteShare
deleteSave
Variance-Based Sensitivity Analysis for Probabilistic Risk Assessment
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMboko, Jonathan; Morio, Jerome; Seguin, Christel; Chaudemar, Jean-Charles; Prosvirnova, Tatiana
deleteShare
deleteSave
MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSfeir, Antoine; Medenou, Macaire; Guiazon, Raoul
deleteShare
deleteSave
An ALTARICA-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBieber, Pierre; Delmas, Kevin; Pizziol, Sergio; Prosvirnova, Tatiana; Seguin, Christel
deleteShare
deleteSave
Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLanzani, Isabella; Perfetti, Luca; Uliano, Luca
deleteShare
deleteSave
The Information Meta Model for Machine Learning IM 3 L: A Structured Approach to ML Integration in Engineering Systems
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMian, Zhibao; Kolagari, Ramin Tavakoli; Fischer, Alexander
deleteShare
deleteSave
Comparative Analysis of Non-colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFriebe, Martin; Maassen, Florian
deleteShare
deleteSave
MBSA Model-Exchange and Its Challenges
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGhueldre, Tony; Joas, Wilkinson; Vidalie, Julien; De Bossoreille, Xavier; Duthoit, Sebastien
deleteShare
deleteSave
CODIF: Counterfactual Data-Augmentations for Estimating Perception Influencing Factors
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMeszaros, Christopher; Gansch, Roman; Liggesmeyer, Peter
deleteShare
deleteSave
Causal Bayesian Networks for Data-Driven Safety Analysis of Complex Systems
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGansch, Roman; Putze, Lina; Koopmann, Tjark; Reich, Jan; Neurohr, Christian
deleteShare
deleteSave
Application of a MBSA Approach on a Representative Subsystem of EGNOS (European Geostationary Navigation Overlay Service)
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJonon, Franck; Bialet-Carbonne, Emmanuelle; Bitetti, Lorenzo
deleteShare
deleteSave
Cybersecurity Threat Detection Through Business Process Log Analysis
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deletePernici, Barbara; Gioulekas, Fotios; Tzikas, Athanasios; Gounaris, Konstantinos; Stamatiadis, Evangelos; Schaberreiter, Thomas; Cappiello, Cinzia
deleteShare
deleteSave