![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Fernando Luís Dotti
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c56]Everaldo Gomes Junior
, Eduardo Alchieri
, Fernando Luís Dotti
, Odorico Machado Mendizabal
:
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead. LADC 2023: 100-109 - [c55]Jefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
:
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis. LADC 2023: 110-119 - [c54]Elia Batista, Paulo R. Coelho
, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
:
FlexCast: Genuine Overlay-based Atomic Multicast. Middleware 2023: 288-300 - [c53]Jefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti:
Execução Paralela de Transações Baseada em Análise Dinâmica e Auto-Verificável de Conflitos. SBRC 2023: 43-56 - [i3]Elia Batista, Paulo R. Coelho, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone:
FlexCast: genuine overlay-based atomic multicast. CoRR abs/2309.14074 (2023) - 2022
- [j7]Elia Batista, Eduardo Alchieri
, Fernando Luís Dotti
, Fernando Pedone
:
Early scheduling on steroids: Boosting parallel state machine replication. J. Parallel Distributed Comput. 163: 269-282 (2022) - [j6]Aldenio Burgos, Eduardo Alchieri
, Fernando Luís Dotti
, Fernando Pedone
:
Exploiting Concurrency in Sharded Parallel State Machine Replication. IEEE Trans. Parallel Distributed Syst. 33(9): 2133-2147 (2022) - [c52]Leandro Pacheco
, Fernando Luís Dotti, Fernando Pedone
:
Strengthening Atomic Multicast for Partitioned State Machine Replication. LADC 2022: 51-60 - 2021
- [c51]Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti
:
On the Performance of Using Parallel State Machine Replication to Implement Blockchains. LADC 2021: 1-6 - [c50]Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone:
Replicação Máquina de Estados Paralelas com Escalonamento Híbrido. SBRC 2021: 476-489 - [c49]Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt, Odorico M. Mendizabal
:
Shrinking Logs by Safely Discarding Commands. SBRC 2021: 588-601 - [c48]Erick Pintor, Fernando Luís Dotti:
SMaRtTrie: Reducing Checkpoint's Impact in SMR Systems with a CTrie Data Structure. SBRC 2021: 616-629 - 2020
- [c47]Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt
, Odorico Machado Mendizabal
:
Scalable and Decoupled Logging for State Machine Replication. SBRC 2020: 267-280 - [c46]Tarcisio Ceolin Junior, Fernando Luís Dotti
, Fernando Pedone
:
Parallel State Machine Replication from Generalized Consensus. SRDS 2020: 133-142 - [i2]Rafael Neujahr Copstein, Fernando Luís Dotti:
Distributed File System for an Edge-Based Environment. CoRR abs/2006.09182 (2020)
2010 – 2019
- 2019
- [c45]Elia Batista, Eduardo Alchieri, Fernando Luís Dotti
, Fernando Pedone
:
Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication. LADC 2019: 1-10 - [c44]Ian Aragon Escobar, Eduardo Alchieri, Fernando Luís Dotti
, Fernando Pedone
:
Boosting concurrency in Parallel State Machine Replication. Middleware 2019: 228-240 - [c43]Paola Martins Pereira, Fernando Luís Dotti
, Cristina Meinhardt
, Odorico Machado Mendizabal
:
A library for services transparent replication. SAC 2019: 268-275 - 2018
- [c42]Eduardo Alchieri, Fernando Luís Dotti
, Fernando Pedone
:
Early Scheduling in Parallel State Machine Replication. SoCC 2018: 82-94 - [c41]Paulo R. Coelho
, Tarcisio Ceolin Junior, Alysson Bessani
, Fernando Luís Dotti
, Fernando Pedone
:
Byzantine Fault-Tolerant Atomic Multicast. DSN 2018: 39-50 - [c40]Eduardo Alchieri, Fernando Luís Dotti
, Parisa Jalili Marandi, Odorico Machado Mendizabal
, Fernando Pedone
:
Boosting State Machine Replication with Concurrent Execution. LADC 2018: 77-86 - [i1]Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone:
Early Scheduling in Parallel State Machine Replication. CoRR abs/1805.05152 (2018) - 2017
- [c39]Odorico Machado Mendizabal
, Fernando Luís Dotti
, Fernando Pedone
:
High Performance Recovery for Parallel State Machine Replication. ICDCS 2017: 34-44 - [c38]Odorico Machado Mendizabal
, Ruda S. T. De Moura, Fernando Luís Dotti
, Fernando Pedone
:
Efficient and Deterministic Scheduling for Parallel State Machine Replication. IPDPS 2017: 748-757 - [c37]Alex Lobo, Eduardo Alchieri, Fernando Pedone, Fernando Luís Dotti, Odorico M. Mendizabal:
Replicação Máquina de Estados Paralela e Reconfigurável. SBRC 2017 - [c36]Eduardo Alchieri, Fernando Luís Dotti
, Odorico Machado Mendizabal
, Fernando Pedone
:
Reconfiguring Parallel State Machine Replication. SRDS 2017: 104-113 - 2016
- [c35]Odorico Machado Mendizabal
, Fernando Luís Dotti
, Fernando Pedone
:
Analysis of checkpointing overhead in parallel state machine replication. SAC 2016: 534-537 - 2014
- [c34]Odorico Machado Mendizabal
, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone
:
Checkpointing in Parallel State-Machine Replication. OPODIS 2014: 123-138 - [c33]Rasha Hasan, Odorico Machado Mendizabal
, Rômulo Reis de Oliveira, Fernando Luís Dotti
:
A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks. SBRC 2014: 344-352 - 2013
- [c32]Lucas Oleksinski, Claiton Correa
, Fernando Luís Dotti
, Afonso Sales:
A CTL Model Checker for Stochastic Automata Networks. QEST 2013: 286-289 - [c31]Andrea Corradini
, Leila Ribeiro, Fernando Luís Dotti
, Odorico Machado Mendizabal
:
A Formal Model for the Deferred Update Replication Technique. TGC 2013: 235-253 - 2012
- [j5]Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti
, Luciana Foss:
Correct transformation: From object-based graph grammars to PROMELA. Sci. Comput. Program. 77(3): 214-246 (2012) - 2011
- [j4]Fernando Luís Dotti
, Paulo Fernandes
, Cristina M. Nunes:
Structured Markovian models for discrete spatial mobile node distribution. J. Braz. Comput. Soc. 17(1): 31-52 (2011) - [j3]Roberto da Silva
, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti
:
Modeling the webgraph evolution. J. Comput. Sci. 2(1): 67-79 (2011) - [c30]Leila Ribeiro, Fernando Luís Dotti
:
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT 2011: 15-20 - 2010
- [j2]Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg:
Towards Theorem Proving Graph Grammars using Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
2000 – 2009
- 2009
- [c29]Fernando Luís Dotti
, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
:
Modal Systems: Specification, Refinement and Realisation. ICFEM 2009: 601-619 - [c28]Alexei Iliasov, Alexander B. Romanovsky
, Fernando Luís Dotti
:
Structuring Specifications with Modes. LADC 2009: 81-88 - [c27]Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti
:
Evaluating the impact of an acknowledgment strategy for APRP. LANC 2009: 77-86 - 2008
- [c26]Leila Ribeiro, Fernando Luís Dotti
:
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150 - 2006
- [j1]Fernando Luís Dotti
, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini:
Verifying Object-based Graph Grammars. Softw. Syst. Model. 5(3): 289-311 (2006) - [c25]Odorico Machado Mendizabal
, Fernando Luís Dotti:
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. ICGT 2006: 275-290 - [c24]Fábio Delamare, Fernando Luís Dotti
, Paulo Fernandes, Cristina M. Nunes, Luciano Ost
:
Analytical modeling of random waypoint mobility patterns. PE-WASUN 2006: 106-113 - [c23]Paolo Baldan, Andrea Corradini
, Fernando Luís Dotti
, Luciana Foss, Fabio Gadducci
, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS 2006: 39-50 - 2005
- [c22]Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl:
A Formal Framework for the Development of Concurrent Object-Based Systems. Formal Methods in Software and Systems Modeling 2005: 385-401 - [c21]Fernando Luís Dotti
, Odorico Machado Mendizabal
, Osmar Marchi dos Santos:
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. LADC 2005: 80-100 - [c20]Fernando Luís Dotti
, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos:
Modular Analytical Performance Models for Ad Hoc Wireless Networks. WiOpt 2005: 164-173 - [c19]Fábio Pasini, Fernando Luís Dotti
:
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. SBMF 2005: 113-131 - [c18]Odorico Machado Mendizabal
, Fernando Luís Dotti
, Leila Ribeiro:
Stochastic Object-Based Graph Grammars. SBMF 2005: 151-170 - 2004
- [c17]Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro:
Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398 - [c16]Fernando Luís Dotti, Fábio Pasini, Osmar Marchi dos Santos:
Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. SBES 2004: 86-101 - [c15]Fernando Luís Dotti
, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos:
An Environment for the Development of Concurrent Object-Based Applications. GraBaTs 2004: 3-13 - [c14]Osmar Marchi dos Santos, Fernando Luís Dotti
, Leila Ribeiro:
Verifying Object-Based Graph Grammars. GT-VMT@ETAPS 2004: 125-136 - 2003
- [c13]Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos:
Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133 - [c12]Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos:
Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275 - [c11]Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel:
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. LADC 2003: 341-360 - [c10]Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos:
Especificação e Verificação Formal de Sistemas Distribuídos. SBES 2003: 221-236 - 2002
- [c9]Eder N. Mathias, Celso Maciel da Costa, Fernando Luís Dotti, Felipe Martins Müller:
DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods. SAC 2002: 870-875 - 2001
- [c8]Sediane Carmem Lunardi, Fernando Luís Dotti
:
A framework-based approach to build adaptive multimedia applications with quality of service. ICON 2001: 517-522 - [c7]Andrea Corradini
, Fernando Luís Dotti
, Leila Ribeiro:
A Graph Transformation View on the Specification of Applications using Mobile Code. GT-VMT@ICALP 2001: 238-246 - 2000
- [c6]Fernando Luís Dotti
, Leila Ribeiro:
Specification of Mobile Code Systems using Graph Grammars. FMOODS 2000: 45-64 - [c5]Fernando Luís Dotti, Maurício de O. Cristal, Celso Maciel da Costa, Felipe Martins Müller:
A Federated Architecture for Autonomous Optimization Centers. PDPTA 2000 - [c4]Fernando Luís Dotti, Lucio Mauro Duarte:
Monitoring Mobile Code. PDPTA 2000 - [c3]Fernando Luís Dotti, Leila Ribeiro:
Code Mobility in Open Systems: A Formal Approach. PDPTA 2000
1990 – 1999
- 1998
- [c2]Fernando Luís Dotti:
Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. PROLAMAT 1998: 245-256 - 1997
- [b1]Fernando Luís Dotti:
Management systems for autonomous administrative domains: modelling aspects and realization techniques of inter- and intra-domain supporting mechanisms. Berlin Institute of Technology, 1997, pp. 1-255 - 1996
- [c1]Fernando Luís Dotti:
ODP viewpoints of management outsourcing. NOMS 1996: 612-615
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint