劳尔·巴博萨
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元19年] 弗雷德里科·塞韦拉 , 安东尼奥·霍克罗夫特·费雷拉 , 劳尔·巴博萨 :
弹性虚拟化。 电脑类 57 ( 2 ) : 70-78 ( 2024 ) [公元18年] 劳尔·巴博萨 , 乔·佩德罗·丰塞卡 , 马可·阿劳乔 , 丹尼尔·科鲁乔 :
Vinia:用于工业自动化的基于意图的语音网络。 计算。 科学。 信息系统。 21 ( 1 ) : 395-418 ( 2024 ) [公元17年] Lat Tou Leong先生 , 劳尔·巴博萨 :
将意义表示转换为行为界面规范。 J.系统。 柔和。 211 : 112009 ( 2024 ) 2023 [公元16年] 斯坦利·利马 , 菲利佩·阿劳乔 , 米格尔·德·奥利维拉·格雷罗 , 詹姆·科雷亚 , 安德烈·本托 , 劳尔·巴博萨 :
地理复制存储系统中的高效因果访问。 J.网格计算。 21 ( 1 ) : 8 ( 2023 ) [j15] 安德烈·本托 , 菲利佩·阿劳乔 , 劳尔·巴博萨 :
成本可用性感知扩展:实现云服务的最佳扩展。 J.网格计算。 21 ( 4 ) : 80 ( 2023 ) [公元14年] 海瑟姆·希贾齐 , 乔安·杜兰斯 , 里卡多·库塞罗 , 乔·卡斯特哈诺 , 劳尔·巴博萨 , 朱利奥·梅德罗斯 , 米盖尔·卡斯特罗·布兰科 , 保罗·德·卡瓦略 , 亨利克·马德拉 :
通过智能生物识别程序理解对现代代码审查进行质量评估。 IEEE传输。 软件工程。 49 ( 2 ) : 626-645 ( 2023 ) [公元64年] 约马尔·多明戈斯 , 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
从基础设施级数据预测云应用程序故障。 DSN-W型 2023 : 9-16 [公元63年] Lat Tou Leong先生 , 劳尔·巴博萨 :
将自然语言要求转换为形式规范:GPT和符号NLP研究。 DSN-W型 2023 : 259-262 [公元62年] 不,戈迪尼奥 , 保罗·杜阿尔特 , 保罗·马丁斯 , 大卫·佩雷斯·阿布雷乌 , 劳尔·巴博萨 , 布鲁诺·门德斯 , 若昂·佩德罗·丰塞卡 , 马可·席尔瓦 , 马可·阿劳乔 , 乔·席尔瓦 , 卡里玛·贝拉斯克斯 , 布鲁诺·索萨 , 玛丽亚·库拉多 , 阿德里亚诺·阿尔梅达·戈斯 :
OREOS:用开源组件演示5G网络中的E2E编排。 INFOCOM研讨会 2023 : 1-2 [第61条] 马可·席尔瓦 , 乔·佩德罗·丰塞卡 , 大卫·佩雷斯·阿布雷乌 , 保罗·罗梅罗·马丁斯·马赛尔 , 保罗·杜阿尔特 , 劳尔·巴博萨 , 布鲁诺·门德斯 , 若昂·席尔瓦 , 阿德里亚诺·阿尔梅达·戈斯 , 马尔科·阿劳霍 , 布鲁诺·索萨 , 玛丽亚·库拉多 , 何塞·桑托斯 :
下一代网络的O-RAN和RIC兼容解决方案。 INFOCOM研讨会 2023 : 1-7 [c60] 贡卡洛·巴普蒂斯塔 , 詹姆·科雷亚 , 安德烈·本托 , 乔·索尔斯 , 安东尼奥·费雷拉 , 乔安·杜兰斯 , 劳尔·巴博萨 , 菲利佩·阿劳乔 :
Defktor:微服务系统中故障注入活动管理的可扩展工具。 囊 2023 : 184-187 [公元59年] 鲁伊·费雷拉 , 若昂·佩德罗·丰塞卡 , 乔·席尔瓦 , 马尤里·腾都卡 , 保罗·杜阿尔特 , 马可·阿劳乔 , 劳尔·巴博萨 , 布鲁诺·门德斯 , 阿德里亚诺·阿尔梅达·戈伊斯 :
演示:基于5G网络功能和切片负载分析提高网络性能。 WoWMoM公司 2023 : 340-342 [公元58年] 马可·阿劳乔 , 乔·席尔瓦 , 佩德罗·桑托斯 , 希曼舒·辛格 , 迪帕克·冈加尔 , 乔·佩德罗·丰塞卡 , 保罗·杜阿尔特 , 布鲁诺·门德斯 , 劳尔·巴博萨 , 彼得·斯汀基斯特 , 萨伊德·萨巴莫尼里 , 路易斯·拉姆 , 乔·佩雷拉 , 哈里森·库鲁纳坦 :
演示:5G边缘移动性下的目标检测。 WoWMoM公司 2023 : 343-345 [i4] 劳尔·巴博萨 :
Petit编程语言和编译器。 CoRR公司 腹肌/2311.14443 ( 2023 ) 2022 [j13] 安德烈·伯纳德 , 里卡多·库塞罗 , 朱利奥·梅德罗斯 , 豪尔赫·恩里克斯 , 塞萨尔·特谢拉 , 马可·西蒙斯 , 乔安·杜兰斯 , 劳尔·巴博萨 , 亨利克·马德拉 , 保罗·卡瓦略 :
在认知要求高的任务中,超短期HRV测量的可靠性如何? 传感器 22 ( 17 ) : 6528 ( 2022 ) [公元12年] 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 , 菲利佩·阿劳乔 :
虚拟化服务器的软错误影响和缓解策略。 IEEE传输。 云计算。 10 ( 2 ) : 1065-1081 ( 2022 ) [公元57年] Joseba Andoni阿吉雷 , 艾哈迈特·亚齐奇 , 卡蒂亚·迪·布拉西奥 , 何塞·路易斯·德拉瓦拉 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 乌古尔·亚扬 , 劳尔·巴博萨 , Leire Etxeberria公司 , 马西莫·纳扎里亚 , 穆斯塔法·卡拉卡 :
自动化系统验证和确认特征的多维框架。 EDCC公司 2022 : 41-48 [公元56年] 劳尔·巴博萨 , 马可·阿劳乔 :
AI驱动的以人为中心的工业4.0控制界面,具有基于角色的访问。 INISTA公司 2022 : 1-6 [公元55年] 安德烈·本托 , 乔·索尔斯 , 安东尼奥·费雷拉 , 乔安·杜兰斯 , 何塞·费雷拉 , 丽塔·卡雷拉 , 菲利佩·阿劳乔 , 劳尔·巴博萨 :
云服务可用性和成本的双目标优化。 国家协调局 2022 : 45-53 [公元54年] 佩德罗·大卫·阿尔梅达 , 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
ucXception:评估软件系统可靠性的框架。 二维码 2022 : 561-570 [公元53年] 安东尼奥·莫拉伊斯 , 劳尔·巴博萨 , 努诺·卢伦索 , 弗雷德里科·塞韦拉 , 米歇尔·隆巴迪 , 亨利克·马德拉 :
提高卷积神经网络误差鲁棒性的策略。 二维码 2022 : 874-883 [第52条] 玛丽亚·何塞·索萨 , 瓦列斯卡·坎波斯 , 露西亚娜·达·罗莎 , 劳尔·巴博萨 , M.Carolina罗德里格斯 , 米格尔·索萨 , 阿尔瓦罗·罗查 :
城市绿化技术战略的公共政策载体。 WorldCIST(3) 2022 : 284-293 2021 [公元11年] 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 恩里克·马代拉 :
通过迁移到同位置虚拟机监控程序来缓解虚拟化故障。 IEEE接入 9 : 105255-105269 ( 2021 ) [公元10年] 安德烈·利扎多 , 劳尔·巴博萨 , 塞缪尔·内维斯 , 詹姆·科雷亚 , 菲利佩·阿劳乔 :
物联网的端到端安全组通信。 J.信息安全。 申请。 58 : 102772 ( 2021 ) [公元9年] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 ) [j8] 劳尔·巴博萨 , 阿尔西德斯·丰塞卡 , 菲利佩·阿劳乔 :
分布式基于圆的算法形式验证的约简和抽象。 柔和。 资格。 J。 29 ( 三 ) : 705-731 ( 2021 ) [第51条] Lat Tou Leong先生 , 劳尔·巴博萨 :
使用自然语言处理生成甲骨文。 亚太经合组织研讨会 2021 : 25-31 [公元50年] 乔·托马斯 , 安德烈·本托 , 乔·索尔斯 , 路易斯·里贝罗 , 安东尼奥·费雷拉 , 丽塔·卡雷拉 , 菲利佩·阿劳乔 , 劳尔·巴博萨 :
云应用程序的自主服务操作:安全驱动和风险管理。 EDCC研讨会 2021 : 39-46 [公元49年] 约马尔·多明戈斯 , 劳尔·巴博萨 , 亨利克·马德拉 :
为什么预测计算机系统故障如此困难? EDCC公司 2021 : 41-44 [公元48年] 劳尔·巴博萨 , 迭戈·卡瓦略 , 普里西拉·利马 , 菲利佩·M·G·弗朗萨 :
关于无权重图分类的一包节点入门。 ESANN公司 2021 [公元47年] 萨拉·席尔瓦 , 詹姆·科雷亚 , 安德烈·本托 , 菲利佩·阿劳乔 , 劳尔·巴博萨 :
μViz:微服务可视化。 四、 2021 : 120-128 [公元46年] 安德烈·本托 , 詹姆·科雷亚 , 乔安·杜兰斯 , 乔·索尔斯 , 路易斯·里贝罗 , 安东尼奥·费雷拉 , 丽塔·卡雷拉 , 菲利佩·阿劳乔 , 劳尔·巴博萨 :
微服务根本原因诊断的分层框架。 国家协调局 2021 : 1-8 [公元45年] 弗雷德里科·塞韦拉 , 约马尔·多明戈斯 , 劳尔·巴博萨 , 亨利克·马德拉 :
测量故障预测的提前期。 PRDC公司 2021 : 1-5 [i3] 卢西亚诺·塞拉菲尼 , 劳尔·巴博萨 , 贾斯敏·格罗辛格 , 卢卡·伊奥奇 , 克里斯蒂安·那不勒斯 , Salvatore Rinzivillo公司 , 雅克·罗宾 , 亚历山德罗·萨菲奥蒂 , 特蕾莎·斯坎塔姆伯洛 , 彼得·施勒 , 保罗·特拉弗索 , 哈维尔·Vázquez-Salceda :
关于以人为中心的人工智能的一些基本方面。 CoRR公司 abs/2112.14480 ( 2021 ) 2020 [j7] 鲁伊·席尔瓦 , 劳尔·巴博萨 , 豪尔赫·贝纳迪诺 :
用于缓解SQL注入攻击的入侵检测系统:回顾和现状。 国际期刊信息安全。 私人。 14 ( 2 ) : 20-40 ( 2020 ) [公元44年] 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , H.贝克尔 , Enrico Ferrari公司 , J.贾希克 , A.卡纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 大卫·佩雷拉 , 路易吉·波曼特 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 艾哈迈特·亚齐奇 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全与安保的验证与确认。 DSD公司 2020 : 352-359 [公元43年] 乔·马丁斯 , 劳尔·巴博萨 , 努诺·卢伦索 , 雅克·罗宾 , 亨利克·马德拉 :
通过医疗关键智能系统的模型检查进行在线验证。 DSN研讨会 2020 : 32-37 [公元42年] 弗雷德里科·塞韦拉 , 鲁伊·安德烈·奥利维拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
软错误下RESTful框架的评估。 ISSRE公司 2020 : 369-379
2010 – 2019
2019 [j6] 劳尔·巴博萨 , 弗雷德里科·塞韦拉 , 路易斯·贡萨洛 , 亨利克·马德拉 :
使用现场数据模拟典型的软件漏洞。 计算 101 ( 2 ) : 119-138 ( 2019 ) [j5] 弗雷德里科·塞韦拉 , 阿尔西德斯·丰塞卡 , 劳尔·巴博萨 , 亨利克·马德拉 :
语言及其实现的软错误敏感性和漏洞。 国际期刊临界计算。 基于系统。 9 ( 4 ) : 318-347 ( 2019 ) [公元41年] 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
针对虚拟机监控程序损坏的快速本地虚拟机迁移。 EDCC公司 2019 : 97-102 [公元40年] 里卡多·库塞罗 , 保罗·卡瓦略 , 米盖尔·卡斯特罗·布兰科 , 亨利克·马德拉 , 劳尔·巴博萨 , 若昂·杜朗斯 , 贡萨洛·杜阿尔特 , 乔·卡斯特哈诺 , 卡特琳娜·杜阿尔特 , 塞萨尔·亚历山大·特谢拉 , 努诺·拉兰基罗 , 朱利奥·梅德罗斯 :
使用非侵入式程序员的生物反馈发现有问题的代码行。 ISSRE公司 2019 : 93-103 [公元39年] 雅克·罗宾 , 劳尔·马佐 , 亨利克·马德拉 , 劳尔·巴博萨 , 丹尼尔·迪亚兹 , 萨尔瓦多·阿布鲁 :
概率逻辑人工智能支持的关键系统的自认证体系结构。 SAFECOMP研讨会 2019 : 391-397 [i2] 劳尔·巴博萨 , 弗雷德里科·塞韦拉 , 路易斯·贡萨洛 , 亨利克·马德拉 :
导致软件漏洞的最常见编程错误。 CoRR公司 abs/1912.01948 ( 2019 ) 2018 【j4】 劳尔·巴博萨 , 道格拉斯·德·卡多索 , 迭戈·卡瓦略 , 菲利佩·M·G·弗朗萨 :
无权重神经符号GPS轨迹分类。 神经计算 298 : 100-108 ( 2018 ) [j3] 阿尔西德斯·丰塞卡 , 弗雷德里科·塞韦拉 , 布鲁诺·卡布拉尔 , 劳尔·巴博萨 :
基于语言的低功耗计算可靠性和并行性表达。 IEEE传输。 维持。 计算。 三 ( 三 ) : 153-166 ( 2018 ) [公元38年] 弗雷德里科·塞韦拉 , 阿尔西德斯·丰塞卡 , 劳尔·巴博萨 , 亨利克·马德拉 :
评估编程语言对软错误的内在敏感性。 EDCC公司 2018 : 65-72 [公元37年] 布鲁诺·罗德里格斯 , 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 豪尔赫·贝纳迪诺 :
虚拟化:过去和现在的挑战。 ICSOFT公司 2018 : 789-795 [公元36年] 弗雷德里科·塞韦拉 , 伊姆雷·科希斯 , 劳尔·巴博萨 , 亨利克·马德拉 , 安德拉斯·帕塔里察 :
故障注入活动的探索性数据分析。 二维码 2018 : 191-202 2017 [公元35年] 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 玛尔塔·梅西耶 , 亨利克·马德拉 :
通过软件故障注入模拟漏洞。 EDCC公司 2017 : 73-78 [公元34年] 迭戈·卡瓦略 , 菲利佩·M·G·弗朗萨 , 劳尔·巴博萨 , 道格拉斯·德·卡多索 :
GPS轨迹分类的神经符号方法。 ESANN公司 2017 [公元33年] 爱德华多·卡瓦略 , 劳尔·巴博萨 , 豪尔赫·贝纳迪诺 :
云计算性能基准测试衡量可靠性的能力。 ICSOFT公司 2017 : 447-452 [公元32年] 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
经验报告:关于特权虚拟机中软件故障的影响。 ISSRE公司 2017 : 136-145 [公元31年] 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
虚拟化服务器的软错误敏感性。 PRDC公司 2017 : 125-134 [公元30年] 内金·法塔拉赫·内贾德 , 劳尔·巴博萨 , 约翰·卡尔森 :
虚拟交通灯领导选举协议的概率分析。 PRDC公司 2017 : 311-320 2016 [注2] 乔·米格尔·佛朗哥 , 弗朗西斯科·科雷亚 , 劳尔·巴博萨 , 马里奥·泽哈·雷拉 , 布拉德利·施默尔 , 大卫·加兰 :
通过基于软件架构的随机建模改进自适应规划。 J.系统。 柔和。 115 : 42-60 ( 2016 ) [公元29年] 鲁伊·席尔瓦 , 劳尔·巴博萨 , 豪尔赫·贝纳迪诺 :
使用SQL注入攻击测试Snort。 C3S2E型 2016 : 129-130 [公元28年] 冈卡洛·佩雷拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
源代码中软件缺陷的实际仿真。 EDCC公司 2016 : 130-140 [公元27年] 乔·米格尔·佛朗哥 , 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 马里奥·泽哈·雷拉 :
软件组件的故障病理建模。 质量保证体系 2016 : 41-49 [i1] 阿尔西德斯·丰塞卡 , 劳尔·巴博萨 :
MISO:表示并行和可靠程序的中间语言。 CoRR公司 abs/1608.06171 ( 2016 ) 2015 [公元26年] 弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 , 菲利佩·阿劳乔 :
虚拟化环境恢复。 EDCC公司 2015 : 25-36 2014 [j1] 菲利佩·阿劳乔 , 谢尔盖·博伊琴科 , 劳尔·巴博萨 , 安东尼奥·卡西米罗 :
放置副本以减轻对云的攻击。 J.互联网服务。 申请。 5 ( 1 ) : 7:1-7:13 ( 2014 ) [公元25年] 菲利佩·阿劳乔 , 玛丽亚·库拉多 , 佩德罗·富塔多 , 劳尔·巴博萨 :
将电子售票系统引入云端:设计与讨论。 IEEE大数据 2014 : 1-10 [公元24年] 内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
同步共识协议中分歧的概率分析。 EDCC公司 2014 : 23-34 [c23] 罗德里戈·诺盖拉 , 菲利佩·阿劳乔 , 劳尔·巴博萨 :
CloudBFT:弹性拜占庭容错。 PRDC公司 2014 : 180-189 [公元22年] 乔·米格尔·佛朗哥 , 劳尔·巴博萨 , 马里奥·泽哈·雷拉 :
通过形式化方法对软件架构进行可用性评估。 QUATIC公司 2014 : 282-287 2013 【c21】 内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
虚拟交通灯领导选举协议的可靠性分析。 DSN研讨会 2013 : 1-12 [公元20年] 何塞·路易斯·努斯 , 乔·卡洛斯·库尼亚 , 劳尔·巴博萨 , 马里奥·泽哈·雷拉 :
正在评估用于故障注入的Xilinx SEU控制器宏。 DSN(DSN) 2013 : 1-2 [第19条] 乔·米格尔·佛朗哥 , 劳尔·巴博萨 , 马里奥·泽哈·雷拉 :
软件体系结构演进的可靠性分析。 拉丁美洲发展中心 2013 : 11-20 [第18条] 内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 瑞萨特·帕坦 , 劳尔·巴博萨 , 约翰·卡尔森 :
使用适度悲观决策准则的n选1选择算法的概率分析。 PRDC公司 2013 : 68-77 [第17条] 埃米利亚·维拉尼 , 内金·法塔拉赫·内贾德 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
合作运输系统一致性的可靠性分析。 ASCoMS@SAFECOMP公司 2013 2012 [第16条] 安东尼奥·卡西米罗 , 保罗·维西莫 , 迭戈·克鲁茨 , 菲利佩·阿劳乔 , 劳尔·巴博萨 , 塞缪尔·尼维斯 , 布鲁诺·索萨 , 玛丽亚·库拉多 , 卡路士·施华 , 拉吉夫·甘地 , 普里亚·纳拉西姆汉 :
TRONE:网络环境中值得信赖且有弹性的操作。 DSN研讨会 2012 : 1-6 [第15条] 菲利佩·阿劳乔 , 劳尔·巴博萨 , 安东尼奥·卡西米罗 :
虚拟化云环境上的可靠性复制。 MGC@中间件 2012 : 2 [第14条] 纳格梅·拉梅扎尼·伊瓦基 , 菲利佩·阿劳乔 , 劳尔·巴博萨 :
请求-响应交互中精确一次性语义的中间件。 PRDC公司 2012 : 31-40 [第13条] 乔·米格尔·佛朗哥 , 劳尔·巴博萨 , 马里奥·泽哈·雷拉 :
从形式化体系结构描述中进行自动化可靠性预测。 WICSA/ECSA公司 2012 : 302-309 [第1页] 劳尔·巴博萨 , 约翰·卡尔森 , 亨利克·马德拉 , 马可·维埃拉 :
故障注入。 计算系统的弹性评估与评估 2012 : 263-281 2011 [第12条] 劳尔·巴博萨 , 约翰·卡尔森 , 邱瑜 , 毛晓珍 :
分区操作系统的可靠性基准测试。 DSN(DSN) 2011 : 422-429 [第11条] 何塞·路易斯·奈斯 , 乔·卡洛斯·库尼亚 , 劳尔·巴博萨 , 马里奥·泽哈·雷拉 :
使用部分动态FPGA重构以支持实时可靠性。 EWDC公司 2011 : 107-108 2010 [c10] 丹尼尔·斯卡林 , 劳尔·巴博萨 , 约翰·卡尔森 :
GOOFI-2:实验可靠性评估工具。 DSN(DSN) 2010 : 557-562 【c9】 丹尼尔·斯卡林 , 劳尔·巴博萨 , 约翰·卡尔松 :
比较和验证可靠性属性的度量。 EDCC公司 2010 : 3-12 【c8】 劳尔·巴博萨 , 约翰·卡尔松 :
汽车安全评估标准化带来的机遇。 EDCC-CARS公司 2010 : 61-63 【c7】 劳尔·巴博萨 , 丹尼尔·斯卡林 , 约翰·卡尔森 :
故障注入中测量不确定性研究的共享数据。 ICDCS研讨会 2010 : 284-285 【c6】 劳尔·巴博萨 :
使用从全局属性推断的看门狗计时器监视本地进度。 SRDS公司 2010 : 131-140
2000 – 2009
2008 【b1】 劳尔·巴博萨 :
分布式嵌入式系统的分层容错。 查尔默斯科技大学,瑞典哥德堡, 2008 【c5】 劳尔·巴博萨 , 约翰·卡尔森 :
关于轻量级检查点的完整性。 哈斯 2008 : 125-134 【c4】 劳尔·巴博萨 , 约翰·卡尔森 :
实时嵌入式系统一致诊断协议的形式化规范和验证。 SIES公司 2008 : 192-199 2007 【c3】 劳尔·巴博萨 , 安东尼奥·费雷拉 , 约翰·卡尔森 :
在实时以太网原型上实现灵活的成员协议。 PRDC公司 2007 : 342-347 2006 【c2】 劳尔·巴博萨 , 约翰·卡尔森 :
同步系统中灵活、成本有效的成员协议。 PRDC公司 2006 : 105-113 2005 【c1】 劳尔·巴博萨 , 乔尼·文特 , 彼得·福克森 , 约翰·卡尔松 :
提高故障注入效率的装配级预注入分析。 EDCC公司 2005 : 246-262