伯恩哈德·凯泽
人员信息
SPARQL查询
优化列表
2020年–今天
2022 [第12条] 伯恩哈德·凯泽 , 伯纳德·迪翁 , 伊利亚·托尔钦斯基 , 蒂埃里·勒·塞根 , 马克斯·纳约克 :
集成安全分析和仿真的基于模型的系统设计的AEBS用例。 IMBSA公司 2022 : 3-20
2010 – 2019
2018 [第11条] 马库斯·格拉博夫斯基 , 伯恩哈德·凯泽 , 于白 :
使用SysML、模板语言和合同对CPS需求进行系统细化。 Modellierung公司 2018 : 245-260 2017 [c10] Irfan Sljivo公司 , 芭芭拉·加利纳 , 伯恩哈德·凯泽 :
通过合同确保汽车排的降级级联。 SAFECOMP研讨会 2017 : 317-329 2016 [第2页] 阿诺德·博伊尔 , 巴斯蒂安·滕伯根 , 圣地亚哥·贝拉斯科 , 巴勃罗·奥利维拉·安东尼诺 , 彼得·巴特拉姆 , Suryo Buono公司 , 伯恩哈德·凯泽 , 贾斯汀娜·赞德 , 凯·比齐克 , 亚历山大·普罗哈斯卡 , 迈克尔·卡梅耶 :
模块化安全保证。 基于模型的嵌入式系统高级工程 2016 : 169-196 2015 【j4】 伯恩哈德·凯泽 , 拉斐尔·韦伯 , 马库斯·厄特尔 , 埃卡德·博德 , 贝兰·莫纳杰米·内贾德 , 朱斯特娜·赞德 :
基于合同的集成标称行为和安全的嵌入式系统设计。 复杂系统。 信息学模型。 问:。 4 : 66-91 ( 2015 ) 【c9】 伯恩哈德·凯泽 , 斯特凡·桑斯基 , Suryo Buono公司 , 豪克·彼得森 , 朱斯特娜·赞德 :
安全关键型汽车系统的轻型合同。 GI-Jahrestagung公司 2015 : 1595-1607 【c8】 彼得·巴特拉姆 , 伯恩哈德·凯泽 , 拉斐尔·韦伯 :
在网络物理系统设计中考虑多方面契约的模块化安全保证方法。 REFSQ研讨会 2015 : 185-197 【c7】 Suryo Buono公司 , 维克托·拉米奇 , 伯恩哈德·凯泽 , 朱斯特娜·赞德 :
从Simulink-Models半自动生成组件故障树的行业案例研究。 软件工程(研讨会) 2015 : 41-50 2010 【c6】 伯恩哈德·凯泽 , 瓦妮莎·克拉斯 , 斯特凡·舒尔茨 , 克里斯蒂安·赫伯斯特 , 彼得·拉斯奇 :
将系统建模与安全活动相结合。 SAFECOMP公司 2010 : 452-465
2000 – 2009
2007 [j3] 伯恩哈德·凯泽 , Catharina Gramlich公司 , 马克·弗斯特 :
状态/事件故障树-软件控制系统的安全分析模型。 Reliab公司。 工程系统。 安全。 92 ( 11 ) : 1521-1537 ( 2007 ) 2006 【b1】 伯恩哈德·凯泽 :
状态事件故障树:软件控制系统的安全性和可靠性分析技术。 凯泽斯劳滕大学, 2006 ,国际标准图书编号 978-3-89963-436-5 ,第1-264页 2005 【c5】 拉尔斯·格伦斯克 , 伯恩哈德·凯泽 , 伊安妮斯·帕帕佐普洛斯 :
基于状态-事件的组件故障注释的模型驱动安全评估。 芝加哥证券交易所 2005 : 33-48 【c4】 拉尔斯·格伦斯克 , 伯恩哈德·凯泽 :
一种基于COTS的系统可靠性自动分析方法。 ICCBSS公司 2005 : 178-190 【c3】 拉尔斯·格伦斯克 , 伯恩哈德·凯泽 :
从部件级故障注释自动生成可分析的故障传播模型。 QSIC公司 2005 : 117-123 [第1页] 拉尔斯·格伦斯克 , 伯恩哈德·凯泽 , 拉尔夫·H·罗伊斯纳 :
基于组件的软件工程过程中安全属性的规范和评估。 基于组件的嵌入式系统软件开发 2005 : 249-274 2004 【c2】 伯恩哈德·凯泽 , Catharina Gramlich公司 :
状态-事件-故障树-软件控制系统的安全分析模型。 SAFECOMP公司 2004 : 195-209 2003 [注2] 伯恩哈德·凯泽 :
用于建模软件控制系统的故障树语义。 软件技术——趋势 23 ( 三 ) ( 2003 ) 【c1】 伯恩哈德·凯泽 , 彼得·利格斯迈耶 , 奥利弗·梅克尔 :
故障树的一个新的组件概念。 SCS公司 2003 : 37-46 2002 [j1] 伯恩哈德·凯泽 :
集成von Sicherheits-und Zuverlässigkeitsmodellen in den Entwicklungsprozess Eingebettter Systeme。 软件技术——趋势 22 ( 4 ) ( 2002 )