2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2026

Avaliação do Desempenho e da Confiabilidade da Comunicação em Sistemas IoT Médicos com Arquitetura Multi-Cloud

TEJO, J. L. V. A.; CALLOU, G. R. A.; BEZERRA, T. V.; TAVARES, E. A. G.
XXVII Workshop de Testes e Tolerância a Falhas (WTF 2026)
2026

Avaliação de Desempenho de Modelos de ML para IoMT em uma Plataforma ARM de Borda

CLEBSON, J.; BEZERRA, T. V.; CALLOU, G. R. A.; TAVARES, E. A. G.
[SBCUP] SBCUP - 16º Simpósio Brasileiro de Computação Ubíqua e Pervasiva
2026

Smart Street Lighting Systems: Performance, Energy Consumption and Availability Assessment

FRANCA FILHO, C. B.; TAVARES, E. A. G.
Journal of Reliable Intelligent Environments
2026

Experimental Evaluation of the Impact of Eventual Consistency on Energy Consumption in NoSQL Clusters

SOUZA, F. C. D.; FALCAO, F. M. C.; MACIEL, P. R. M.; TAVARES, E. A. G.
[SMC] 2026 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2026)
2026

Efficient scheduling algorithms for multicore cyclic executives with precedence and exclusion relations

NOGUEIRA, B.; PAES, R.; SILVA, F. A. P.; LIMA, A.; TAVARES, E. A. G.
CONCURRENY AND COMPUTATION (ONLINE)
2026

Performance Evaluation of SDN-Integrated MEC System for 5G Infrastructure Planning

NASCIMENTO, E. B.; MACIEL, P. R. M.; DANTAS, J. R.; TAVARES, E. A. G.
IEEE TRANSACTIONS ON MOBILE COMPUTING
2025

Predictive Maintenance Strategies for Smart Street Lighting Systems: A Stochastic Modeling

FRANCA FILHO, C. B.; BEZERRA, T. V.; BORBA, E. R.; TAVARES, E. A. G.
IEEE International Smart Cities Conference (ISC2-2025)
2025

Availability Assessment of SDN-ICN Service for Multi-Access Edge Computing

NASCIMENTO, E. B.; LINS, L.; TAVARES, E. A. G.; PEREIRA, P.; DANTAS, J. R.; KOSTA, S.; MACIEL, P. R. M.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2025

SDN-Driven MEC Planning: Modeling for Capacity-oriented Availability

NASCIMENTO, E. B.; ARAUJO, J. C. T.; DANTAS, J. R.; TAVARES, E. A. G.
SDN-Driven MEC Planning: Modeling for Capacity-oriented Availability
2025

Stochastic Petri Net Modeling for Analysis of Adaptive Street Lighting Systems

FRANCA FILHO, C. B.; BEZERRA, T. V.; BORBA, E. R.; TAVARES, E. A. G.
[HPCC] 27th IEEE International Conference on High Performance Computing and Communications (HPCC)
2025

An Approach based on IoT and machine learning for Monitoring Patients on Healthcare Centers

BEZERRA, T. V.; CALLOU, G. R. A.; TAVARES, E. A. G.
[SBCAS] XXV Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2025)
2025

GPU tabu search: a study on using GPU to solve massive instances of the maximum diversity problem  

NOGUEIRA, B.; CARNEIRO, E.; TAVARES, E. A. G.; ROSENDO, W. G. P.
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
2025

Validation of Predictive Models with Random Forest and XGBoost for Risk Stratification in Stroke Patients

BEZERRA, T. V.; TAVARES, E. A. G.; CALLOU, G. R. A.
[BSB] XVIII Brazilian Symposium on Bioinformatics
2025

Modelos de Programação Linear Inteira para Geração de Executivos Cíclicos Multicore com Dependências Entre Tarefas

NOGUEIRA, B.; SILVA, F. A. P.; PAES, R.; TAVARES, E. A. G.
LVII Brazilian Symposium on Operations Research
2025

A Modelling Approach for Estimating Energy Consumption of NoSQL-Based Storage Systems

SOUZA, F. C. D.; TAVARES, E. A. G.; ARAUJO, C. G.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2025

A modeling-based approach for performance and availability assessment of IoMT systems

BEZERRA, T. V.; CALLOU, G. R. A.; SILVA, F. A. P.; TAVARES, E. A. G.
ELECTRONICS
2024

Performability Evaluation of NoSQL-based Storage Systems

ARAUJO, C. G.; NOGUEIRA, B.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; TAVARES, E. A. G.
Journal Of Systems And Software
2024

Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation

NASCIMENTO, E. B.; TAVARES, E. A. G.; DANTAS, J. R.; MACIEL, P. R. M.
[LADC] Latin-American Symposium on Dependable and Secure Computing (LADC)
2024

Stochastic Modeling of Smart Street Lighting Systems: Maintenance Models Assessment

FRANCA FILHO, C. B.; TAVARES, E. A. G.
COMPUTING (WIEN. INTERNET)
2024

A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers

BORBA, E. R.; SALKHORDEH, R.; MIMOUNI, S.; TAVARES, E. A. G.; MACIEL, P. R. M.; ASSADI, H.; BRINKMANN, A.
[ARCS] International Conference on Architecture of Computing Systems (ARCS 2024)
2024

Availability Evaluation of a Softwarized MEC

NASCIMENTO, E. B.; DANTAS, J. R.; TAVARES, E. A. G.; MACIEL, P. R. M.
IEEE SysCon 2024
2024

Availability and Performance Assessment of IoMT systems: A Stochastic Modeling Approach

BEZERRA, T. V.; FRANCA FILHO, C. B.; CALLOU, G. R. A.; TAVARES, E. A. G.
Journal of Network and Systems Management
2024

A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things

BEZERRA, T. V.; FRANCA FILHO, C. B.; CALLOU, G.; TAVARES, E. A. G.
[LADC] Latin-American Symposium on Dependable and Secure Computing (LADC)
2024

Energy Consumption and Performance Evaluation of Multi-Model NoSQL DBMSs

FALCAO, F. M. C.; MOURA, J. P. S. P.; SILVA, G. F.; ARAUJO, C. G.; SOUSA, E. T. G.; TAVARES, E. A. G.
REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA
2023

Stochastic Modeling for Performance and Availability Evaluation of Street Lighting Systems

FRANCA FILHO, C. B.; BEZERRA, T. V.; CALLOU, G. R. A.; BORBA, E.; TAVARES, E. A. G.
IEEE 9th World Forum on Internet of Things
2023

A CPN-based Model for Assessing Energy Consumption of IoT Network

LAGES, D. L.; BORBA, E. R.; TAVARES, E. A. G.
The Journal of Supercomputing (Dordrecht. Online)
2023

NoSQL-based Storage Systems: Influence of Consistency on Performance, Availability and Energy Consumption

ARAUJO, C. G.; NOGUEIRA, B.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; TAVARES, E. A. G.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2023

Availability Assessment of Internet of Medical Things Architecture using Private Cloud

BEZERRA, T. V.; CALLOU, G. R. A.; SILVA, A.; FRANCA FILHO, C. B.; TAVARES, E. A. G.
[SEMISH] SEMISH - Seminário Integrado de Software e Hardware
2022

A modeling approach for estimating performance and energy consumption of storage systems

BORBA, E. R.; TAVARES, E. A. G.; MACIEL, P. R. M.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (ONLINE)
2021

Energy Consumption Evaluation of LPWAN: A Stochastic Modeling Approach for IoT Systems

LAGES, D. L.; BORBA, E. R.; SOUSA, E. T. G.; ARAUJO, J. C. T.; TAVARES, E. A. G.
IEEE SysCon 2021
2021

Modelagem Hierárquica e Heterogênea para Avaliação de Disponibilidade de Aplicações Big Data na Nuvem Privada

CUNHA, A.; SOUSA, E. T. G.; CALLOU, G.; TAVARES, E. A. G.
[WPerformance] WPerformance
2021

Iterated local search for the generalized independent set problem

NOGUEIRA, B.; PINHEIRO, R. G. S.; TAVARES, E. A. G.
Optimization Letters
2021

Cloud storage availability and performance assessment: a study based on NoSQL DBMS

ARAUJO, C. G.; OLIVEIRA JUNIOR, M. N.; NOGUEIRA, B.; TAVARES, E. A. G.
JOURNAL OF SUPERCOMPUTING
2020

Performance and Energy Consumption Evaluation of Hybrid Storage Systems

BORBA, E.; TAVARES, E. A. G.
IEEE SysCon 2020
2020

Performability Evaluation of Transport Modes for Cloud-based Inbound Logistics: A Study Based on Coffee Industry

NASCIMENTO, A.; SOUSA, E.; NOGUEIRA, B.; ALVES, G.; TAVARES, E. A. G.
International Journal of Manufacturing Technology and Management
2020

Iterated local search with tabu search for the weighted vertex coloring problem

NOGUEIRA, B.; TAVARES, E. A. G.; MACIEL, P. R. M.
COMPUTERS & OPERATIONS RESEARCH
2020

Analytical models for performance and energy consumption evaluation of storage devices

BORBA, E.; TAVARES, E. A. G.; MACIEL, P. R. M.
International Conference on Massive Storage Systems and Technology
2019

Estimating Availability-Oriented Throughput of Virtualized Networks

LIRA, V.; TAVARES, E. A. G.
Systems, Man and Cybernetics
2019

Performability Model for Assessing NoSQL DBMS Consistency

ARAUJO, C. G.; TAVARES, E. A. G.
[SYSCON] IEEE International Systems Conference
2019

Accelerating Continuous GRASP with a GPU

NOGUEIRA, B.; TEIXEIRA, J.; CALLOU, G.; TAVARES, E. A. G.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2019

Performance Comparison of IoT Communication Protocols

MORAES, T. M.; TAVARES, E. A. G.
Sytems, Man and Cybernetics
2019

Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory

NOGUEIRA, B.; CARNEIRO, E.; TAVARES, E. A. G.
MICROPROCESSORS AND MICROSYSTEMS
2019

Evaluation of NoSQL DBMS in private cloud environment: An Approach Based on Stochastic Modeling

RODRIGUES, M. D.; TAVARES, E. A. G.
[SYSCON] IEEE International Systems Conference
2018

Video Conferencing Evaluation Considering Scalable Video Coding and SDN Network

JANIEL, F.; TAVARES, E. A. G.; SOUSA, E.; NOGUEIRA, B.
REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA
2018

Sensitivity Analysis of an Availability Model for Disaster Tolerant Cloud Computing System'

SILVA, B.; TAVARES, E. A. G.
International Journal of Network Management
2018

Virtual Network Mapping Considering Energy Consumption and Availability

LIRA, V.; TAVARES, E. A. G.
COMPUTING
2017

Assessment of TCP parameters for mobile devices concerning performance and energy consumption

PONTES, J.; TAVARES, E. A. G.
2017 IEEE International Conference on Computer and Information Technology
2017

Performance and Availability Modeling of Hybrid Storage Systems

BORBA, E.; PONTES, J.; TAVARES, E. A. G.
The 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC2017)
2017

A Sensitivity Approach to Energy-Efficient Mapping of Dependable Virtual Networks

LIRA, V.; TAVARES, E. A. G.
2017 IEEE International Conference on Computer and Information Technology
2017

An Approach for Reducing Energy Consumption in Dependable Virtual Network Embedding

LIRA, V.; TAVARES, E. A. G.
26th International Conference on Computer Communications and Networks
2017

Stochastic Modeling of Taxpayer Assistance Centre for Performability Evaluation

GONCALVES, R.; TAVARES, E. A. G.; ALVES, G.; SILVA, B.
International Journal of Business Process Integration and Management (Online)
2017

QoE and Energy Consumption Evaluation of Adaptive Video Streaming on Mobile Device

MOREIRA, C. B.; CARVALHO, A.; BORGES, D.; BARBOSA, N.; PONTES, J.; TAVARES, E. A. G.
IEEE Consumer Communications & Networking Conference
2017

Stochastic Modeling for Performance and Availability Evaluation of Hybrid Storage Systems

BORBA, E.; TAVARES, E. A. G.
JOURNAL OF SYSTEMS AND SOFTWARE
2016

A MODELING STRATEGY FOR CLOUD INFRASTRUCTUREPLANNING CONSIDERING PERFORMANCE AND COST REQUIREMENTS

SOUSA, E.; AYRES, F.; TAVARES, E. A. G.; MACIEL, P. R. M.
Services Transactions on Cloud Computing
2016

Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation

NOGUEIRA, B.; MACIEL, P. R. M.; MARTINS, R.; TAVARES, E. A. G.; CARNEIRO, E.
Soft Computing
2016

Energy Consumption Evaluation of NoSQL DBMSs

ARAUJO, C. G.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.
[WPerformance] WPerformance
2015

Avaliação de Desempenho do Processo de Manufatura do Café

MORAIS, L.; MASSA, R.; CARNEIRO, E.; TAVARES, E. A. G.
[WPerformance] WPerformance
2015

A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements

SOUSA, E.; LINS, F.; TAVARES, E. A. G.; MACIEL, P.; CUNHA, P.
IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans
2015

Dependable Virtual Network Mapping

LIRA, V.; TAVARES, E. A. G.; FERNANDES, S.; MACIEL, P. R. M.
Computing (Wien. Internet)
2015

A Performability Approach for Evaluating the Impact of Risks in Software Development

VASCONCELOS, A.; TAVARES, E. A. G.
International Journal of Software Engineering, Technology and Applications
2015

An Automated Approach to Dependability Evaluation of Virtual Networks

LIRA, V.; TAVARES, E. A. G.; MACIEL, P. R. M.
Computer Networks (1999)
2015

A Dependability Approach for Evaluating Software Development Risks

MELO, A.; TAVARES, E. A. G.; SOUSA, E.; NOGUEIRA, B.; MARINHO, M.
IET Software (Print)
2015

Energy-Aware Mapping for Dependable Virtual Networks

LIRA, V.; TAVARES, E. A. G.
Power And Timing Modeling, Optimization and Simulation
2015

Performability Assessment of a Government Process in the Cloud

GONCALVES, R.; TAVARES, E. A. G.; NASCIMENTO, A.; SOUSA, E.; LINS, F.; ALVES, G.
International Conference on Systems, Man, and Cybernetics
2014

Dependability Evaluation of Virtual Learning Environments Hosted on Cloud Infrastructures

SOUSA, E.; SAMUEL, E.; LINS, F.; TAVARES, E. A. G.; MACIEL, P. R. M.
IEEE International Conference on Systems, Man, and Cybernetics
2014

AMALGHMA -An Environment for Measuring Execution Time and Energy Consumption in Embedded Systems

SILVA, B.; TAVARES, E. A. G.; MACIEL, P. R. M.; NOGUEIRA, B.
EEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS
2014

Performance and Cost Modeling Strategy for Cloud Infrastructure Planning

SOUSA, E.; LINS, F.; TAVARES, E. A. G.; MACIEL, P. R. M.
[IEEECLOUD] IEEE International Conference on Cloud Computing
2014

Transport Mode Assessment for Inbound Logistics: A Study Based on Coffee Industry

NASCIMENTO, A.; ALVES, G.; SOUSA, E.; NOGUEIRA, B.; TAVARES, E. A. G.
IEEE International Conference on Systems, Man, and Cybernetics
2013

Development Risk Assessment in Software Projects using Dependability Models

MELO, A.; TAVARES, E. A. G.; MARINHO, M.; SOUSA, E.; NOGUEIRA, B.; MACIEL, P. R. M.
International Conference on Computer and Information Technology
2013

Virtual Network Resource Allocation Considering Dependability Issues

LIRA, V.; TAVARES, E. A. G.; FERNANDES, S.; MACIEL, P. R. M.; MARTINS, R.
International Conference on Computer and Information Technology
2013

ASTRO: An Integrated Environment for Dependability and Sustainability Evaluation

SILVA, B.; CALLOU, G.; TAVARES, E. A. G.; MACIEL, P. R. M.; FIGUEIREDO, J.; SOUSA, E.; ARAUJO, C. J. M.; MAGNANI, F.; NEVES, F.
Sustainable Computing: Informatics and Systems
2013

A Simulation Optimization Approach for the Design Space Exploration of Soft Real-Time Embedded Systems

NOGUEIRA, B.; MACIEL, P. R. M.; MARTINS, R.; TAVARES, E. A. G.
[CEC] IEEE Congress on Evolutionary Computation
2013

Dependability Models for Designing Disaster Tolerant Cloud Computing Systems

SILVA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.; ZIMMERMAN, A.
International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology
2013

Stochastic Model Generation for Cloud Infrastructure Planning

SOUSA, E.; TAVARES, E. A. G.
IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS
2012

Performance Evaluation of Medical Imaging Service

TAVARES, E. A. G.; ALEIXO, J.; MACIEL, P. R. M.; HEIDE, E.; ARAUJO, R.; NOVAES, M.
[SAC] Symposium On Applied Computing - ACM SAC
2012

Performance evaluation of lossless file compression in the cloud: a study based on Eucalyptus platform

MEDEIROS, E.; Erica Souza; TAVARES, E. A. G.; MACIEL, P. R. M.
[SEMISH] SEMISH - Seminário Integrado de Software e Hardware
2012

Evaluating Eucalyptus Virtual Machine Instance Types: a Study Considering Distinct Workload Demand

SOUSA, E.; MACIEL, P. R. M.; MEDEIROS, E.; LINS, F.; TAVARES, E. A. G.
CLOUD COMPUTING
2012

A Hierarchical Pre-runtime Scheduling for Hard Real-Time Systems Considering Fault-Tolerance

TAVARES, E. A. G.; MACIEL, P.; SOUSA, E.; NOGUEIRA, B.; AMORIM, L.; LIRA, V.
2012 IEEE International Conference on Systems, Man, and Cybernetics
2012

Dependability Assessment of Virtualized Networks

FERNANDES, S.; TAVARES, E. A. G.; SANTOS, M.; LIRA, V.; MACIEL, P. R. M.
[ICC] IEEE International Conference on Communications
2012

Capacity Planning of EFT Service Hosted on Elastic IaaS

SOUSA, E.; MACIEL, P.; SOUZA, D.; MEDEIROS, E.; LINS, F.; TAVARES, E. A. G.
[SMC] SMC 2012
2011

Estimating Sustainability Impact, Total Cost of Ownership and Dependability Metrics on Data Center Infrastructures

CALLOU, G.; MACIEL, P. R. M.; MAGNANI, F.; FIGUEIREDO, J.; Erica Souza; TAVARES, E. A. G.; SILVA, B.; NEVES, F.; ARAUJO, C. J. M.
The International Symposium on Sustainable Systems and Technology
2011

Model-driven software synthesis for hard real-time applications with energy constraints

TAVARES, E. A. G.; MACIEL, P. R. M.; DALLEGRAVE, P.; SILVA, B.; NOGUEIRA, B.; CALLOU, G.; CUNHA, P.
Design Automation for Embedded Systems
2011

Estimating Reliability Importance and Total Cost of Acquisition for Data Center Power Infrastructures

FIGUEIREDO, J.; MACIEL, P. R. M.; CALLOU, G.; TAVARES, E. A. G.; SOUSA, E.; SILVA, B.
IEEE International Conference on Systems, Man, and Cybernetics
2011

A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures

CALLOU, G.; Erica Souza; MACIEL, P. R. M.; TAVARES, E. A. G.; SILVA, B.; ARAUJO, C. J. M.; MAGNANI, F.; NEVES, F.
Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11)
2011

Sustainability and Dependability Evaluation on Data Center Architecture

CALLOU, G.; MACIEL, P. R. M.; MAGNANI, F.; TAVARES, E. A. G.; SOUSA, E.; SILVA, B.; FIGUEIREDO, J.; ARAUJO, C. J. M.; NEVES, F.
IEEE International Conference on Systems, Man, and Cybernetics
2010

A Formal Model for Performance and Energy Evaluation of Embedded Systems

NOGUEIRA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.; CARNEIRO, E.; LIMA, R. M.; CALLOU, G.; FERRAZ, R.
EURASIP Journal on Embedded Systems
2010

ASTRO: A Tool for Dependability Evaluation of Data Center Infrastructures

SILVA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.
2010 IEEE Conference on Systems, Man and Cybernetics
2010

Energy Consumption and Execution Time Estimation of Embedded System Applications

CALLOU, G.; NOGUEIRA, B.; CARNEIRO, E.; ARAUJO, C. J. M.; TAVARES, E. A. G.; MACIEL, P. R. M.
Microprocessors and Microsystems
2010

Impact Analysis of Maintenance Policies on Data Center Power Infrastructure

CALLOU, G.; Erica Souza; MACIEL, P. R. M.; TAVARES, E. A. G.
2010 IEEE Conference on Systems, Man and Cybernetics
2009

Performance and Energy Consumption Evaluation of Embedded Applications: A method based on platform's behavioral model

NOGUEIRA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.
[SBAC-PAD] SBAC-PAD 2009
2009

A Hybrid DVS Scheduling Approach for Hard Real-Time Systems

TAVARES, E. A. G.; DALLEGRAVE, P.; SILVA, B.; CALLOU, G.; NOGUEIRA, B.; MACIEL, P. R. M.
IEEE International Conference on Systems, Man, and Cybernetics
2009

ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados

NOGUEIRA, B.; MACIEL, P. R. M.; CALLOU, G.; CARNEIRO, E.; TAVARES, E. A. G.
Revista de Informática Teórica e Aplicada
2008

A Coloured Petri Net Based Approach for Estimating Execution Time and Energy Consumption in Embedded Systems

CALLOU, G.; MACIEL, P. R. M.; NOGUEIRA, B.; CARNEIRO, E.; TAVARES, E. A. G.
21st Symposium on Integrated Circuits and Systems Desgin
2008

Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.
Microprocessors and Microsystems
2008

A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption

CALLOU, G.; MACIEL, P. R. M.; CARNEIRO, E.; NOGUEIRA, B.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.
International Workshop on Power and Timing Modeling, Optimization and Simulation
2008

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints

TAVARES, E. A. G.; SILVA, B.; MACIEL, P. R. M.
6th IEEE International Conferences on Software Engineering and Formal Methods
2008

. Estimation of Energy Consumption and Execution Time in Early Phases of Design LifecycleLifecycle: an Application to Biomedical Systems

CALLOU, G.; MACIEL, P. R. M.; CARNEIRO, E.; NOGUEIRA, B.; TAVARES, E. A. G.
Electronics Letters
2008

Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.; OLIVEIRA JUNIOR, M. N.
Information Processing Letters
2008

Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints

TAVARES, E. A. G.; SILVA, B.; MACIEL, P. R. M.; DALLEGRAVE, P.
20th Brazilian Symposium on Computer Architecture and High Performance Computing
2008

Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

CARNEIRO, E.; MACIEL, P. R. M.; CALLOU, G.; TAVARES, E. A. G.; NOGUEIRA, B.
International Conference on Advances in Electronics and Micro-electronics
2007

Software Synthesis for Hard Real-Time Embedded Systems with Multiple Processors

TAVARES, E. A. G.; BARRETO, R. S.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; BARROS, L.; ROCHA, F.; LIMA, R. M.
Software Engineering Notes
2007

Modelo Analítico Baseado em GSPN para Cálculo de Probabilidade de Bloqueio em Redes Ópticas Transparentes com Conversão Total

SOARES, A.; TAVARES, E. A. G.; DURAES, G.; GIOZZA, W.; CUNHA, P.
6th International Information and Telecommunication Technologies Symposium (I2TS 2007).
2007

A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.; OLIVEIRA JUNIOR, M. N.
[SBCCI] Symposium on Integrated Circuits and Systems Design (SBCCI 2007)
2007

CML: C Modeling Language.

OLIVEIRA, F.; LIMA, R. M.; CONELIO, M.; SERGIO, S.; TAVARES, E. A. G.; MACIEL, P. R. M.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.
Simpósio Brasileiro de Linguagens de Programação
2007

CML: C Modeling Language. Journal of Universal Computer Science

OLIVEIRA, F.; LIMA, R. M.; CONELIO, M.; SERGIO, S.; TAVARES, E. A. G.; MACIEL, P. R. M.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.
Journal of Universal Computer Science (Online)
2007

Modeling and Scheduling Hard Real-Time Biomedical Systems with Timing and Energy Constraints

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.; OLIVEIRA JUNIOR, M. N.; Rafael Rodrigues
Electronics Letters
2007

Dynamic Voltage Scaling in Hard Real-Time Systems Considering Precedence and Exclusion Relations

TAVARES, E. A. G.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; SILVA, B.; Rafael Rodrigues; MARQUES, R.
[SMC] 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007)
2006

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems

BARROS, L.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; BARRETO, R. S.; TAVARES, E. A. G.
Software Engineering Notes
2006

A Formal Modeling for Embedded Hard Real-Time Systems.

BARRETO, R. S.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.
Workshop on Real-Time Systems
2006

A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis

BARRETO, R. S.; MACIEL, P. R. M.; TAVARES, E. A. G.; FREITAS, R.; OLIVEIRA JUNIOR, M. N.; LIMA, R. M.
Design Automation for Embedded Systems
2006

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling

OLIVEIRA JUNIOR, M. N.; NETO, S.; MACIEL, P. R. M.; LIMA, R. M.; RIBEIRO, A.; BARRETO, R. S.; TAVARES, E. A. G.
International Conference on the Applications and Theory of Petri Nets
2006

. Pre-runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; SILVA, B.; FREITAS, R.; NETO, S.; CUSTODIO, M.
5th IFIP Working Conference on Distributed and Parallel Embedded Systems
2005

A Methodology for Mapping Live Sequence Chart to Coloured Petri Net

BARROS, L.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; BARRETO, R. S.; TAVARES, E. A. G.
[SMC] 2005 IEEE International Conference on Systems, Man, and Cybernetics
2005

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC

BARROS, L.; BARRETO, R. S.; MACIEL, P. R. M.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.; LIMA, R. M.
2nd International Conference on Embedded Software and Systems
2005

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net

OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; TAVARES, E. A. G.; BARRETO, R. S.; LIMA, R. M.; BARROS, L.; OLIVEIRA, C.; ARCOVERDE, A.
. International Workshop on Power and Timing Modeling, Optimization and Simulation
2005

A Time Petri Net-Based Approach for Software Synthesis Considering Dispatcher Overheads

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.
[SBAC-PAD] In 17th Brazilian Symposium on Computer Architecture and High Performance Computing
2005

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads

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.
[IESS] International Embedded Systems Symposium 2005
2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; LIMA, R. M.; BESSA, A.; BARROS, L.
International Workshop on Power and Timing Modeling, Optimization and Simulation
2005

A Time Petri Net Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; BARROS, L.; LIMA, R. M.; BESSA, A.
[SBCCI] 18th Brazilian Symposium on Integrated Circuits and Systems Design
2004

A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems

BARRETO, R. S.; MACIEL, P. R. M.; NEVES, M. L.; TAVARES, E. A. G.; LIMA, R. M.
[SBCCI] 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004)
2004

Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study

BARRETO, R. S.; NEVES, M. L.; TAVARES, E. A. G.; MACIEL, P. R. M.
I Workshop de Sistemas Operacionais
2004

An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; NEVES, M. L.; MACIEL, P. R. M.; LIMA, R. M.
[SBAC-PAD] 16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004)
2004

A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems

BARRETO, R. S.; MACIEL, P. R. M.; NEVES, M. L.; TAVARES, E. A. G.; LIMA, R. M.
IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES),

Publicações

2026

Avaliação do Desempenho e da Confiabilidade da Comunicação em Sistemas IoT Médicos com Arquitetura Multi-Cloud

TEJO, J. L. V. A.; CALLOU, G. R. A.; BEZERRA, T. V.; TAVARES, E. A. G.
XXVII Workshop de Testes e Tolerância a Falhas (WTF 2026)
2026

Avaliação de Desempenho de Modelos de ML para IoMT em uma Plataforma ARM de Borda

CLEBSON, J.; BEZERRA, T. V.; CALLOU, G. R. A.; TAVARES, E. A. G.
[SBCUP] SBCUP - 16º Simpósio Brasileiro de Computação Ubíqua e Pervasiva
2026

Smart Street Lighting Systems: Performance, Energy Consumption and Availability Assessment

FRANCA FILHO, C. B.; TAVARES, E. A. G.
Journal of Reliable Intelligent Environments
2026

Experimental Evaluation of the Impact of Eventual Consistency on Energy Consumption in NoSQL Clusters

SOUZA, F. C. D.; FALCAO, F. M. C.; MACIEL, P. R. M.; TAVARES, E. A. G.
[SMC] 2026 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2026)
2026

Efficient scheduling algorithms for multicore cyclic executives with precedence and exclusion relations

NOGUEIRA, B.; PAES, R.; SILVA, F. A. P.; LIMA, A.; TAVARES, E. A. G.
CONCURRENY AND COMPUTATION (ONLINE)
2026

Performance Evaluation of SDN-Integrated MEC System for 5G Infrastructure Planning

NASCIMENTO, E. B.; MACIEL, P. R. M.; DANTAS, J. R.; TAVARES, E. A. G.
IEEE TRANSACTIONS ON MOBILE COMPUTING
2025

Predictive Maintenance Strategies for Smart Street Lighting Systems: A Stochastic Modeling

FRANCA FILHO, C. B.; BEZERRA, T. V.; BORBA, E. R.; TAVARES, E. A. G.
IEEE International Smart Cities Conference (ISC2-2025)
2025

Availability Assessment of SDN-ICN Service for Multi-Access Edge Computing

NASCIMENTO, E. B.; LINS, L.; TAVARES, E. A. G.; PEREIRA, P.; DANTAS, J. R.; KOSTA, S.; MACIEL, P. R. M.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2025

SDN-Driven MEC Planning: Modeling for Capacity-oriented Availability

NASCIMENTO, E. B.; ARAUJO, J. C. T.; DANTAS, J. R.; TAVARES, E. A. G.
SDN-Driven MEC Planning: Modeling for Capacity-oriented Availability
2025

Stochastic Petri Net Modeling for Analysis of Adaptive Street Lighting Systems

FRANCA FILHO, C. B.; BEZERRA, T. V.; BORBA, E. R.; TAVARES, E. A. G.
[HPCC] 27th IEEE International Conference on High Performance Computing and Communications (HPCC)
2025

An Approach based on IoT and machine learning for Monitoring Patients on Healthcare Centers

BEZERRA, T. V.; CALLOU, G. R. A.; TAVARES, E. A. G.
[SBCAS] XXV Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2025)
2025

GPU tabu search: a study on using GPU to solve massive instances of the maximum diversity problem  

NOGUEIRA, B.; CARNEIRO, E.; TAVARES, E. A. G.; ROSENDO, W. G. P.
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
2025

Validation of Predictive Models with Random Forest and XGBoost for Risk Stratification in Stroke Patients

BEZERRA, T. V.; TAVARES, E. A. G.; CALLOU, G. R. A.
[BSB] XVIII Brazilian Symposium on Bioinformatics
2025

Modelos de Programação Linear Inteira para Geração de Executivos Cíclicos Multicore com Dependências Entre Tarefas

NOGUEIRA, B.; SILVA, F. A. P.; PAES, R.; TAVARES, E. A. G.
LVII Brazilian Symposium on Operations Research
2025

A Modelling Approach for Estimating Energy Consumption of NoSQL-Based Storage Systems

SOUZA, F. C. D.; TAVARES, E. A. G.; ARAUJO, C. G.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2025

A modeling-based approach for performance and availability assessment of IoMT systems

BEZERRA, T. V.; CALLOU, G. R. A.; SILVA, F. A. P.; TAVARES, E. A. G.
ELECTRONICS
2024

Performability Evaluation of NoSQL-based Storage Systems

ARAUJO, C. G.; NOGUEIRA, B.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; TAVARES, E. A. G.
Journal Of Systems And Software
2024

Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation

NASCIMENTO, E. B.; TAVARES, E. A. G.; DANTAS, J. R.; MACIEL, P. R. M.
[LADC] Latin-American Symposium on Dependable and Secure Computing (LADC)
2024

Stochastic Modeling of Smart Street Lighting Systems: Maintenance Models Assessment

FRANCA FILHO, C. B.; TAVARES, E. A. G.
COMPUTING (WIEN. INTERNET)
2024

A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers

BORBA, E. R.; SALKHORDEH, R.; MIMOUNI, S.; TAVARES, E. A. G.; MACIEL, P. R. M.; ASSADI, H.; BRINKMANN, A.
[ARCS] International Conference on Architecture of Computing Systems (ARCS 2024)
2024

Availability Evaluation of a Softwarized MEC

NASCIMENTO, E. B.; DANTAS, J. R.; TAVARES, E. A. G.; MACIEL, P. R. M.
IEEE SysCon 2024
2024

Availability and Performance Assessment of IoMT systems: A Stochastic Modeling Approach

BEZERRA, T. V.; FRANCA FILHO, C. B.; CALLOU, G. R. A.; TAVARES, E. A. G.
Journal of Network and Systems Management
2024

A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things

BEZERRA, T. V.; FRANCA FILHO, C. B.; CALLOU, G.; TAVARES, E. A. G.
[LADC] Latin-American Symposium on Dependable and Secure Computing (LADC)
2024

Energy Consumption and Performance Evaluation of Multi-Model NoSQL DBMSs

FALCAO, F. M. C.; MOURA, J. P. S. P.; SILVA, G. F.; ARAUJO, C. G.; SOUSA, E. T. G.; TAVARES, E. A. G.
REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA
2023

Stochastic Modeling for Performance and Availability Evaluation of Street Lighting Systems

FRANCA FILHO, C. B.; BEZERRA, T. V.; CALLOU, G. R. A.; BORBA, E.; TAVARES, E. A. G.
IEEE 9th World Forum on Internet of Things
2023

A CPN-based Model for Assessing Energy Consumption of IoT Network

LAGES, D. L.; BORBA, E. R.; TAVARES, E. A. G.
The Journal of Supercomputing (Dordrecht. Online)
2023

NoSQL-based Storage Systems: Influence of Consistency on Performance, Availability and Energy Consumption

ARAUJO, C. G.; NOGUEIRA, B.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; TAVARES, E. A. G.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2023

Availability Assessment of Internet of Medical Things Architecture using Private Cloud

BEZERRA, T. V.; CALLOU, G. R. A.; SILVA, A.; FRANCA FILHO, C. B.; TAVARES, E. A. G.
[SEMISH] SEMISH - Seminário Integrado de Software e Hardware
2022

A modeling approach for estimating performance and energy consumption of storage systems

BORBA, E. R.; TAVARES, E. A. G.; MACIEL, P. R. M.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (ONLINE)
2021

Energy Consumption Evaluation of LPWAN: A Stochastic Modeling Approach for IoT Systems

LAGES, D. L.; BORBA, E. R.; SOUSA, E. T. G.; ARAUJO, J. C. T.; TAVARES, E. A. G.
IEEE SysCon 2021
2021

Modelagem Hierárquica e Heterogênea para Avaliação de Disponibilidade de Aplicações Big Data na Nuvem Privada

CUNHA, A.; SOUSA, E. T. G.; CALLOU, G.; TAVARES, E. A. G.
[WPerformance] WPerformance
2021

Iterated local search for the generalized independent set problem

NOGUEIRA, B.; PINHEIRO, R. G. S.; TAVARES, E. A. G.
Optimization Letters
2021

Cloud storage availability and performance assessment: a study based on NoSQL DBMS

