Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. - Fernando Luís Dotti; Odorico Machado Mendizabal; Osmar Marchi dos Santos (LADC, 2005)

Stochastic Object-Based Graph Grammars. - Odorico Machado Mendizabal; Fernando Luís Dotti; Leila Ribeiro 001 (SBMF, 2005)

Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. - Odorico Machado Mendizabal; Fernando Luís Dotti (ICGT, 2006)

Log-based approach for performance requirements elicitation and prioritization. - Odorico Machado Mendizabal; Martin Spier; Rodrigo Saad (RE, 2012)

A Formal Model for the Deferred Update Replication Technique. - Andrea Corradini 001; Leila Ribeiro 001; Fernando Luís Dotti; Odorico Machado Mendizabal (TGC, 2013)

Using DCOP to Solve Virtual Network Allocation Problems. - Alexander Gularte; Odorico Machado Mendizabal; Raquel de Miranda Barbosa; Diana Francisca Adamatti (WEIT, 2013)

Parallel Algorithm for the HP Protein Folding Problem. - Matheus Machado dos Santos; Mauricio G. Goulart; Giovana J. Gelatti; Karina S. Machado; Adriano Velasque Werhli; Odorico Machado Mendizabal (WEIT, 2013)

Checkpointing in Parallel State-Machine Replication. - Odorico Machado Mendizabal; Parisa Jalili Marandi; Fernando Luís Dotti; Fernando Pedone (OPODIS, 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 (SBRC, 2014)

Analysis of checkpointing overhead in parallel state machine replication. - Odorico Machado Mendizabal; Fernando Luís Dotti; Fernando Pedone (SAC, 2016)

Fast recovery in parallel state machine replication. - Odorico Machado Mendizabal (2016)

High Performance Recovery for Parallel State Machine Replication. - Odorico Machado Mendizabal; Fernando Luís Dotti; Fernando Pedone (ICDCS, 2017)

Efficient and Deterministic Scheduling for Parallel State Machine Replication. - Odorico Machado Mendizabal; Ruda S. T. De Moura; Fernando Luís Dotti; Fernando Pedone (IPDPS, 2017)

Replicação Máquina de Estados Paralela e Reconfigurável. - Alex Lobo; Eduardo Alchieri; Fernando Pedone; Fernando Luís Dotti; Odorico M. Mendizabal (SBRC, 2017)

Reconfiguring Parallel State Machine Replication. - Eduardo Alchieri; Fernando Luís Dotti; Odorico Machado Mendizabal; Fernando Pedone (SRDS, 2017)

Exploring MAS to a High Level Abstration NoC Simulation Environment. - Gustavo L. Lima; Nelson de Farias Traversi; Diana Francisca Adamatti; Graçaliz Pereira Dimuro; Cristina Meinhardt; Eduardo Wenzel Brião; Odorico Machado Mendizabal (ICECS, 2018)

Boosting State Machine Replication with Concurrent Execution. - Eduardo Alchieri; Fernando Luís Dotti; Parisa Jalili Marandi; Odorico Machado Mendizabal; Fernando Pedone (LADC, 2018)

Reducing Monitoring Overhead in Virtualized Environments Through Feature Selection. - Pedro Freire Popiolek; Karina S. Machado; Odorico M. Mendizabal (SBRC, 2018)

Node and Link Allocation in Network Virtualization Based on Distributed Constraint Optimization. - Alexander Gularte; Odorico Machado Mendizabal; Raquel de Miranda Barbosa; Diana Francisca Adamatti (J. Netw. Syst. Manag., 2018)

Analysis of Candidates Profile for the National Entrance Exams for Admission to Brazilian Universities. - Bruna Santos; Caue G. Oliveira; Luiz Oscar Homann de Topin; Odorico M. Mendizabal; Regina Barwaldt (FIE, 2019)

A library for services transparent replication. - Paola Martins Pereira; Fernando Luís Dotti; Cristina Meinhardt; Odorico Machado Mendizabal (SAC, 2019)

Which one should I pick?: Helping operators choosing their inbound traffic engineering techniques. - Fernando Brenner; Odorico M. Mendizabal; Pedro de B. Marcos (StudentWorkshop@CoNEXT, 2020)

Scalable and Decoupled Logging for State Machine Replication. - Luiz Gustavo Coutinho Xavier; Fernando Luís Dotti; Cristina Meinhardt; Odorico Machado Mendizabal (SBRC, 2020)

Shrinking Logs by Safely Discarding Commands. - Luiz Gustavo Coutinho Xavier; Fernando Luís Dotti; Cristina Meinhardt; Odorico M. Mendizabal (SBRC, 2021)

Low overhead performance monitoring for shared infrastructures. - Pedro Freire Popiolek; Karina dos Santos Machado; Odorico Machado Mendizabal (Expert Syst. Appl., 2021)

An architecture proposal for checkpoint/restore on stateful containers. - Rodrigo H. Müller; Cristina Meinhardt; Odorico M. Mendizabal (SAC, 2022)

Strategies for Fault-Tolerant Tightly-Coupled HPC Workloads Running on Low-Budget Spot Cloud Infrastructures. - Vanderlei Munhoz; Márcio Castro 001; Odorico M. Mendizabal (SBAC-PAD, 2022)

A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead. - Everaldo Gomes Junior; Eduardo Alchieri; Fernando Luís Dotti; Odorico Machado Mendizabal (LADC, 2023)

Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance. - João Lucas Scharf; Luiz Gustavo Coutinho Xavier; Odorico M. Mendizabal (LADC, 2023)

Achieving Enhanced Performance Combining Checkpointing and Dynamic State Partitioning. - Henrique S. Goulart; João Trombeta; Álvaro Franco; Odorico M. Mendizabal (SBAC-PAD, 2023)

A Performance Comparison of HPC Workloads on Traditional and Cloud-Based HPC Clusters. - Vanderlei Munhoz; Antoine Bonfils; Márcio Castro 001; Odorico M. Mendizabal (SBAC-PADW, 2023)

Extending State Machine Replication through Composition. - Caroline Martins Alves; Thaís Bardini Idalino; Odorico Machado Mendizabal (LADC, 2024)

Reducing Persistence Overhead in Parallel State Machine Replication through Time-Phased Partitioned Checkpoint. - Everaldo Gomes Junior; Eduardo Alchieri; Fernando Luís Dotti; Odorico Machado Mendizabal (J. Internet Serv. Appl., 2024)

Beelog: Online Log Compaction for Dependable Systems. - Luiz Gustavo Coutinho Xavier; Cristina Meinhardt; Odorico Machado Mendizabal (IEEE Trans. Parallel Distributed Syst., 2025)

DARB: A Dynamic Architecture for Data Replica Balancing. - Rhauani Weber Aita Fazul; Odorico Machado Mendizabal; Patrícia Pitthan Barcelos (Concurr. Comput. Pract. Exp., 2025)