2024年EDCC研讨会: 比利时鲁汶
贝罗斯·桑切利(Behrooz Sangchoolie) , 拉斯穆斯·阿德勒 , 理查得·霍金 , 菲利普·施莱斯 , 阿莱西亚·阿特科尼 , 阿德里亚诺·曼奇尼 :
可靠计算——EDCC 2024研讨会——安全自治,比利时鲁汶BLOCKCHAIN信托,2024年4月8日,会议记录。 计算机与信息科学中的通信 2078, 施普林格 2024 ,国际标准图书编号 978-3-031-56775-9
安全自治系统研讨会(SafeAutonomy)
Birte Neurohr公司 , 蒂斯·德·格拉夫 , 安德烈亚斯·艾格斯 , 汤姆·比恩米勒 , 艾克·莫尔曼 :
为自动驾驶系统虚拟验证的有效性提供证据。 5-13 梅赫努什·哈尼诺鲁齐 , 阿斯特里德·拉科夫 , 阿希拉·拜里 , Jan-Patrick Osterloh公司 , 马丁·弗伦泽 :
我们应该给自动化提供多大的功率 调整HCPS-中的自动化水平。 14-21 迪奥戈·科斯塔 , 阿纳姆塔·汗 , 纳格梅·伊瓦基 , 亨利克·马德拉 :
一种基于物理的无人机飞行控制器容错机制。 22-35 马特·奥斯本 , 理查得·霍金 :
定义自治系统安全运行的有效环境。 36-48 列夫·索罗金 , Radouane Bouchekir公司 , Tewodros A.Beyene , 布莱恩·宣成廖 , 亚当·莫林 :
利用证据工具总线为ADS持续创建保障案例。 49-61 蒂尔·沙劳 , 多米尼克·梅克尔 , 斯特凡·诺约卡特 , 福克·豪尔 :
STARS:测试自动机器人系统时测量场景覆盖率的工具。 62-70
智能城市区块链技术和人工智能研讨会(区块链中的信任)
托希德·贝赫达德尼亚 , 克拉斯·托伦 , Fairouz Zobiri公司 , Geert Deconck公司 :
用于检测和定位PMU网络中异常的时空图形神经网络。 75-82 马尔滕·伊文斯 , 帕特里夏·埃科利 , 阿莱西亚·阿特科尼 :
区块链技术在微电网中的应用。 83-90 本亚明·贾法里 , 穆罕默德·阿基夫·亚齐奇 :
面对网络攻击的电力系统暂态稳定性预测:利用LSTM-AE对抗虚假PMU数据。 91-103 艾丽娜·索芬斯卡 :
可信人工智能和区块链技术应用法律框架。 104-107 尼科洛·特斯蒂 :
区块链能源交易中信任的探索性研究。 108-122 阿德里亚诺·曼奇尼 , 亚历山德罗·加德利 :
检查桥梁和关键基础设施:人工智能和区块链方法。 123-126