凯·霍菲格
人员信息
SPARQL查询
优化列表
2020年–今天
2022 [公元24年] 伯恩哈德·弗洛伊登塔勒 , 豪尔赫·马丁内斯·吉尔 , 安娜·芬塞尔 , 凯·霍菲格 , 斯特凡·胡贝尔 , 德克·雅各布 :
KI-Net:基于人工智能的工业制造优化——项目概述。 欧洲广播公司 2022 : 554-561 [c23] 弗洛里安·贝耶夫·菲洛夫 , 多米尼克·斯特彻 , 凯·霍菲格 :
逐步生成样本。 欧洲广播公司 2022 : 585-593 2021 [i11] 奇鸿古 , 斯特凡·罗斯鲍尔 , 玛丽安·福德勒 , 凯·霍菲格 , 马克·泽勒 :
SQUADfps:用于柔性生产系统的基于模型的机器安全和产品质量集成。 CoRR公司 abs/2105.14817 ( 2021 ) [i10] 丹尼尔·施奈德 , 马里奥陷阱 , 伊安妮斯·帕帕佐普洛斯 , 埃里克·阿蒙加德 , 马克·泽勒 , 凯·霍菲格 :
WAP:数字可靠性标识。 CoRR公司 abs/2105.14984 ( 2021 ) [第九章] 马克·泽勒 , 凯·霍菲格 :
INSiDER:使用专用参考模型整合系统和安全分析模型。 CoRR公司 abs/2105.14992 ( 2021 ) [i8] 马克·泽勒 , 凯·霍菲格 , Jean-Pascal Schwinn女士 :
ArChes-从连续功能图自动生成组件故障树。 CoRR公司 abs/2105.15002 ( 2021 ) [i7] 凯·霍菲格 , 安德烈亚斯·乔安尼 , 马克·泽勒 , 弗朗西斯科·蒙特罗内 , 马丁·罗斯菲尔德 , Rakshith Amarnath公司 , 蒙克 , 阿恩·诺德曼 :
基于模型的可靠性和安全性:使用组件故障树降低安全分析的复杂性。 CoRR公司 abs/2105.15015 ( 2021 ) [i6] 凯·霍菲格 , 马克·泽勒 , 雷内尔·海尔曼 :
ALFRED:一种为分层体系结构启用组件故障树的方法。 CoRR公司 腹肌/2106.00965 ( 2021 ) [i5] 埃里克·阿蒙加德 , 乔治·马赫 , 亚历山大·梅森 , 塞巴斯蒂安碎片 , 拉斯穆斯·阿德勒 , 丹尼尔·施奈德 , 西蒙·隆戈 , 马西米利亚诺·梅利斯 , 里卡多·格罗波 , 费德里卡·维拉 , 帕德雷格·奥利里 , 凯文·班伯里 , 安妮塔·芬尼根 , 马克·泽勒 , 凯·霍菲格 , 伊安妮斯·帕帕佐普洛斯 , 理查得·霍金 , 蒂姆·凯利 :
DEIS:工业CPS可靠性工程创新。 CoRR公司 abs/2106.01729 ( 2021 ) [i4] 马克·泽勒 , 凯·霍菲格 , 马丁·罗斯菲尔德 :
面向嵌入式系统的跨域软件安全保证过程。 CoRR公司 abs/2106.02140 ( 2021 ) [i3] 马克·泽勒 , 丹尼尔·拉蒂乌 , 凯·霍菲格 :
在工业实践中采用基于模型的工程来开发安全关键系统。 CoRR公司 abs/2106.02273 ( 2021 ) [i2] 塞巴斯蒂安·雷特 , 马克·泽勒 , 凯·霍菲格 , 亚历山大·维尔 , 奥利弗·布林曼 , 沃尔夫冈·罗森斯蒂尔 :
使用误差影响模拟验证组件故障树。 CoRR公司 abs/2106.03368 ( 2021 ) [i1] 凯·霍菲格 , 康奈尔·克莱恩 , 斯特凡·罗斯鲍尔 , 马克·泽勒 , 玛丽安·福德勒 , 奇鸿古 :
过程失效模式和影响分析的元模型(PFMEA)。 CoRR公司 abs/2106.11035 ( 2021 ) 2020 [电子1] 马克·泽勒 , 凯·霍菲格 :
基于模型的安全和评估-第七届国际研讨会,IMBSA 2020,葡萄牙里斯本,2020年9月14日至16日,会议记录。 计算机科学课堂讲稿 12297, 施普林格 2020 ,国际标准图书编号 978-3-030-58919-6 [目录]
2010 – 2019
2019 [公元22年] 凯·霍菲格 , 康奈尔·克莱恩 , 斯特凡·罗斯鲍尔 , 马克·泽勒 , 玛丽安·福德勒 , 奇鸿古 :
过程失效模式和影响分析的元模型(PFMEA)。 ETFA公司 2019 : 1199-1202 【c21】 奇鸿古 , 斯特凡·罗斯鲍尔 , 玛丽安·福德勒 , 凯·霍菲格 , 马克·泽勒 :
SQUADfps:用于柔性生产系统的基于模型的机器安全和产品质量集成。 IMBSA公司 2019 : 222-236 2018 [公元20年] 伯特·博姆 , 马克·泽勒 , 扬·沃尔马尔 , Stefanie Weiß , 凯·霍菲格 , 文森特·马利克 , 斯蒂芬·恩弗多尔本(Stephan Unverdorben) , 康斯坦丁·希尔德布兰特 :
适应性和灵活性工业工厂工程面临的挑战。 Modellierung(车间) 2018 : 101-110 [第19条] 蒂姆·冈索雷克 , 马克·泽勒 , 凯·霍菲格 , 弗兰克·奥特米耶 :
故障树与组件故障树:一项实证研究。 SAFECOMP研讨会 2018 : 239-251 [第18条] 凯·霍菲格 , 阿米尔·克鲁格 :
SEnSE——安全关键嵌入式系统安全集成的体系结构。 软件COM 2018 : 1-5 2017 [第17条] 塞巴斯蒂安·雷特 , 马克·泽勒 , 凯·霍菲格 , 亚历山大·维尔 , 奥利弗·布林曼 , 沃尔夫冈·罗森斯蒂尔 :
使用误差影响模拟验证组件故障树。 IMBSA公司 2017 : 212-226 [第16条] 马克·泽勒 , 凯·霍菲格 , Jean-Pascal Schwinn女士 :
ArChes-从连续功能图自动生成组件故障树。 印度 2017 : 577-582 2016 [第15条] 马克·泽勒 , 丹尼尔·拉蒂乌 , 凯·霍菲格 :
在工业实践中采用基于模型的工程来开发安全关键系统。 SAFECOMP研讨会 2016 : 322-333 [第14条] 凯·霍菲格 :
基于组件的系统架构背景下的可靠性分析教程摘要。 WICSA公司 2016 : 255 2015 [第13条] 凯·霍菲格 , 马克·泽勒 , 雷内尔·海尔曼 :
ALFRED:为分层体系结构启用组件故障树的方法。 欧微-东南亚 2015 : 167-176 [第12条] 费利克斯·默勒 , 马克·泽勒 , 凯·霍菲格 , 马丁·罗斯菲尔德 , 彼得·利格斯迈耶 :
使用组件故障树进行自动成分安全分析。 ISSRE研讨会 2015 : 152-159 [第11条] 丹尼尔·施奈德 , 马里奥陷阱 , 伊安妮斯·帕帕佐普洛斯 , 埃里克·阿蒙加德 , 马克·泽勒 , 凯·霍菲格 :
WAP:数字可靠性标识。 ISSRE公司 2015 : 324-329 [c10] 凯·霍菲格 , 马克·泽勒 , 康斯坦丁·肖普 :
使用内部端口依赖性跟踪的自动故障传播。 质量保证体系 2015 : 123-128 2014 【c9】 凯·霍菲格 , 马克·泽勒 , 拉尔斯·格伦斯克 :
metaFMEA-A可重用FMEA框架。 IMBSA公司 2014 : 110-122 【c8】 马克·泽勒 , 凯·霍菲格 , 马丁·罗斯菲尔德 :
面向嵌入式系统的跨域软件安全保证过程。 SAFECOMP研讨会 2014 : 396-400 2013 【b1】 凯·霍菲格 :
故障相关时序分析——一种新的概率最坏情况执行时间分析方法。 凯泽斯劳滕大学, 弗劳恩霍夫·弗拉格 2013 ,国际标准图书编号 978-3-8396-0553-0 ,第1-154页 【c7】 郑秀妍 , 凯·霍菲格 , 多米尼克·多米斯 , 安德烈亚斯·杰德利施卡 , 马丁·希勒 :
两种安全性分析方法的实验比较及其复制。 环境与社会管理局 2013 : 223-232 【c6】 郑秀妍 , 安德烈亚斯·杰德利施卡 , 凯·霍菲格 , 多米尼克·多米斯 , 马丁·希勒 :
组件故障树的控制实验。 SAFECOMP公司 2013 : 285-292 2012 【c5】 凯·霍菲格 :
故障相关时序分析-概率最坏情况执行时间分析的新方法。 MMB/DFT公司 2012 : 61-75 [第1页] 凯·霍菲格 , 马里奥陷阱 , 巴斯蒂安·齐默尔 , 彼得·利格斯迈耶 :
质量方面建模:安全。 基于模型的嵌入式系统工程 2012 : 107-118 2011 【c4】 凯·霍菲格 , 多米尼克·多米斯 :
故障相关执行时间分析。 QoSA/ISARCS 2011 : 115-122 【c3】 凯·霍菲格 :
容错机制的定时开销分析。 软件工程(研讨会) 2011 : 89-98 2010 【c2】 多米尼克·多米斯 , 凯·霍菲格 , 马里奥陷阱 :
基于组件的故障树精化的一致性检查算法。 ISSRE公司 2010 : 171-180 【c1】 拉斯穆斯·阿德勒 , 多米尼克·多米斯 , 凯·霍菲格 , 舍伦·凯曼 , 库恩 , Jean-Pascal Schwinn女士 , 马里奥陷阱 :
将组件故障树集成到UML中。 MoDELS(车间) 2010 : 312-327