Odorico Machado Mendizabal

  • Endereço para acessar este CV: http://lattes.cnpq.br/6058299964884859
  • Última atualização do currículo em 05/11/2018


Professor assistente na Universidade Federal do Rio Grande - FURG, possui graduação em Engenharia de Computação pela Fundação Universidade Federal do Rio Grande (2003), mestrado (2005) e doutorado (2016) em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas Distribuídos e Tolerância a Falhas, atuando principalmente nos seguintes temas: replicação, recuperação, verificação de modelos e teste de desempenho de software. (Texto informado pelo autor)


Identificação


Nome
Odorico Machado Mendizabal
Nome em citações bibliográficas
MENDIZABAL, O. M.;MENDIZABAL, O;MENDIZABAL, ODORICO M.;MENDIZABAL, ODORICO MACHADO;Mendizabal, Odorico

Endereço


Endereço Profissional
Universidade Federal do Rio Grande.
Av. Itália km 8
Carreiros
96201900 - Rio Grande, RS - Brasil
Telefone: (53) 32336807
URL da Homepage: http://mendizabal.c3.furg.br/


Formação acadêmica/titulação


2012 - 2016
Doutorado em Ciência da Computação.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
com período sanduíche em University of Lugano (Orientador: Fernando Pedone).
Título: Fast Recovery in Parallel State Machine Replication, Ano de obtenção: 2016.
Orientador: Fernando Luís Dotti.
Coorientador: Fernando Pedone.
Palavras-chave: Replicação Máquina de Estados; Pontos de Verificação; Recuperação; Alta Disponibilidade.
2004 - 2005
Mestrado em Ciência da Computação.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Título: Avaliação Quantitativa de Modelos em Gramática de Grafos Baseada em Objetos,Ano de Obtenção: 2005.
Orientador: Fernando Luís Dotti.
Bolsista do(a): Hewlett Packard, HP, Brasil.
Palavras-chave: Sistemas Distribuídos; Gramática de Grafos; Modelos Estocásticos; Model checking; Tolerância a Falhas; métodos formais.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Métodos Formais.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Distribuídos.
Setores de atividade: Desenvolvimento de Programas (Software); Outro.
1999 - 2003
Graduação em Engenharia de Computacao.
Universidade Federal do Rio Grande, FURG, Brasil.
Título: PRONTO - Protocolo Tolerante a Falhas para Bancos de Dados.
Orientador: Nelson Lopes Duarte Filho e Fernando Pedone.




Atuação Profissional



Dell Computadores do Brasil, DELL, Brasil.
Vínculo institucional

2007 - 2010
Vínculo: Celetista formal, Enquadramento Funcional: Analista de Teste de Performance, Carga horária: 44


Hewlett-Packard Brasil Ltda, HP, Brasil.
Vínculo institucional

2007 - 2007
Vínculo: Celetista formal, Enquadramento Funcional: Programador C/C++, Carga horária: 40
Outras informações
Serviço Terceirizado, contratado por Mobiltec Sistemas de Computação Móvel Ltda.


Universidade de Lisboa, UL, Portugal.
Vínculo institucional

2006 - 2006
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Pesquisador do Grupo Navigators (www.di.fc.ul.pt/navigators) no projeto HIDENETS (HIghly DEpendable ip-based NETworks and Services). Finaciamento: European Commission. IST-FP6-STREP-26979


Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Vínculo institucional

2005 - 2006
Vínculo: Bolsa de Projeto, Enquadramento Funcional: Estagiário, Carga horária: 40

Vínculo institucional

2004 - 2005
Vínculo: Bolsa de projeto, Enquadramento Funcional: Estagiário, Carga horária: 40
Outras informações
Projeto CASCO


Escola Monteiro Lobato, EML, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Professor temporário, Carga horária: 4

Atividades

7/2005 - 12/2005
Ensino, Técnico Em Informática, Nível: Aperfeiçoamento

Disciplinas ministradas
Fundamentos de Computação

Universidade Federal do Rio Grande, FURG, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: professor adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2010 - 2016
Vínculo: Servidor Público, Enquadramento Funcional: professor assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2003 - 2003
Vínculo: Bolsa de pesquisa, Enquadramento Funcional: monitor de disciplina, Carga horária: 12
Outras informações
Monitor da disciplina de Arquitetura de Computadores

Vínculo institucional

2002 - 2003
Vínculo: Bolsista, Enquadramento Funcional: bolsista AT (Apoio Técnico) - CNPq, Carga horária: 12
Outras informações
Projeto Modelagem Semiquantitativa e Quantitativa na Educação em Ciências

Vínculo institucional

2001 - 2003
Vínculo: Bolsa de pesquisa, Enquadramento Funcional: iniciação científica, Carga horária: 20
Outras informações
Bolsista voluntário no Projeto SECA

Atividades

07/2017 - Atual
Ensino, Engenharia de Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Digitais e Embarcados
03/2017 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Projeto e Desenvolvimento de Software II
Sistemas Distribuídos
Tópicos em Sistemas Distribuídos
03/2017 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Projeto e Desenvolvimento de Software II
11/2016 - Atual
Conselhos, Comissões e Consultoria, Conselho Departamental, .

Cargo ou função
Conselheiro do Centro de Ciências Computacionais.
01/2017 - 06/2017
Ensino,

Disciplinas ministradas
Projeto Precomp
07/2016 - 12/2016
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação e Programação II
07/2016 - 12/2016
Ensino, Engenharia de Computação, Nível: Pós-Graduação

Disciplinas ministradas
Trabalho Individual
03/2016 - 12/2016
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Computação II
Sistemas Distribuídos
Sistemas de Informação e Programação II
Tópicos em Sistemas Distribuídos
03/2013 - 12/2013
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação e Programação II
Sistemas Distribuídos
Tópicos em Sistemas Distribuídos
03/2011 - 03/2013
Conselhos, Comissões e Consultoria, Conselho Departamental, .

Cargo ou função
Conselheiro do Centro de Ciências Computacionais.
03/2011 - 03/2013
Conselhos, Comissões e Consultoria, Conselho Departamental, .

Cargo ou função
Membro do Núcleo Docente Estruturante do curso de Sistemas de Informação.
07/2012 - 12/2012
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação e Programação II
03/2012 - 12/2012
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação e Programação II
Sistemas Distribuídos
Tópicos em Sistemas Distribuídos
03/2011 - 12/2011
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação e Programação II
Sistemas Distribuídos
Tópicos Avançados em Sistemas Distribuídos
03/2011 - 12/2011
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Atividade de Integração Curricular III
Sistemas de Informação e Programação II
03/2011 - 12/2011
Ensino, Engenharia de Automação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos
03/2011 - 07/2011
Ensino, Aplicações para Web, Nível: Especialização

