蒙克
人员信息
其他同名人员
优化列表
2020年–今天
2022 [第15条] 蒙克 , 马库斯·施韦泽 :
DevOps和安全? 安全操作! 通过频繁发布确保功能驱动开发的安全性。 SAFECOMP研讨会 2022 : 145-157 2021 [第14条] 巴斯蒂安·克鲁克 , 蒙克 , 丹尼尔·安格米耶 :
安全与保障:通过基于模型的建议相互支持安全与保障分析。 ISSRE研讨会 2021 : 172-181 [第1页] 丹尼尔·拉蒂乌 , 阿恩·诺德曼 , 蒙克 , 卡门·科尔兰 , 马库斯·沃尔特 :
FASTEN:安全关键系统严格建模实验的可扩展平台。 实践中的领域特定语言 2021 : 131-164 [i2] 凯·霍菲格 , 安德烈亚斯·乔安尼 , 马克·泽勒 , 弗朗西斯科·蒙特罗内 , 马丁·罗斯菲尔德 , Rakshith Amarnath公司 , 蒙克 , 阿恩·诺德曼 :
基于模型的可靠性和安全性:使用组件故障树降低安全分析的复杂性。 CoRR公司 abs/2105.15015 ( 2021 ) 2020 [注2] 蒙克 , 阿恩·诺德曼 :
使用SysML和组件故障树进行基于模型的安全评估:应用和经验教训。 柔和。 系统。 模型。 19 ( 4 ) : 889-910 ( 2020 ) [第13条] 马可·波扎诺 , 蒙克 , 马库斯·施韦泽 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
模式转换的基于模型的安全分析。 SAFECOMP公司 2020 : 99-114
2010 – 2019
2019 [第12条] 阿鲁特·普拉卡什·卡列斯瓦兰 , 蒙克 , 萨米尔·萨基奇 , 托马斯·沃格尔 , 阿恩·诺德曼 :
支持SysML模型HAZOP研究的领域特定语言。 IMBSA公司 2019 : 47-62 [第11条] 西蒙·格雷纳 , 蒙克 , 阿恩·诺德曼 :
组件故障树的组成。 IMBSA公司 2019 : 125-140 [i1] 西蒙·格雷纳 , 蒙克 , 阿恩·诺德曼 :
CFT正确性的组成性证明。 CoRR公司 abs/1907.09920 ( 2019 ) 2018 [c10] 蒙克 , 安德烈亚斯·阿贝尔 , 艾克·塞登 , 阿恩·诺德曼 , Rakshith Amarnath公司 , 马库斯·施韦泽 , 西蒙·伯顿 :
半自动安全分析和优化。 数模转换器 2018 : 29:1-29:6 【c9】 Rakshith Amarnath公司 , 沙申克纳格什学院 , 蒙克 , 艾克·塞登 :
一种评估系统调用软错误可靠性的故障注入方法。 ISSRE研讨会 2018 : 71-76 【c8】 阿恩·诺德曼 , 蒙克 :
使用SysML和组件故障树进行基于模型的安全评估的经验教训。 模型 2018 : 134-143 【c7】 莉迪亚·高尔霍夫 , 蒙克 , 西蒙·伯顿 :
构建应用于自动驾驶的机器学习功能的验证目标。 SAFECOMP公司 2018 : 45-58 【c6】 克里斯托夫·德夫曼 , 艾克·塞登 , 马里奥陷阱 , 丹尼斯·尤克 , Rakshith Amarnath公司 , 莱安德罗·阿维拉·达席尔瓦 , 蒙克 , 马库斯·施韦泽 , 马蒂亚斯·荣格 , 拉斯穆斯·阿德勒 :
跨抽象层依赖的基于模型的安全分析。 SAFECOMP公司 2018 : 73-87 2017 【c5】 艾米莉亚·乔罗埃卡 , 贾斯敏·贾希奇 , 库恩 , 克里斯蒂安·佩珀 , 丹尼斯·尤克 , 克里斯托夫·德夫曼 , 蒙克 , Rakshith Amarnath公司 , 艾克·塞登 :
加速模拟故障注入测试。 ISSRE研讨会 2017 : 228-233 2016 【b1】 蒙克 :
在消费级多核处理器上用于混合关键实时应用程序的软件容错机制。 德国柏林技术大学, 2016 【c4】 Rakshith Amarnath公司 , 蒙克 , 艾克·塞登 , 阿恩·诺德曼 , 西蒙·伯顿 :
汽车系统模型驱动工程中的可靠性挑战。 ISSRE研讨会 2016 : 1-4 2015 【c3】 蒙克 , 穆罕默德·沙迪·哈基姆 , 拉斐尔·利西基 , 海尔赫·帕齐耶格拉 , 简·里奇林 , 汉斯·乌里奇·海斯 :
面向COTS多核系统的容错框架。 EDCC公司 2015 : 167-177 【c2】 亚历山大·比沃 , 蒙克 , 延斯·格拉迪高 , 克里斯蒂安·豪贝尔特 :
时间触发实时系统中硬件设计选项对调度综合的影响。 MBMV公司 2015 : 105-114 【c1】 蒙克 , 马蒂亚斯·弗雷尔 , 简·里奇林 , 陈建嘉 :
Best-Effort Networks-on-Chip上的动态保证服务通信。 产品开发计划 2015 : 353-360 2014 [j1] 蒙克 , 简·里奇林 :
异构多核的迁移软件WCET估计。 SIGBED版本。 11 ( 三 ) : 22-25 ( 2014 )