ODP viewpoints of management outsourcing. - Fernando Luís Dotti (NOMS, 1996)

Management systems for autonomous administrative domains: modelling aspects and realization techniques of inter- and intra-domain supporting mechanisms. - Fernando Luís Dotti (1997)

Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. - Fernando Luís Dotti (PROLAMAT, 1998)

Specification of Mobile Code Systems using Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001 (FMOODS, 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 (PDPTA, 2000)

Monitoring Mobile Code. - Fernando Luís Dotti; Lucio Mauro Duarte (PDPTA, 2000)

Code Mobility in Open Systems: A Formal Approach. - Fernando Luís Dotti; Leila Ribeiro 001 (PDPTA, 2000)

A framework-based approach to build adaptive multimedia applications with quality of service. - Sediane Carmem Lunardi; Fernando Luís Dotti (ICON, 2001)

A Graph Transformation View on the Specification of Applications using Mobile Code. - Andrea Corradini 001; Fernando Luís Dotti; Leila Ribeiro 001 (GT-VMT@ICALP, 2001)

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 (SAC, 2002)

Specification and Analysis of Fault Behaviours Using Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001; Osmar Marchi dos Santos (AGTIVE, 2003)

Verification of Distributed Object-Based Systems. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (FMOODS, 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 (LADC, 2003)

Especificação e Verificação Formal de Sistemas Distribuídos. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (SBES, 2003)

Translating Java Code to Graph Transformation Systems. - Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001 (ICGT, 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 (SBES, 2004)

An Environment for the Development of Concurrent Object-Based Applications. - Fernando Luís Dotti; Lucio Mauro Duarte; Luciana Foss; Leila Ribeiro 001; Daniela Russi; Osmar Marchi dos Santos (GraBaTs, 2004)

Verifying Object-Based Graph Grammars. - Osmar Marchi dos Santos; Fernando Luís Dotti; Leila Ribeiro 001 (GT-VMT@ETAPS, 2004)

A Formal Framework for the Development of Concurrent Object-Based Systems. - Leila Ribeiro 001; Fernando Luís Dotti; Roswitha Bardohl (Formal Methods in Software and Systems Modeling, 2005)

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

Modular Analytical Performance Models for Ad Hoc Wireless Networks. - Fernando Luís Dotti; Paulo Fernandes 001; Afonso Sales; Osmar Marchi dos Santos (WiOpt, 2005)

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

Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. - Fábio Pasini; Fernando Luís Dotti (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)

Analytical modeling of random waypoint mobility patterns. - Fábio Delamare; Fernando Luís Dotti; Paulo Fernandes 001; Cristina M. Nunes; Luciano Ost (PE-WASUN, 2006)

Towards a Notion of Transaction in Graph Rewriting. - Paolo Baldan; Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Fabio Gadducci; Leila Ribeiro 001 (GT-VMT@ETAPS, 2006)

Verifying Object-based Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001; Osmar Marchi dos Santos; Fábio Pasini (Softw. Syst. Model., 2006)

Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. - Leila Ribeiro 001; Fernando Luís Dotti (Concurrency, Graphs and Models, 2008)

Modal Systems: Specification, Refinement and Realisation. - Fernando Luís Dotti; Alexei Iliasov; Leila Ribeiro 001; Alexander B. Romanovsky (ICFEM, 2009)

Structuring Specifications with Modes. - Alexei Iliasov; Alexander B. Romanovsky; Fernando Luís Dotti (LADC, 2009)

Evaluating the impact of an acknowledgment strategy for APRP. - Cristina M. Nunes; Eduardo Link; Fernando Luís Dotti (LANC, 2009)

Towards Theorem Proving Graph Grammars using Event-B. - Leila Ribeiro 001; Fernando Luís Dotti; Simone André da Costa; Fabiane Cristine Dillenburg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. - Leila Ribeiro 001; Fernando Luís Dotti (WEIT, 2011)

Structured Markovian models for discrete spatial mobile node distribution. - Fernando Luís Dotti; Paulo Fernandes 001; Cristina M. Nunes (J. Braz. Comput. Soc., 2011)

Modeling the webgraph evolution. - Roberto da Silva; Luciana S. Buriol; Leila Ribeiro 001; Fernando Luís Dotti (J. Comput. Sci., 2011)

Correct transformation: From object-based graph grammars to PROMELA. - Leila Ribeiro 001; Osmar Marchi dos Santos; Fernando Luís Dotti; Luciana Foss (Sci. Comput. Program., 2012)

A CTL Model Checker for Stochastic Automata Networks. - Lucas Oleksinski; Claiton Correa; Fernando Luís Dotti; Afonso Sales (QEST, 2013)

A Formal Model for the Deferred Update Replication Technique. - Andrea Corradini 001; Leila Ribeiro 001; Fernando Luís Dotti; Odorico Machado Mendizabal (TGC, 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)

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)

Early Scheduling in Parallel State Machine Replication. - Eduardo Alchieri; Fernando Luís Dotti; Fernando Pedone (SoCC, 2018)

Byzantine Fault-Tolerant Atomic Multicast. - Paulo R. Coelho; Tarcisio Ceolin Junior; Alysson Bessani; Fernando Luís Dotti; Fernando Pedone (DSN, 2018)

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

Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication. - Elia Batista; Eduardo Alchieri; Fernando Luís Dotti; Fernando Pedone (LADC, 2019)

Boosting concurrency in Parallel State Machine Replication. - Ian Aragon Escobar; Eduardo Alchieri; Fernando Luís Dotti; Fernando Pedone (Middleware, 2019)

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

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

Parallel State Machine Replication from Generalized Consensus. - Tarcisio Ceolin Junior; Fernando Luís Dotti; Fernando Pedone (SRDS, 2020)

Distributed File System for an Edge-Based Environment. - Rafael Neujahr Copstein; Fernando Luís Dotti (CoRR, 2020)

On the Performance of Using Parallel State Machine Replication to Implement Blockchains. - Aldenio Burgos; Eduardo Alchieri; Fernando Luís Dotti (LADC, 2021)

Replicação Máquina de Estados Paralelas com Escalonamento Híbrido. - Aldenio Burgos; Eduardo Alchieri; Fernando Luís Dotti; Fernando Pedone (SBRC, 2021)

SMaRtTrie: Reducing Checkpoint's Impact in SMR Systems with a CTrie Data Structure. - Erick Pintor; Fernando Luís Dotti (SBRC, 2021)

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

Strengthening Atomic Multicast for Partitioned State Machine Replication. - Leandro Pacheco; Fernando Luís Dotti; Fernando Pedone (LADC, 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)

Exploiting Concurrency in Sharded Parallel State Machine Replication. - Aldenio Burgos; Eduardo Alchieri; Fernando Luís Dotti; Fernando Pedone (IEEE Trans. Parallel Distributed Syst., 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)

Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis. - Jefferson Pereira da Silva; Eduardo Alchieri; Fernando Luís Dotti; Fernando Pedone (LADC, 2023)

FlexCast: Genuine Overlay-based Atomic Multicast. - Elia Batista; Paulo R. Coelho; Eduardo Alchieri; Fernando Luís Dotti; Fernando Pedone (Middleware, 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 (SBRC, 2023)

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)