Rede de Colaboração
Diretório de grupos de pesquisa

Eduardo Antonio Guimaraes Tavares

mestrado e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2006 e 2009)
(Texto informado pelo autor)

Última atualização do currículo em 17/01/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/1233156130663707
Dados pessoais
NomeEduardo Antonio Guimaraes Tavares
Nome em citações bibliográficasTAVARES, E. A. G.
SexoMasculino

Formação acadêmica/Titulação
2006 - 2009Doutorado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Software Synthesis for Energy-Constrained Hard Real-Time Embedded Systems, Ano de Obtenção: 2009.
Orientador: Paulo Romero Martins Maciel.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
2005 - 2006Mestrado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: A Time Petri Net Based Approach for Software Synthesis in Hard Real-Time Systems with Multiple Processors, Ano de Obtenção: 2006.
Orientador: Paulo Romero Martins Maciel.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
1998 - 2002Graduação em Ciência da Computação .
Universidade Católica de Pernambuco, UNICAP, Brasil.

Atuação profissional
Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional
2009 - 2010 Vínculo: Servidor Público, Enquadramento Funcional: Professsor, Carga horária: 40, Regime: Dedicação exclusiva.
Hewlett-Packard Brasil - Matriz, HP BRASIL, Brasil.
Vínculo institucional
2009 - 2009 Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador
Atividades
2009 - 2009Atividades de Participação em Projeto, Hewlett -Packard Brasil, .
Projetos de pesquisa
Dependability Evaluation and Management of Sustainable Data Centers DESDAC
Faculdades Integradas Barros Melo, FIBAM, Brasil.
Vínculo institucional
2005 - 2009 Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 10
Atividades
02/2005 - AtualEnsino, Sistemas de Informação, Nível: Graduação.
Disciplinas ministradas
Linguages de Programação II (Orientação a Objetos)
Estrutura de Dados
Sistemas Operacionais
Arquitetura de Computadores
Paradigmas de Linguagens de Programação
Introducão à Computação
Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional
2010 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
Vínculo institucional
2005 - 2006 Vínculo: Colaborador, Enquadramento Funcional: Colaborador
Atividades
2008 - 2011Atividades de Participação em Projeto, Centro de Informática, .
Projetos de pesquisa
Modelagem e Avaliação de Sistemas de Eventos Discretos
2005 - 2006Atividades de Participação em Projeto, Centro de Informática, .
Projetos de pesquisa
Ambiente de Desenvolvimento de Sistemas Embutidos Críticos com Restrições Temporais e de Consumo de Energia
ITECI, ITECI, Brasil.
Vínculo institucional
2005 - 2005 Vínculo: Consultor, Enquadramento Funcional: Professor
Atividades
03/2005 - 05/2005Ensino, Certificação Java, Nível: Aperfeiçoamento.
Disciplinas ministradas
Java
NDE, NDE, Brasil.
Vínculo institucional
2004 - 2004 Vínculo: Consultor, Enquadramento Funcional: Profesor
Atividades
03/2004 - 04/2004Ensino, Java Básico e Avançado, Nível: Aperfeiçoamento.
Disciplinas ministradas
Java
BRQ, BRQ, Brasil.
Vínculo institucional
2003 - 2003 Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
02/2003 - 07/2003Serviços técnicos especializados , Desenvolvimento, .
Serviço realizado
Consultor/Analista de Sistemas.
Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
Vínculo institucional
2000 - 2005 Vínculo: Celetista, Enquadramento Funcional: Engenheiro\Arquiteto de Sofware
Atividades
08/2003 - 02/2005Serviços técnicos especializados , Desenvolvimento, .
Serviço realizado
Engenheiro/Arquiteto de Software.
12/2000 - 03/2003Serviços técnicos especializados , Desenvolvimento, .
Serviço realizado
Engenheiro de Software.
WiT, WIT, Brasil.
Vínculo institucional
2000 - 2000 Vínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 40
Elógica/PSINet, ELÓGICA/PSINET, Brasil.
Vínculo institucional
1998 - 2000 Vínculo: Estagiário, Enquadramento Funcional: Suporte Técnico, Carga horária: 20
Atividades
09/1998 - 06/2000Estágios , Suporte, .
Estágio realizado
Suporte Técnico/Administração de Redes.

Projetos de Pesquisa
2009 - 2009Dependability Evaluation and Management of Sustainable Data Centers DESDAC
Descrição: Descrição: Durante os últimos anos, tem se observado um extraordinário crescimento do número, das dimensões e da capacidade dos data centers. É também relevante salientar as diversas características e aspectos que concorrem com a finalidade de se alcançar os altos níveis de disponibilidade nesses sistemas data centers, dentre estes são fundamentais os mecanismos de redundância, as políticas de manutenção e os meios que reduzam a probabilidade do provimento de serviços fora dos níveis de especificação definidos. Dentre estes meios, destacam-se os mecanismos de resfriamento do sistema computacional. Contudo, por outro lado, os sistemas de resfriamento são agentes significativos para o aumento do consumo de energia e conseqüentemente um aspecto relevante a ser considerado com relação à emissão de gás carbônico. Nesse contexto, o projeto DESDAC tem como objetivo o desenvolvimento de uma metodologia de modelagem e de avaliação de confiabilidade e disponibilidade de data centers. O projeto considera a concepção e desenvolvimento de um conjunto de modelos parametrizados que permitam a avaliação de métricas de disponibilidade e confiabilidade dos componentes e sub-sistemas que compreendem os sistemas data centers. Este projeto contempla os sistemas energéticos, o de resfriamento e o computacional (servidores, mecanismos de rede e armazenamento) e suas inter-relações, de maneira que se possam avaliar os efeitos das condições operacionais sobre a disponibilidade deste sistema integrado e dos custos financeiros e ambientais necessários associados.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 3) Doutorado ( 2) .
Integrantes: Paulo Maciel - Coordenador / Bruno Silva - Integrante / Gustavo Callou - Integrante / Nelson Rosa - Integrante / Carlos Julian. M. ARAUJO - Integrante / Erica Souza - Integrante / Eduardo Antonio Guimaraes Tavares - Integrante.
.
2008 - 2011Modelagem e Avaliação de Sistemas de Eventos Discretos
Descrição: principal objetivo deste projeto de pesquisa é o desenvolvimento e aplicação de um conhecimento, modelos, métodos e procedimentos objetivando o estudo de aspectos quantitativos, mais particularmente aqueles com implicações temporais, aos sistemas de eventos discretos...
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Paulo Maciel - Coordenador / Eduardo Antonio Guimaraes Tavares - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2005 - 2006Ambiente de Desenvolvimento de Sistemas Embutidos Críticos com Restrições Temporais e de Consumo de Energia
Descrição: A designação de sistema embutido, ou embarcado, cabe a quaisquer sistemas digitais que estejam incorporados a outros sistemas, com o fim de acrescer ou otimizar funcionalidades. Equipamentos eletro-médico, instrumentação eletrônica, automóveis, aeronaves, telefones, modernos equipamentos eletro-domésticos, todos estes sistemas têm, em maior ou menor grau, um sistema digital embutido que otimiza e implementa algumas funcionalidades que simplesmente não existiam em suas concepções originais. Alguns outros produtos só se tornaram possíveis comercialmente graças ao ato de embutir sistemas computacionais em sua base funcional, como é o caso do telefone celular, sistema de injeção eletrônica, freio ABS e navegação eletrônica de aeronaves. Devido à tamanha diversidade de aplicações, o projeto de sistemas embutidos pode estar sujeito aos mais variados tipos de restrições, incluindo, as restrições temporais, tamanho, peso, consumo de energia, confiabilidade e custo. Novos paradigmas de projeto tiveram de ser criados visando estabelecer ganhos de produtividade e qualidade de projeto. A criação de tais paradigmas e otimizações das técnicas existentes é, em ultima análise, o objetivo da maioria das pesquisas voltadas a sistemas embutidos. O objetivo geral deste projeto é propor uma metodologia formal, e ferramentas de apoio para a geração automática de software para sistemas embutidos de tempo-real críticos, de tal forma que o código resultante satisfaça as propriedades especificadas, assim como as restrições temporais, de consumo de energia e de acesso a recursos compartilhados.. .
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Raimundo Barreto - Integrante / Paulo Maciel - Coordenador / Ricardo Massa Lima - Integrante / Leonardo Barros - Integrante / Angelo Ribeiro - Integrante / Eduardo Antonio Guimaraes Tavares - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

