DSN 2013：匈牙利布达佩斯-研讨会
2013年6月24日至27日，匈牙利布达佩斯，2013年DSN研讨会，第43届IEEE/IFIP可靠系统和网络年会。 IEEE计算机学会 2013 ，国际标准图书编号 978-1-4799-0181-4 克里斯蒂亚娜·阿雷亚斯 
:
业务关键型面向服务架构中的运行时V&V框架。 1-4 凯文·利奇 :
BARLEY：用资源使用来建模程序行为。 1-4 路易斯·罗德里格斯 :
虚拟超立方体拓扑的容错广播算法。 1-4 何塞·路易斯·努斯 :
通过部分动态重构提高基于FPGA的实时嵌入式系统的可靠性。 1-4 弗朗西斯科·富奇 :
检测并容忍由于设备驱动程序缺陷导致的数据损坏。 1-4 张凤伟 :
IOCheck：在运行时增强I/O设备安全性的框架。 1-4
可靠性和安全数据分析研讨会（RSDA 2013）
RSDA公司： 介绍
RSDA 1： 安全数据分析和建模
贝拉·根奇 , 克里斯托斯·西亚特利斯 , 乔治奥斯·卡罗普洛斯 :
网络化关键基础设施中的数据融合基础异常检测。 1-8 费奥多·雅罗奇金 , 弗拉基米尔·克罗波托夫 , Yennun Huang（黄燕云） , 郭开妮 , Sy-Yen Kuo先生 , 陈英一 :
调查恶意活动的DNS流量异常。 1-7 金碧红 , Dong Seong Kim先生 :
使用中心性度量的分层攻击表示模型中的可扩展安全分析。 1-8
RSDA 2： 故障和稳健性分析
马塞洛·辛克 , 多梅尼科·科特罗内奥 , 卡洛斯·罗德里格斯-多明格斯 , 何塞·路易斯·加里多 :
从iOS平台自动收集故障数据。 1-8 纳格梅·拉梅扎尼·伊瓦基 , 努诺·拉兰基罗 , 马可·维埃拉 :
评估数据质量对服务应用程序的影响。 1-7 Gizelle Sandrini柠檬 , 艾琳·马丁斯 :
用于分析健壮性测试结果的Golden run alignment：处理诊断问题。 1-8
RSDA 3： 数据驱动的可靠性
阿潘·罗伊 , 拉杰什瓦里·加内桑 , 迪内什破折号 , 桑托努·萨卡尔 :
通过SaaS云中的故障和负载感知负载平衡减少服务故障。 1-6 Chris X.Cai（克里斯·X·蔡） , 克里斯蒂娜·拉巴德 , 罗伊·H·坎贝尔 :
分布式存储系统中多级优先级数据的存储效率数据副本数计算。 1-7 Xin Chen（新晨） , 昌大路 , 卡提克·帕塔比拉曼 :
在超级计算集群中使用系统日志预测作业完成时间。 1-8 马西米利亚诺阿尔巴尼斯 , 苏西尔·贾约迪亚 , 拉维·贾瓦尔 , 文森佐·皮乌里 :
在脆弱的分布式系统中进行可靠的任务部署。 1-8
RSDA 4： 数据驱动安全
努诺·席尔瓦 , 鲁伊·洛佩斯 :
真实世界系统的实践经验：可靠和安全系统世界的安全。 1-5 卢卡·卢吉尼 , 伊曼纽拉·马拉斯科 , 博扬·库基奇 , 伊里尔·加西 :
指纹识别中的互操作性：一项大规模实证研究。 1-6 纳拉扬·戈拉吉（Narayan Gowraj） , 斯里尼瓦斯·阿维雷迪 , 普拉桑娜·文卡特斯·拉维 , Raghav Babu Subramanian语 , 斯鲁西·帕布 :
安全：肩上冲浪攻击轻松阻挠。 1-7
第二期开放式弹性人性化网络物理系统研讨会（WORCS 2013）
WORCS（工作）： 介绍
穆罕默德·卡亚利基 , 迈克尔·哈里森 , 赫尔曼·科佩兹 , 丹尼尔·西维奥雷克 :
2 第 开放弹性人类感知网络物理系统研讨会。 1-2 谢尔盖·波弗利 :
主题：面向汽车自动化ADAS的新挑战。 1 赫尔曼·科佩兹 , 斯特凡·波列德纳 :
自动紧急制动：系统对系统的观点。 1-7
工作2： 安全
罗伊·马克西恩 :
主题：检测网络物理系统操作员的认知状态：实验设计。 1 伊凡·斯图德尼亚 , 文森特·尼科米特 , 埃里克·阿拉塔 , 伊夫·德斯瓦特 , 穆罕默德·卡亚利基 , 优素福·拉罗奇 :
嵌入式汽车网络中的安全威胁和保护机制综述。 1-12
工作3： 智能协同驾驶
内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
虚拟交通灯领导选举协议的可靠性分析。 1-12 安东尼奥·卡西米罗 , 约格·凯撒 , 埃拉·席勒 , 佩德罗·科斯塔 , 何塞·帕里齐 , 罗尔夫·约翰逊 , 雷纳托·利比诺 :
KARYON项目：合作车辆系统中的可预测和安全协调。 1-12 约瑟夫·尼尔森 , 尼克拉斯·斯特兰德 , 保罗·法尔科内 , 乔尼·文特 :
存在自适应巡航控制相关故障时的驾驶员性能：对安全分析和容错的影响。 1-10
系统弹性研讨会（WSR 2013）
WSR 1： 弹性定义和研究机会
广岛丸山 :
走向系统弹性。 1-4 斯特凡·芬兹 , 托马斯·纽鲍尔 , 拉斐尔·阿科尔西 , 托马斯·科斯洛夫斯基 :
FORISK：规范信息安全风险和法规遵从性管理。 1-4 Kazuo Furuta公司 , 塔罗·卡诺 :
服务系统弹性的关键问题。 1-4 拉奎尔·阿尔梅达 , 阿方索·阿劳霍·内托 , 马可·维埃拉 :
SCoRe：计算机系统弹性基准测试的全面指标。 1-8
WSR 2： 建模弹性
约翰·梅耶 :
基于模型的系统弹性评估。 1-7 玛丽亚·特蕾莎（María Teresa）签署了Pont , 胡安·曼努埃尔·加西亚·查米佐 , 希吉尼奥·莫拉·莫拉 , 杰罗尼莫·莫拉·帕斯夸尔 :
通过一组递归函数进行弹性建模。 1-7 托马斯·布鲁德曼 , 山形吉崎 :
弹性城市系统基于代理的模型的行为方面。 1-7
WSR 3： 构建弹性系统
米盖尔·加西亚 , 努诺·费雷拉·内维斯 , 艾莉森·贝萨尼 :
用于保护SIEM系统的入侵容忍防火墙设计。 1-7 山形吉崎 , Hajime Seya先生 :
基于社区的弹性电力共享：最佳空间集群。 1-8 冈本腾达 , 内藤一井（Naoto Ikegai） , 井上胜美 , 冈田仁史 , 托尼·里贝罗 , 广岛丸山 :
基于多目标分布式约束优化技术的网络安全问题。 1-7
