Fernando Luís Dotti

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 27

Top Venues

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

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)
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)
Elia Batista, Paulo R. Coelho, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
FlexCast: Genuine Overlay-based Atomic Multicast. Middleware (2023)
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)
Elia Batista, Paulo R. Coelho, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
FlexCast: genuine overlay-based atomic multicast. CoRR (2023)
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) (2022)
Elia Batista, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
Early scheduling on steroids: Boosting parallel state machine replication. J. Parallel Distributed Comput. 163 (2022)
Leandro Pacheco, Fernando Luís Dotti, Fernando Pedone
Strengthening Atomic Multicast for Partitioned State Machine Replication. LADC (2022)
Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt, Odorico M. Mendizabal
Shrinking Logs by Safely Discarding Commands. SBRC (2021)
Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti
On the Performance of Using Parallel State Machine Replication to Implement Blockchains. LADC (2021)
Erick Pintor, Fernando Luís Dotti
SMaRtTrie: Reducing Checkpoint's Impact in SMR Systems with a CTrie Data Structure. SBRC (2021)
Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
Replicação Máquina de Estados Paralelas com Escalonamento Híbrido. SBRC (2021)
Tarcisio Ceolin Junior, Fernando Luís Dotti, Fernando Pedone
Parallel State Machine Replication from Generalized Consensus. SRDS (2020)
Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt, Odorico Machado Mendizabal
Scalable and Decoupled Logging for State Machine Replication. SBRC (2020)
Rafael Neujahr Copstein, Fernando Luís Dotti
Distributed File System for an Edge-Based Environment. CoRR (2020)
Paola Martins Pereira, Fernando Luís Dotti, Cristina Meinhardt, Odorico Machado Mendizabal
A library for services transparent replication. SAC (2019)
Ian Aragon Escobar, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
Boosting concurrency in Parallel State Machine Replication. Middleware (2019)
Elia Batista, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication. LADC (2019)
Paulo R. Coelho, Tarcisio Ceolin Junior, Alysson Bessani, Fernando Luís Dotti, Fernando Pedone
Byzantine Fault-Tolerant Atomic Multicast. DSN (2018)
Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
Early Scheduling in Parallel State Machine Replication. SoCC (2018)
Eduardo Alchieri, Fernando Luís Dotti, Parisa Jalili Marandi, Odorico Machado Mendizabal, Fernando Pedone
Boosting State Machine Replication with Concurrent Execution. LADC (2018)
Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
Early Scheduling in Parallel State Machine Replication. CoRR (2018)
Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone
High Performance Recovery for Parallel State Machine Replication. ICDCS (2017)
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)
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)
Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal, Fernando Pedone
Reconfiguring Parallel State Machine Replication. SRDS (2017)
Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone
Analysis of checkpointing overhead in parallel state machine replication. SAC (2016)
Odorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone
Checkpointing in Parallel State-Machine Replication. OPODIS (2014)
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)
Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal
A Formal Model for the Deferred Update Replication Technique. TGC (2013)
Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales
A CTL Model Checker for Stochastic Automata Networks. QEST (2013)
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) (2012)
Leila Ribeiro, Fernando Luís Dotti
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT (2011)
Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti
Modeling the webgraph evolution. J. Comput. Sci. 2 (1) (2011)
Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes
Structured Markovian models for discrete spatial mobile node distribution. J. Braz. Comput. Soc. 17 (1) (2011)
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)
Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
Modal Systems: Specification, Refinement and Realisation. ICFEM (2009)
Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti
Structuring Specifications with Modes. LADC (2009)
Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti
Evaluating the impact of an acknowledgment strategy for APRP. LANC (2009)
Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
Towards a Notion of Transaction in Graph Rewriting. Electron. Notes Theor. Comput. Sci. 211 (2008)
Leila Ribeiro, Fernando Luís Dotti
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models (2008)
Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
Stochastic Object-Based Graph Grammars. Electron. Notes Theor. Comput. Sci. 184 (2007)
Fábio Pasini, Fernando Luís Dotti
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. Electron. Notes Theor. Comput. Sci. 184 (2007)
Odorico Machado Mendizabal, Fernando Luís Dotti
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. ICGT (2006)
Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini
Verifying Object-based Graph Grammars. Softw. Syst. Model. 5 (3) (2006)
Fábio Delamare, Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes, Luciano Ost
Analytical modeling of random waypoint mobility patterns. PE-WASUN (2006)
Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. LADC (2005)
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. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)
Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos
Modular Analytical Performance Models for Ad Hoc Wireless Networks. WiOpt (2005)
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)
Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
Verifying Object-Based Graph Grammars. Electron. Notes Theor. Comput. Sci. 109 (2004)
Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
Translating Java Code to Graph Transformation Systems. ICGT (2004)
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)
Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE (2003)
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)
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Verification of Distributed Object-Based Systems. FMOODS (2003)
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Especificação e Verificação Formal de Sistemas Distribuídos. SBES (2003)
Eder N. Mathias, Celso M. da Costa, Fernando Luís Dotti, Felipe Martins Müller
DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods. SAC (2002)
Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
A Graph Transformation View on the Specification of Applications using Mobile Code. Electron. Notes Theor. Comput. Sci. 50 (3) (2001)
Sediane Carmem Lunardi, Fernando Luís Dotti
A framework-based approach to build adaptive multimedia applications with quality of service. ICON (2001)
Fernando Luís Dotti, Leila Ribeiro
Code Mobility in Open Systems: A Formal Approach. PDPTA (2000)
Fernando Luís Dotti, Lucio Mauro Duarte
Monitoring Mobile Code. PDPTA (2000)
Fernando Luís Dotti, Leila Ribeiro
Specification of Mobile Code Systems using Graph Grammars. FMOODS (2000)
Fernando Luís Dotti, Maurício de O. Cristal, Celso M. da Costa, Felipe Martins Müller
A Federated Architecture for Autonomous Optimization Centers. PDPTA (2000)
Fernando Luís Dotti
Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. PROLAMAT (1998)
Fernando Luís Dotti
ODP viewpoints of management outsourcing. NOMS (1996)

Fernando Luís Dotti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fernando Luís Dotti