Odorico Machado Mendizabal

29 papers A 3B 3Misc 2Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Stall-Free Asynchronous State Repartitioning With a Proactive Workload Tracking Window.
Concurr. Comput. Pract. Exp.
Douglas Pereira Luiz, Odorico Machado Mendizabal
2025 — conf
A Practical TLA+ Library for Designing and Verifying Distributed Systems.
LADC
Diogo Canut Freitas Peixoto, Odorico Machado Mendizabal
2025 J jnl
Analyzing the stability, efficiency, and cost of a dynamic data replica balancing architecture for HDFS.
Ann. des Télécommunications
Rhauani Weber Aita Fazul, Odorico Machado Mendizabal, Patrícia Pitthan Barcelos
2025 J jnl
Beelog: Online Log Compaction for Dependable Systems.
IEEE Trans. Parallel Distributed Syst.
Luiz Gustavo Coutinho Xavier, Cristina Meinhardt, Odorico Machado Mendizabal
2025 J jnl
Composing State Machine Replication.
J. Internet Serv. Appl.
Caroline Martins Alves, Matheus Antonio De Souza, Thaís Bardini Idalino, Odorico Machado Mendizabal
2025 J jnl
DARB: A Dynamic Architecture for Data Replica Balancing.
Concurr. Comput. Pract. Exp.
Rhauani Weber Aita Fazul, Odorico Machado Mendizabal, Patrícia Pitthan Barcelos
2024 — conf
Extending State Machine Replication through Composition.
LADC
Caroline Martins Alves, Thaís Bardini Idalino, Odorico Machado Mendizabal
2024 J jnl
Reducing Persistence Overhead in Parallel State Machine Replication through Time-Phased Partitioned Checkpoint.
J. Internet Serv. Appl.
Everaldo Gomes Junior, Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal
2023 — conf
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead.
LADC
Everaldo Gomes Junior, Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal
2021 J jnl
Low overhead performance monitoring for shared infrastructures.
Expert Syst. Appl.
Pedro Freire Popiolek, Karina dos Santos Machado, Odorico Machado Mendizabal
2020 — conf
Scalable and Decoupled Logging for State Machine Replication.
SBRC
Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt, Odorico Machado Mendizabal
2019 Misc conf
A library for services transparent replication.
SAC
Paola Martins Pereira, Fernando Luís Dotti, Cristina Meinhardt, Odorico Machado Mendizabal
2018 — conf
Boosting State Machine Replication with Concurrent Execution.
LADC
Eduardo Alchieri, Fernando Luís Dotti, Parisa Jalili Marandi, Odorico Machado Mendizabal, Fernando Pedone
2018 — conf
Exploring MAS to a High Level Abstration NoC Simulation Environment.
ICECS
Gustavo L. Lima, Nelson de Farias Traversi, Diana Francisca Adamatti, Graçaliz Pereira Dimuro, Cristina Meinhardt, Eduardo Wenzel Brião, Odorico Machado Mendizabal
2018 J jnl
Node and Link Allocation in Network Virtualization Based on Distributed Constraint Optimization.
J. Netw. Syst. Manag.
Alexander Gularte, Odorico Machado Mendizabal, Raquel de Miranda Barbosa, Diana Francisca Adamatti
2017 A conf
Efficient and Deterministic Scheduling for Parallel State Machine Replication.
IPDPS
Odorico Machado Mendizabal, Ruda S. T. De Moura, Fernando Luís Dotti, Fernando Pedone
2017 A conf
High Performance Recovery for Parallel State Machine Replication.
ICDCS
Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone
2017 B conf
Reconfiguring Parallel State Machine Replication.
SRDS
Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal, Fernando Pedone
2016 Misc conf
Analysis of checkpointing overhead in parallel state machine replication.
SAC
Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone
2016 — —
Fast recovery in parallel state machine replication.
Odorico Machado Mendizabal
2014 — conf
A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks.
SBRC
Rasha Hasan, Odorico Machado Mendizabal, Rômulo Reis de Oliveira, Fernando Luís Dotti
2014 B conf
Checkpointing in Parallel State-Machine Replication.
OPODIS
Odorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone
2013 — conf
A Formal Model for the Deferred Update Replication Technique.
TGC
Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal
2013 — conf
Parallel Algorithm for the HP Protein Folding Problem.
WEIT
Matheus Machado dos Santos, Mauricio G. Goulart, Giovana J. Gelatti, Karina S. Machado, Adriano Velasque Werhli, Odorico Machado Mendizabal
2013 — conf
Using DCOP to Solve Virtual Network Allocation Problems.
WEIT
Alexander Gularte, Odorico Machado Mendizabal, Raquel de Miranda Barbosa, Diana Francisca Adamatti
2012 A conf
Log-based approach for performance requirements elicitation and prioritization.
RE
Odorico Machado Mendizabal, Martin Spier, Rodrigo T. Saad
2006 B conf
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.
ICGT
Odorico Machado Mendizabal, Fernando Luís Dotti
2005 — conf
Stochastic Object-Based Graph Grammars.
SBMF
Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
2005 — conf
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars.
LADC
Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos