Eduardo Zambon

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


Possui graduação em Engenharia de Computação e mestrado em Ciência da Computação, ambos pela Universidade Federal do Espírito Santo (UFES), obtidos nos anos de 2003 e 2006, respectivamente. Em 2013, concluiu o doutorado em Ciência da Computação na Universidade de Twente, Holanda. Atuou por um ano e meio como professor do Departamento de Computação e Eletrônica (DCEL) do Centro Universitário Norte do Espírito Santo (CEUNES/UFES) e por um ano e meio como professor do Instituto Federal do Espírito Santo (IFES) - Campus Serra. Atualmente é professor do Departamento de Informática (DI) da Universidade Federal do Espírito Santo (UFES). Sua principal área de pesquisa é em métodos formais, mais especificamente em transformação de grafos e verificação de sistemas. (Texto informado pelo autor)


Identificação


Nome
Eduardo Zambon
Nome em citações bibliográficas
ZAMBON, E.;Zambon, Eduardo

Endereço


Endereço Profissional
Universidade Federal do Espírito Santo, Centro Tecnológico, Departamento de Informática.
Universidade Federal do Espírito Santo
Goiabeiras
29075910 - Vitória, ES - Brasil
Telefone: (27) 40092130
URL da Homepage: www.inf.ufes.br/~zambon


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


2008 - 2013
Doutorado em Ciência da Computação.
University of Twente, UT, Holanda.
Título: Abstract Graph Transformation - Theory and Practice, Ano de obtenção: 2013.
Orientador: Arend Rensink.
Bolsista do(a): Nederlandse Organisatie voor Wetenschappelijk Onderzoek, NWO, Holanda.
Palavras-chave: Transformação de Grafos; Métodos Formais; Verificação de Sistemas.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
2004 - 2006
Mestrado em Informática.
Universidade Federal do Espírito Santo, UFES, Brasil.
Título: Otimização de índices de confiabilidade em redes de distribuição de energia elétrica,Ano de Obtenção: 2006.
Orientador: Berilhes Borges Garcia.
Coorientador: Sérgio Antônio Andrade de Freitas.
Palavras-chave: Pesquisa Operacional; Otimização; Programação Matemática.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas Elétricos de Potência / Especialidade: Transmissão da Energia Elétrica, Distribuição da Energia Elétrica.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação.
1999 - 2003
Graduação em Engenharia de Computação.
Universidade Federal do Espírito Santo, UFES, Brasil.
Título: Uma Plataforma para Desenvolvimento de Robôs de Baixo Custo com Alta Capacidade Computacional: IROBOT.
Orientador: Hans Jorg Andreas Schneebeli.




Atuação Profissional



Universidade Federal do Espírito Santo, UFES, 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

2013 - 2014
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2005 - 2007
Vínculo: Livre, Enquadramento Funcional: Estagiário de Projeto de Pesquisa, Carga horária: 20
Outras informações
Participação nos projetos de pesquisa: RELOC e PERTEC.

Vínculo institucional

2004 - 2005
Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2001 - 2003
Vínculo: Bolsista, Enquadramento Funcional: Atividades de pesquisa e extensão / estágio, Carga horária: 20
Outras informações
Estágio na Equipe de Suporte do Departamento de Informática (DI) - UFES.

Atividades

08/2018 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
08/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estrutura de Dados II
03/2018 - Atual
Conselhos, Comissões e Consultoria, Centro Tecnológico, Departamento de Informática.

Cargo ou função
Membro do Núcleo Docente Estruturante (NDE) do Curso de Engenharia de Computação.
05/2017 - Atual
Serviços técnicos especializados , Centro Tecnológico, Departamento de Informática.

Serviço realizado
Coordenador técnico do Laboratório de Administração de Redes (LAR).
08/2017 - 08/2018
Conselhos, Comissões e Consultoria, Centro Tecnológico, Departamento de Informática.

Cargo ou função
Membro do Colegiado do Curso de Engenharia de Computação.
03/2018 - 07/2018
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Fundamentos da Teoria de Computação
03/2018 - 07/2018
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
08/2017 - 12/2017
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Sistemas Operacionais
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Processos Estocásticos Aplicados à Computação
03/2017 - 07/2017
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Fundamentos da Teoria de Computação
03/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
08/2016 - 12/2016
Ensino, Mestrado em Informática, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Especiais em Informática: Verificação de Sistemas
08/2016 - 12/2016
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Processos Estocásticos Aplicados à Computação
03/2016 - 07/2016
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Fundamentos da Teoria de Computação
03/2016 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
2004 - 2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Processamento de Dados I
Processamento de Dados II
Introdução à Informática
Introdução à Ciência da Computação
Linguagens de Programação I
07/2001 - 10/2003
Estágios , Centro Tecnológico, Departamento de Informática.

Estágio realizado
Estágio na Equipe de Suporte do Departamento de Informática (DI) - UFES..
09/2002 - 09/2003
Treinamentos ministrados , Centro Tecnológico, Departamento de Informática.

Treinamentos ministrados
Atuação como professor no Curso de Linux Avançado (PROINFO) - MEC/UFES
Atuação como monitor no Curso de Técnico de Laboratório (PROINFO) - MEC/UFES

University of Twente, UT, Holanda.
Vínculo institucional

2008 - 2013
Vínculo: Celetista, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

2010 - 2012
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Advanced Logic

Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, IFES, Brasil.
Vínculo institucional

2014 - 2016
Vínculo: , Enquadramento Funcional: Professor Ensino Básico,Técnico e Tecnológico, Carga horária: 40, Regime: Dedicação exclusiva.



Projetos de pesquisa


2008 - 2013
GRAIL - Graphs for Abstract Interpretation of Languages
Descrição: As more and more systems in our everyday environment contain major software parts, and we are depending on such systems more and more (we are counting on them), the importance of the de- pendability of the embedded software is increasing. Unfortunately, there are still very few generally applicable methods for software verification, i.e., the ensurance of its correct functioning under all circumstances. Reasons for this are, one the one hand, the degree of expertise necessary for existing verification methods, and on the other, their poor embedding in the average software development trajectory. An important practical objection is, moreover, that current verification methods typically assume the existence of a sufficiently detailed and precise model of system behaviour. In practice such models hardly ever exist, and the time and expertise to construct them is missing. Examples of methods that are being used widely in practice are therefore typing and testing, neither of which necessarily depends on the existence of models. In this procect we investigate a new way of automatically verifying software on the basis of code, without assuming a predefined model. The technique used is static analysis, a general principle that encompasses typing; the new aspect is the use of graph transformations to capture the effect of the software. Graphs offer a natural model for the behaviour of dynamic software systems, and at the same time offer the basis for a generic form of static analysis, which can be driven by the properties to be verified..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Eduardo Zambon - Integrante / RENSINK, AREND - Coordenador.
2007 - 2009
Ajuste no Cálculo de Perdas Técnicas a partir de Estimativa de Perdas Comerciais
Descrição: O problema abordado nesse projeto de pesquisa diz respeito ao cálculo de perdas técnicas em sistemas de distribuição de energia elétrica. O que se pretende é desenvolver uma metodologia para levar em conta as perdas comerciais no cálculo da perda técnica. Para que essa metodologia possa ser mais efetiva é necessário obter funções que estimem as perdas comerciais em cada alimentador. Contudo, essas funções são desconhecidas e necessitam ser aproximadas através de técnicas como redes neurais ou sistemas nebulosos aplicadas sobre estimativas de perdas obtidas de dados históricos de inspeções..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Eduardo Zambon - Integrante / Flávio Miguel Varejão - Coordenador.
2005 - 2007
Otimização de Dispositivos de Proteção Instalados na Rede de 15 kV
Descrição: Projeto de pesquisa da Universidade Federal do Espírito Santo, financiado pela ESCELSA - Espírito Santo Centrais Elétricas S.A, que tem como objetivo estudar técnicas para a alocação automática e interativa de equipamentos de proteção na rede de distribuição de energia elétrica. Estão sendo estudadas técnicas de simulação, meta-heurísticas e programação matemática..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Eduardo Zambon - Integrante / Berilhes Borges Garcia - Coordenador / Flávio Miguel Varejão - Integrante / Sergio Antônio Andrade de Freitas - Integrante.Financiador(es): Espírito Santo Centrais Elétricas S.A. - Auxílio financeiro.


Áreas de atuação


1.
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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
3.
Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Holandês
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2012
Prêmio de melhor artigo publicado na conferência ICGT 2012, European Association for Theoretical Computer Science (EATCS).


Produções



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

1.
GHAMARIAN, AMIR HOSSEIN2012 GHAMARIAN, AMIR HOSSEIN ; MOL, MAARTEN ; RENSINK, AREND ; Zambon, Eduardo ; ZIMAKOVA, MARIA . Modelling and analysis using GROOVE. International Journal on Software Tools for Technology Transfer (Internet), v. 14, p. 15-40, 2012.

2.
Zambon, Eduardo2012 Zambon, Eduardo; RENSINK, AREND . Graph Subsumption in Abstract State Space Exploration. Electronic Proceedings in Theoretical Computer Science, v. 99, p. 35-49, 2012.

3.
GHAMARIAN, AMIR HOSSEIN2011GHAMARIAN, AMIR HOSSEIN ; DE MOL, MAARTEN ; RENSINK, AREND ; Zambon, Eduardo . Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. Electronic Proceedings in Theoretical Computer Science, v. 74, p. 215-222, 2011.

4.
RENSINK, AREND2011RENSINK, AREND ; Zambon, Eduardo . Solving the TTC 2011 Compiler Optimization Case with GROOVE. Electronic Proceedings in Theoretical Computer Science, v. 74, p. 126-130, 2011.

5.
ZAMBON, E.2009 ZAMBON, E.; BOSSOIS, D. Z. ; GARCIA, B. B. ; AZEREDO, E. F. . A Novel Nonlinear Programming Model for Distribution Protection Optimization. IEEE Transactions on Power Delivery, v. 24, p. 1951-1958, 2009.

Livros publicados/organizados ou edições
1.
Zambon, Eduardo. Abstract Graph Transformation - Theory and Practice. 239. ed. Enschede: Centre for Telematics and Information Technology, University of Twente, 2013. v. 1. 162p .

Capítulos de livros publicados
1.
Zambon, Eduardo; RENSINK, AREND . Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. In: Müller P.; Schaefer I.. (Org.). Principled Software Development. 1ed.Suíça: Springer International Publishing, 2018, v. , p. 305-323.

Trabalhos completos publicados em anais de congressos
1.
BALDI, ALESSANDRO M. ; COSTA, PATRICIA DOCKHORN ; Zambon, Eduardo ; ALMEIDA, JOAO PAULO A. . Situations in Simulations: An Initial Appraisal. In: 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA), 2018, Boston. 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA). Boston, EUA: IEEE, 2018. p. 90-96.

2.
BALDI, A. M. ; Zambon, Eduardo ; COSTA, P. D. ; MONTIEL, E. M. S. . Simulação de Aplicação de Armadilhas no Combate ao Aedes Aegypti. In: Workshop de Informática Médica (WIM), 2017, São Paulo. Anais do 17o. Workshop de Informática Médica, 2017.

3.
Zambon, Eduardo; GUIZZARDI, GIANCARLO . Formal Definition of a General Ontology Pattern Language using a Graph Grammar. In: 2017 Federated Conference on Computer Science and Information Systems, 2017, Prague, Czech Republic, 2017. v. 11. p. 1-10.

4.
JESUS, Y. K. F. ; MARTINELLO, M. ; ZAMBON, E. . DETOX: Detecção de Inconsistências na Política de Segurança Implementada em Firewall Real. In: Workshop de Testes e Tolerância a Falhas (WTF), 2016, Salvador. Anais do WTF 2016 - Workshop de Testes e Tolerância a Falhas. Porto Alegre: SBC, 2016. p. 63-76.

5.
RAMOS, A. ; Zambon, Eduardo ; BOERES, M. C. S. . Aplicação de Métodos de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos. In: Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. Anais do XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016.

6.
ANYZEWSKI, A. ; Zambon, Eduardo ; BOERES, M. C. S. . Estudo Experimental da Aplicação de Isomorfismo de Grafos no Problema de Verificação de Modelos. In: Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. Anais do XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016.

7.
Zambon, Eduardo; RENSINK, AREND . Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. In: International Workshop on Graph Transformation and Visual Modeling Techniques, 2014, Grenoble, França. Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Berlim, Alemanha: European Association of Software Science and Technology (EASST), 2014. v. 67. p. 1-13.

8.
Galvão, Ismênia ; Zambon, Eduardo ; RENSINK, AREND ; Wevers, Lesley ; Aksit, Mehmet . Knowledge-based Graph Exploration Analysis. In: Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE, 2012, Budapeste, Hungria. Lecture Notes in Computer Science - Applications of Graph Transformations with Industrial Relevance. Berlim: Springer Heidelberg, 2012. v. 7233. p. 105-120.

9.
RENSINK, AREND ; Zambon, Eduardo . Pattern-Based Graph Abstraction. In: Sixth International Conference on Graph Transformations (ICGT 2012), 2012, Bremen, Alemanha. Lecture Notes in Computer Science - Graph Transformations. Berlim: Springer Heidelberg, 2012. v. 7562. p. 66-80.

10.
Zambon, Eduardo; RENSINK, AREND . Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations - Doctoral Symposium, 2011, Enschede, Holanda. Electronic Communications of the EASST. Berlim: European Association of Software Science and Technology, 2011. v. 38. p. 1-13.

11.
RENSINK, AREND ; Zambon, Eduardo . Neighbourhood Abstraction in GROOVE. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs), 2011, Enschede, Holanda. Electronic Communications of the EASST. Berlim: European Association of Software Science and Technology, 2011. v. 31. p. 1-13.

12.
RENSINK, AREND ; Zambon, Eduardo . A Type Graph Model for Java Programs. In: IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE, 2009, Lisboa. Lecture Notes in Computer Science - Formal Techniques for Distributed Systems. Berlim: Springer Heidelberg, 2009. v. 5522. p. 237-242.

13.
TRINDADE, D. R. ; ZAMBON, E. ; BOERES, M. C. S. ; VAREJAO, F. M. . Uma Solução para o Problema da Árvore Geradora Mínima Euclidiana Utilizando Triangulação de Delaunay. In: XL Simpósio Brasileiro de Pesquisa Operacional, 2008, João Pessoa, PB. Anais do XL Simpósio Brasileiro de Pesquisa Operacional, 2008. p. 2614-2625.

14.
ZAMBON, E.; BOSSOIS, D. Z. ; GARCIA, B. B. ; AZEREDO, E. F. . Um modelo de programação não-linear binária para otimizar a confiabilidade em redes de distribuição de energia elétrica. In: XXXIX SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2007, Fortaleza. Anais do XXXIX SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2007. v. 1. p. 628-639.

15.
BOSSOIS, D. Z. ; ZAMBON, E. ; GARCIA, B. B. ; AZEREDO, E. F. . Um novo modelo matemático para otimização da confiabilidade em alimentadores. In: II CBEE - Congresso Brasileiro de Eficiência Energética, 2007, Vitória. Anais do II CBEE - Congresso Brasileiro de Eficiência Energética, 2007.

16.
ZAMBORLINI, V. C. ; TRINDADE, D. R. ; ZAMBON, E. ; GARCIA, B. B. ; AZEREDO, E. F. . Otimização da alocação de religadores em larga escala. In: II CBEE - Congresso Brasileiro de Eficiência Energética, 2007, Vitória. Anais do II CBEE - Congresso Brasileiro de Eficiência Energética, 2007.

Resumos expandidos publicados em anais de congressos
1.
Zambon, Eduardo. Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations (ICGT 2010), 2010, Enschede, Holanda. Lecture Notes in Computer Science - Graph Transformations. Berlim: Springer Verlag, 2010. v. 6372. p. 416-418.

Resumos publicados em anais de congressos
1.
ZAMBON, E.; ZAMBORLINI, V. C. ; TRINDADE, D. R. ; GARCIA, B. B. ; AZEREDO, E. F. . Otimizando a alocação de religadores em redes de distribuição de energia elétrica de grande porte. In: XXXIX SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2007, Fortaleza. Anais do XXXIX SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2007. v. 1. p. 2708-2708.

Outras produções bibliográficas
1.
RENSINK, AREND ; Zambon, Eduardo . Proceedings Graphs as Models, 2015. (Prefácio, Pósfacio/Prefácio)>.

2.
Boneva, I. ; Kreiker, J. ; Kurban, M. ; RENSINK, AREND ; Zambon, Eduardo . Graph abstraction and abstract graph transformations (Amended version). Enschede: Centre for Telematics and Information Technology, University of Twente, 2012 (Relatório Técnico).

3.
GHAMARIAN, AMIR HOSSEIN ; DE MOL, MAARTEN ; RENSINK, AREND ; Zambon, Eduardo ; ZIMAKOVA, MARIA . Modelling and Analysis Using GROOVE. Enschede: Centre for Telematics and Information Technology University of Twente, 2010 (Relatório Técnico).

4.
Zambon, Eduardo; RENSINK, AREND . Using Graph Transformations and Graph Abstractions for Software Verification. Enschede: Centre for Telematics and Information Technology University of Twente, 2009 (Relatório Técnico).

5.
RENSINK, AREND ; Zambon, Eduardo . A Type Graph Model for Java Programs. Enschede: Centre for Telematics and Information Technology University of Twente, 2009 (Relatório Técnico).


Produção técnica
Programas de computador sem registro
1.
RENSINK, AREND ; Zambon, Eduardo . GROOVE. 2012.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
VILLACA, R.; MORAES, R. E. N.; Zambon, Eduardo; VERDI, F. L.. Participação em banca de Fernando Ávila Fossi Silveira. Minimização do Conjunto de Observadores para Geração de Matrizes de Tráfego. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.

2.
Zambon, Eduardo; BOERES, M. C. S.; MAURI, G. R.; Ochi, Luiz Satoru. Participação em banca de Alessandra Silva Anyzewski. Estudo Experimental da Aplicação do Algoritmo IVL na Etapa de Detecção de Isomorfismos do GROOVE. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

3.
BOERES, M. C. S.; CATABRIGA, L.; REIS JUNIOR, N. C.; PINHEIRO, I.; Zambon, Eduardo. Participação em banca de Marcelo Torres Pereira Carrion. An Experimental Study of the Geometric and Algebraic Multigrid Strategies. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

4.
Zambon, Eduardo; BOERES, M. C. S.; RESENDO, L. C.. Participação em banca de Alexandro Souza Ramos. Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

5.
MARTINELLO, M.; Zambon, Eduardo; NIGAM, V.; VILLACA, R.. Participação em banca de Ygor Kiefer Follador de Jesus. Análise e Detecção de Inconsistências em Políticas de Segurança - Um Estudo Prático com Firewalls. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

6.
RENSINK, AREND; Zambon, Eduardo; BLOM, S. C. C.. Participação em banca de Gijs Kant. Distributed State Space Generation for Graphs up to Isomorphism. 2010. Dissertação (Mestrado em Computer Science) - University of Twente.

Teses de doutorado
1.
KROHLING, R. A.; BARBOSA, H. J. C.; TINOS, R.; GONCALVES, C. S. B.; Zambon, Eduardo. Participação em banca de Mauro Cesar Martins Campos. Development of an Entropy-Based Swarm Algorithm for Continuous Dynamic Constrained Optimization. 2017. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo.

2.
KROHLING, R. A.; ZUBEN, F. J. V.; COELHO, G. P.; GONCALVES, C. S. B.; ZAMBON, E.. Participação em banca de Rodolfo Lourenzutti Torres de Oliveira. Multi-Criteria Decision Making With Heterogeneous Information and Criteria Interaction in Dynamic Environments. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo.

Trabalhos de conclusão de curso de graduação
1.
SANTOS, C. A. S.; GUIMARAES, R. L.; Zambon, Eduardo; LUCAS, J. E.. Participação em banca de Marco Aurélio Brunoro Thomé.Estudo da viabilidade do uso de dispositivos Bluetooth Low Energy para a construção de sistemas de localização. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

2.
RANGEL, M. C.; BOERES, M. C. S.; Zambon, Eduardo. Participação em banca de Worlen Augusto Gomes.Um Estudo de Algoritmo Genético com Busca Local 2-opt Aplicado ao Problema do Caixeiro Viajante Assimétrico. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

