伊马诺·阿连德
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【c5】 尼古拉斯·麦奎尔 , 伊马诺·阿连德 , 马库斯·克里德尔 :
成群的无偏模型:从无偏弱模型导出有保证的分类。 ICSRS系统 2023 : 164-170 2022 【b1】 伊马诺·阿连德 :
非确定性复杂安全相关软件测试的统计路径覆盖率。 德国西根大学, 2022 2021 【j4】 伊马诺·阿连德 , 尼古拉斯 , 乔恩·佩雷斯·塞罗拉扎 , 利桑德罗·加布里埃尔·蒙萨尔夫 , 延斯·彼得森 , 罗马·奥伯马瑟 :
基于Linux的下一代自主安全相关系统的统计测试覆盖率。 IEEE接入 9 : 106065-106078 ( 2021 ) [j3] 乔恩·佩雷斯·塞罗拉扎 , 罗马·奥伯马瑟 , 杰姆·阿贝拉 , 弗朗西斯科·卡佐拉 , 金·格里特纳 , 伊鲁恩·阿吉雷 , 哈米德雷扎·艾哈迈迪安 , 伊马诺·阿连德 :
安全关键系统的多核设备:一项调查。 ACM计算。 Surv公司。 53 ( 4 ) : 79:1-79:38 ( 2021 ) [注2] 伊马诺·阿连德 , 尼古拉斯 , 乔恩·佩雷斯 , 利桑德罗·加布里埃尔·蒙萨尔夫 , 罗马·奥伯马瑟 :
面向基于Linux的安全系统-软件执行路径覆盖的统计方法。 J.系统。 阿奇特。 116 : 102047 ( 2021 ) [j1] 哈维尔·费尔南德斯 , 乔恩·佩雷斯 , 伊鲁恩·阿吉雷 , 伊马诺·阿连德 , 杰姆·阿贝拉 , 弗朗西斯科·卡佐拉 :
面向基于机器学习的自治系统矩阵-矩阵乘法的功能安全遵从性。 J.系统。 阿奇特。 121 : 102298 ( 2021 ) 【c4】 伊马诺·阿连德 , 尼古拉斯 , 乔恩·佩雷斯 , 利桑德罗·加布里埃尔·蒙萨尔夫 , 哈维尔·费尔南德斯 , 罗马·奥伯马瑟 :
安全软件测试覆盖率的Linux内核执行路径不确定性估计。 日期 2021 : 1446-1451 2020 【c3】 卡尔斯·埃尔南德斯 , 何塞·弗利奇 , 罗贝托·巴瑞德斯 , 查尔斯·阿莱克西斯·列斐伏尔 , 伊马诺·阿连德 , 杰姆·阿贝拉 , 大卫·特里林 , 马丁·马施尼格 , 伯恩哈德·菲舍尔 , 康拉德·施瓦兹 , 扬·基斯卡 , 马丁·伦巴克 , 约翰·克罗卡斯 , 尼古拉斯 , 弗兰兹·拉姆斯托弗 , 克里斯蒂安·施瓦兹 , 弗兰克·沃特尔 , 迪尔克·吕德曼 , 米凯尔·拉巴恩 :
SELENE:高性能安全关键系统的自我监控可靠平台。 DSD公司 2020 : 370-377 【c2】 尼古拉斯 , 伊马诺·阿连德 :
接近复杂系统的认证。 DSN研讨会 2020 : 70-71
2010 – 2019
2019 【c1】 伊马诺·阿连德 , 尼古拉斯 , 乔恩·佩雷斯 , 利桑德罗·加布里埃尔·蒙萨尔夫 , 乌里亚特Nerea Uriarte , 罗马·奥伯马瑟 :
面向基于多核设备的混合临界嵌入式系统开发的Linux。 EDCC公司 2019 : 47-54
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)