停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2022年第八届IMBSA：德国慕尼黑

>主页 >会议和研讨会 >IMBSA公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/2022
克里斯特尔·塞金,马克·泽勒,塔蒂亚娜·普罗斯维诺娃:
基于模型的安全与评估——第八届国际研讨会，IMBSA 2022，德国慕尼黑，2022年9月5-7日，会议记录。计算机科学课堂讲稿13525,施普林格 2022，国际标准图书编号978-3-031-15841-4

安全分析自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/KaiserDTSN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/KaiserDTSN22
伯恩哈德·凯泽,伯纳德·迪翁,伊利亚·托尔钦斯基,蒂埃里·勒·塞根,马克斯·纳约克:
集成安全分析和仿真的基于模型的系统设计的AEBS用例。 3-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/庞巴迪BCCG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BombardelliBCCG22
阿尔贝托·邦巴迪利,马可·波扎诺,罗伯托·卡瓦达,亚历山德罗·西马蒂,阿尔贝托·格里乔,马西莫·纳扎里亚,埃多亚多·尼科洛迪,斯特凡诺·托内塔:
COMPASTA：通过正式设计和验证功能扩展TAST。 21-27

MBSA实践

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/FrazzaDG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/FrazzaDG22
克里斯托夫·弗拉扎,皮埃尔·达斐尔,让·高瑟:
航空MBSA：支持安全活动的方法。 31-42岁
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/BressanOCMCPAP22公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BressanOCMCPAP22网站
卢卡斯·布莱桑,安德烈·路易斯·德·奥利维拉,费尔南达·C·A·坎波斯,莱昂纳多·蒙泰奇,拉斐尔·卡皮拉,大卫·帕克,库罗什·阿斯兰塞法特,伊安妮斯·帕帕佐普洛斯:
使用状态机图对系统安全分析的可变性进行建模。 43-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/inbsa/噪音设置DM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/NoisetteDM22
贝蒂尔·诺瓦塞特,塞巴斯蒂安·多波尔,劳伦·蒙蒂尔:
基于模型的安全分析：实践经验。 60-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/LegendreD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/LegendreD22
安东尼·勒让德,罗兰·多纳特:
基于模型的安全分析在自动化地铁线路新型机车车辆全球操作系统设计中的实际应用。 68-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/HillenHLLRSSSU22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/HillenHLLRSSSU22
丹尼尔·希伦,汤姆·菲利普·哈克,Nishanth Laxman公司,克里斯托夫·莱德曼,Jan Reich公司,帕特里克·施洛瑟,安德烈亚斯·施密特,丹尼尔·施奈德,丹尼斯·尤克:
即插即用。。。安全！-可重构工业4.0的端到端基于模型的安全保证。 83-97

因果模型和故障建模策略

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/inbsa/ProsvirnovaSFBB22会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/ProsvirnovaSFBB22
塔蒂亚娜·普罗斯维诺娃,克里斯特尔·塞金,克里斯托夫·弗拉扎,米歇尔·巴托克斯,泽维尔·德·波索雷耶,弗雷德里克·德尚,让·高瑟,埃斯特尔·塞兹:
用AltaRica模拟动态系统中故障传播的策略。 101-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/MaerGUM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/MaierGUM22
罗伯特·迈尔,丽莎·格拉宾格,大卫·乌尔哈特,尤尔根·莫托克:
汽车系统安全中基于因果模型的工程。 116-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/BatteuxPR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BatteuxPR22
米歇尔·巴托克斯,塔蒂亚娜·普罗斯维诺娃,安托万·劳齐:
AltaRica 3.0海上风力发电场性能评估。 130-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/Zeller22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/Zeller22
马克·泽勒:
部件故障和缺陷树（CFDT）：结合功能安全和SOTIF分析。 146-152

设计故障和攻击的缓解措施

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/BrauJR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BrauJR22
纪尧姆·布朗,埃里克·杰恩,西尔瓦娜·拉杜:
基于Capella的纳米/微型卫星可用性早期评估工具。 155-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/PoorhadiTD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/PoorhadiTD22
埃桑·普尔哈迪,埃琳娜·特鲁比西纳,吉尔吉斯·达恩:
使用SysML和Event-B分析安全攻击对安全的影响。 170-185

基于数据的安全分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/WalkerRAPD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/WalkerRAPD22
康纳·沃克,Callum Rothon公司,库罗什·阿斯兰塞法特,伊安妮斯·帕帕佐普洛斯,尼娜·德特利夫斯:
使用警报序列和长短记忆算法预测风力涡轮机维修行动的深度学习框架。 189-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/DingAM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/DingAM22
盛鼎,斯坎德·阿尤布,安德烈·莫罗佐夫:
工具文件：用于MATLAB Simulink的时间序列异常检测平台。 204-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/FarhadSSAAS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/FarhadSSAAS22
阿尔哈里斯·法哈德,伊安妮斯·索洛科斯,安德烈亚斯·施密特,穆罕默德·纳维德·阿克兰,库罗什·阿斯兰塞法特,丹尼尔·施奈德:
保持距离：在机器学习监控中确定采样和距离阈值。 219-234

动态风险评估

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/ReichGLSOOI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/ReichGLSOOI22
Jan Reich公司,帕斯卡·格伯,尼桑特·拉克斯曼,丹尼尔·施奈德,绪方武彦,大冢佐治,石谷佐木:
构建动态风险和能力模型，以提高共享空间中人类工作者和自主移动机器人之间的合作效率。 237-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/AslansefatNWASR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/AslansefatNWASR22
库罗什·阿斯兰塞法特,帕纳吉奥塔·尼古劳,马丁·沃克,穆罕默德·纳维德·阿克兰,伊安妮斯·索洛科斯,Jan Reich公司,Panayiotis Kolios公司,玛丽亚·K·迈克尔,提奥查里斯·提奥查利德斯,乔治·埃利纳斯,丹尼尔·施奈德,伊安妮斯·帕帕佐普洛斯:
SafeDrones：使用可执行数字可靠标识对无人机进行实时可靠性评估。 252-266

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。