Áreas de atuação

Idiomas
Inglês Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.

Prêmios e títulos
2003Sun Certified Enterprise Architect, Sun.
2002Sun Certified Web Component, Sun.
2002IBM Enterprise Connectivity (with J2EE), IBM.
2001Sun Certified Programmer for Java 2 Plataform, Sun.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. TAVARES, E. A. G. ; MACIEL, P. R. M. ; DALLEGRAVE, P. ; SILVA, B. ; NOGUEIRA, B. ; CALLOU, G. ; CUNHA, P. . Model-driven software synthesis for hard real-time applications with energy constraints. Design Automation for Embedded Systems, v. 1, p. 1-1, 2011.
2. CALLOU, G. ; NOGUEIRA, B. ; CARNEIRO, E. ; ARAUJO, C. J. M. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Energy Consumption and Execution Time Estimation of Embedded System Applications. Microprocessors and Microsystems, v. x, p. x-0, 2010.
3. NOGUEIRA, B. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; CARNEIRO, E. ; LIMA, R. M. ; CALLOU, G. ; FERRAZ, R. . A Formal Model for Performance and Energy Evaluation of Embedded Systems. Eurasip Journal on Embedded Systems, v. N/A, p. 1-0, 2010.
4. NOGUEIRA, B. ; MACIEL, P. R. M. ; CALLOU, G. ; CARNEIRO, E. ; TAVARES, E. A. G. . ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados. Revista de Informática Teórica e Aplicada, v. XVI, p. 1-0, 2009.
5.   TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. ; OLIVEIRA JUNIOR, M. N. . Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. Information Processing Letters, v. 108, p. 50-59, 2008.
6.   TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. . Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. Microprocessors and Microsystems, v. 1, p. 1, 2008.
7. CALLOU, G. ; MACIEL, P. R. M. ; CARNEIRO, E. ; NOGUEIRA, B. ; TAVARES, E. A. G. . . Estimation of Energy Consumption and Execution Time in Early Phases of Design LifecycleLifecycle: an Application to Biomedical Systems. Electronics Letters, v. 1, p. 1, 2008.
8. TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. ; OLIVEIRA JUNIOR, M. N. ; Rafael Rodrigues . Modeling and Scheduling Hard Real-Time Biomedical Systems with Timing and Energy Constraints. Electronics Letters, v. 43, p. 1015-1017, 2007.
9. TAVARES, E. A. G. ; BARRETO, R. S. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARROS, L. ; ROCHA, F. ; LIMA, R. M. . Software Synthesis for Hard Real-Time Embedded Systems with Multiple Processors. Software Engineering Notes, v. 32, p. 1-10, 2007.
10. OLIVEIRA, F. ; LIMA, R. M. ; CONELIO, M. ; SERGIO, S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. . CML: C Modeling Language. Journal of Universal Computer Science. Journal of Universal Computer Science (Online), v. 13, p. 682, 2007.
11. BARROS, L. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. ; TAVARES, E. A. G. . Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. Software Engineering Notes, v. 31, p. 1-25, 2006.
12. BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; FREITAS, R. ; OLIVEIRA JUNIOR, M. N. ; LIMA, R. M. . A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis. Design Automation for Embedded Systems, v. 12, p. 1-10, 2006.
Livros publicados/organizados ou edições
1.   TAVARES, E. A. G. . Software Synthesis for Energy-Constrained Hard Real-Time Systems: A Petri net-based approach. 0. ed. Herstellung: LAMBERT Academic Publishing, 2011. v. 0. 227 p.
Capítulos de livros publicados
1. CALLOU, G. ; MACIEL, P. R. M. ; CARNEIRO, E. ; NOGUEIRA, B. ; TAVARES, E. A. G. ; ARAUJO, C. J. M. . Estimating Energy Consumption and Execution Time of Embedded System Applications. Advances in Energy Research. Nova Publishers: , 2010, v. 1, p. -.
2. BARROS, L. ; BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. . On the Use of TPN and LSC for Embedded Hard Real-Time Software Synthesis. Embedded Systems: Status and Perspective. : American Scientific publishers, 2007, v. , p. -.
Trabalhos completos publicados em anais de congressos
1. TAVARES, E. A. G. ; ALEIXO, J. ; MACIEL, P. R. M. ; HEIDE, E. ; ARAUJO, R. ; NOVAES, M. . Performance Evaluation of Medical Imaging Service. In: Symposium On Applied Computing - ACM SAC, 2012, Riva del Garda. Symposium On Applied Computing - ACM SAC, 2012.
2. CALLOU, G. ; Erica Souza ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; SILVA, B. ; ARAUJO, C. J. M. ; MAGNANI, F. ; NEVES, F. . A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures. In: Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11), 2011, Boston. Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11), 2011. v. 0. p. 0-0.
3. CALLOU, G. ; MACIEL, P. R. M. ; MAGNANI, F. ; FIGUEIREDO, J. ; Erica Souza ; TAVARES, E. A. G. ; SILVA, B. ; NEVES, F. ; ARAUJO, C. J. M. . Estimating Sustainability Impact, Total Cost of Ownership and Dependability Metrics on Data Center Infrastructures. In: The International Symposium on Sustainable Systems and Technology, 2011, Chicago. International Symposium on Sustainable Systems and Technology - ISSST, 2011.
4. CALLOU, G. ; MACIEL, P. R. M. ; MAGNANI, F. ; TAVARES, E. A. G. ; SOUSA, E. ; SILVA, B. ; FIGUEIREDO, J. ; ARAUJO, C. J. M. ; NEVES, F. . Sustainability and Dependability Evaluation on Data Center Architecture. In: IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage. Procedings of SMC2011, 2011.
5. FIGUEIREDO, J. ; MACIEL, P. R. M. ; CALLOU, G. ; TAVARES, E. A. G. ; SOUSA, E. ; SILVA, B. . Estimating Reliability Importance and Total Cost of Acquisition for Data Center Power Infrastructures. In: IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage. Procedings of SMC201, 2011.
6. SILVA, B. ; MACIEL, P. R. M. ; TAVARES, E. A. G. . ASTRO: A Tool for Dependability Evaluation of Data Center Infrastructures. In: 2010 IEEE Conference on Systems, Man and Cybernetics, 2010, Istambul. 2010 IEEE Conference on Systems, Man and Cybernetics, 2010.
7. CALLOU, G. ; Erica Souza ; MACIEL, P. R. M. ; TAVARES, E. A. G. . Impact Analysis of Maintenance Policies on Data Center Power Infrastructure. In: 2010 IEEE Conference on Systems, Man and Cybernetics, 2010, Istambul. 2010 IEEE Conference on Systems, Man and Cybernetics, 2010.
8. TAVARES, E. A. G. ; DALLEGRAVE, P. ; SILVA, B. ; CALLOU, G. ; NOGUEIRA, B. ; MACIEL, P. R. M. . A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. In: IEEE International Conference on Systems, Man, and Cybernetics, 2009, San Antonio. 2009 IEEE International Conference on Systems, Man, and Cybernetics, 2009.
9. NOGUEIRA, B. ; MACIEL, P. R. M. ; TAVARES, E. A. G. . Performance and Energy Consumption Evaluation of Embedded Applications: A method based on platform's behavioral model. In: SBAC-PAD 2009, 2009, São Paulo. 21st International Symposium on Computer Architecture and High Performance Computing, 2009.
10. TAVARES, E. A. G. ; SILVA, B. ; MACIEL, P. R. M. ; DALLEGRAVE, P. . Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. In: 20th Brazilian Symposium on Computer Architecture and High Performance Computing, 2008, Campo Grande. 20th Brazilian Symposium on Computer Architecture and High Performance Computing, 2008.
11. CALLOU, G. ; MACIEL, P. R. M. ; NOGUEIRA, B. ; CARNEIRO, E. ; TAVARES, E. A. G. . A Coloured Petri Net Based Approach for Estimating Execution Time and Energy Consumption in Embedded Systems. In: 21st Symposium on Integrated Circuits and Systems Desgin, 2008, Gramado. 21st Symposium on Integrated Circuits and Systems Desgin, 2008.
12. CARNEIRO, E. ; MACIEL, P. R. M. ; CALLOU, G. ; TAVARES, E. A. G. ; NOGUEIRA, B. . Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. In: International Conference on Advances in Electronics and Micro-electronics, 2008, Valência. International Conference on Advances in Electronics and Micro-electronics, 2008.
13. TAVARES, E. A. G. ; SILVA, B. ; MACIEL, P. R. M. . An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. In: 6th IEEE International Conferences on Software Engineering and Formal Methods, 2008, Cape Town. 6th IEEE International Conferences on Software Engineering and Formal Methods, 2008.
14. OLIVEIRA, F. ; LIMA, R. M. ; CONELIO, M. ; SERGIO, S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. . CML: C Modeling Language.. In: Simpósio Brasileiro de Linguagens de Programação, 2007, Natal. Simpósio Brasileiro de Linguagens de Programação, 2007.
15. TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. ; OLIVEIRA JUNIOR, M. N. . A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations. In: Symposium on Integrated Circuits and Systems Design (SBCCI 2007), 2007, Rio de Janeiro. 20th Symposium on Integrated Circuits and Systems Design (SBCCI 2007), 2007.
16. TAVARES, E. A. G. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; SILVA, B. ; Rafael Rodrigues ; MARQUES, R. . Dynamic Voltage Scaling in Hard Real-Time Systems Considering Precedence and Exclusion Relations. In: 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007.
17. SOARES, A. ; TAVARES, E. A. G. ; DURAES, G. ; GIOZZA, W. ; CUNHA, P. . Modelo Analítico Baseado em GSPN para Cálculo de Probabilidade de Bloqueio em Redes Ópticas Transparentes com Conversão Total. In: 6th International Information and Telecommunication Technologies Symposium (I2TS 2007)., 2007, Brasília. 6th International Information and Telecommunication Technologies Symposium (I2TS 2007)., 2007.
18. TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; SILVA, B. ; FREITAS, R. ; NETO, S. ; CUSTODIO, M. . . Pre-runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. In: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, 2006, Braga. DIPES 2006, 2006.
19. BARRETO, R. S. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. . A Formal Modeling for Embedded Hard Real-Time Systems.. In: Workshop on Real-Time Systems, 2006, Curitiba. WTR 2006, 2006.
20. OLIVEIRA JUNIOR, M. N. ; NETO, S. ; MACIEL, P. R. M. ; LIMA, R. M. ; RIBEIRO, A. ; BARRETO, R. S. ; TAVARES, E. A. G. . Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling. In: International Conference on the Applications and Theory of Petri Nets, 2006, Turco. International Conference on the Applications and Theory of Petri Nets, 2006.
21. BARRETO, R. S. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; NEVES, M. L. ; BARROS, L. ; LIMA, R. M. ; BESSA, A. . Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. In: International Embedded Systems Symposium 2005, 2005, Manaus. (IESS 2005), 2005.
22. TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; BARROS, L. ; LIMA, R. M. ; BESSA, A. . A Time Petri Net Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes. In: 18th Brazilian Symposium on Integrated Circuits and Systems Design, 2005, Florianópolis. SBCCI 2005, 2005.
23. BARROS, L. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. ; TAVARES, E. A. G. . A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. In: 2005 IEEE International Conference on Systems, Man, and Cybernetics, 2005, Hawaii. SMC 2005, 2005.
24. TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; LIMA, R. M. ; BESSA, A. ; BARROS, L. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: International Workshop on Power and Timing Modeling, Optimization and Simulation, 2005. PATMOS 2005.
25. OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; BARRETO, R. S. ; LIMA, R. M. ; BARROS, L. ; OLIVEIRA, C. ; ARCOVERDE, A. . A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. In: . International Workshop on Power and Timing Modeling, Optimization and Simulation, 2005, Leuven. PATMOS 2005, 2005.
26. BARRETO, R. S. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; NEVES, M. L. ; BARROS, L. ; BESSA, A. ; LIMA, R. M. . A Time Petri Net-Based Approach for Software Synthesis Considering Dispatcher Overheads. In: In 17th Brazilian Symposium on Computer Architecture and High Performance Computing, 2005, Rio de Janeiro. SBAC-PAD 2005, 2005.
27. BARROS, L. ; BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; LIMA, R. M. . A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. In: 2nd International Conference on Embedded Software and Systems, 2005, Xi'na. 2nd International Conference on Embedded Software and Systems, 2005.
28. BARRETO, R. S. ; MACIEL, P. R. M. ; NEVES, M. L. ; TAVARES, E. A. G. ; LIMA, R. M. . A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems. In: 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004), 2004, Porto de Galinhas. Brazilian Symposium on Integrated Circuits and Systems Design, 2004.
29. BARRETO, R. S. ; MACIEL, P. R. M. ; NEVES, M. L. ; TAVARES, E. A. G. ; LIMA, R. M. . A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES),, 2004, Toulousse. 18th IFIP World Computer Congress, 2004.
30.   TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; NEVES, M. L. ; MACIEL, P. R. M. ; LIMA, R. M. . An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints. In: 16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004), 2004, Foz do Iguaçu. Brazilian Symposium on Computer Architecture and High Performance Computing, 2004.
31. BARRETO, R. S. ; NEVES, M. L. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study. In: I Workshop de Sistemas Operacionais, 2004, Salvador. Congresso da Sociedade Brasileira da Computação, 2004.
Resumos expandidos publicados em anais de congressos
1. CALLOU, G. ; MACIEL, P. R. M. ; CARNEIRO, E. ; NOGUEIRA, B. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. . A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. In: International Workshop on Power and Timing Modeling, Optimization and Simulation, 2008, Lisboa. International Workshop on Power and Timing Modeling, Optimization and Simulation, 2008.
Apresentações de Trabalho
1. TAVARES, E. A. G. . A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. 2009. (Apresentação de Trabalho/Congresso).
2. TAVARES, E. A. G. . An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. 2008. (Apresentação de Trabalho/Congresso).
3. TAVARES, E. A. G. . A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations. 2007. (Apresentação de Trabalho/Congresso).
4. TAVARES, E. A. G. . A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. 2005. (Apresentação de Trabalho/Congresso).

Bancas
Participação em bancas examinadoras
Dissertações
1. TAVARES, E. A. G.; GUEDES, L. A.; MACIEL, P. R. M.. Participação em banca de Bruno Silva. ASTRO - Uma Ferramenta para Avaliação de Dependabilidade e Sustentabilidade em Ambientes Data Center. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
2. LIMA, R. M.; MACIEL, P. R. M.; TAVARES, E. A. G.. Participação em banca de Bruno Costa e Silva Nogueira. Avaliação de Desempenho e Consumo de Energia em Sistemas Embarcados: Uma Abordagem Baseada na Arquitetura da Plataforma. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
3. MACIEL, P. R. M.; VASCONCELOS, A.; TAVARES, E. A. G.. Participação em banca de Marcelo Luiz Monteiro Marinho. Avaliação de Desemepenho de Processos de Testes de Software. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Monografias de cursos de aperfeiçoamento/especialização
1. TAVARES, E. A. G.. Participação em banca de André Luiz Pedroza Frazão. Desenvolvendo Estratégias Eficientes de Backup e Recovery. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.
2. TAVARES, E. A. G.. Participação em banca de Izaac José da Silva Espindola. Replicando em Banco de Dados Oracle Utilizando View Materializado. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.
3. TAVARES, E. A. G.. Participação em banca de Paulo André Rios e Silva. Alta disponibilidade e um sistema de bilhetagem eletrônica. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.
4. TAVARES, E. A. G.. Participação em banca de Flávio do Rego Barros. Aspectos em Segurança em VoIP. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Segurança em Redes de Computador) - Faculdades Integradas Barros Melo.
5. GUSMAO, C.; CORREIA, B.; TAVARES, E. A. G.. Participação em banca de Almir da Silva Moreira Buarque. Investigação Forense Computacional: Teoria, Modelos e Tecnologia. 2006.
Trabalhos de Conclusão de Curso de graduação
1. TAVARES, E. A. G.; CARNEIRO, E.; MOSTRAERT, H. M.. Participação em banca de Leonardo Sebastião da Silva. GINGA: MIDDLEWARE PARA TV DIGITAL INTERATIVA BRASILEIRA. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
2. TAVARES, E. A. G.; SANTANA, C. A.; VIANA, T. A.. Participação em banca de Filipe Cavalcanti Ponzo. Expertise: Uma Ferramenta para Contribuir na Gestão do Conhecimento. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
3. SPINDOLA, B.; CALABRIA, E.; TAVARES, E. A. G.. Participação em banca de Daniele Maria Fragoso de Figueirêdo. Integração de Bancos de Dado: Metdologia e Estudo de Caso Banco do Brasil. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
4. CALABRIA, E.; TAVARES, E. A. G.; ALBUQUERQUE, E.. Participação em banca de Rafael Barbosa de Moraes. Clusters de Alto Desempenho Utilizando Software Livre para Construção de Render Farms. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
5. CALABRIA, E.; TAVARES, E. A. G.; CORREIA, B.. Participação em banca de - Desenvolvimento de Plug-In para Plataforma Eclipse. Aluno:. Desenvolvimento de Plug-In para Plataforma Eclipse.. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
6. CALABRIA, E.; TAVARES, E. A. G.; ALBUQUERQUE, E.. Participação em banca de Maurício César da Veiga Pessoa Santos. Replicação: Conflito ou Solução. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
7. GUSMAO, C.; TAVARES, E. A. G.; MODESTO, F.. Participação em banca de Anderson da Silva Santos. Transmissão de Dados Através de Dispositivos Móveis. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
8. GUSMAO, C.; TAVARES, E. A. G.; MODESTO, F.. Participação em banca de Jefferson José Moreira Lins. Segurança de Informação com Enfoque no Correio Eletrônico. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
9. CALABRIA, E.; TAVARES, E. A. G.; CORREIA, B.. Participação em banca de Raquel Cândida do Nascimento. - Comparação dos Principais Aspectos de Desenvolvimento de Software Observados nas Plataformas de Desenvolvimento .Net e J2EE. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
Participação em bancas de comissões julgadoras
Concurso público
1. REN, T.; CAMPOS, M.; TAVARES, E. A. G.. Concurso para professor temporário da Universidade Federal de Pernambuco. 2011. Universidade Federal de Pernambuco.
2. TAVARES, E. A. G.; FEITOSA, E.; IYODA, J.. Concurso para professor assistente da Universidade Federal Rural de Pernambuco. 2010. Universidade Federal Rural de Pernambuco.
Outras participações
1. TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2011. Universidade Federal de Pernambuco.

