琳达·赫尔曼
人员信息
附属: 德国德累斯顿大学
优化列表
2010 – 2019
2019 [注2] 琳达·赫尔曼 , 马丁·库特勒 , 托拜厄斯·斯塔姆普夫 , 克里斯特尔·贝尔 , 赫尔曼·哈蒂格 , 萨沙·克吕佩尔霍尔茨 以下为:
使用概率模型检查配置进程间通信。 国际期刊软件。 技术工具。 Transf公司。 21 ( 6 ) 以下为: 651-666 ( 2019 ) 2018 【b1】 琳达·赫尔曼 以下为:
容错系统的正式配置。 德国德累斯顿理工大学, 2018 ,第1-119页 [j1] 杰罗尼莫·卡斯特里隆 , 马蒂亚斯·利伯 , 萨沙·克吕佩尔霍尔茨 , 马库斯·沃尔普 , 尼尔斯·阿斯穆森 , 乌韦·Aß曼 , 弗兰兹·巴德 , 克里斯特尔·拜尔 , 格哈德·费特维斯 , Jochen Fröhlich先生 , 安德烈斯·戈恩斯 , 塞巴斯蒂安·哈斯 , 德克·哈比奇 , 赫尔曼·哈蒂格 , 马蒂斯·哈斯勒 , 伊莫·惠斯曼 , 托马斯·卡纳吉尔 , 斯文·卡罗尔 , 阿卡什·库马尔 , 沃尔夫冈雷纳 , 琳达·卢施纳 , 四七岭 , 斯特芬·梅克尔 , 克里斯蒂安·梅纳德 , 约翰内斯·梅伊 , 沃尔夫冈·纳格尔 , Benedikt Nöthen公司 , 拉斐尔·佩尼亚洛萨 , 迈克尔·雷扎 , 约格·斯蒂勒 , 安妮特·安格特·尤姆(Annett Ungethüm) , 阿克塞尔·沃伊格特 , 萨沙·温德利希 以下为:
异构系统的硬件/软件堆栈。 IEEE传输。 多尺度计算。 系统。 4 ( 三 ) 以下为: 243-259 ( 2018 ) 【c5】 琳达·赫尔曼 , 克里斯特尔·拜尔 , 克里斯托夫·费泽尔 , 萨沙·克吕佩尔霍尔茨 , 马库斯·纳皮尔科夫斯基 以下为:
能量利用率最优容错的形式化参数综合。 重铬酸钾 2018 以下为: 78-93年 2017 [c4] 克里斯特尔·拜尔 , 约阿希姆·克莱因 , 琳达·卢施纳 , 大卫·帕克 , 萨沙·温德利希 以下为:
确保模型检查器的可靠性:马尔可夫决策过程的区间迭代。 卡瓦(1) 2017 以下为: 160-180 [c3] 琳达·卢施纳 , 马丁·库特勒 , 托拜厄斯·斯塔姆普夫 , 克里斯特尔·拜尔 , 赫尔曼·哈蒂格 , 萨沙·克吕佩尔霍尔茨 以下为:
面向非功能约束系统的自动配置。 热操作系统 2017 以下为: 111-117 2014 【c2】 克里斯特尔·拜尔 , 克莱门斯·杜斯拉夫 , 萨沙·克吕佩尔霍尔茨 , 琳达·卢施纳 以下为:
使用概率模型检查对弹性系统进行能量效用分析。 Petri网 2014 以下为: 20-39 【c1】 琳达·卢施纳 以下为:
概率模型检查中的成分。 德国计算机科学研究培训小组联合讲习班 2014 以下为: 147