3.
Zambon, Eduardo; GARCIA, B. B.; COSTA, P. D.. Participação em banca de Jeferson de Oliveira Batista.Análise Estática de Código em C Utilizando Métodos Formais. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

4.
Zambon, Eduardo; BOERES, M. C. S.; RANGEL, M. C.. Participação em banca de Vitor Fontana Zanotelli.Estudo do Problema SAT: Uma Análise de Algoritmos Clássicos Através de sua Implementação em Python. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

5.
COSTA, P. D.; PEREIRA, I. S. A.; Zambon, Eduardo; TEIXEIRA, S.. Participação em banca de Bernardo Sunderhus.Framework de Apoio ao Desenvolvimento de Aplicações Sensíveis a Situações. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

6.
SANTOS, T. O.; PAIXAO, T. M.; Zambon, Eduardo. Participação em banca de Vinicius Ferraço Arruda.Improving cross-domain object detection using unsupervised image-to-image translation: car detection in day to night images. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

7.
PEREIRA FILHO, J. G.; TEIXEIRA, S.; Zambon, Eduardo; BRANCO, A. F.. Participação em banca de Ruan Rocha Martinelli.Terra Gateway e Terra Core: Uma Solução de Suporte ao Desenvolvimento de Aplicações Finais para Redes de Sensores Sem Fio. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

8.
BOERES, M. C. S.; Zambon, Eduardo; MORAES, R. E. N.. Participação em banca de Thiago Anders Imhoff.Estudo Sobre Algoritmos de Menor Caminho para Navegação em Terreno Desconhecido - D* Lite. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

9.
DOMINICINI, C. K.; Zambon, Eduardo; VILLACA, R.; MORAES, R. E. N.. Participação em banca de Rodolfo Vieira Valentim.Orquestração de Funções de Rede Virtualizadas em Data Centers Centrados em Servidores. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

10.
Zambon, Eduardo; SOUZA, V. E. S.; CERAVOLO, I. A.. Participação em banca de Rodolfo Gobbi de Angeli.Aplicação de Metodologias de Teste em um Estudo de Caso Real: o Sistema eSegurado. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

11.
Zambon, Eduardo; Santos Jr., Paulo Sérgio; Passos, Marize L.S.. Participação em banca de Isabella de Albuquerque Ceravolo.Uso de Métricas de Qualidade de Código como Guia para a Refatoração de Software. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

12.
PEREIRA FILHO, J. G.; TEIXEIRA, S.; Zambon, Eduardo; BRANCO, A. F.. Participação em banca de Felipe da Silva Ribeiro.Terra Dia: Uma Solução de Suporte à Atualização Dinâmica de Bytecodes Orientada a Serviço em Redes de Sensores Sem Fio Baseadas em Máquina Virtual. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

13.
LOPES, R. H. C.; ZAMBON, E.; BERGER, M.; FREITAS, S. A. A.. Participação em banca de Almir Dominicini Fernandes.Estudo e Implementação de Algoritmos de Gerencia Básica de Memória. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

14.
LOPES, R. H. C.; ZAMBON, E.; BERGER, M.; BOERES, M. C. S.. Participação em banca de Bruno França Monteiro.Estudo de Melhorias para Algoritmos de Alocação de Memória Física no Linux. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

15.
MARTINELLO, M.; GOMES, R. L.; ZAMBON, E.. Participação em banca de Guilherme Daher Ferreira.Latência de Convergêcia: um indicador para caracterização de enlaces de redes IP. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

16.
Zambon, Eduardo; VAREJAO, F. M.; ALVARENGA, A. G.; BOERES, M. C. S.. Participação em banca de Daniel Ribeiro Trindade.Análise de desempenho e comparação de algoritmos para geração de árvores geradoras mínimas euclidianas. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

17.
Zambon, Eduardo; GARCIA, B. B.; FREITAS, S. A. A.; ALVARENGA, A. G.. Participação em banca de Débora Zupeli Bossois.Geração automática e resolução de problemas de programação matemática para a otimização da confiabilidade em redes de distribuição de energia elétrica. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
First Workshop on Graph Inspection and Traversal Engineering.Graph Subsumption in Abstract State Space Exploration. 2012. (Seminário).