Disciplinas ministradas
Atividade de Integração Curricular I
07/2010 - 12/2010
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação e Programação II
Sistemas Distribuídos
4/2002 - 12/2003
Serviços técnicos especializados , Departamento de Física, .

Serviço realizado
Gerenciamento do Servidor e laboratórios de modo geral, projeto Plano Sul.
6/2003 - 10/2003
Estágios , Ceamecim, .

Estágio realizado
Programação para Web.

Università della Svizzera Italiana, USI, Suiça.
Vínculo institucional

2014 - 2015
Vínculo: Bolsista, Enquadramento Funcional: Estágio sanduíche, Carga horária: 40



Projetos de pesquisa


2014 - Atual
Scalable Dependability

Projeto certificado pelo(a) coordenador(a) Fernando Luís Dotti em 16/06/2016.
Descrição: This is a CAPES-Science Without Borders project to host international researcher Fernando Pedone from USI (Swiss) and conduct joint research activities. This project aims at designing novel techniques for scalable state-machine replication. In this respect, we have designed and implemented two execution models, P-SMR and S-SMR, as described in the project proposal (document uploaded with this submis- sion). This project will address three fundamental aspects of P-SMR and S-SMR: (a) automated and semi-automated conflict detection; (b) recovery in scalable and parallel SMR; and (c) dynamic reconfiguration in scalable and parallel SMR. Automated and semi-automated conflict detection. In its current form, P-SMR requires the service designer to identify command dependencies by means of manual inspection. The designer must provide a structure that identifies which pairs of commands can be executed concurrently and which pairs must be executed sequentially. We intend to investigate approaches to automated conflict detection. Recovery in Scalable and Parallel SMR. Although recovery is crucial in the design of fault-tolerant systems, in the context of state-machine replication minor advances have been observed. Recent literature reviewed the literature and pointed out weaknesses of the common durability techniques (logging, checkpointing and state transfer) applied to the SMR model. Further, discussions can be found on challenges and performance limitations of checkpointing in practical SMR implementations. No approach in the literature has proposed recovery procedures for the multithreaded and distributed versions of SMR. Dynamic reconfiguration in Scalable and Parallel SMR Dynamic reconfiguration is the ability of a system to change its membership on-the-fly, that is, members can join and leave the system during execution, as opposed to shutting down the system and then restarting it with the new configuration. Dynamic reconfiguration is an essential property in environments in which membership may change often and high availability is needed. Although reconfiguration has been studied in the context of state-machine replication under relatively stable conditions, existing algorithms are not efficient if the system is large and its members change often..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (4) .
Integrantes: Odorico Machado Mendizabal - Integrante / Fernando Pedone - Integrante / Fernando Luís Dotti - Coordenador / joni fraga - Integrante / Eduardo Alchieri - Integrante / Elias Procópio Duarte Junior - Integrante.
2011 - 2012
Gerência Dinâmicade Máquinas Virtuais para Computação em Nuvem
Descrição: Este projeto visa uma melhor utilização de recursos computacionais em computação em nuvem. A utilização de máquinas virtuais já vem sendo implantada como uma técnica de melhor utilização das máquinas hospedeiras (físicas) desta infraestrutura. No entanto, a carga de trabalho em que estas máquinas virtuais estão submetidas podem levar o sistema como um todo a perceber degradação em seu desempenho. O objetivo deste projeto é desenvolver ferramentas de monitoramento de recursos e, baseado em métricas de utilização de recursos, adotar estratégias de prevenção, como por exemplo migrar máquinas virtuais para outras máquinas hospedeiras..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Odorico Machado Mendizabal - Coordenador / Nelson Lopes Duarte Filho - Integrante / Pedro Popiolek - Integrante / Jônata Tyska - Integrante / Vinicius Hax - Integrante.Financiador(es): Universidade Federal do Rio Grande - Bolsa.
2010 - 2011
Performance Center
Descrição: Devesenvolver habilidades e motodologias inovadoras para o teste de desempenho com foco em infraestruturas virtualizadas..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Odorico Machado Mendizabal - Coordenador.Financiador(es): Dell Computadores do Brasil - Auxílio financeiro.
2006 - 2007
HIDENETS (HIghly DEpendable ip-based NETworks and Services)
Descrição: HIDENETS (HIghly DEpendable ip-based NETworks and Services) is a specific targeted research project funded by the European Union under the Information Society Sixth Framework Programme. The project was started in January 2006 and have a duration of 3 years. The aim of HIDENETS is to develop and analyze end-to-end resilience solutions for distributed applications and mobility-aware services in ubiquitous communication scenarios. Technical solutions will be developed for applications with critical dependability requirements in the context of selected use-cases of ad-hoc car-to-car communication with infrastructure service support..
Situação: Em andamento; Natureza: Pesquisa.
2005 - 2006
CAP - Centro de Pesquisa e Desenvolvimento de Aplicações Paralelas
Descrição: The Research and Development Center of Parallel Applications (CAP - PUCRS/HP Brazil) is dedicated to the study of high performance computing techniques and methodologies applied on the development of solutions for computational intensive applications. The CAP project has two main research lines: (a) support techniques for parallel programs design and (b) development of high performance applications for distributed memory architectures. (a) Support techniques for the design of parallel programs are not directly related to the parallel solution of a given problem, but they offer alternatives to simplify and optimize the process of developing parallel programs. In this scenario, the CAP team is interested in research topics like: (i) Analytical modeling of parallel programs using Stochastic Automata Networks (SAN); (ii) Formal verification of parallel and distributed programs properties using Objects-Based Graph Grammars (GGBO); (iii) Load-balancing algorithms for dynamic irregular applications over distributed memory platforms; (iv) Structural test methodologies for parallel programs. (b) The development of parallel applications for different categories of distributed memory architectures, such as heterogeneous clusters or computational grids, is another major research line of the CAP team. Our focus is the development of new high performance algorithms and/or programs for scientific or industrial problems using the message passing programming paradigm. Recently, the CAP group has been working on parallel solutions for the following applications: (i) Documents rendering tool for high speed printers (FOP - Formatting Objects Processor); (ii) Visualization of medical data for image-based diagnosis; (iii) Simulation of electrons trajectory on Field Emission Displays ..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Odorico Machado Mendizabal - Integrante / Lucas Janssen Baldo - Integrante / Pedro Antônio M. de Campos Velho - Integrante / Gustavo da Silva Serra - Integrante / Thiago Tasca Nunes - Integrante / Mateus Raeder - Integrante / Márcio Bastos Castro - Integrante / Fabio Pasini - Integrante / Luiz Gustavo Leão Fernandes - Coordenador.Financiador(es): Hewlett Packard - Cooperação.
2004 - 2005
CASCO - Centro de Análise de Sistemas Concorrentes
Descrição: O projeto CASCO tem como objetivo o desenvolvimento de métodos de especificação e análise de sistemas concorrentes, bem como o emprego destes métodos em caso relevantes e o suporte a estes métodos através de ferramentas computacionais adequadas. Entre os métodos de especificação trabalhamos mais especificamente com Redes de Autômatos Estocásticos e Gramática de Grafos. O primeiro permitindo análise quantitativa de modelos descritos e o segundo com ênfase em verificação dos modelos descritos. Este projeto foi desenvolvido em parceria com HP-Brasil, utilizando recursos da lei de informática...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (8) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Odorico Machado Mendizabal - Integrante / Fabio Pasini - Integrante / Osmar Marchi dos Santos - Integrante / Paulo H L Fernandes - Integrante / Afonso Sales - Integrante / Fernando Luís Dotti - Coordenador.Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Cooperação.


Revisor de periódico


2012 - 2012
Periódico: Revista de Informática Teórica e Aplicada: RITA
2017 - Atual
Periódico: ReABTIC
2017 - Atual
Periódico: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Distribuídos.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Teste de Desempenho.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Tolerância a Falhas.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Verificação de Modelos.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.


Idiomas


Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2010
Achievement in Excelence - Engage Others Leadership Competence, Dell.
2009
Team Award, Dell.
2007
Prêmio Dell Bronze, Dell.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
GULARTE, ALEXANDER R.2017GULARTE, ALEXANDER R. ; MENDIZABAL, ODORICO M. ; BARBOSA, RAQUEL M. ; ADAMATTI, DIANA F. . Node and Link Allocation in Network Virtualization Based on Distributed Constraint Optimization. Journal of Network and Systems Management, v. 1, p. 1-20, 2017.

2.
2POPIOLEK, P.2013POPIOLEK, P. ; MENDIZABAL, O. M. . Monitoring and analysis of performance impact in virtualized environments. Journal of Applied Computing Research, v. 2, p. 75-82, 2013.

3.
3HAX, V. A.2013HAX, V. A. ; DUARTE FILHO, Nelson Lopes ; BOTELHO, S. ; MENDIZABAL, O. M. . ROS as a middleware to Internet of Things. Journal of Applied Computing Research, v. 2, p. 91-97, 2013.

4.
4JACOBI, E. B.2012JACOBI, E. B. ; POPIOLEK, P. ; HAX, V. A. ; Tyska, J. C ; DUARTE FILHO, Nelson Lopes ; MENDIZABAL, O. M. . O Modelo de Computação em Nuvem e sua Aplicabilidade. Revista Jr de Iniciação Científica em Ciências Exatas e Engenharia, v. 5, p. 1-10, 2012.

5.
5MENDIZABAL, O. M.;MENDIZABAL, O;MENDIZABAL, ODORICO M.;MENDIZABAL, ODORICO MACHADO;Mendizabal, Odorico2007 MENDIZABAL, O. M.; DOTTI, F ; RIBEIRO, L . Stochastic Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science, v. 184, p. 151-170, 2007.

6.
7SANTOS, Arion de Castro Kurtz dos2003SANTOS, Arion de Castro Kurtz dos ; VARGAS, André Prisco ; MENDIZABAL, O. M. . O ModelCiências - um portal para o projeto Modelagem Semiquantitativa e Quantitativa na Educação em Ciências. Educar em Revista (Impresso), Curitiba, v. Especi, p. 217-235, 2003.

Capítulos de livros publicados
1.
MENDIZABAL, ODORICO M.; Jalili Marandi, Parisa ; DOTTI, Fernando Luís ; PEDONE, Fernando . Checkpointing in Parallel State-Machine Replication. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2014, v. , p. 123-138.

2.
Corradini, Andrea ; RIBEIRO, Leila ; DOTTI, FERNANDO ; Mendizabal, Odorico . A Formal Model for the Deferred Update Replication Technique. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2014, v. , p. 235-253.

3.
Dotti, Fernando L. ; MENDIZABAL, ODORICO M. ; dos Santos, Osmar M. . Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2005, v. , p. 80-100.

Trabalhos completos publicados em anais de congressos
1.
POPIOLEK, P. ; MACHADO, K. S. ; MENDIZABAL, O. M. . Reducing Monitoring Overhead in Virtualized Environments Through Feature Selection. In: SBRC - Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2018, Campos do Jordão. SBRC - Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2018. v. 1. p. 1-14.

2.
LIMA, G. L. ; TRAVERSI, N. F. ; MENDIZABAL, O. M. ; MEINHARDT, Cristina ; ADAMATTI, D. F. ; BRIAO, E. W. . Simulador de NoCs modelado como um SMA. In: WESAAC - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2018, Fortaleza. WESAAC - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2018. v. 1. p. 1-10.

3.
ALCHIERI, E. ; DOTTI, F. ; MARANDI, P. J. ; MENDIZABAL, O. M. ; PEDONE, Fernando . Boosting State Machine Replication with Concurrent Execution. In: LADC - Latin-American Symposium on Dependable Computing, 2018, Foz do Iguaçu. 8th Latin-American Symposium on Dependable Computing, 2018. v. 1. p. 1-10.

4.
GOMES JUNIOR, E. A. ; DIMURO, G. P. ; MENDIZABAL, O. M. . Review of Fuzzy Job Scheduling in Cloud Computing. In: MCSUL - Conferência Sul em Modelagem Computacional, 2018, Rio Grande. MCSUL - Conferência Sul em Modelagem Computacional, 2018. v. 1. p. 1-10.

5.
POPIOLEK, P. ; MACHADO, K. S. ; MENDIZABAL, O. M. . Identificação de custos computacionais causados por contadores de desempenho. In: Iberchip - Iberchip Workshop, 2017, Bariloche. Iberchip - Iberchip Workshop, 2017. v. 1. p. 37-40.

6.
Lobo, A. ; ALCHIERI, E. ; PEDONE, Fernando ; DOTTI, F. ; MENDIZABAL, O. M. . Replicação Máquina de Estados Paralela e Reconfigurável. In: SBRC - Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017, Belém. XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017. v. 1. p. 1103-1116.

7.
MENDIZABAL, ODORICO M.; MOURA, RUDA S. T. DE ; DOTTI, FERNANDO LUIS ; PEDONE, Fernando . Efficient and Deterministic Scheduling for Parallel State Machine Replication. In: 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2017, Orlando. 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2017. v. 1. p. 748-757.