ARAUJO, C. G.; OLIVEIRA JUNIOR, M. N.; NOGUEIRA, B.; TAVARES, E. A. G.
JOURNAL OF SUPERCOMPUTING
2020

Performance and Energy Consumption Evaluation of Hybrid Storage Systems

BORBA, E.; TAVARES, E. A. G.
IEEE SysCon 2020
2020

Performability Evaluation of Transport Modes for Cloud-based Inbound Logistics: A Study Based on Coffee Industry

NASCIMENTO, A.; SOUSA, E.; NOGUEIRA, B.; ALVES, G.; TAVARES, E. A. G.
International Journal of Manufacturing Technology and Management
2020

Iterated local search with tabu search for the weighted vertex coloring problem

NOGUEIRA, B.; TAVARES, E. A. G.; MACIEL, P. R. M.
COMPUTERS & OPERATIONS RESEARCH
2020

Analytical models for performance and energy consumption evaluation of storage devices

BORBA, E.; TAVARES, E. A. G.; MACIEL, P. R. M.
International Conference on Massive Storage Systems and Technology
2019

Estimating Availability-Oriented Throughput of Virtualized Networks

LIRA, V.; TAVARES, E. A. G.
Systems, Man and Cybernetics
2019

Performability Model for Assessing NoSQL DBMS Consistency

ARAUJO, C. G.; TAVARES, E. A. G.
[SYSCON] IEEE International Systems Conference
2019

Accelerating Continuous GRASP with a GPU

NOGUEIRA, B.; TEIXEIRA, J.; CALLOU, G.; TAVARES, E. A. G.
THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE)
2019

Performance Comparison of IoT Communication Protocols

MORAES, T. M.; TAVARES, E. A. G.
Sytems, Man and Cybernetics
2019

Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory

NOGUEIRA, B.; CARNEIRO, E.; TAVARES, E. A. G.
MICROPROCESSORS AND MICROSYSTEMS
2019

Evaluation of NoSQL DBMS in private cloud environment: An Approach Based on Stochastic Modeling

RODRIGUES, M. D.; TAVARES, E. A. G.
[SYSCON] IEEE International Systems Conference
2018

Video Conferencing Evaluation Considering Scalable Video Coding and SDN Network

JANIEL, F.; TAVARES, E. A. G.; SOUSA, E.; NOGUEIRA, B.
REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA
2018

Sensitivity Analysis of an Availability Model for Disaster Tolerant Cloud Computing System'

SILVA, B.; TAVARES, E. A. G.
International Journal of Network Management
2018

Virtual Network Mapping Considering Energy Consumption and Availability

LIRA, V.; TAVARES, E. A. G.
COMPUTING
2017

Assessment of TCP parameters for mobile devices concerning performance and energy consumption

PONTES, J.; TAVARES, E. A. G.
2017 IEEE International Conference on Computer and Information Technology
2017

Performance and Availability Modeling of Hybrid Storage Systems

BORBA, E.; PONTES, J.; TAVARES, E. A. G.
The 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC2017)
2017

A Sensitivity Approach to Energy-Efficient Mapping of Dependable Virtual Networks

LIRA, V.; TAVARES, E. A. G.
2017 IEEE International Conference on Computer and Information Technology
2017

An Approach for Reducing Energy Consumption in Dependable Virtual Network Embedding

LIRA, V.; TAVARES, E. A. G.
26th International Conference on Computer Communications and Networks
2017

Stochastic Modeling of Taxpayer Assistance Centre for Performability Evaluation

GONCALVES, R.; TAVARES, E. A. G.; ALVES, G.; SILVA, B.
International Journal of Business Process Integration and Management (Online)
2017

QoE and Energy Consumption Evaluation of Adaptive Video Streaming on Mobile Device

MOREIRA, C. B.; CARVALHO, A.; BORGES, D.; BARBOSA, N.; PONTES, J.; TAVARES, E. A. G.
IEEE Consumer Communications & Networking Conference
2017

Stochastic Modeling for Performance and Availability Evaluation of Hybrid Storage Systems

BORBA, E.; TAVARES, E. A. G.
JOURNAL OF SYSTEMS AND SOFTWARE
2016

A MODELING STRATEGY FOR CLOUD INFRASTRUCTUREPLANNING CONSIDERING PERFORMANCE AND COST REQUIREMENTS

SOUSA, E.; AYRES, F.; TAVARES, E. A. G.; MACIEL, P. R. M.
Services Transactions on Cloud Computing
2016

Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation

NOGUEIRA, B.; MACIEL, P. R. M.; MARTINS, R.; TAVARES, E. A. G.; CARNEIRO, E.
Soft Computing
2016

Energy Consumption Evaluation of NoSQL DBMSs

ARAUJO, C. G.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.
[WPerformance] WPerformance
2015

Avaliação de Desempenho do Processo de Manufatura do Café

MORAIS, L.; MASSA, R.; CARNEIRO, E.; TAVARES, E. A. G.
[WPerformance] WPerformance
2015

A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements

SOUSA, E.; LINS, F.; TAVARES, E. A. G.; MACIEL, P.; CUNHA, P.
IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans
2015

Dependable Virtual Network Mapping

LIRA, V.; TAVARES, E. A. G.; FERNANDES, S.; MACIEL, P. R. M.
Computing (Wien. Internet)
2015

A Performability Approach for Evaluating the Impact of Risks in Software Development

VASCONCELOS, A.; TAVARES, E. A. G.
International Journal of Software Engineering, Technology and Applications
2015

An Automated Approach to Dependability Evaluation of Virtual Networks

LIRA, V.; TAVARES, E. A. G.; MACIEL, P. R. M.
Computer Networks (1999)
2015

A Dependability Approach for Evaluating Software Development Risks

MELO, A.; TAVARES, E. A. G.; SOUSA, E.; NOGUEIRA, B.; MARINHO, M.
IET Software (Print)
2015

Energy-Aware Mapping for Dependable Virtual Networks

LIRA, V.; TAVARES, E. A. G.
Power And Timing Modeling, Optimization and Simulation
2015

Performability Assessment of a Government Process in the Cloud

GONCALVES, R.; TAVARES, E. A. G.; NASCIMENTO, A.; SOUSA, E.; LINS, F.; ALVES, G.
International Conference on Systems, Man, and Cybernetics
2014

Dependability Evaluation of Virtual Learning Environments Hosted on Cloud Infrastructures

SOUSA, E.; SAMUEL, E.; LINS, F.; TAVARES, E. A. G.; MACIEL, P. R. M.
IEEE International Conference on Systems, Man, and Cybernetics
2014

AMALGHMA -An Environment for Measuring Execution Time and Energy Consumption in Embedded Systems

SILVA, B.; TAVARES, E. A. G.; MACIEL, P. R. M.; NOGUEIRA, B.
EEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS
2014

Performance and Cost Modeling Strategy for Cloud Infrastructure Planning

SOUSA, E.; LINS, F.; TAVARES, E. A. G.; MACIEL, P. R. M.
[IEEECLOUD] IEEE International Conference on Cloud Computing
2014

Transport Mode Assessment for Inbound Logistics: A Study Based on Coffee Industry

NASCIMENTO, A.; ALVES, G.; SOUSA, E.; NOGUEIRA, B.; TAVARES, E. A. G.
IEEE International Conference on Systems, Man, and Cybernetics
2013

