第17届EDCC 2021:德国慕尼黑
-
第17届欧洲可靠计算会议,EDCC 2021,德国慕尼黑,2021年9月13日至16日。 电气与电子工程师协会 2021 ,国际标准图书编号 978-1-6654-3671-7 何塞·达布鲁佐·佩雷拉 , 乔·坎波斯 , 马可·维埃拉 :
机器学习结合静态分析警报和软件度量来检测安全漏洞:一项实证研究。 1-8 玛尔塔·格罗贝尔纳 , 乔·维托·扎基 , 菲利普·施雷 , 西蒙·伯顿 :
安全自动化联网驾驶机动的动态风险管理。 9-16 马塞洛·辛克 , 拉斐尔·德尔拉·科尔特 , 罗伯托·鲁杰罗 :
使用动态实时容器防止混合临界云中的计时失败。 17-24 雅各布·帕里 , 萨缪尔·桑皮埃特罗 , 恩里科·比卡里奥 :
FaultFlow:支持定时故障逻辑分析的MDE方法的工具。 25-32 达涅尔·塞克雷斯 , 克里斯托夫·马鲁西 , 伊斯特万·马齐克 :
复杂静态故障树的基于张量的可靠性分析。 33-40 约马尔·多明戈斯 , 劳尔·巴博萨 , 亨利克·马德拉 :
为什么预测计算机系统故障如此困难? 41-44 梅赫迪·马利基 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
SUFI:一种基于仿真的故障注入工具,用于在SUMO中建模的高级驾驶员辅助系统的安全评估。 45-52 丹尼尔·洛奇 , 艾丽克西斯·盖内斯 , 米夏·劳尔 , Jean-Charles Fabre公司 :
混合临界系统中时间故障预防的运行时监控。 53-60 安德烈亚斯·施密特 , Jan Reich公司 , 伊安妮斯·索洛科斯 :
Live in ConSerts:基于微控制器、Edge和云的模型驱动运行时安全保障。 61-66 大卫·费雷拉 , 圣保罗 , 米盖尔·马托斯 :
ATOCS:安全NoSQL数据库加密方案的自动配置。 67-74 西蒙娜·伯纳迪 , 劳尔·贾维尔 , 何塞·梅尔塞格尔 , 何塞·伊格纳西奥·雷格诺 :
智能电网完整性攻击检测器:实验评估。 75-82 里卡多·M·切克斯特 , 查尔斯·莫里塞特 :
BDMPathfinder:一种工具,用于探索由布尔逻辑驱动的马尔可夫过程定义的模型中的攻击路径。 83-86 纳迪娅·帕特里夏·达·席尔瓦·梅德罗斯 , Naghmeh Ramezani Ivaki先生 , 佩德罗·科斯塔 , 马可·维埃拉 :
软件度量和机器学习识别不可信代码的实证研究。 87-94 迈克尔·克拉斯 , 拉斯穆斯·阿德勒 , 伊安妮斯·索洛科斯 , 丽莎·约克尔 , Jan Reich公司 :
根据自主行为的安全约束处理数据驱动模型的不确定性。 95-102 艾哈迈德·阿黛 , 罗曼·甘施 , 彼得·利格斯迈耶 :
自动驾驶环境感知限制的系统建模方法。 103-110 奥斯卡·隆德斯特伦 , 米歇尔·雷纳尔 , 伊莱德·迈克尔·席勒 :
异步易崩溃系统中的自我稳定多值共识。 111-118 劳拉·劳尼扎克 , 托拜厄斯扰流器 :
基于流的状态机复制。 119-126 迈克尔·科纳德 , 阿里·埃布纳西尔 :
资源节约型物联网设备网络的实用自我稳定领导者选举。 127-134