2.
Sixth International Conference on Graph Transformations (ICGT 2012). Pattern-Based Graph Abstraction. 2012. (Congresso).

3.
Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE.Knowledge-based Graph Exploration Analysis. 2011. (Simpósio).

4.
COST Winter School on Verification of Object-Oriented Programs. 2010. (Oficina).

5.
Fifth International Conference on Graph Transformations (ICGT 2010). Using Graph Transformations and Graph Abstractions for Software Verification. 2010. (Congresso).

6.
Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs). Neighbourhood Abstraction in GROOVE. 2010. (Congresso).

7.
Transformation Tool Contest (TTC).Solving the Topology Analysis Case Study with GROOVE. 2010. (Seminário).

8.
Fifth International Workshop on Graph-Based Tools (GraBaTs).Verifying the Leader Election Algorithm in GROOVE. 2009. (Seminário).

9.
IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE. A Type Graph Model for Java Programs. 2009. (Congresso).

10.
NATO Summer School on Logics and Languages for Reliability and Security. 2009. (Oficina).

11.
Fourth International Conference on Graph Transformations (ICGT). 2008. (Congresso).

12.
1 Workshop PROBRAL de Robótica e Inteligência Computacional. 2007. (Outra).

13.
XXXIX SBPO - Simpósio Brasileiro de Pesquisa Operacional.Um modelo de programação não-linear binária para otimizar a confiabilidade em redes de distribuição de energia elétrica. 2007. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
RENSINK, AREND ; Zambon, Eduardo . 1st Graphs as Models (GaM). 2015. (Congresso).

2.
RENSINK, AREND ; Zambon, Eduardo . 5th International Conference on Graph Transformation (ICGT). 2010. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Alessandra Silva Anyzewski. Estudo Experimental da Aplicação do Algoritmo IVL na Etapa de Detecção de Isomorfismos do GROOVE. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . Orientador: Eduardo Zambon.

2.
Alexandro Souza Ramos. Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. Orientador: Eduardo Zambon.

3.
Ygor Kiefer Follador de Jesus. Análise e Detecção de Inconsistências em Políticas de Segurança - Um Estudo Prático com Firewalls. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . Coorientador: Eduardo Zambon.

4.
Gijs Kant. Distributed State Space Generation for Graphs up to Isomorphism. 2010. Dissertação (Mestrado em Computer Science) - University of Twente, . Coorientador: Eduardo Zambon.

Trabalho de conclusão de curso de graduação
1.
Vitor Fontana Zanotelli. Estudo do Problema SAT: Uma Análise de Algoritmos Clássicos Através de sua Implementação em Python. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.

2.
Jeferson de Oliveira Batista. Análise Estática de Código em C Utilizando Métodos Formais. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.

3.
Rodolfo Gobbi de Angeli. Aplicação de Metodologias de Teste em um Estudo de Caso Real: o Sistema eSegurado. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.

4.
Rodolfo Vieira Valentim. Orquestração de Funções de Rede Virtualizadas em Data Centers Centrados em Servidores. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.

5.
Isabella de Albuquerque Ceravolo. Uso de Métricas de Qualidade de Código como Guia para a Refatoração de Software. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Eduardo Zambon.

6.
Débora Zupeli Bossois. Geração automática e resolução de problemas de programação matemática para a otimização da confiabilidade em redes de distribuição de energia elétrica. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.

7.
Daniel Ribeiro Trindade. Análise de desempenho e comparação de algoritmos para geração de árvores geradoras mínimas euclidianas. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.

8.
Almir Dominicini Fernandes. Estudo e Implementação de Algoritmos de Gerência Básica de Memória. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.

9.
Bruno França Monteiro. Estudo de Melhorias para Algoritmos de Alocação de Memória Física no Linux. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo. Orientador: Eduardo Zambon.



Inovação



Programa de computador sem registro
1.
RENSINK, AREND ; Zambon, Eduardo . GROOVE. 2012.



Educação e Popularização de C & T



Programa de Computador sem registro de patente
1.
RENSINK, AREND ; Zambon, Eduardo . GROOVE. 2012.




Página gerada pelo Sistema Currículo Lattes em 17/12/2018 às 18:24:26