第27届PRDC 2022:中国北京
-
第27届IEEE环太平洋可靠计算国际研讨会,PRDC 2022,中国北京,2022年11月28日至12月1日。 美国电气工程师协会 2022 ,国际标准图书编号 978-1-6654-8555-5 卢修文 , 张志聪 , 许慧(音) :
基于暹罗图神经网络的安全锈蚀代码推荐。 1-11 梅赫迪·马利基 , 马泰恩·马利克 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 约翰·卡尔森 :
干扰攻击对联网自动道路车辆影响的建模与评估。 12-23 赵银琴 , 刘畅(Chang Liu) , 陶瑜 , 龙王 , 宣庆石 , 杨勇 , 李颖 , 王振刚 , 东东上关 :
云环境中服务请求的跟踪处理。 24-33 高桥三穗 , 机械田文雄 , 强文 :
数据多样化如何提高三版本图像分类系统的可靠性。 34-42 卡门·科尔兰 , 利迪亚·高尔霍夫 , 芭芭拉·加利纳 , 西蒙·伯顿 :
自动化机器学习组件的安全论证更改影响分析。 43-53 萨布吉·拉斯卡尔 , 哈萨努尔·拉赫曼(Hasanur Rahman)先生 , 张博涵 , 李冠鹏 :
描述算法不准确和瞬态硬件故障之间的深度学习神经网络故障。 54-67 劳尔·塞纳·费雷拉 , 乔里斯·盖林 , 杰雷米·吉奥切特 , 赫莱内·韦斯林克 :
SiMOOD:使用非分布图像的进化测试模拟。 68-77 大卫·佩娃 , 拉菲尔·S·C·G·德·利马 , 曼诺尔·J·M·卡瓦略 , Fátima Mattiello-Francisco公司 , 亨利克·马德拉 :
增强立方体卫星的软件开发过程,以应对空间辐射故障。 78-88 戴志浩 , 马修·利克 , 玉龙顶 , 杨双华 :
一种用于工业控制系统安全的异构冗余体系结构。 89-97 朱利奥·马塞蒂 , 西尔瓦诺·齐亚拉多纳 , 莱昂纳多机器人 , 费利西塔·迪·詹多梅尼科 :
用于解决关键基础设施中虚假数据注入的随机不良状态估计器。 98-108 乔·休特 , 马克·埃特曼 , 罗比·马塞格利亚 , 托马斯·梅拉·皮克斯吉尔 , 马修·利克 :
走向可靠的能源市场:基于区块链的对等微电网的权威证明。 109-118 金敏君(Minjune Kim) , Jin-Hee Cho先生 , Hyuk Lim公司 , 泰伦斯·J·摩尔 , 弗雷德里卡·弗里·内尔森 , 丹东升(Dan Dongseong Kim) :
基于软件定义网络环境的移动目标防御性能和安全评估。 119-129 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 皮埃尔·克莱伯格 , 纳赛尔·诺德希 :
对用于模型实现的故障和攻击注入的三种注入前分析技术的评估。 130-140 朱利奥·门登萨 , 金敏君(Minjune Kim) , 拉斐尔·格雷奇克 , 马库斯·沃尔普 , 金丹东成 :
软件定义网络中运动目标防御的安全建模与分析。 141-151 何塞·达布鲁佐·佩雷拉 , 乔·亨格勒·安图内斯 , 马可·维埃拉 :
大型开源C/C++项目的软件漏洞数据集。 152-163 特里什纳·拉吉库马尔 , 约翰尼·伯格 :
阳极:一种基于日志的自我监督框架,用于检测SRAM-FPGA中的洗涤器故障。 164-171 阿奇塔·戈什 , J.拉克希米 :
了解云存储服务的弹性。 172-183 《康宁歌》 , 周思伟(Siwei Zhou) , 璐瑶叶 , 刘朴一 , 景天 , 向建文 :
基于无关覆盖模型的多状态系统可靠性分析。 184-193 阿纳姆塔·汗 , Naghmeh Ivaki公司 , 亨利克·马德拉 :
无人机飞行控制器软件可靠吗? 194-204 乔·休特 , 马修·利克 :
开发基于GPT-3的预付费欺诈干扰自动受害者。 205-211 廖倩英 , 亚历山大·科尔特斯·桑托斯 , 布鲁诺·卡布拉尔 , 圣保罗·费尔南德斯 , 努诺·卢伦索 :
HERB+:发展一个工业强度的隐私保护机器学习框架。 212-223 胡安·曼努埃尔·莫罗特 , 何塞·路易斯·德拉瓦拉 , 乔瓦尼·贾切蒂 , 克拉拉·阿约拉 , 路易斯·阿隆索 :
基于模型的面向可靠性系统设计的工业方法。 224-229 尼古拉·拉宾 , Bouthina Bannour公司 , 莫拉约·阿德朱马 :
具有异构故障事件的基于模型的故障树生成和分析工具集。 230-235 博臣台 , Szu-Chuang李 , Yennun Huang(黄燕云) , 王鹏(Pang-Chieh Wang) :
检查使用带TensorFlow隐私的变分自动编码器生成的不同私有合成数据的效用。 236-241 Emad Kareem突变 :
飞机内部使用的电气系统可靠性签名。 242-247 Jinwoo Kim(金宇) , Jaehyun Nam公司 :
在多租户数据中心上构建安全和可重构的虚拟网络。 248-251 Dohan Kim先生 , 吴阿明 , Young-Woo Kwon先生 :
分布式流处理中任务调度的元神经算法比较。 252-255 石井友弘 , 卡祖特鲁·南巴 :
使用统计数据实现DNN中的Stuck-at容错。 256-257 赵银琴 , 龙王 :
在云容器平台上提取网络知识并监控网络状态。 258-260 韩道琦 , 陶瑜 , 岳明路 :
隐私区块链社交群渐进进化方案。 261-263