8.
MENDIZABAL, ODORICO MACHADO; DOTTI, FERNANDO LUIS ; PEDONE, Fernando . High Performance Recovery for Parallel State Machine Replication. In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017, Atlanta. 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. v. 1. p. 34-44.

9.
ALCHIERI, EDUARDO ; DOTTI, FERNANDO ; MENDIZABAL, ODORICO M. ; PEDONE, Fernando . Reconfiguring Parallel State Machine Replication. In: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 2017, Hong Kong. 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 2017. v. 1. p. 104-113.

10.
GOMES JUNIOR, E. A. ; MENDIZABAL, O. M. . Verificação de um Protocolo para Replicação Máquina de Estados Paralela. In: WEIT - Workshop-Escola de Informática Teórica, 2017, Santa Maria. WEIT - Workshop-Escola de Informática Teórica, 2017. v. 1. p. 81-88.

11.
HASAN, R. ; MENDIZABAL, O. M. ; DOTTI, Fernando Luís . Hybrid Synchrony Virtual Networks: Definition and Embedding. In: ICN 2014, The Thirteenth International Conference on Networks, 2014, Nice. ICN 2014, The Thirteenth International Conference on Networks, 2014.

12.
HASAN, RASHA ; MENDIZABAL, ODORICO MACHADO ; OLIVEIRA, ROMULO REIS DE ; DOTTI, FERNANDO LUIS . A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks. In: 2014 Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2014, Florianopolis. 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014. p. 344-352.

13.
MENDIZABAL, O. M.; MARANDI, P. J. ; DOTTI, F ; PEDONE, Fernando . Checkpointing in Parallel State-Machine Replication. In: OPODIS - International Conference on Principles of Distributed Systems, 2014, Cortina d'Ampezzo. OPODIS - International Conference on Principles of Distributed Systems, 2014. v. 1. p. 123-138.

14.
SALVA, T. ; SILVA, R. S. ; VARGAS, André Prisco ; MENDIZABAL, O. M. . BlueGroups: Middleware para Construção de Aplicações Distribuídas em Dispositivos Móveis. In: Computer on the Beach, 2013, Florianópolis. Computer on the Beach, 2013. p. 31-40.

15.
MENDIZABAL, O. M.; DOTTI, Fernando Luís . Model Checking the Deferred Update Replication Protocol. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos ? SBRC 2013, 2013, Brasilia. 31º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos ? SBRC 2013, 2013. p. 995-1008.

16.
SANTOS, MATHEUS M. DOS ; GOULART, MAURICIO G. ; GELATTI, GIOVANA J. ; MACHADO, KARINA S. ; WERHLI, ADRIANO V. ; MENDIZABAL, ODORICO M. . Parallel Algorithm for the HP Protein Folding Problem. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science, 2013. p. 72-77.

17.
GULARTE, ALEXANDER R. ; MENDIZABAL, ODORICO MACHADO ; BARBOSA, RAQUEL DE MIRANDA ; ADAMATTI, DIANA FRANCISCA . Using DCOP to Solve Virtual Network Allocation Problems. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science, 2013. p. 116-120.

18.
POPIOLEK, P. ; MENDIZABAL, O. M. . Monitoramento e Análise do Impacto no Desempenho em Ambientes Virtualizados. In: Escola Regional de Redes de Computadores, 2012, Pelotas. ERRC - 9 Escola Regional de Redes de Computadores, 2012.

19.
HAX, V. A. ; BOTELHO, S. ; DUARTE FILHO, Nelson Lopes ; MENDIZABAL, O. M. . Estudo da Viabilidade do ROS como Plataforma para IoT. In: Escola Regional de Redes de Computadores, 2012, Pelotas. ERRC - 9 Escola Regional de Redes de Computadores, 2012.

20.
MENDIZABAL, ODORICO MACHADO; SPIER, MARTIN ; SAAD, RODRIGO . Log-based approach for performance requirements elicitation and prioritization. In: 2012 IEEE 20th International Requirements Engineering Conference (RE), 2012, Chicago. 2012 20th IEEE International Requirements Engineering Conference (RE), 2012. p. 297-302.