Eventos
Participação em eventos
1. IEEE International Conference on Systems, Man, and Cybernetics.A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. 2009. (Congresso).
2. 6th IEEE International Conferences on Software Engineering and Formal Methods.An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. 2008. (Congresso).
3. Software Rejuvenation. 2008. (Outra).
4. 20th Symposium on Integrated Circuits and Systems Design.A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations. 2007. (Congresso).
5. 18o Simpósio Brasileiro de Concepção de Circuitos Integrados (SBCCI'05).A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. 2005. (Congresso).

Orientações
Supervisões e orientações concluídas
Trabalho de conclusão de curso de graduação
1. Filipe Cavalcanti Ponzo. Expertise: Uma Ferramenta para Contribuir na Gestão do Conhecimento. 2009. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo. Orientador: Eduardo Antonio Guimaraes Tavares.
2. Leonardo Sebastião da Silva. Ginga: Middleware para TV Digital Interativa Brasileira. 2009. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo. Orientador: Eduardo Antonio Guimaraes Tavares.
Orientações de outra natureza
1. Raphael Cordeiro de Andrade. Linguagem de Programação. 2010. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal Rural de Pernambuco. Orientador: Eduardo Antonio Guimaraes Tavares.
2. Thiago Henrique Almeida Espinhara. Laboratório de Informática. 2010. Orientação de outra natureza - Universidade Federal Rural de Pernambuco. Orientador: Eduardo Antonio Guimaraes Tavares.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 5:16:54