2016年第7届LADC:哥伦比亚卡利
-
2016年第七届拉丁美洲可靠计算研讨会,2016年10月19-21日,哥伦比亚卡利,LADC。 IEEE计算机学会 2016 ,国际标准图书编号 978-1-5090-5120-5
会议: 受邀论文
戴维·达席尔瓦·博格 , 乔尼·达席尔瓦·弗拉加 , 爱德华多·阿尔切里 :
可重新配置的可扩展状态机复制。 1-8 伊曼纽拉·马拉斯科 , 穆罕默德·谢哈布 , 博扬·库基奇 :
防止生物特征表示攻击的方法。 9-14
会议: 常规论文
埃德森·塔瓦雷斯·德·卡马戈 , 小埃利亚斯·杜阿尔特。 :
在动态推荐进程组上运行弹性MPI应用程序。 15-24 内斯托尔·卡塔诺 , Shigeo Nishi先生 :
EventB2Java的可靠性证明。 25-34 罗德里戈·J·多勃勒 , 塞尔吉奥·路易斯·塞钦 , 泰西·席尔瓦·韦伯 , 乔奥·内托 :
用于验证安全通信协议实现的软件故障注入器。 35-42 恩里科·斯齐亚沃尼 , 安德烈亚·塞卡雷利 , 安德烈亚·邦达瓦利 , 阿里亚德内·卡瓦略(Ariadne M.B.R.Carvalho) :
多生物连续认证系统中的可用性评估。 43-50 伊利亚·图佐夫 , 胡安·卡洛斯·鲁伊斯 , 大卫·德·安德烈斯 , 佩德罗·J·吉尔 :
加速复杂HDL模型的基于仿真的故障注入。 51-60 阿努比斯·格雷西拉·德·莫拉埃斯·罗塞托 , Cláudio Fernando Resin Geyer公司 , 卢西亚娜·阿兰特斯 , 皮埃尔·桑斯 :
实现一个灵活的故障检测器,以表示对系统的信心。 61-70 努诺·马查多 , 弗朗西斯科·迈亚 , 米盖尔·马托斯 , 鲁伊·奥利维拉 :
BuzzPSS:一种可靠的自适应对等采样服务。 71-80 阿曼多·卡斯塔涅达 , 塞尔吉奥·拉兹鲍姆 , 马蒂厄·罗伊 :
图上机器人的两个收敛问题。 81-90 丹尼斯·珍妮奥 , 路易斯·罗德里格斯 , 卢西亚娜·阿兰特斯 , 小埃利亚斯·P·杜阿尔特。 :
具有故障检测器的异步分布式系统的自主分层可靠广播协议。 91-98 西尔瓦诺·齐亚拉多纳 , 费利西塔·迪·詹多梅尼科 , 朱利奥·马塞蒂 :
配电网故障影响分析。 99-108 古斯塔沃·贝塔特 , 罗德里戈·德拉富恩特 , 罗德里戈·马丁内斯 , 胡安·皮雷斯 , 菲利佩·齐皮特里亚 :
面向Web应用程序的模型驱动虚拟补丁。 109-118
会议: 短文
卡洛·迪马斯特罗乔瓦尼 , 努诺·拉兰基罗 :
理解误报在静态代码分析中的价值。 119-122 安德森·罗萨内兹 , 阿里亚德内·卡瓦略(Ariadne M.B.R.Carvalho) :
空间应用自然语言要求的半自动检查表质量评估。 123-126 拉奎尔·阿尔梅达 , 亨利克·马德拉 :
从可靠性到弹性基准的演变:问题和可能性。 127-130 莱迪·埃拉佐 , 艾琳·马丁斯 , 朱莉安娜·加尔瓦尼·格雷吉 :
建模可靠的产品系列:从用例到状态机模型。 131-134 何塞·路易斯·努斯 , 乔·卡洛斯·库尼亚 , 马里奥·泽哈·雷拉 :
使用故障预测改进FPGA擦洗。 135-138
会议: 实践经验报告
努诺·拉兰基罗 , 塞玛·努尔·苏德米尔(Seyma Nur Soydemir) , 豪尔赫·伯纳迪诺 :
使用低质量数据测试Web应用程序。 139-144 贝诺?t摩根 , 埃里克·阿拉塔 , 文森特·尼科米特 , Mohamed Kaâ利基 :
绕过IOMMU针对I/O攻击的保护。 145-150 亨利克·阿尔维斯 , 巴尔多尼奥·丰塞卡 , 努诺·安图内斯 :
试验机器学习技术以预测漏洞。 151-156
2016年WDES: 进化系统可靠性研讨会
卡洛斯·A·P·L·康西卡奥 , Fátima Mattiello-Francisco公司 , 卡洛斯·巴蒂斯塔 :
可重复使用测试系统支持的纳米卫星嵌入式软件的可靠性验证。 157-163 塔尼亚·巴索 , 罗伯塔·马尤米·松下(Roberta Mayumi Matsunaga) , 里贾娜·莫拉斯 , 努诺·安图内斯 :
匿名、隐私和大数据方面的挑战。 164-171 丹尼尔·维基亚托 , 艾琳·马丁斯 :
对移动设备的用户定义安全配置进行基准测试。 172-175 保罗·迭戈·巴博萨·达席尔瓦 , 安娜·玛丽亚·安布罗西奥 , 埃米利亚·维拉尼 , 丹尼斯·罗通迪·阿泽夫多 :
卫星模拟器验证方法——进化系统。 176-182 斯洛博丹·卢科维奇 , 伊戈尔·凯托维奇 , 杰拉尔多·勒库纳 , 米罗斯瓦夫·马利克 :
不间断电源的主动维护方法。 183-186