费尔南多·路易斯·多蒂
人员信息
优化列表
2020年–今天
2024 [j8] 埃弗拉尔多·戈麦斯(Everaldo Gomes Jr.)。 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 奥多里科·马查多·蒙迪扎巴尔 :
通过时间分段分区检查点减少并行状态机复制中的持久性开销。 J.互联网服务。 申请。 15 ( 1 ) : 194-211 ( 2024 ) 2023 [公元56年] Everaldo Gomes初级 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 奥多里科·马查多·蒙迪扎巴尔 :
一种减少状态快照开销的分时分区检查点方法。 拉丁美洲发展中心 2023 : 100-109 [公元55年] 杰斐逊·佩雷拉·达席尔瓦 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
基于动态和自验证冲突分析的事务并行执行。 拉丁美洲发展中心 2023 : 110-119 [公元54年] 伊利亚·巴蒂斯塔 , 保罗·科埃略 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
FlexCast:真正的基于覆盖的原子多播。 中间件 2023 : 288-300 [公元53年] 杰斐逊·佩雷拉·达席尔瓦 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 :
Transaçoes Baseada em Análise Dinámica e Auto-Verificável de Conflitos执行委员会。 SBRC公司 2023 : 43-56 [i3] 埃利亚·巴蒂斯塔 , 保罗·科埃略 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
FlexCast:真正的基于覆盖的原子组播。 CoRR公司 abs/2309.14074 ( 2023 ) 2022 [j7] 埃利亚·巴蒂斯塔 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
提前安排类固醇:促进并行状态机复制。 J.并行分布式计算。 163 : 269-282 ( 2022 ) [j6] 奥尔德尼奥·布尔戈斯 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
利用分片并行状态机复制中的并发性。 IEEE传输。 并行分布式系统。 33 ( 9 ) : 2133-2147 ( 2022 ) [第52条] 莱安德罗·帕切科 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
加强分区状态机复制的原子多播。 拉丁美洲发展中心 2022 : 51-60 2021 [第51条] 奥尔德尼奥·布尔戈斯 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 :
关于使用并行状态机复制实现区块链的性能。 拉丁美洲发展中心 2021 : 1-6 [公元50年] 奥尔德尼奥·布尔戈斯 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
Escados Paralelas com Escalonamento Híbrido的Máquina de Estados复制品。 SBRC公司 2021 : 476-489 [公元49年] 路易斯·古斯塔沃·库蒂尼奥·泽维尔 , 费尔南多·路易斯·多蒂 , 克里斯蒂娜·梅哈特 , 奥多里科·M·蒙迪扎巴尔 :
通过安全丢弃命令来缩减日志。 SBRC公司 2021 : 588-601 [公元48年] 埃里克·平托 , 费尔南多·路易斯·多蒂 :
SMaRtTrie:使用CTrie数据结构减少SMR系统中检查点的影响。 SBRC公司 2021 : 616-629 2020 [公元47年] 路易斯·古斯塔沃·库蒂尼奥·泽维尔 , 费尔南多·路易斯·多蒂 , 克里斯蒂娜·梅哈特 , 奥多里科·马查多·蒙迪扎巴尔 :
状态机复制的可扩展和解耦日志记录。 SBRC公司 2020 : 267-280 [公元46年] 小Tarcisio Ceolin , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
基于通用共识的并行状态机复制。 SRDS公司 2020 : 133-142 [i2] 拉斐尔·纽贾尔·科普斯坦 , 费尔南多·路易斯·多蒂 :
用于基于边缘的环境的分布式文件系统。 CoRR公司 abs/2006.09182 ( 2020 )
2010 – 2019
2019 [c45] 埃利亚·巴蒂斯塔 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
并行状态机复制中早期调度的资源利用分析。 拉丁美洲发展中心 2019 : 1-10 [公元44年] 伊恩·阿拉贡·埃斯科瓦尔 , 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
在并行状态机复制中提高并发性。 中间件 2019 : 228-240 [公元43年] 保拉·马丁斯·佩雷拉 , 费尔南多·路易斯·多蒂 , 克里斯蒂娜·梅哈特 , 奥多里科·马查多·蒙迪扎巴尔 :
用于服务透明复制的库。 囊 2019 : 268-275 2018 [公元42年] 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
并行状态机复制中的早期调度。 SoCC公司 2018 : 82-94 [公元41年] 保罗·科埃略 , 小Tarcisio Ceolin , 艾莉森·贝萨尼 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
拜占庭容错原子组播。 DSN(DSN) 2018 : 39-50 [公元40年] 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 帕里萨·贾利利·马兰迪 , 奥多里科·马查多·蒙迪扎巴尔 , 费尔南多·佩多内 :
使用并发执行提升状态机复制。 拉丁美洲发展中心 2018 : 77-86 [i1] 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
并行状态机复制中的早期调度。 CoRR公司 abs/1805.05152 ( 2018 ) 2017 [公元39年] 奥多里科·马查多·蒙迪扎巴尔 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
并行状态机复制的高性能恢复。 ICDCS系统 2017 : 34-44 [公元38年] 奥多里科·马查多·蒙迪扎巴尔 , 鲁达·S·T·德·莫拉 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
并行状态机复制的高效确定性调度。 IPDPS公司 2017 : 748-757 [公元37年] 亚历克斯·洛博 , 爱德华多·阿尔切里 , 费尔南多·佩多内 , 费尔南多·路易斯·多蒂 , 奥多里科·M·蒙迪扎巴尔 :
重建平行爱沙多·马基纳复制品。 SBRC公司 2017 [公元36年] 爱德华多·阿尔切里 , 费尔南多·路易斯·多蒂 , 奥多里科·马查多·蒙迪扎巴尔 , 费尔南多·佩多内 :
重新配置并行状态机复制。 SRDS公司 2017 : 104-113 2016 [公元35年] 奥多里科·马查多·蒙迪扎巴尔 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
并行状态机复制中检查点开销的分析。 囊 2016 : 534-537 2014 [公元34年] 奥多里科·马查多·蒙迪扎巴尔 , 帕里萨·贾利利·马兰迪 , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
并行状态机复制中的检查点。 奥波迪斯 2014 : 123-138 [公元33年] 拉沙·哈桑 , 奥多里科·马查多·蒙迪扎巴尔 , Rómulo Reis de Oliveira先生 , 费尔南多·路易斯·多蒂 :
支持混合同步虚拟网络的底层网络同步需求研究。 SBRC公司 2014 : 344-352 2013 [公元32年] 卢卡斯·奥列克辛斯基 , 克莱顿·科雷亚 , 费尔南多·路易斯·多蒂 , Afonso销售 :
随机自动机网络的CTL模型检查器。 QEST公司 2013 : 286-289 [公元31年] 安德烈亚·科拉迪尼 , 莱拉·里贝罗 , 费尔南多·路易斯·多蒂 , 奥多里科·马查多·蒙迪扎巴尔 :
延迟更新复制技术的形式化模型。 TGC公司 2013 : 235-253 2012 [j5] 莱拉·里贝罗 , 奥斯马尔·马奇·多斯·桑托斯 , 费尔南多·路易斯·多蒂 , 露西亚娜·福斯 :
正确的转换:从基于对象的图形语法到PROMELA。 科学。 计算。 程序。 77 ( 三 ) : 214-246 ( 2012 ) 2011 【j4】 费尔南多·路易斯·多蒂 , 保罗·费尔南德斯 , 克里斯蒂娜·M·努斯 :
离散空间移动节点分布的结构化马尔可夫模型。 J.布拉兹。 计算。 Soc公司。 17 ( 1 ) : 31-52 ( 2011 ) [j3] 罗伯托·达席尔瓦 , 卢西亚娜·布里奥尔 , 莱拉·里贝罗 , 费尔南多·路易斯·多蒂 :
网络图演化建模。 J.计算。 科学。 2 ( 1 ) : 67-79 ( 2011 ) [公元30年] 莱拉·里贝罗 , 费尔南多·路易斯·多蒂 :
使用基于对象的图文法对并发系统进行规范和分析。 WEIT公司 2011 : 15-20 2010 [注2] 莱拉·里贝罗 , 费尔南多·路易斯·多蒂 , 西蒙·安德雷达·科斯塔 , 法比安·克里斯汀·迪伦伯格 :
用事件B证明图语法的定理。 电子。 Commun公司。 欧洲协会软件。 科学。 技术。 30 ( 2010 )
2000 – 2009
2009 [公元29年] 费尔南多·路易斯·多蒂 , 阿列克谢·伊利亚索夫 , 莱拉·里贝罗 , 亚历山大·罗曼诺夫斯基 :
模态系统:规范、细化和实现。 ICFEM公司 2009 : 601-619 [公元28年] 阿列克谢·伊利亚索夫 , 亚历山大·罗曼诺夫斯基 , 费尔南多·路易斯·多蒂 :
使用模式构建规范。 拉丁美洲发展中心 2009 : 81-88 [公元27年] 克里斯蒂娜·M·努斯 , 爱德华多链接 , 费尔南多·路易斯·多蒂 :
评估确认策略对APRP的影响。 局域网 2009 : 77-86 2008 [公元26年] 莱拉·里贝罗 , 费尔南多·路易斯·多蒂 :
线性有序图文法:在分布式系统设计中的应用。 并发、图和模型 2008 : 133-150 2006 [j1] 费尔南多·路易斯·多蒂 , 莱拉·里贝罗 , 奥斯马尔·马奇·多斯·桑托斯 , 法比奥·帕西尼 :
验证基于对象的图形语法。 柔和。 系统。 模型。 5 ( 三 ) : 289-311 ( 2006 ) [公元25年] 奥多里科·马查多·蒙迪扎巴尔 , 费尔南多·路易斯·多蒂 :
使用基于随机对象的图文法对不可靠环境中的分布式系统进行非功能分析。 国际燃气轮机 2006 : 275-290 [公元24年] 法比奥·特拉马雷 , 费尔南多·路易斯·多蒂 , 保罗·费尔南德斯 , 克里斯蒂娜·M·努内斯 , 卢西亚诺·奥斯特 :
随机航路点移动性模式的分析建模。 PE-WASUN公司 2006 : 106-113 【c23】 保罗·巴尔丹 , 安德烈亚·科拉迪尼 , 费尔南多·路易斯·多蒂 , 露西亚娜·福斯 , 法比奥·加杜奇 , 莱拉·里贝罗 :
关于图重写中事务的概念。 GT-VMT@ETAPS 2006 : 39-50 2005 [公元22年] 莱拉·里贝罗 , 费尔南多·路易斯·多蒂 , 罗西娅·巴尔多尔 :
基于对象的并发系统开发的形式化框架。 软件和系统建模中的形式化方法 2005 : 385-401 【c21】 费尔南多·路易斯·多蒂 , 奥多里科·马查多·蒙迪扎巴尔 , 奥斯马尔·马奇·多斯·桑托斯 :
使用基于对象的图形语法验证容错分布式系统。 拉丁美洲发展中心 2005 : 80-100 [公元20年] 费尔南多·路易斯·多蒂 , 保罗·费尔南德斯 , Afonso销售 , 奥斯马尔·马奇·多斯·桑托斯 :
Ad Hoc无线网络的模块化分析性能模型。 WiOpt(无线光网络) 2005 : 164-173 [第19条] 法比奥·帕西尼 , 费尔南多·路易斯·多蒂 :
使用基于对象的图形语法建模的并行应用程序的代码生成。 SBMF公司 2005 : 113-131 [第18条] 奥多里科·马查多·蒙迪扎巴尔 , 费尔南多·路易斯·多蒂 , 莱拉·里贝罗 :
基于随机对象的图形语法。 SBMF公司 2005 : 151-170 2004 [第17条] 安德烈亚·科拉迪尼 , 费尔南多·路易斯·多蒂 , 露西亚娜·福斯 , 蕾拉·里贝罗 :
将Java代码转换为图形转换系统。 国际燃气轮机 2004 : 383-398 [第16条] 费尔南多·路易斯·多蒂 , 法比奥·帕西尼 , 奥斯马尔·马奇·多斯·桑托斯 :
Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Grafos Baseada em Objetos Gramática。 SBES公司 2004 : 86-101 [第15条] 费尔南多·路易斯·多蒂 , 卢西奥·毛罗·杜阿尔特 , 露西亚娜·福斯 , 莱拉·里贝罗 , 丹妮拉·拉西 , 奥斯马尔·马奇·多斯桑托斯 :
基于对象的并发应用程序开发环境。 抓斗 2004 : 3-13 [第14条] 奥斯马尔·马奇·多斯·桑托斯 , 费尔南多·路易斯·多蒂 , 莱拉·里贝罗 :
验证基于对象的图形语法。 GT-VMT@电子地图 2004 : 125-136 2003 [第13条] 费尔南多·路易斯·多蒂 , 莱拉·里贝罗 , 奥斯马尔·马奇·多斯·桑托斯 :
使用Grammars图规范和分析故障行为。 AGTIVE公司 2003 : 120-133 [第12条] 费尔南多·路易斯·多蒂 , 露西亚娜·福斯 , 莱拉·里贝罗 , 奥斯马尔·马奇·多斯·桑托斯 :
分布式对象系统的验证。 FMOODS公司 2003 : 261-275 [第11条] 费尔南多·路易斯·多蒂 , 奥斯马尔·马奇·多斯·桑托斯 , 爱德华多·罗德尔 :
关于使用形式规范分析分布式系统的故障行为。 拉丁美洲发展中心 2003 : 341-360 [第10条] 费尔南多·路易斯·多蒂 , 露西亚娜·福斯 , 莱拉·里贝罗 , 奥斯马尔·马奇·多斯·桑托斯 :
Distribuídos正式体系认证。 SBES公司 2003 : 221-236 2002 【c9】 埃德尔·马蒂亚斯 , 塞尔索·马谢尔·达科斯塔 , 费尔南多·路易斯·多蒂 , 菲利佩·马丁斯·米勒 :
DEVOpT:支持启发式和元启发式优化方法的分布式体系结构。 囊 2002 : 870-875 2001 【c8】 塞迪安·卡梅姆·卢纳尔迪 , 费尔南多·路易斯·多蒂 :
一种基于框架的方法,用于构建具有服务质量的自适应多媒体应用程序。 偶像 2001 : 517-522 【c7】 安德烈亚·科拉迪尼 , 费尔南多·路易斯·多蒂 , 莱拉·里贝罗 :
关于使用移动代码的应用程序规范的图形转换视图。 ICALP的GT-VMT 2001 : 238-246 2000 【c6】 费尔南多·路易斯·多蒂 , 莱拉·里贝罗 :
使用图形语法的移动代码系统规范。 FMOODS公司 2000 : 45-64 [c5] 费尔南多·路易斯·多蒂 , 莫里西奥·德·克里斯塔尔 , 塞尔索·马谢尔·达科斯塔 , 菲利佩·马丁斯·米勒 :
自治优化中心的联合体系结构。 PDPTA公司 2000 【c4】 费尔南多·路易斯·多蒂 , 卢西奥·毛罗·杜阿尔特 :
监测移动代码。 PDPTA公司 2000 【c3】 费尔南多·路易斯·多蒂 , 蕾拉·里贝罗 :
开放系统中的代码移动性:一种形式化方法。 PDPTA公司 2000
1990 – 1999
1998 【c2】 费尔南多·路易斯·多蒂 :
在开放服务市场中通过谈判和合同授予管理任务。 PROLAMAT公司 1998 : 245-256 1997 【b1】 费尔南多·路易斯·多蒂 :
自治行政域管理系统:域间和域内支持机制的建模方面和实现技术。 柏林理工学院, 1997 ,第1-255页 1996 【c1】 费尔南多·路易斯·多蒂 :
ODP对管理外包的观点。 NOMS公司 1996 : 612-615