Development Risk Assessment in Software Projects using Dependability Models

MELO, A.; TAVARES, E. A. G.; MARINHO, M.; SOUSA, E.; NOGUEIRA, B.; MACIEL, P. R. M.
International Conference on Computer and Information Technology
2013

Virtual Network Resource Allocation Considering Dependability Issues

LIRA, V.; TAVARES, E. A. G.; FERNANDES, S.; MACIEL, P. R. M.; MARTINS, R.
International Conference on Computer and Information Technology
2013

ASTRO: An Integrated Environment for Dependability and Sustainability Evaluation

SILVA, B.; CALLOU, G.; TAVARES, E. A. G.; MACIEL, P. R. M.; FIGUEIREDO, J.; SOUSA, E.; ARAUJO, C. J. M.; MAGNANI, F.; NEVES, F.
Sustainable Computing: Informatics and Systems
2013

A Simulation Optimization Approach for the Design Space Exploration of Soft Real-Time Embedded Systems

NOGUEIRA, B.; MACIEL, P. R. M.; MARTINS, R.; TAVARES, E. A. G.
[CEC] IEEE Congress on Evolutionary Computation
2013

Dependability Models for Designing Disaster Tolerant Cloud Computing Systems

SILVA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.; ZIMMERMAN, A.
International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology
2013

Stochastic Model Generation for Cloud Infrastructure Planning

SOUSA, E.; TAVARES, E. A. G.
IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS
2012

Performance Evaluation of Medical Imaging Service

TAVARES, E. A. G.; ALEIXO, J.; MACIEL, P. R. M.; HEIDE, E.; ARAUJO, R.; NOVAES, M.
[SAC] Symposium On Applied Computing - ACM SAC
2012

Performance evaluation of lossless file compression in the cloud: a study based on Eucalyptus platform

MEDEIROS, E.; Erica Souza; TAVARES, E. A. G.; MACIEL, P. R. M.
[SEMISH] SEMISH - Seminário Integrado de Software e Hardware
2012

Evaluating Eucalyptus Virtual Machine Instance Types: a Study Considering Distinct Workload Demand

SOUSA, E.; MACIEL, P. R. M.; MEDEIROS, E.; LINS, F.; TAVARES, E. A. G.
CLOUD COMPUTING
2012

A Hierarchical Pre-runtime Scheduling for Hard Real-Time Systems Considering Fault-Tolerance

TAVARES, E. A. G.; MACIEL, P.; SOUSA, E.; NOGUEIRA, B.; AMORIM, L.; LIRA, V.
2012 IEEE International Conference on Systems, Man, and Cybernetics
2012

Dependability Assessment of Virtualized Networks

FERNANDES, S.; TAVARES, E. A. G.; SANTOS, M.; LIRA, V.; MACIEL, P. R. M.
[ICC] IEEE International Conference on Communications
2012

Capacity Planning of EFT Service Hosted on Elastic IaaS

SOUSA, E.; MACIEL, P.; SOUZA, D.; MEDEIROS, E.; LINS, F.; TAVARES, E. A. G.
[SMC] SMC 2012
2011

Estimating Sustainability Impact, Total Cost of Ownership and Dependability Metrics on Data Center Infrastructures

CALLOU, G.; MACIEL, P. R. M.; MAGNANI, F.; FIGUEIREDO, J.; Erica Souza; TAVARES, E. A. G.; SILVA, B.; NEVES, F.; ARAUJO, C. J. M.
The International Symposium on Sustainable Systems and Technology
2011

Model-driven software synthesis for hard real-time applications with energy constraints

TAVARES, E. A. G.; MACIEL, P. R. M.; DALLEGRAVE, P.; SILVA, B.; NOGUEIRA, B.; CALLOU, G.; CUNHA, P.
Design Automation for Embedded Systems
2011

Estimating Reliability Importance and Total Cost of Acquisition for Data Center Power Infrastructures

FIGUEIREDO, J.; MACIEL, P. R. M.; CALLOU, G.; TAVARES, E. A. G.; SOUSA, E.; SILVA, B.
IEEE International Conference on Systems, Man, and Cybernetics
2011

A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures

CALLOU, G.; Erica Souza; MACIEL, P. R. M.; TAVARES, E. A. G.; SILVA, B.; ARAUJO, C. J. M.; MAGNANI, F.; NEVES, F.
Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11)
2011

Sustainability and Dependability Evaluation on Data Center Architecture

CALLOU, G.; MACIEL, P. R. M.; MAGNANI, F.; TAVARES, E. A. G.; SOUSA, E.; SILVA, B.; FIGUEIREDO, J.; ARAUJO, C. J. M.; NEVES, F.
IEEE International Conference on Systems, Man, and Cybernetics
2010

A Formal Model for Performance and Energy Evaluation of Embedded Systems

NOGUEIRA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.; CARNEIRO, E.; LIMA, R. M.; CALLOU, G.; FERRAZ, R.
EURASIP Journal on Embedded Systems
2010

ASTRO: A Tool for Dependability Evaluation of Data Center Infrastructures

SILVA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.
2010 IEEE Conference on Systems, Man and Cybernetics
2010

Energy Consumption and Execution Time Estimation of Embedded System Applications

CALLOU, G.; NOGUEIRA, B.; CARNEIRO, E.; ARAUJO, C. J. M.; TAVARES, E. A. G.; MACIEL, P. R. M.
Microprocessors and Microsystems
2010

Impact Analysis of Maintenance Policies on Data Center Power Infrastructure

CALLOU, G.; Erica Souza; MACIEL, P. R. M.; TAVARES, E. A. G.
2010 IEEE Conference on Systems, Man and Cybernetics
2009

Performance and Energy Consumption Evaluation of Embedded Applications: A method based on platform's behavioral model

NOGUEIRA, B.; MACIEL, P. R. M.; TAVARES, E. A. G.
[SBAC-PAD] SBAC-PAD 2009
2009

A Hybrid DVS Scheduling Approach for Hard Real-Time Systems

TAVARES, E. A. G.; DALLEGRAVE, P.; SILVA, B.; CALLOU, G.; NOGUEIRA, B.; MACIEL, P. R. M.
IEEE International Conference on Systems, Man, and Cybernetics
2009

ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados

NOGUEIRA, B.; MACIEL, P. R. M.; CALLOU, G.; CARNEIRO, E.; TAVARES, E. A. G.
Revista de Informática Teórica e Aplicada
2008

A Coloured Petri Net Based Approach for Estimating Execution Time and Energy Consumption in Embedded Systems

CALLOU, G.; MACIEL, P. R. M.; NOGUEIRA, B.; CARNEIRO, E.; TAVARES, E. A. G.
21st Symposium on Integrated Circuits and Systems Desgin
2008

Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.
Microprocessors and Microsystems
2008

A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption

CALLOU, G.; MACIEL, P. R. M.; CARNEIRO, E.; NOGUEIRA, B.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.
International Workshop on Power and Timing Modeling, Optimization and Simulation
2008

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints

TAVARES, E. A. G.; SILVA, B.; MACIEL, P. R. M.
6th IEEE International Conferences on Software Engineering and Formal Methods
2008

. Estimation of Energy Consumption and Execution Time in Early Phases of Design LifecycleLifecycle: an Application to Biomedical Systems

