约翰内斯·克鲁斯
人员信息
优化列表
2010 – 2019
2018 【b1】 约翰内斯·克鲁斯 :
基于堆的异步程序推理。 德国凯泽斯劳滕理工大学, 2018 2017 [第10条] 约翰内斯·克鲁斯 , 鲁帕克·马朱姆达尔 , 弗兰克·麦凯布 :
JavaScript的可延迟性分析。 海法核查会议 2017 : 35-50 2015 【c9】 约翰内斯·克鲁斯 , 鲁帕克·马朱姆达尔 , 维克托·瓦菲亚迪斯 :
异步液体分离类型。 ECOOP公司 2015 : 396-420 2013 【c8】 约翰内斯·克鲁斯 , 鲁帕克·马朱姆达尔 , 菲利普·尼基奇 , 鲁齐卡·皮斯卡 :
增量感应覆盖。 CAV汽车 2013 : 158-173 【c7】 约翰内斯·克鲁斯 , 鲁帕克·马朱姆达尔 :
控制器升级的主管合成。 日期 2013 : 1105-1110 [i1] 约翰内斯·克鲁斯 , 鲁帕克·马朱姆达尔 , 菲利普·尼基奇 , 鲁齐卡·皮斯卡 :
增量感应覆盖。 CoRR公司 腹肌/1301.7321 ( 2013 ) 2011 【c6】 约翰内斯·克鲁斯 , 坦维尔·侯赛因 , 罗伯特·埃什巴赫 :
由故障树分析驱动的安全关键嵌入式系统的基于风险的测试。 ICST研讨会 2011 : 26-33 2010 【c5】 约翰内斯·克鲁斯 , 弗兰克·埃尔伯扎格 , 罗伯特·埃什巴赫 :
基于指标的可信性检验目标指标树的系统构建。 欧微-东南亚 2010 : 279-282 【c4】 马丁·普洛茨奇 , 费比安·齐默尔曼 , 罗伯特·埃什巴赫 , 约翰内斯·克鲁斯 , 卡斯滕·伯恩斯 :
一种使用领域特定语言的自主移动机器人系统测试方法。 基 2010 : 317-324 【c3】 弗兰克·埃尔贝日格尔 , 罗伯特·埃什巴赫 , 约翰内斯·克鲁斯 :
基于指标的检查:可靠系统的面向风险的质量保证方法。 软件工程 2010 : 105-116
2000 – 2009
2009 [j1] 费比安·齐默尔曼 , 罗伯特·埃什巴赫 , 约翰内斯·克洛斯 , 托马斯·鲍尔 :
Risikobasietes统计测试。 软件技术——趋势 29 ( 4 ) ( 2009 ) 【c2】 约翰内斯·克鲁斯 , 罗伯特·埃什巴赫 :
使用特定领域语言生成高度可配置列车控制系统的系统模型:案例研究。 ICST研讨会 2009 : 39-47 【c1】 约翰内斯·克鲁斯 , 罗伯特·埃什巴赫 :
构建网络结构安全关键系统组合行为模型的系统方法。 FMWeek的FACS 2009 : 145-160