第53届DSN 2023：葡萄牙波尔图-研讨会
第53届IEEE/IFIP可靠系统和网络国际年会，DSN 2023-研讨会，葡萄牙波尔图，2023年6月27日至30日。 电气与电子工程师协会 2023 ，国际标准图书编号 979-8-3503-2543-0 塔尼亚·埃斯特维斯 
, 里卡多·马塞多 , 鲁伊·奥利维拉 , 圣保罗 :
通过系统调用可观察性诊断应用程序的I/O行为。 1-8 约马尔·多明戈斯 , 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
从基础设施级数据预测云应用程序故障。 9-16 斯齐拉德·博佐基 , 伊姆雷·科希斯 , 安德拉斯·帕塔里察 :
低估——大型关键系统的软件故障统计模型创建。 17-24 奥丁 , 李高磊 , Yiaoyu Yi（音译） , 刘玉晨 :
IVSign：通过代码嵌入和静态分析的可解释漏洞签名。 25-31 Takashi Minohara公司 , 岛川正也 :
软件漏洞评估的安全风险增长模型。 32-35 Chika Komiya公司 , Naoto Yanai公司 , 山下京介 , 冈村真吾 :
JABBERWOCK:针对恶意网站检测的WebAssembly数据集生成工具。 36-39 文森佐·玛丽亚·阿里克莱 , 米歇尔·卡吉亚诺 , 马塞洛·辛克 , 安吉洛·科波拉 , 弗拉维奥·法罗尼 , 马里奥·佛罗伦萨 , 安德烈亚·加洛法罗 , 安德烈亚·马切塔 , Antimo Perfetto公司 , 亚历山大·萨赫内维奇 :
EMER-GO：紧急智能交通系统的实时抓地力增强速度提示。 40-47 基里安·勒加尔 , 劳伦特·勒马尔坎德 , 凯瑟琳·德赞 :
自动车辆在线重新规划的多目标优化。 48-51 何塞·M·皮涅罗 , 埃尼奥·瓦康塞洛斯·菲略 , 佩德罗·桑托斯 , 路易斯·阿尔梅达 :
用于网络辅助安全关键场景的ETSI ITS启用机器人规模试验台。 52-59 弗朗科·奥贝蒂 , 埃内斯托·桑切斯 , 亚历山德罗·萨维诺 , 菲利波·帕里西 , 斯蒂法诺·迪卡洛 :
PSP框架：一种符合ISO/SAE-21434的新型风险评估方法。 60-67 乔·佩雷拉 , 哈里森·库鲁纳坦 , 埃尼奥·瓦康塞洛斯·菲略 , 佩德罗·桑托斯 :
边防V2X与排防撞：走向混合评估工具集。 68-71 奥米德·阿斯加里 , 纳格梅·伊瓦基 , 亨利克·马德拉 :
U空间安全评估方法与实验的集成。 72-75 吴玉亭 , 新楼 , 周鹏飞 , 芮坛 , Zbigniew T.Kalbarczyk公司 , 拉维山卡·K·伊耶 :
自主驾驶代理对基于学习的行动空间攻击的敏感性。 76-83 帕特里克·格里默 , 佩德罗·布兰登 :
汽车网络安全成熟度评估计划。 84-91 梅赫迪·马利基 , 阿什法克·法鲁基 , 贝罗斯·桑切利（Behrooz Sangchoolie） :
CarFASE：一种基于Carla的工具，用于评估故障和攻击对自动驾驶台的影响。 92-99 玛丽娜·德赫兹·克莱门蒂 , Jean-Christophe Denuville公司 , 艾曼纽尔·洛钦 , 杰罗姆·拉康 :
BEAT-Traffic：一个支持区块链的基础设施，用于匿名可跟踪流量报告。 100-107 伊曼纽尔·维埃拉 , 若昂·阿尔梅达 , 若阿金·费雷拉 , 保罗·巴托洛缪 :
使用实用拜占庭容错保护合作机动信息。 108-115 维多利亚·乌 , 弗雷德里克·沃格 , 安德斯·索恩 , Stig催促 , 弗雷德里克·桑纳斯塔姆 , 吉米·霍勒 , 卡尔·伯根汉姆 , 伊琳娜·科斯敏 :
合作和协作自动化车辆的最小风险机动策略。 116-123 尼古拉斯·邦泽尔 , 阿希姆·西瓦科蒂 , 杰里特·克劳斯 :
通过检测高熵区域进行对抗性补丁检测和缓解。 124-128 徐晓云 , 吉尔赫梅·佩林 , 斯捷潘·皮切克 :
IB-RAR：信息瓶颈作为对抗性稳健性的正则化因子。 129-135 尼古拉斯·邦泽尔 , 卢卡斯·格拉纳 :
简要分析粘贴攻击及其对图像分类的影响。 136-140 菲利佩·罗德里格斯 , 罗德里戈·西蒙斯 , 努诺·尼维斯 :
FADO：联合学习攻击与防御协调器。 141-148 朱利奥·门东萨 , 福米奥·马奇达 , 马库斯·沃尔普 :
使用N版本编程和复兴提高感知系统的可靠性。 149-156 穆希杜尔·伊斯兰·汗 , 詹弗兰科·内西科尼 :
存在拜占庭断层时，切片经纪人的收入最大化。 157-162 豪尔赫·卡斯特罗·戈迪内斯 , 穆罕默德·阿卜杜拉·哈尼夫 , 穆罕默德·沙菲克 :
系统级优化的跨层近似：挑战与机遇。 163-166 Sepide Saeedi公司 , 亚历山德罗·萨维诺 , 斯蒂法诺·迪卡洛 :
用强化学习方法探索近似计算技术的设计空间。 167-170 路易斯·莱昂·维加 , 豪尔赫·卡斯特罗·戈迪内斯 :
使用HLS的通用精度可配置矩阵乘法加法加速器。 171-174 莫蒂扎·雷扎利普尔（Morteza Rezaalipour） , 马可·比亚松 , 伊拉里亚·斯卡拉波托洛 , 乔治·A·康斯坦丁（George A.Constantinides） , 劳拉·波齐 :
近似逻辑综合的参数化模板。 175-178 阿里·皮里 , 萨尔瓦多帕帕拉多 , 萨尔瓦多·巴龙 , 马里奥·巴巴雷斯基 , 巴斯蒂安·德维乌托 , 马塞洛·特拉奥拉 , 伊恩·奥康纳 , 阿尔贝托·博西奥 :
近似电路的输入软件精度特性。 179-182 佩德罗·陶昂·洛佩斯·佩雷拉 , Guilherme Paim公司 , 保罗·F·弗洛雷斯 , 爱德华多·A·C·达·科斯塔 , 塞尔吉奥·班皮 :
AxASRE：一种新的近似加法器合成结果估计方法。 183-186 罗伯托·洛科 , 吉安卢卡·巴勒莫 :
利用近似来支持基于MPI的应用程序中的故障恢复能力。 187-190 弗洛里安·纽格鲍尔 , 维维克·维卡里亚 , 伊利亚·波利安 , 约翰·海耶斯 :
随机计算作为对抗对手攻击的防御手段。 191-194 纳塔莉亚·莱利纳 , 斯特凡·霍尔斯特 , 哈尼埃·贾法扎德 , 亚历山德拉·库尔法利 , 汉斯·约阿希姆·旺德利希 :
预处理共轭梯度算法的保护带优化。 195-198 莫蒂扎·雷扎利普尔（Morteza Rezaalipour） , 洛伦佐·费雷蒂 , 伊拉里亚·斯卡拉波托洛 , 乔治·A·康斯坦丁（George A.Constantinides） , 劳拉·波齐 :
基于多度量SMT的近似电路最坏情况误差评估。 199-202 Somayeh Sadeghi Kohan公司 , Sybill Hellebrand公司 , 汉斯·约阿希姆·旺德利希 :
使用基于格雷码的近似通信实现传感器数据的低功耗流。 203-206 米查尔·罗兹瓦尔 , 亚历斯·斯姆卡 :
NetLoiter：使用故障注入自动测试网络应用程序的工具。 207-210 Nithin Ravani Nanjundaswamy公司 , 格雷戈·尼切 , 弗兰克·波彭 , 金·格吕特纳 :
RISC-V开放式时间触发体系结构的计时说明。 211-214 什里什蒂·特里维迪 , 弗雷德里克·沃格 :
使用基于仿真的人在回路测试评估网络干扰对远程驾驶的安全影响。 215-222 C.G.Frédéric Bogaerts先生 , 纳格梅·伊瓦基 , 何塞·丰塞卡 :
使用AI在Python代码中注入漏洞。 223-230 珍妮克·格罗 , 迈克尔·克拉斯 , 丽莎·约克尔 , 帕斯卡·格伯 :
用于信息不确定性量化的时序软件不确定性包装器——基于机器学习的融合增强人工智能模型。 231-238 托马斯·鲍尔 , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 卡蒂亚·迪·布拉西奥 , 扎恩·沙瓦尔 :
建模验证与确认工作流以改进软件密集型系统的开发过程。 239-242 Stylianos Basagiannis公司 , 卢多维科·巴蒂斯塔 , 安娜·贝基 , 亚历山德罗·西马蒂 , 乔治·吉安塔米迪斯 , 塞尔吉奥·莫弗 , 阿尔贝托·塔切拉 , 斯特凡诺·托内塔 , 瓦西里奥斯A.Tsachouridis :
基于SMT的工业切换PI控制系统稳定性验证。 243-250 维托·罗德里格斯 , 安德烈·德·马托斯·佩德罗 :
llhsc：DeviceTree语法和语义检查器。 251-258 Lat Tou Leong先生 , 劳尔·巴博萨 :
将自然语言要求转换为形式规范：GPT和符号NLP研究。 259-262 卡洛斯·芒·德费罗 , 阿纳斯塔西亚·马夫里杜 , 迈克尔·迪尔 , 弗朗西斯科·马丁斯 :
简化资源约束任务关键型软件的需求形式化。 263-266 安德烈斯·费尔德瓦里 , 弗朗西斯科·布兰卡蒂 , 安德拉斯·帕塔里察 :
网络物理系统中的初步风险和缓解评估。 267-274 R.Bouchekir先生 , M.古兹曼 , A.厨师 , J.海德尔 , R.伍尔诺 :
基于AI的无人机安全飞行规划的形式化验证 * . 275-282 卡洛斯·芒·德费罗 , 蒂亚戈·科古姆布雷罗 , 弗朗西斯科·马丁斯 :
MicroPython的形式化模型推理。 283-289 蒂亚戈·弗拉戈索 , 席尔瓦 , 乔·佩德罗·迪亚斯 , 安德烈·雷斯蒂沃 , 雨果·塞雷诺·费雷拉 :
SIMoT：用于物联网设备中任务分配的低精度Orchestrator模拟器。 290-296