CALLOU, G.; MACIEL, P. R. M.; CARNEIRO, E.; NOGUEIRA, B.; TAVARES, E. A. G.
Electronics Letters
2008

Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.; OLIVEIRA JUNIOR, M. N.
Information Processing Letters
2008

Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints

TAVARES, E. A. G.; SILVA, B.; MACIEL, P. R. M.; DALLEGRAVE, P.
20th Brazilian Symposium on Computer Architecture and High Performance Computing
2008

Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

CARNEIRO, E.; MACIEL, P. R. M.; CALLOU, G.; TAVARES, E. A. G.; NOGUEIRA, B.
International Conference on Advances in Electronics and Micro-electronics
2007

Software Synthesis for Hard Real-Time Embedded Systems with Multiple Processors

TAVARES, E. A. G.; BARRETO, R. S.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; BARROS, L.; ROCHA, F.; LIMA, R. M.
Software Engineering Notes
2007

Modelo Analítico Baseado em GSPN para Cálculo de Probabilidade de Bloqueio em Redes Ópticas Transparentes com Conversão Total

SOARES, A.; TAVARES, E. A. G.; DURAES, G.; GIOZZA, W.; CUNHA, P.
6th International Information and Telecommunication Technologies Symposium (I2TS 2007).
2007

A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.; OLIVEIRA JUNIOR, M. N.
[SBCCI] Symposium on Integrated Circuits and Systems Design (SBCCI 2007)
2007

CML: C Modeling Language.

OLIVEIRA, F.; LIMA, R. M.; CONELIO, M.; SERGIO, S.; TAVARES, E. A. G.; MACIEL, P. R. M.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.
Simpósio Brasileiro de Linguagens de Programação
2007

CML: C Modeling Language. Journal of Universal Computer Science

OLIVEIRA, F.; LIMA, R. M.; CONELIO, M.; SERGIO, S.; TAVARES, E. A. G.; MACIEL, P. R. M.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.
Journal of Universal Computer Science (Online)
2007

Modeling and Scheduling Hard Real-Time Biomedical Systems with Timing and Energy Constraints

TAVARES, E. A. G.; MACIEL, P. R. M.; SILVA, B.; OLIVEIRA JUNIOR, M. N.; Rafael Rodrigues
Electronics Letters
2007

Dynamic Voltage Scaling in Hard Real-Time Systems Considering Precedence and Exclusion Relations

TAVARES, E. A. G.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; SILVA, B.; Rafael Rodrigues; MARQUES, R.
[SMC] 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007)
2006

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems

BARROS, L.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; BARRETO, R. S.; TAVARES, E. A. G.
Software Engineering Notes
2006

A Formal Modeling for Embedded Hard Real-Time Systems.

BARRETO, R. S.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.
Workshop on Real-Time Systems
2006

A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis

BARRETO, R. S.; MACIEL, P. R. M.; TAVARES, E. A. G.; FREITAS, R.; OLIVEIRA JUNIOR, M. N.; LIMA, R. M.
Design Automation for Embedded Systems
2006

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling

OLIVEIRA JUNIOR, M. N.; NETO, S.; MACIEL, P. R. M.; LIMA, R. M.; RIBEIRO, A.; BARRETO, R. S.; TAVARES, E. A. G.
International Conference on the Applications and Theory of Petri Nets
2006

. Pre-runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; SILVA, B.; FREITAS, R.; NETO, S.; CUSTODIO, M.
5th IFIP Working Conference on Distributed and Parallel Embedded Systems
2005

A Methodology for Mapping Live Sequence Chart to Coloured Petri Net

BARROS, L.; MACIEL, P. R. M.; OLIVEIRA JUNIOR, M. N.; BARRETO, R. S.; TAVARES, E. A. G.
[SMC] 2005 IEEE International Conference on Systems, Man, and Cybernetics
2005

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC

BARROS, L.; BARRETO, R. S.; MACIEL, P. R. M.; TAVARES, E. A. G.; OLIVEIRA JUNIOR, M. N.; LIMA, R. M.
2nd International Conference on Embedded Software and Systems
2005

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net

OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; TAVARES, E. A. G.; BARRETO, R. S.; LIMA, R. M.; BARROS, L.; OLIVEIRA, C.; ARCOVERDE, A.
. International Workshop on Power and Timing Modeling, Optimization and Simulation
2005

A Time Petri Net-Based Approach for Software Synthesis Considering Dispatcher Overheads

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.
[SBAC-PAD] In 17th Brazilian Symposium on Computer Architecture and High Performance Computing
2005

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads

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.
[IESS] International Embedded Systems Symposium 2005
2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; LIMA, R. M.; BESSA, A.; BARROS, L.
International Workshop on Power and Timing Modeling, Optimization and Simulation
2005

A Time Petri Net Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; MACIEL, P. R. M.; BARROS, L.; LIMA, R. M.; BESSA, A.
[SBCCI] 18th Brazilian Symposium on Integrated Circuits and Systems Design
2004

A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems

BARRETO, R. S.; MACIEL, P. R. M.; NEVES, M. L.; TAVARES, E. A. G.; LIMA, R. M.
[SBCCI] 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004)
2004

Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study

BARRETO, R. S.; NEVES, M. L.; TAVARES, E. A. G.; MACIEL, P. R. M.
I Workshop de Sistemas Operacionais
2004

An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints

TAVARES, E. A. G.; BARRETO, R. S.; OLIVEIRA JUNIOR, M. N.; NEVES, M. L.; MACIEL, P. R. M.; LIMA, R. M.
[SBAC-PAD] 16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004)
2004

A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems

BARRETO, R. S.; MACIEL, P. R. M.; NEVES, M. L.; TAVARES, E. A. G.; LIMA, R. M.
IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES),
eagt

Eduardo Antonio Guimarães Tavares

Professor Associado IV

Vice-Coordenador da Graduação em Engenharia da Computação

•Coordenador de estágio de Engenharia da Computação
Avaliação de Desempenho e Dependabilidade
Link para o site pessoal de Eduardo Antonio Guimarães Tavares
Link para o perfil do lattes de Eduardo Antonio Guimarães Tavares
Link para o perfil do DBLP de Eduardo Antonio Guimarães Tavares
Link para o perfil do ORCID de Eduardo Antonio Guimarães Tavares
Link para o perfil do sigaa de Eduardo Antonio Guimarães Tavares
E-mail
eagt@cin.ufpe.br
Telefone
+55 81 2126-8430  R:4328
Sala
C014
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
eagt

Eduardo Antonio Guimarães Tavares

Professor Associado IV

Vice-Coordenador da Graduação em Engenharia da Computação

•Coordenador de estágio de Engenharia da Computação
Avaliação de Desempenho e Dependabilidade
Link para o site pessoal de Eduardo Antonio Guimarães Tavares
Link para o perfil do lattes de Eduardo Antonio Guimarães Tavares
Link para o perfil do DBLP de Eduardo Antonio Guimarães Tavares
Link para o perfil do ORCID de Eduardo Antonio Guimarães Tavares
Link para o perfil do sigaa de Eduardo Antonio Guimarães Tavares
E-mail
eagt@cin.ufpe.br
Telefone
+55 81 2126-8430  R:4328
Sala
C014
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações