Fernando Luís Dotti

68 papers A 5B 7C 1Misc 6Journal 11Unranked 37

Year	Rank	Type	Title / Venue / Authors
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
2023	—	`conf`	Execução Paralela de Transações Baseada em Análise Dinâmica e Auto-Verificável de Conflitos. SBRC Jefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti
2023	A	`conf`	FlexCast: Genuine Overlay-based Atomic Multicast. Middleware Elia Batista, Paulo R. Coelho, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2023	J	`jnl`	FlexCast: genuine overlay-based atomic multicast. CoRR Elia Batista, Paulo R. Coelho, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2023	—	`conf`	Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis. LADC Jefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2022	J	`jnl`	Early scheduling on steroids: Boosting parallel state machine replication. J. Parallel Distributed Comput. Elia Batista, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2022	J	`jnl`	Exploiting Concurrency in Sharded Parallel State Machine Replication. IEEE Trans. Parallel Distributed Syst. Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2022	—	`conf`	Strengthening Atomic Multicast for Partitioned State Machine Replication. LADC Leandro Pacheco, Fernando Luís Dotti, Fernando Pedone
2021	—	`conf`	On the Performance of Using Parallel State Machine Replication to Implement Blockchains. LADC Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti
2021	—	`conf`	Replicação Máquina de Estados Paralelas com Escalonamento Híbrido. SBRC Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2021	—	`conf`	SMaRtTrie: Reducing Checkpoint's Impact in SMR Systems with a CTrie Data Structure. SBRC Erick Pintor, Fernando Luís Dotti
2021	—	`conf`	Shrinking Logs by Safely Discarding Commands. SBRC Luiz Gustavo Coutinho Xavier, Fernando Luís Dotti, Cristina Meinhardt, Odorico M. Mendizabal
2020	J	`jnl`	Distributed File System for an Edge-Based Environment. CoRR Rafael Neujahr Copstein, Fernando Luís Dotti
2020	B	`conf`	Parallel State Machine Replication from Generalized Consensus. SRDS Tarcisio Ceolin Junior, Fernando Luís Dotti, Fernando Pedone
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
2019	A	`conf`	Boosting concurrency in Parallel State Machine Replication. Middleware Ian Aragon Escobar, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2019	—	`conf`	Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication. LADC Elia Batista, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
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	A	`conf`	Byzantine Fault-Tolerant Atomic Multicast. DSN Paulo R. Coelho, Tarcisio Ceolin Junior, Alysson Bessani, Fernando Luís Dotti, Fernando Pedone
2018	—	`conf`	Early Scheduling in Parallel State Machine Replication. SoCC Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
2018	J	`jnl`	Early Scheduling in Parallel State Machine Replication. CoRR Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone
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
2017	—	`conf`	Replicação Máquina de Estados Paralela e Reconfigurável. SBRC Alex Lobo, Eduardo Alchieri, Fernando Pedone, Fernando Luís Dotti, Odorico M. Mendizabal
2016	Misc	`conf`	Analysis of checkpointing overhead in parallel state machine replication. SAC Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone
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 CTL Model Checker for Stochastic Automata Networks. QEST Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales
2013	—	`conf`	A Formal Model for the Deferred Update Replication Technique. TGC Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal
2012	J	`jnl`	Correct transformation: From object-based graph grammars to PROMELA. Sci. Comput. Program. Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss
2011	J	`jnl`	Modeling the webgraph evolution. J. Comput. Sci. Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti
2011	—	`conf`	Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT Leila Ribeiro, Fernando Luís Dotti
2011	J	`jnl`	Structured Markovian models for discrete spatial mobile node distribution. J. Braz. Comput. Soc. Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes
2010	J	`jnl`	Towards Theorem Proving Graph Grammars using Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg
2009	—	`conf`	Evaluating the impact of an acknowledgment strategy for APRP. LANC Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti
2009	C	`conf`	Modal Systems: Specification, Refinement and Realisation. ICFEM Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
2009	—	`conf`	Structuring Specifications with Modes. LADC Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti
2008	—	`conf`	Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models Leila Ribeiro, Fernando Luís Dotti
2006	—	`conf`	Analytical modeling of random waypoint mobility patterns. PE-WASUN Fábio Delamare, Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes, Luciano Ost
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
2006	—	`conf`	Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
2006	J	`jnl`	Verifying Object-based Graph Grammars. Softw. Syst. Model. Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini
2005	—	`conf`	A Formal Framework for the Development of Concurrent Object-Based Systems. Formal Methods in Software and Systems Modeling Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
2005	—	`conf`	Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. SBMF Fábio Pasini, Fernando Luís Dotti
2005	B	`conf`	Modular Analytical Performance Models for Ad Hoc Wireless Networks. WiOpt Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos
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
2004	—	`conf`	An Environment for the Development of Concurrent Object-Based Applications. GraBaTs Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos
2004	B	`conf`	Translating Java Code to Graph Transformation Systems. ICGT Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
2004	—	`conf`	Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. SBES Fernando Luís Dotti, Fábio Pasini, Osmar Marchi dos Santos
2004	—	`conf`	Verifying Object-Based Graph Grammars. GT-VMT@ETAPS Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
2003	—	`conf`	Especificação e Verificação Formal de Sistemas Distribuídos. SBES Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
2003	—	`conf`	On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. LADC Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel
2003	—	`conf`	Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
2003	—	`conf`	Verification of Distributed Object-Based Systems. FMOODS Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
2002	Misc	`conf`	DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods. SAC Eder N. Mathias, Celso Maciel da Costa, Fernando Luís Dotti, Felipe Martins Müller
2001	—	`conf`	A Graph Transformation View on the Specification of Applications using Mobile Code. GT-VMT@ICALP Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
2001	—	`conf`	A framework-based approach to build adaptive multimedia applications with quality of service. ICON Sediane Carmem Lunardi, Fernando Luís Dotti
2000	Misc	`conf`	A Federated Architecture for Autonomous Optimization Centers. PDPTA Fernando Luís Dotti, Maurício de O. Cristal, Celso Maciel da Costa, Felipe Martins Müller
2000	Misc	`conf`	Code Mobility in Open Systems: A Formal Approach. PDPTA Fernando Luís Dotti, Leila Ribeiro
2000	Misc	`conf`	Monitoring Mobile Code. PDPTA Fernando Luís Dotti, Lucio Mauro Duarte
2000	—	`conf`	Specification of Mobile Code Systems using Graph Grammars. FMOODS Fernando Luís Dotti, Leila Ribeiro
1998	—	`conf`	Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. PROLAMAT Fernando Luís Dotti
1997	—	`—`	Management systems for autonomous administrative domains: modelling aspects and realization techniques of inter- and intra-domain supporting mechanisms. Fernando Luís Dotti
1996	B	`conf`	ODP viewpoints of management outsourcing. NOMS Fernando Luís Dotti