21.
Casimiro, A. ; MENDIZABAL, O. M. ; Veríssimo, P. . On the Development of Dependable Embedded Applications Using Specialized Wormholes. In: 3rd International Workshop on Dependable Embedded Systems (WDES'06), 2006, Leeds. 3rd Workshop on Dependable Embedded Systems, 2006.

22.
MENDIZABAL, O. M.; DOTTI, Fernando Luís . Non-Functional Analysis of Distributed Systems in Unreliable Environments using Stochastic Object Based Graph Grammars. In: Third International Conference on Graph Transformation (ICGT), 2005, Natal. Proceedings of. Heidelberg, 2005. v. 4178. p. 80-100.

23.
OLIVEIRA, Vinicius M ; CALHEIROS, Rodrigo Neves ; MENDIZABAL, O. M. ; MEINHARDT, Cristina . Aplicação de Processamento Paralelo e Distribuído na Robótica. In: ERAD - Escola Regional de Alto Desempenho, 2003, Santa Maria. ERAD 2003 - Terceira Escola Regional de Alto Desempenho, 2003. p. 245-248.

24.
MENDIZABAL, O. M.; MEINHARDT, Cristina ; PEDONE, Fernando ; DUARTE FILHO, Nelson Lopes . Inserindo Tolerância a Falhas em Bancos de Dados. In: CRICTE - Congresso Regional de Iniciação Científica e Tecnológica, 2003, Itajaí, SC. XVIII Congresso Regional de Iniciação Científica e Tecnológica, 2003.

25.
MEINHARDT, Cristina ; MENDIZABAL, O. M. ; ALMEIDA, Cleuza ; ALMEIDA, Tabajara Lucas de . Sistema Estatístico de Controle de Dados Acadêmicos da FURG - 1991-2003. In: CRICTE - Congresso Regional de Iniciação Científica e Tecnológica, 2003, Itajaí, SC. XVIII Congresso Regional de Iniciação Científica e Tecnológica, 2003.

Resumos publicados em anais de congressos
1.
POPIOLEK, P. ; MACHADO, K. S. ; MENDIZABAL, O. M. . Redução de sobrecarga gerada pelo uso de contadores de desempenho em ambientes virtualizados. In: ERADRS - Escola Regional de Alto Desempenho RS, 2018, Porto Alegre. ERADRS - Escola Regional de Alto Desempenho RS, 2018. v. 1. p. 1-2.

2.
PEREIRA, P. ; MULLER, R. H. ; MENDIZABAL, O. M. . Avaliação de Desempenho de Bibliotecas Java para o Protocolo Paxos. In: ERADRS - Escola Regional de Alto Desempenho RS, 2018, Porto Alegre. ERADRS - Escola Regional de Alto Desempenho RS, 2018. v. 1. p. 1-4.

3.
RODRIGUES, A. M. ; MENDIZABAL, O. M. . Sistema para Execução Paralela de Triagens Virtuais. In: MPU - Mostra da Produção Universitária, 2017, Rio Grande. 16ª Mostra da Produção Universitária, 2017. v. 1. p. 1-2.

4.
GOMES JUNIOR, E. A. ; MENDIZABAL, O. M. . Verificação de um protocolo para Replicação Máquina de Estados paralela. In: MPU - Mostra da Produção Universitária, 2017, Rio Grande. 16ª Mostra da Produção Universitária, 2017. v. 1. p. 1-2.

5.
GONCALVES, G. I. P. ; MENDIZABAL, O. M. . Estudo de Algoritmos de Consenso em Sistemas de Moedas Virtuais. In: MPU - Mostra da Produção Universitária, 2017, Rio Grande. 16ª Mostra da Produção Universitária, 2017. v. 1. p. 1-2.

6.
POPIOLEK, P. ; MACHADO, K. S. ; MENDIZABAL, O. M. . Seleção de contadores de desempenho em sistemas computacionais. In: MPU - Mostra da Produção Universitária, 2017, Rio Grande. 16ª Mostra da Produção Universitária, 2017. v. 1. p. 1-2.

7.
MULLER, R. H. ; MENDIZABAL, O. M. . Proposta de um arcabouço para desenvolvimento de aplicações com Replicação Máquina de Estados. In: MPU - Mostra da Produção Universitária, 2017, Rio Grande. 16ª Mostra da Produção Universitária, 2017. v. 1. p. 1-2.

8.
SILVA, D. D. ; MENDIZABAL, O. M. . Configuração e Análise de Desempenho de Aglomerados Computacionais. In: MPU - Mostra da Produção Universitária, 2017, Rio Grande. 16ª Mostra da Produção Universitária, 2017. v. 1. p. 1-2.

9.
MENDIZABAL, ODORICO M.; DOTTI, Fernando Luís ; PEDONE, Fernando . Analysis of checkpointing overhead in parallel state machine replication. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press, 2016. v. 1. p. 534-537.

10.
MULLER, R. H. ; MENDIZABAL, O . Geração de Carga para Processamento de Transações Online Usando TPC-C. In: MPU - Mostra da Produção Universitária, 2012, Rio Grande. MPU - Mostra da Produção Universitária, 2012.

11.
GIL, J. P. S. ; VARGAS, André Prisco ; MENDIZABAL, O . Suprte a Comunicação em Grupo para Dispositivos Móveis Utilizando Wi-Fi. In: MPU - Mostra da Produção Universitária, 2012, Rio Grande. MPU - Mostra da Produção Universitária, 2012.

12.
POPIOLEK, P. ; MENDIZABAL, O . Virtualização de Servidores: Monitoramento de Recursos e Análise de Desempenho. In: MPU - Mostra da Produção Universitária, 2012, Rio Grande. MPU - Mostra da Produção Universitária, 2012.

13.
POPIOLEK, P. ; MENDIZABAL, O. M. . Gerência Dinâmica de Máquinas Virtuais para Computação em Nuvem. In: 10ª Mostra de Produção Universitária, 2011, Rio Grande. 10ª Mostra de Produção Universitária, 2011.

14.
JACOBI, E. B. ; HAX, V. A. ; Tyska, J. C ; DUARTE FILHO, Nelson Lopes ; MENDIZABAL, O. M. . Implementação de uma Infraestrutura para Nuvem Computacional. In: 10ª Mostra de Produção Universitária, 2011, Rio Grande. 10ª Mostra de Produção Universitária, 2011.

15.
WIECZOREK, I. A. ; MENDIZABAL, O. M. ; MEINHARDT, Cristina . Elicitação de Requisitos para o Desenvolvimento de Ferramentas Educacionais para o Ensino de Organização e arquitetura de Computadores. In: 10ª Mostra de Produção Universitária, 2011, Rio Grande. 10ª Mostra de Produção Universitária, 2011.

16.
LIBARDONI, M. ; VARGAS, André Prisco ; MENDIZABAL, O. M. . Estudo de Tecnologias para Dispositivos Móveis. In: 10ª Mostra de Produção Universitária, 2011, Rio Grande. 10ª Mostra de Produção Universitária, 2011.

17.
VELLOSO, Bruno P ; MADSEN, Carlos Alberto Barros C W ; MENDIZABAL, O. M. ; PEREIRA, Juliana Machado ; LAURINO, Débora P ; RODRIGUES, Sheyla Costa . Atualização e Implementação do AVA Mathemolhes. In: CRICTE - Congresso Regional de Iniciação Científica e Tecnológica, 2003, Itajaí, SC. XVIII Congresso Regional de Iniciação Científica e Tecnológica, 2003.

18.
MENDIZABAL, O. M.; VARGAS, André Prisco ; MADSEN, Carlos Alberto Barros C W ; SANTOS, Arion de Castro Kurtz dos . MODELCIÊNCIAS - SISTEMA PARA A FORMAÇÃO DE PROFESSORES ATRAVÉS DA MODELAGEM COMPUTACIONAL SEMIQUANTITATIVA E QUANTITATIVA NA EDUCAÇÃO. In: CRICTE, 2002, Passo Fundo - RS. XVII Congresso regional de iniciação científica e tecnoçógica em engenharia e III feira de protótipos, 2002.

19.
MEINHARDT, Cristina ; MENDIZABAL, O. M. ; ALMEIDA, Cleuza ; ALMEIDA, Tabajara Lucas de . SECA - Sistema Estatístico de Controle Acadêmico da FURG. In: XVII Congresso regional de iniciação científica e tecnológica em engenharia e III feira de protótipos, 2002, Passo Fundo - RS. XVII Congresso regional de iniciação científica e tecnológica em engenharia e III feira de protótipos, 2002.

20.
MEINHARDT, Cristina ; MENDIZABAL, O. M. ; ALMEIDA, Tabajara Lucas de ; ALMEIDA, Cleuza . Implementação e Automação de um Sistema Estatístico para os Dados Acadêmicos da FURG - 2002. In: CIC - Congresso de Iniciação Científica, 2002, Rio Grande. Rio Grande, 2002.

21.
MEINHARDT, Cristina ; MENDIZABAL, O. M. ; ALMEIDA, Tabajara Lucas de ; ALMEIDA, Cleuza . Sistema Estatístico de Controle de Dados Acadêmicos da FURG - ano 1985-2001. In: Mostra da Produção Universitária, 2002, Rio Grande. I Mostra da Produção Universitária/FURG. Rio Grande: Editora da FURG, 2002. p. 42-42.

22.
VARGAS, André Prisco ; MADSEN, Carlos Alberto Barros C W ; MENDIZABAL, O. M. ; SANTOS, Arion de Castro Kurtz dos . Desenvolvimento de um Software de Modelagem Semiquantitativa Utilizando JAVA. In: Mostra da Produção Universitária, 2002, Rio Grande. I Mostra da Produção Universitária/FURG. Rio Grande: Editora da FURG, 2002. p. 84-84.

23.
MENDIZABAL, O. M.; VARGAS, André Prisco ; SANTOS, Arion de Castro Kurtz dos ; MADSEN, Carlos Alberto Barros C W . MODELCIÊNCIAS - Portal para a formação de professores através da modelagem computacional. In: Mostra da Produção Universitária, 2002, Rio Grande. I Mostra da Produção Científica. Rio Grande: Editora da FURG, 2002. p. 394-394.

24.
MENDIZABAL, O. M.; MEINHARDT, Cristina ; ALMEIDA, Tabajara Lucas de ; ALMEIDA, Cleuza . Implementação e automação de um sistema estatístico para o curso de Engenharia de Computação -FURG. In: CIC - Congresso de Iniciação Científica, 2001, Pelotas, 2001.

25.
MENDIZABAL, O. M.; MEINHARDT, Cristina ; ALMEIDA, Tabajara Lucas de ; ALMEIDA, Cleuza . Implementação e automação de um sistema estatístico para controle de dados acadêmicos. In: CIC - Congresso de Iniciação Científica, 2000, Pelotas, 2000.

Apresentações de Trabalho
1.
MENDIZABAL, O. M.; MOURA, R. S. T. ; DOTTI, F ; PEDONE, Fernando . Efficient and Deterministic Scheduling for Parallel State Machine Replication. 2017. (Apresentação de Trabalho/Simpósio).

2.
MENDIZABAL, O. M.; DOTTI, F. ; PEDONE, Fernando . High performance recovery for parallel state machine replication. 2017. (Apresentação de Trabalho/Conferência ou palestra).

3.
MENDIZABAL, O. M.. Verificação de Modelos com Spin. 2017. (Apresentação de Trabalho/Outra).

4.
POPIOLEK, P. ; MACHADO, K. S. ; MENDIZABAL, O. M. . Identificação de custos computacionais causados por contadores de desempenho. 2017. (Apresentação de Trabalho/Conferência ou palestra).

5.
MENDIZABAL, O. M.; MARANDI, P. J. ; DOTTI, F. ; PEDONE, Fernando . Checkpointing in Parallel State-Machine Replication. 2014. (Apresentação de Trabalho/Conferência ou palestra).

6.
MENDIZABAL, O. M.. Introdução ao Teste de Desempenho de Software. 2013. (Apresentação de Trabalho/Conferência ou palestra).

7.
MENDIZABAL, O. M.; SPIER, M. ; SAAD, R. . Log-Based Approach for Performance Requirements Elicitation and Prioritization. 2012. (Apresentação de Trabalho/Conferência ou palestra).

8.
MENDIZABAL, O. M.. Introdução ao Teste de desempenho de Software. 2011. (Apresentação de Trabalho/Conferência ou palestra).

9.
MENDIZABAL, O. M.. Application Tuning: A log-based Approach. 2008. (Apresentação de Trabalho/Conferência ou palestra).

10.
MENDIZABAL, O. M.; Casimiro, A. ; Veríssimo, P. . Dependable Middleware for Unpredictable Environments. 2006. (Apresentação de Trabalho/Seminário).

11.
MENDIZABAL, O. M.; DOTTI, Fernando Luís ; RIBEIRO, L . Stochastic Object-Based Graph Grammars. 2005. (Apresentação de Trabalho/Simpósio).

12.
MEINHARDT, Cristina ; MENDIZABAL, O. M. ; BOTELHO, S. . Estudando Arquiteturas RISC-MIPS Através de Cross-Compilers: Uma Análise Comparativa. 2004. (Apresentação de Trabalho/Simpósio).

Outras produções bibliográficas
1.
Casimiro, A. ; BONDAVALLI, A. ; CECCARELLI, A. ; Daidone A. ; FALAI L. ; FREJEK P. ; GIANDOMENICO F. ; G. Huszerl ; KILLIJAN M-O. ; A. Kövi ; Matthiesen E. V. ; MENDIZABAL, O. M. ; MONIZ H. ; RENIER T. ; ROY M. . Resilient Architecture (preliminary version) 2007 (Technical Report).


Produção técnica
Programas de computador sem registro
1.
VARGAS, André Prisco ; MENDIZABAL, O. M. ; MADSEN, Carlos Alberto Barros C W ; SANTOS, Arion de Castro Kurtz dos . ModelCiências: Portal do projeto 'Modelagem Computacional Semiquantitativa e Quantitativa na Educação em Ciências. 2003.


Demais tipos de produção técnica
1.
MENDIZABAL, O. M.. FMEC 2018 - The 3rd IEEE International Conference on Fog and Mobile Edge Computing. 2018. (Membro de Comitê de Programa).

2.
MENDIZABAL, O. M.. ERAD/RS 2018 - XVIII Escola Regional de Alto Desempenho. 2018. (Membro de Comitê de Programa).

3.
MENDIZABAL, O. M.. WEIT - IV Workshop-Escola de Informática Teórica. 2017. (Membro de Comitê de Programa).

4.
MENDIZABAL, O. M.. MECC - The 2nd Middleware for Edge Clouds & Cloudlets. 2017. (Membro de Comitê de Programa).

5.
MENDIZABAL, O. M.. FMEC 2017 - The 2nd International Conference on Fog and Mobile Edge Computing. 2017. (Membro de Comitê de Programa).

6.
MENDIZABAL, O. M.. SBRC - XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2017. (Membro de Comitê de Programa).

7.
MENDIZABAL, O. M.. MECC - The 1st Workshop on Middleware for Edge Clouds & Cloudlets. 2016. (Membro de Comitê de Programa).

8.
MENDIZABAL, O. M.. WEIT - III Workshop-Escola de Informática Teórica. 2015. (Membro de Comitê de Programa).

9.
MENDIZABAL, O. M.. SBRC - XXXIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2015. (Membro de Comitê de Programa).

10.
MENDIZABAL, O. M.. SBRC - XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2014. (Membro de Comitê de Programa).

11.
MENDIZABAL, O. M.. WEIT - II Workshop-Escola de Informática Teórica. 2013. (Membro de Comitê de Programa).

12.
MENDIZABAL, O. M.. SBRC - XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2013. (Membro de Comitê de Programa).

13.
MENDIZABAL, O. M.. Escola Regional de Redes de Computadores. 2012. (Membro de Comitê de Programa).

14.
MENDIZABAL, O. M.. WEIT - I Workshop-Escola de Informática Teórica. 2011. (Membro de Comitê de Programa).

15.
MENDIZABAL, O. M.. JGroups - Desenvolvimento de Sistemas Distribuídos com uso de Comunicação em Grupo. 2005. (Curso de curta duração ministrado/Extensão).

16.
MENDIZABAL, O. M.. Curso de C Avançado. 2002. (Curso de curta duração ministrado/Extensão).

17.
MENDIZABAL, O. M.. Curso de C++. 2002. (Curso de curta duração ministrado/Extensão).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
WERHLI, A. V.; SANTOS, T. C. W.; MACHADO, K. S.; MENDIZABAL, O. M.. Participação em banca de Pedro Freire Popiolek. Redução de sobrecarga de monitoramento em ambientes virtualizados através da seleção de contadores de desempenho. 2018. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande.

2.
BUTZEN, P. F.; FRANCO, D. T.; MENDIZABAL, O. M.; BALEN, T.. Participação em banca de Gabriel Soares Porto. Uma Análise sobre a eficiência de ATPGs Híbridos. 2018. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande.

3.
REISER, R. H. S.; YAMIN, A. C.; PERNAS, A. M.; MENDIZABAL, O. M.. Participação em banca de Bruno Moura Paz de Moura. Empregando a Lógica Fuzzy para o Escalonamento de Tarefas em Grades Computacionais Considerando o Regime de Incerteza. 2017. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

4.
CAVALHEIRO, G.; YAMIN, A. C.; MENDIZABAL, O. M.. Participação em banca de Fernando Angelin. Avaliação Mista de Aplicações do Tipo Bag of Tasks sobre Infraestruturas de Nuvem Física Limitada e Virtual Escalada com a Utilização do OpenStack e do CloudSim. 2017. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Qualificações de Mestrado
1.
REIS, R. A. L.; MENDIZABAL, O. M.; MEINHARDT, C.; BUTZEN, P. F.. Participação em banca de Jacques de Jesus Figueiredo Schmitz. Explorando paralelismo e o processo de Rip-up and Re-route em Roteadores Globais. 2018. Exame de qualificação (Mestrando em Engenharia de Computação) - Universidade Federal do Rio Grande.

Trabalhos de conclusão de curso de graduação
1.
MENDIZABAL, O. M.; GERVINI, V. I.; MENDIZABAL, O. M.. Participação em banca de Luiz Henrique Martins Alves.Desenvolvimento de um Sistema de Automação para Suspensão Veicular. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

2.
Marcos, P. B.; MENDIZABAL, O. M.; Oliveira, R. R.. Participação em banca de Fernando Brenner.Viabilizando a mitigação de ataques de DDoS em IXPs definidos por software através de agregação de endereços IP. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

3.
Marcos, P. B.; MENDIZABAL, O. M.; BILLA, C. Z.. Participação em banca de Andressa da Cruz Freitas.DynamIX-SIM: um simulador de mercados de acordos dinâmicos de interconexão em IXP. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

4.
MENDIZABAL, O. M.; MACHADO, K. S.; SANTOS, R. A. P.. Participação em banca de Adriano de Mello Rodrigues.Sistema Distribuído para Execução Paralela de Triagens Virtuais. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

5.
MENDIZABAL, O. M.; WERHLI, A. V.; POPIOLEK, P.. Participação em banca de Daniel Dias da Silva.Configuração e Análise de Desempenho de um Aglomerado Computacional do Tipo Beowulf. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

6.
MENDIZABAL, O. M.; ESTRADA, E. S. D.; BILLA, C. Z.. Participação em banca de Everaldo de Avila Gomes Junior.Verificação de um protocolo para Replicação Máquina de Estados Paralela. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

7.
MENDIZABAL, O. M.; DUARTE FILHO, Nelson Lopes; ADAMATTI, D. F.. Participação em banca de Rodrigo Herpich Müller.Arcabouço para desenvolvimento de aplicações utilizando Replicação Máquina de Estados. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Rio Grande.

8.
MENDIZABAL, O. M.; MEINHARDT, Cristina; ADAMATTI, D. F.. Participação em banca de Gibran Irizaga Pereira Gonçalves.Estudo de Algoritmos de Consenso em Sistemas Baseados em Blockchain. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Rio Grande.

9.
DIMURO, G. P.; BILLA, C. Z.; GONCALVES, E. M. N.; MENDIZABAL, O. M.. Participação em banca de Henrique Donâncio Nunes Rodrigues.Um Modelo de Reputação Fuzzy de Dimensão Variável. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande.

10.
Marcos, P. B.; MENDIZABAL, O. M.; Oliveira, R. R.. Participação em banca de Douglas Silva Vaghetti e Hallan Neves.Mitigando ataques de negação de serviço através de pontos de troca de tráfego definidos por software. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

11.
Rosa, V. S.; MENDIZABAL, O. M.; Mota, F. P.. Participação em banca de Matheus Müller dos Santos.Análise de vulnerabilidade na comunicação de sistemas ciber-físicos: um estudo de caso do projeto Sapiens. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

12.
VARGAS, André Prisco; MENDIZABAL, O. M.; Marcos, P. B.. Participação em banca de Iago Mendes Fucolo e Otávio Kerstner Niemczewski.Explorando Algoritmos de Reputação em Busca de Confiabilidade em Computação Voluntária. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande.

13.
MENDIZABAL, O. M.; EMMENDORFER, L.; MARQUES, W. C.. Participação em banca de Leonardo Fagundes de Mello.Desenvolvimento de um Modelo de Óleo Baseado na Visão Lagrangeana de Partículas. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande.

14.
ADAMATTI, D. F.; MENDIZABAL, O. M.; PAULO,. Participação em banca de Alexander Gularte e Camila Thomasi.M-BRISK: Uma adaptação do algoritmo BRISK para dispositivos móveis. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande.

15.
DUARTE FILHO, Nelson Lopes; MENDIZABAL, O. M.; ADAMATTI, D. F.. Participação em banca de Mitchel S. Felske.Desafios Computacionais dos Massively Multiplayer Online Games: um experimento sobre a plataforma SIM3D. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande.

16.
Dolci, D. B.; MENDIZABAL, O. M.; OLIVEIRA, Vinicius M. Participação em banca de Rafael de Paula Souza.Bluetooth Zone: Uma Solução em Tecnologia da Informação para Marketing Móvel. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande.



Participação em bancas de comissões julgadoras
Concurso público
1.
DUARTE FILHO, Nelson Lopes; MACHADO, K. S.; MENDIZABAL, O. M.. Concurso para Professor Substituto. Área de conhecimento: Sistemas Operacionais e Redes de Computadores. 2011. Universidade Federal do Rio Grande.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Iberchip - Iberchip Workshop. Identificação de custos computacionais causados por contadores de desempenho. 2017. (Congresso).

2.
ICDCS - International Conference on Distributed Computing Systems. High performance recovery for parallel state machine replication. 2017. (Congresso).

3.
IPDPS - IEEE International Parallel & Distributed Processing Symposium.Efficient and Deterministic Scheduling for Parallel State Machine Replication. 2017. (Simpósio).

4.
OPODIS - International Conference on Principles of Distributed Systems. Checkpointing in Parallel State-Machine Replication. 2014. (Congresso).

5.
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.A study on substrate network synchrony demands to support hybrid synchrony virtual networks. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2014. (Simpósio).

6.
IEEE International Requirements Engineering Conference (RE). Log-Based Approach for Performance Requirements Elicitation and Prioritization. 2012. (Congresso).

7.
CRICTE 2010 - Congresso Regional de Iniciação Científica e Tecnológica em Engenharia. CRICTE 2010 - Congresso Regional de Iniciação Científica e Tecnológica em Engenharia. 2010. (Congresso).

8.
MCSul 2010 - Simpósio de Modelagem Computacional do Sul. 2010. (Simpósio).

9.
MPU 2010 - Mostra de Produção Universitária.MPU 2010. 2010. (Simpósio).

10.
6° Fórum Internacional do Software Livre. 2005. (Congresso).

11.
Simpósio Brasileiro de Métodos Formais.Stochastic Object-Based Graph Grammars. 2005. (Simpósio).

12.
ERAD - Escola Regional de Alto Desempenho. ERAD 2004. 2004. (Congresso).

13.
ERAD - Escola Regional de Alto Desempenho. ERAD 2003 - Escola Regional de Alto Desempenho. 2003. (Congresso).

14.
IV Fórum Internacional do Software Livre. 2003. (Congresso).

15.
SIM - 18th South Symposium on Microelectronics. 2003. (Simpósio).

16.
XVIII CRICTE - Congresso Regional de Iniciação Científica e Tecnológica em Engenharia. XVIII CRICTE - Congresso Regional de Iniciação Científica e Tecnológica em Engenharia. 2003. (Congresso).

17.
Fórum Internacional do Software Livre. 2002. (Congresso).

18.
III Workshop de sistemas computacionais de Alto Desempenho. 2002. (Oficina).

19.
Semana acadêmica de Engenharia de Computação. 2002. (Oficina).


Organização de eventos, congressos, exposições e feiras
1.
SCHNORR, L. M. ; DANTAS, M. ; PILLON, M. ; CAVALHEIRO, G. ; GRIEBLER, D. ; CARISSIMI, A. ; MENDIZABAL, O. M. ; GEYER, C. ; NAVAUX, P. . XVIII Escola Regional de Alto Desempenho - ERAD 2018. 2017. (Congresso).

2.
YAMIN, A. C. ; MONKS, E. M. ; PINHO, L. B. ; AMARAL, E. H. ; MENDIZABAL, O. M. ; RODRIGUES, S. L. ; MARRONI, F. . Escola Regional de Redes de Computadores. 2012. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Gustavo Lameirão de Lima. Desenvolvimento de um simulador de NoCs em um ambiente multiagente. Início: 2018. Dissertação (Mestrado profissional em Engenharia de Computação) - Universidade Federal do Rio Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Everaldo de Avila Gomes Junior. (A definir). Início: 2018. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande. (Orientador).

3.
Luiz Henrique Martins Alves. (A definir). Início: 2018. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande. (Orientador).

Trabalho de conclusão de curso de graduação
1.
Victor Duarte da Silva. Otimização do Log Aplicado à Replicação Máquina de Estados. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande. (Orientador).

2.
Paola Martins Pereira. Biblioteca para Replicação Transparente de Serviços. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. (Orientador).

Iniciação científica
1.
Luiz Gustavo Coutinho Xavier. (A definir). Início: 2018. Iniciação científica (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Lucas de Angelo Martins Ribeiro. Implementação de padrões de projeto para contratos inteligentes. Início: 2018. Iniciação científica (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Pedro Popiolek. Redução de sobrecarga de monitoramento em ambientes virtualizados através da seleção de contadores de desempenho. 2018. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Odorico Machado Mendizabal.

Trabalho de conclusão de curso de graduação
1.
Rodrigo Herpich Müller. Arcabouço para desenvolvimento de aplicações utilizando Replicação Máquina de Estados. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

2.
Everaldo de Avila Gomes Junior. Verificação de um protocolo para Replicação Máquina de Estados Paralela. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

3.
Gibran Irizaga Pereira Gonçalves. Estudo de Algoritmos de Consenso em Sistemas de Moedas Virtuais. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

4.
Adriano de Mello Rodrigues. Sistema Distribuído para Execução Paralela de Triagens Virtuais. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

5.
Daniel Dias da Silva. Configuração e Análise de Desempenho de um Aglomerados Computacional do Tipo Beowulf. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

6.
João Paulo Salinas. Suporte a comunicação em grupo para dispositivos móveis utilizando Wi-Fi. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

7.
Rafael Senna da Silva e Thyago Salvá. BlueGroups: Middleware para Comunicação em Grupo e Controle de Versão em Dispositivos Móveis. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computacao) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

Iniciação científica
1.
Lucas de Angelo Martins Ribeiro. Estudo e análise de desempenho de anti-patterns. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

2.
Paola Martins Pereira. Avaliação de desempenho do protocolo Paxos. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

3.
Pedro Popiolek. Gerência Dinâmica de Máquinas Virtuais para Computação em Nuvem. 2012. Iniciação Científica. (Graduando em Engenharia de Computacao) - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.

4.
Pedro Freire Popiolek. Gerência Dinâmica de Máquinas Virtuais para Computação em Nuvem. 2011. Iniciação Científica - Universidade Federal do Rio Grande. Orientador: Odorico Machado Mendizabal.




Página gerada pelo Sistema Currículo Lattes em 15/11/2018 às 19:40:34