logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
M

MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025

IF
论文数28
被引数
期刊论文 28
发表时间
delete
Experience in Developing an Algorithm at the MBSA Level to Minimize the Complexity of Fault Trees During Automatic Generation from Design Data基于设计数据自动生成故障树时，在MBSA级别开发用于最小化故障树复杂度的算法的经验
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRoy, Romain; Lahlou, Youssef; Blangis, Julien; Zeghari, Ayoub
delete分享
delete收藏
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance MetricsQ-SafeML：通过量子距离度量进行量子机器学习的安全性评估
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDunn, Oliver; Aslansefat, Koorosh; Papadopoulos, Yiannis
delete分享
delete收藏
ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault TreesACEditor：基于故障树的可执行保证案例的指定与综合建模工具
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
delete分享
delete收藏
RAGuard: A Novel Approach for In-Context Safe Retrieval Augmented Generation for LLMsRAGuard：一种针对大语言模型（LLMs）的上下文安全检索增强生成的新方法
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWalker, Connor; Aslansefat, Koorosh; Akram, Mohammad Naveed; Papadopoulos, Yiannis
delete分享
delete收藏
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
delete分享
delete收藏
From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses从摘要到行动：为更完整的ADS安全分析量身定制的环境分类法
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
delete分享
delete收藏
Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML基于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
delete分享
delete收藏
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
delete分享
delete收藏
AI4Green: A Framework for AI-Based Resource Optimizations for Reliable ApplicationsAI4Green: 一种面向可靠应用的基于AI的资源优化框架
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
delete分享
delete收藏
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
delete分享
delete收藏
MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical SystemsMBCA：面向网络物理系统网络安全分析的一种基于模型的方法
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSfeir, Antoine; Medenou, Macaire; Guiazon, Raoul
delete分享
delete收藏
An ALTARICA-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance基于ALTARICA的建模与分析方法，以实现无人机监管合规
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBieber, Pierre; Delmas, Kevin; Pizziol, Sergio; Prosvirnova, Tatiana; Seguin, Christel
delete分享
delete收藏
Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA航空航天中的安全分析方法：基于案例的FTA与MBSA比较
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLanzani, Isabella; Perfetti, Luca; Uliano, Luca
delete分享
delete收藏
The Information Meta Model for Machine Learning IM 3 L: A Structured Approach to ML Integration in Engineering Systems机器学习集成在工程系统中的信息元模型IM 3 L：一种结构化方法
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMian, Zhibao; Kolagari, Ramin Tavakoli; Fischer, Alexander
delete分享
delete收藏
Comparative Analysis of Non-colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways铁路安全关键云软件可用性评估中无色和有色Petri网模型的比较分析
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFriebe, Martin; Maassen, Florian
delete分享
delete收藏
MBSA Model-Exchange and Its ChallengesMBSA模型交换及其挑战
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGhueldre, Tony; Joas, Wilkinson; Vidalie, Julien; De Bossoreille, Xavier; Duthoit, Sebastien
delete分享
delete收藏
CODIF: Counterfactual Data-Augmentations for Estimating Perception Influencing FactorsCODIF：用于估计感知影响因子的反事实数据增强
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMeszaros, Christopher; Gansch, Roman; Liggesmeyer, Peter
delete分享
delete收藏
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
delete分享
delete收藏
Application of a MBSA Approach on a Representative Subsystem of EGNOS (European Geostationary Navigation Overlay Service)MBSA方法在EGNOS（欧洲静地导航重叠服务）代表性子系统上的应用
deleteMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJonon, Franck; Bialet-Carbonne, Emmanuelle; Bitetti, Lorenzo
delete分享
delete收藏
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
delete分享
delete收藏