Fernando Luís Dotti

According to our database, Fernando Luís Dotti authored at least 65 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Execução Paralela de Transações Baseada em Análise Dinâmica e Auto-Verificável de Conflitos.

Jefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti

Proceedings of the 41st Brazilian Symposium on Computer Networks and Distributed Systems, 2023

FlexCast: Genuine Overlay-based Atomic Multicast.

Elia Batista, Paulo R. Coelho, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 24th International Middleware Conference, 2023

Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis.

Jefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead.

Everaldo Gomes Junior, Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

2022

Exploiting Concurrency in Sharded Parallel State Machine Replication.

Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

IEEE Trans. Parallel Distributed Syst., 2022

Early scheduling on steroids: Boosting parallel state machine replication.

Elia Batista, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

J. Parallel Distributed Comput., 2022

Strengthening Atomic Multicast for Partitioned State Machine Replication.

Leandro Pacheco, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 11th Latin-American Symposium on Dependable Computing, 2022

2021

Shrinking Logs by Safely Discarding Commands.

Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt, Odorico M. Mendizabal

Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021

SMaRtTrie: Reducing Checkpoint's Impact in SMR Systems with a CTrie Data Structure.

Erick Pintor, Fernando Luís Dotti

Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021

Replicação Máquina de Estados Paralelas com Escalonamento Híbrido.

Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021

On the Performance of Using Parallel State Machine Replication to Implement Blockchains.

Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Distributed File System for an Edge-Based Environment.

Rafael Neujahr Copstein, Fernando Luís Dotti

CoRR, 2020

Parallel State Machine Replication from Generalized Consensus.

Tarcisio Ceolin Junior, Fernando Luís Dotti, Fernando Pedone

Proceedings of the International Symposium on Reliable Distributed Systems, 2020

Scalable and Decoupled Logging for State Machine Replication.

Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt, Odorico Machado Mendizabal

Proceedings of the XXXVIII Brazilian Symposium on Computer Networks and Distributed Systems, 2020

2019

A library for services transparent replication.

Paola Martins Pereira, Fernando Luís Dotti, Cristina Meinhardt, Odorico Machado Mendizabal

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Boosting concurrency in Parallel State Machine Replication.

Ian Aragon Escobar, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 20th International Middleware Conference, 2019

Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication.

Elia Batista, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

2018

Boosting State Machine Replication with Concurrent Execution.

Eduardo Alchieri, Fernando Luís Dotti, Parisa Jalili Marandi, Odorico Machado Mendizabal, Fernando Pedone

Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

Byzantine Fault-Tolerant Atomic Multicast.

Paulo R. Coelho, Tarcisio Ceolin Junior, Alysson Bessani, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Early Scheduling in Parallel State Machine Replication.

Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone

Proceedings of the ACM Symposium on Cloud Computing, 2018

2017

Reconfiguring Parallel State Machine Replication.

Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal, Fernando Pedone

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Replicação Máquina de Estados Paralela e Reconfigurável.

Alex Lobo, Eduardo Alchieri, Fernando Pedone, Fernando Luís Dotti, Odorico M. Mendizabal

Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

Efficient and Deterministic Scheduling for Parallel State Machine Replication.

Odorico Machado Mendizabal, Ruda S. T. De Moura, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

High Performance Recovery for Parallel State Machine Replication.

Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

Analysis of checkpointing overhead in parallel state machine replication.

Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2014

A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks.

Rasha Hasan, Odorico Machado Mendizabal, Rômulo Reis de Oliveira, Fernando Luís Dotti

Proceedings of the 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014

Checkpointing in Parallel State-Machine Replication.

Odorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone

Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

2013

A Formal Model for the Deferred Update Replication Technique.

Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

A CTL Model Checker for Stochastic Automata Networks.

Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012

Correct transformation: From object-based graph grammars to PROMELA.

Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss

Sci. Comput. Program., 2012

2011

Modeling the webgraph evolution.

Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti

J. Comput. Sci., 2011

Structured Markovian models for discrete spatial mobile node distribution.

Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes

J. Braz. Comput. Soc., 2011

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars.

Leila Ribeiro, Fernando Luís Dotti

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010

Towards Theorem Proving Graph Grammars using Event-B.

Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Evaluating the impact of an acknowledgment strategy for APRP.

Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti

Proceedings of the 5th International Latin American Networking Conference , 2009

Structuring Specifications with Modes.

Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Modal Systems: Specification, Refinement and Realisation.

Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.

Leila Ribeiro, Fernando Luís Dotti

Proceedings of the Concurrency, 2008

2006

Verifying Object-based Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini

Softw. Syst. Model., 2006

Towards a Notion of Transaction in Graph Rewriting.

Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Analytical modeling of random waypoint mobility patterns.

Fábio Delamare, Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes, Luciano Ost

Proceedings of the 3rd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2006

Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.

Odorico Machado Mendizabal, Fernando Luís Dotti

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars.

Fábio Pasini, Fernando Luís Dotti

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Stochastic Object-Based Graph Grammars.

Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Modular Analytical Performance Models for Ad Hoc Wireless Networks.

Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos

Proceedings of the 3rd International Symposium on Modeling and Optimization in Mobile, 2005

Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars.

Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

A Formal Framework for the Development of Concurrent Object-Based Systems.

Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Verifying Object-Based Graph Grammars.

Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

An Environment for the Development of Concurrent Object-Based Applications.

Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos.

Fernando Luís Dotti, Fábio Pasini, Osmar Marchi dos Santos

Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004

Translating Java Code to Graph Transformation Systems.

Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

Especificação e Verificação Formal de Sistemas Distribuídos.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems.

Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Verification of Distributed Object-Based Systems.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Specification and Analysis of Fault Behaviours Using Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002

DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods.

Eder N. Mathias, Celso Maciel da Costa, Fernando Luís Dotti, Felipe Martins Müller

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2001

A Graph Transformation View on the Specification of Applications using Mobile Code.

Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

A framework-based approach to build adaptive multimedia applications with quality of service.

Sediane Carmem Lunardi, Fernando Luís Dotti

Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

2000

Code Mobility in Open Systems: A Formal Approach.

Fernando Luís Dotti, Leila Ribeiro

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Monitoring Mobile Code.

Fernando Luís Dotti, Lucio Mauro Duarte

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

A Federated Architecture for Autonomous Optimization Centers.

Fernando Luís Dotti, Maurício de O. Cristal, Celso Maciel da Costa, Felipe Martins Müller

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Specification of Mobile Code Systems using Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1998

Delegating Management Tasks through Negotiation and Contracting in the Open Service Market.

Fernando Luís Dotti

Proceedings of the Globalization of Manufacturing in the Digital Communications Era of the 21^st Century: Innovation, 1998

1997

Management systems for autonomous administrative domains: modelling aspects and realization techniques of inter- and intra-domain supporting mechanisms.

Fernando Luís Dotti

PhD thesis, 1997

1996

ODP viewpoints of management outsourcing.

Fernando Luís Dotti

Proceedings of the 1996 Network Operations and Management Symposium, 1996