A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. - Raimundo S. Barreto; Paulo Romero Martins Maciel; Marília Neves; Eduardo Tavares; Ricardo Massa Ferreira Lima (DIPES, 2004)

An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. - Eduardo Tavares; Raimundo S. Barreto; Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Marília Neves; Ricardo Massa Ferreira Lima (SBAC-PAD, 2004)

A formal software synthesis approach for embedded hard real-time systems. - Raimundo S. Barreto; Marília Neves; Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Eduardo Tavares; Ricardo Massa Ferreira Lima (SBCCI, 2004)

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. - Leonardo Amorim; Raimundo S. Barreto; Paulo Romero Martins Maciel; Eduardo Tavares; Meuse N. Oliveira Jr.; Arthur Bessa; Ricardo Massa Ferreira Lima (ICESS, 2005)

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. - Raimundo S. Barreto; Eduardo Tavares; Paulo Romero Martins Maciel; Marília Neves; Meuse N. Oliveira Jr.; Leonardo Amorim; Arthur Bessa; Ricardo Massa Ferreira Lima (IESS, 2005)

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. - Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Angelo Ribeiro; César A. L. de Oliveira; Adilson Arcoverde; Raimundo S. Barreto; Eduardo Tavares; Leonardo Amorim (PATMOS, 2005)

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Adilson Arcoverde; Gabriel Alves; Ricardo Massa Ferreira Lima; Leonardo Barros; Arthur Bessa (PATMOS, 2005)

A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. - Raimundo S. Barreto; Eduardo Tavares; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Leonardo Amorim; Ricardo Massa Ferreira Lima; Cesar Carvalho; Carlos A. B. Mello (SBAC-PAD, 2005)

A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. - Eduardo Tavares; Paulo Romero Martins Maciel; Arthur Bessa; Raimundo S. Barreto; Leonardo Barros; Meuse N. Oliveira Jr.; Ricardo Massa Ferreira Lima (SBCCI, 2005)

A methodology for mapping live sequence chart to coloured Petri net. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (SMC, 2005)

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. - Meuse N. Oliveira Jr.; Silvino Neto; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Angelo Ribeiro; Raimundo S. Barreto; Eduardo Tavares; Frederico Braga (ICATPN, 2006)

Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. - Eduardo Tavares; Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Bruno Souza; Silvino Neto; Raimundo S. Barreto; Romulo Devezas Freitas; Marcelo Custódio (DIPES, 2006)

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (ACM SIGSOFT Softw. Eng. Notes, 2006)

A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001; Meuse N. Oliveira Jr. (SBCCI, 2007)

Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001; Meuse N. Oliveira Jr.; Rafael Rodrigues; Renato Marques (SMC, 2007)

Software synthesis for hard real-time embedded systems with multiple processors. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Leonardo Amorim; Fernando Rocha; Ricardo Massa Ferreira Lima (ACM SIGSOFT Softw. Eng. Notes, 2007)

A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Ermeson Carneiro de Andrade; Bruno Costa e Silva Nogueira; Eduardo Tavares; Meuse N. Oliveira Jr. (PATMOS, 2008)

Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. - Eduardo Tavares; Bruno Silva 001; Paulo Romero Martins Maciel; Pedro Dallegrave (SBAC-PAD, 2008)

A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Ermeson Carneiro de Andrade; Bruno Costa e Silva Nogueira; Eduardo Antonio Guimarães Tavares (SBCCI, 2008)

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. - Eduardo Tavares; Bruno Silva 001; Paulo Romero Martins Maciel (SEFM, 2008)

A time Petri net-based method for embedded hard real-time software synthesis. - Raimundo S. Barreto; Paulo Romero Martins Maciel; Eduardo Tavares; Romulo Devezas Freitas; Meuse N. Oliveira Jr.; Ricardo Massa Ferreira Lima (Des. Autom. Embed. Syst., 2008)

Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001; Meuse N. Oliveira Jr. (Inf. Process. Lett., 2008)

Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001 (Microprocess. Microsystems, 2008)

Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. - Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Ermeson Carneiro de Andrade; Gustavo Rau de Almeida Callou; Ricardo Massa Oliveira Lima; Rodolfo Ferraz; Bruno Montenegro (SBAC-PAD, 2009)

A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. - Eduardo Tavares; Pedro Dallegrave; Bruno Silva 001; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel (SMC, 2009)

ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados. - Bruno C. S. Nogueira; Paulo R. M. Maciel; Gustavo Callou; Ermeson C. Andrade; Eduardo Tavares (RITA, 2009)

Impact analysis of maintenance policies on data center power infrastructure. - Gustavo Rau de Almeida Callou; Erica Sousa; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Carlos Araújo; Bruno Silva 001; Nelson Souto Rosa; Manish Marwah; Ratnesh K. Sharma; Amip Shah; Tom Christian; Jose Paulo Pires; et al. (SMC, 2010)

ASTRO: A tool for dependability evaluation of Data Center infrastructures. - Bruno Silva 001; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Carlos Araújo; Gustavo Rau de Almeida Callou; Erica Sousa; Nelson Souto Rosa; Manish Marwah; Ratnesh K. Sharma; Amip Shah; Tom Christian; Jose Paulo Pires (SMC, 2010)

Model-driven software synthesis for hard real-time applications with energy constraints. - Eduardo Tavares; Paulo Romero Martins Maciel; Pedro Dallegrave; Bruno Silva 001; Tiago Falcão; Bruno Costa e Silva Nogueira; Gustavo Rau de Almeida Callou; Paulo R. F. Cunha (Des. Autom. Embed. Syst., 2010)

Sustainability and dependability evaluation on data center architectures. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Eduardo Tavares; Erica Sousa; Bruno Silva 001; Jair Figueiredo; Carlos Araújo; Fábio S. Magnani; Francisco A. S. Neves (SMC, 2011)

Estimating reliability importance and total cost of acquisition for data center power infrastructures. - Jair Figueiredo; Paulo R. M. Maciel; Gustavo Rau de Almeida Callou; Eduardo Tavares; Erica Sousa; Bruno Silva 001 (SMC, 2011)

A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. - Gustavo Rau de Almeida Callou; Erica Sousa; Paulo Romero Martins Maciel; Eduardo Tavares; Bruno Silva 001; Jair Figueiredo; Carlos Araújo; Fábio S. Magnani; Francisco A. S. Neves (SpringSim (TMS-DEVS), 2011)

A Formal Model for Performance and Energy Evaluation of Embedded Systems. - Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel; Eduardo Tavares; Ermeson C. Andrade; Ricardo Massa Ferreira Lima; Gustavo Rau de Almeida Callou; Rodolfo Ferraz (EURASIP J. Embed. Syst., 2011)

Energy consumption and execution time estimation of embedded system applications. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Eduardo Tavares; Ermeson C. Andrade; Bruno Costa e Silva Nogueira; Carlos Araújo; Paulo Roberto Freire Cunha (Microprocess. Microsystems, 2011)

Dependability assessment of virtualized networks. - Stenio F. L. Fernandes; Eduardo Tavares; Marcelo Anderson Santos; Victor Lira; Paulo Romero Martins Maciel (ICC, 2012)

Performance evaluation of medical imaging service. - Eduardo Tavares; J. Aleixo; Paulo Romero Martins Maciel; Danilo Oliveira; E. Heyde; R. Araujo; L. Maia; A. Duarte; Magdala de Araujo Novaes (SAC, 2012)

Capacity planning of EFT service hosted on elastic IaaS. - Erica Sousa; Paulo Romero Martins Maciel; Debora Souza; Erico Medeiros; Fernando Antônio Aires Lins; Eduardo Tavares (SMC, 2012)

A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. - Eduardo Tavares; Paulo Romero Martins Maciel; Erica Sousa; Bruno Costa e Silva Nogueira; Leonardo Amorim; Victor Lira (SMC, 2012)

A simulation optimization approach for design space exploration of soft real-time embedded systems. - Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel; Ricardo Martins 001; Eduardo Tavares (IEEE Congress on Evolutionary Computation, 2013)

Virtual Network Resource Allocation Considering Dependability Issues. - Victor Lira; Eduardo Tavares; Stenio F. L. Fernandes; Paulo Romero Martins Maciel; Ricardo M. A. Silva (CSE, 2013)

Development Risk Assessment in Software Projects Using Dependability Models. - Alexsandro Melo; Eduardo Tavares; Marcelo Marinho; Erica Sousa; Bruno C. S. Nogueira; Paulo R. M. Maciel (CSE, 2013)

Dependability models for designing disaster tolerant cloud computing systems. - Bruno Silva 001; Paulo Romero Martins Maciel; Eduardo Tavares; Armin Zimmermann (DSN, 2013)

Stochastic Model Generation for Cloud Infrastructure Planning. - Erica Sousa; Paulo Romero Martins Maciel; Lais Medeiros; Fernando Antônio Aires Lins; Eduardo Tavares; Erico Medeiros (SMC, 2013)

ASTRO: An integrated environment for dependability and sustainability evaluation. - Bruno Silva 001; Gustavo Callou; Eduardo Tavares; Paulo R. M. Maciel; Jair Figueiredo; Erica Sousa; Carlos Araújo; Fábio S. Magnani; Francisco A. S. Neves (Sustain. Comput. Informatics Syst., 2013)

Performance and Cost Modeling Strategy for Cloud Infrastructure Planning. - Erica Teixeira Gomes Sousa; Fernando Antônio Aires Lins; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel (IEEE CLOUD, 2014)

Transport mode assessment for inbound logistics: A study based on coffee industry. - Anderson C. A. Nascimento; Gabriel Alves; Erica Sousa; Bruno Costa e Silva Nogueira; Eduardo Antonio Guimarães Tavares (SMC, 2014)

AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems. - Bruno Silva 001; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; Bruno Costa e Silva Nogueira; Jeisa Oliveira; Antônio Vicente Lourenço Dâmaso; Nelson Souto Rosa (SMC, 2014)

Dependability evaluation of cloud infrastructures. - Erica Sousa; Edson Silva; Fernando Antônio Aires Lins; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel (SMC, 2014)

Energy-aware mapping for dependable virtual networks. - Victor Lira; Eduardo Tavares (PATMOS, 2015)

Performability Assessment of a Government Process in the Cloud. - Rosiberto Dos Santos Gonçalves; Eduardo Antonio Guimarães Tavares; Anderson C. A. Nascimento; Erica Sousa; Fernando Antônio Aires Lins; Gabriel Alves (SMC, 2015)

An automated approach to dependability evaluation of virtual networks. - Victor Lira; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel (Comput. Networks, 2015)

Dependable virtual network mapping. - Victor Lira; Eduardo Antonio Guimarães Tavares; Stenio F. L. Fernandes; Paulo Romero Martins Maciel (Computing, 2015)

Dependability approach for evaluating software development risks. - Alexsandro Melo; Eduardo Antonio Guimarães Tavares; Erica Sousa; Bruno Costa e Silva Nogueira; Marcelo Marinho (IET Softw., 2015)

A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements. - Erica Sousa; Fernando Antônio Aires Lins; Eduardo Antonio Guimarães Tavares; Paulo Roberto Freire Cunha; Paulo Romero Martins Maciel (IEEE Trans. Syst. Man Cybern. Syst., 2015)

A Sensitivity Approach to Energy-Efficient Mapping of Dependable Virtual Networks. - Victor Lira; Eduardo Tavares; Meuse N. Oliveira Jr.; Dennys Azevedo; Jonas Pontes (CIT, 2017)

Assessment of TCP Parameters for Mobile Devices Concerning Performance and Energy Consumption. - Jonas Pontes; Demetrio Borges; Eric Borba; Victor Lira; Eduardo Tavares (CIT, 2017)

An Approach for Reducing Energy Consumption in Dependable Virtual Network Embedding. - Victor Lira; Eduardo Tavares; Meuse N. Oliveira Jr. (ICCCN, 2017)

Performance and availability modeling of hybrid storage systems. - Eric Borba; Jonas Pontes; Eduardo Tavares (SMC, 2017)

Cloud infrastructure planning considering different redundancy mechanisms. - Erica Sousa; Fernando Lins; Eduardo Tavares; Paulo Romero Martins Maciel (Computing, 2017)

Stochastic modelling of taxpayer assistance centre for performability evaluation. - Rosiberto Dos Santos Gonçalves; Eduardo Antonio Guimarães Tavares; Gabriel Alves de Albuquerque; Bruno Leonardo Barros Silva (Int. J. Bus. Process. Integr. Manag., 2017)

Stochastic modeling for performance and availability evaluation of hybrid storage systems. - Eric Borba; Eduardo Tavares (J. Syst. Softw., 2017)

Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation. - Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel; Eduardo Tavares; Ricardo M. A. Silva; Ermeson Carneiro de Andrade (Soft Comput., 2017)

Sensitivity analysis of an availability model for disaster tolerant cloud computing system. - Bruno Silva 001; Rúbens de Souza Matos Júnior; Eduardo Tavares; Paulo Romero Martins Maciel; Armin Zimmermann (Int. J. Netw. Manag., 2018)

Video Conferencing Evaluation Considering Scalable Video Coding and SDN Network. - Francisco Oliveira 004; Eduardo Tavares; Erica Sousa; Bruno Costa e Silva Nogueira (RITA, 2018)

Estimating Availability-oriented Throughput of Virtualized Networks. - Victor Lira; Eduardo Tavares; Eric Borba; Paulo R. M. Maciel (SMC, 2019)

Performance Comparison of IoT Communication Protocols. - Thays Moraes; Bruno C. S. Nogueira; Victor Lira; Eduardo Tavares (SMC, 2019)

Performability Model for Assessing NoSQL DBMS Consistency. - Carlos Gomes; Eric Borba; Eduardo Tavares; Meuse Nogueira de O. Junior (SysCon, 2019)

Evaluation of NoSQL DBMS in private cloud environment: An Approach Based on Stochastic Modeling. - Matheus Rodrigues; Breno Vasconcelos; Carlos Gomes; Eduardo Tavares (SysCon, 2019)

Virtual network mapping considering energy consumption and availability. - Victor Lira; Eduardo Tavares; Meuse N. Oliveira Jr.; Erica Sousa; Bruno Costa e Silva Nogueira (Computing, 2019)

Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory. - Bruno Costa e Silva Nogueira; Ermeson Carneiro de Andrade; Eduardo Tavares (Microprocess. Microsystems, 2019)

Accelerating continuous GRASP with a GPU. - Bruno C. S. Nogueira; Eduardo Tavares; Jean Araujo 001; Gustavo Callou (J. Supercomput., 2019)

Performance and Energy Consumption Evaluation of Hybrid Storage Systems. - Eric Borba; Eduardo Tavares; Paulo Romero Martins Maciel; Victor Lira; Carlos Gomes Araújo (SysCon, 2020)

Performability evaluation of transport modes for cloud-based inbound logistics: a study based on coffee industry. - Anderson C. A. Nascimento; Eduardo Tavares; Gabriel Alves de Albuquerque; Erica Sousa; Bruno Costa e Silva Nogueira (Int. J. Manuf. Technol. Manag., 2020)

The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation. - Thiago Felipe da Silva Pinheiro; Danilo Oliveira; Rúbens de Souza Matos Júnior; Bruno Silva 001; Paulo Pereira; Carlos Melo; Felipe Oliveira; Eduardo Tavares; Jamilson Dantas; Paulo Romero Martins Maciel (Intelligent Environments (Workshops), 2021)

Energy Consumption Evaluation of LPWAN: A Stochastic Modeling Approach for IoT Systems. - Diogo Lages; Eric Borba; Jean Araujo 001; Eduardo Tavares; Erica Sousa (SysCon, 2021)

Iterated local search with tabu search for the weighted vertex coloring problem. - Bruno C. S. Nogueira; Eduardo Tavares; Paulo R. M. Maciel (Comput. Oper. Res., 2021)

Iterated local search for the generalized independent set problem. - Bruno Costa e Silva Nogueira; Rian G. S. Pinheiro; Eduardo Tavares (Optim. Lett., 2021)

A modeling approach for estimating performance and energy consumption of storage systems. - Eric Borba; Eduardo Tavares; Paulo Maciel 001 (J. Comput. Syst. Sci., 2022)

Cloud storage availability and performance assessment: a study based on NoSQL DBMS. - Carlos Gomes; Eduardo Tavares; Meuse Nogueira de O. Junior; Bruno C. S. Nogueira (J. Supercomput., 2022)

Stochastic Modeling for Performance and Availability Evaluation of Street Lighting Systems. - Cleunio França; Gustavo Callou; Eric Borba; Thiago Valentim Bezerra; Eduardo Tavares (WF-IoT, 2023)

A CPN-based model for assessing energy consumption of IoT networks. - Diogo Lages; Eric Borba; Eduardo Tavares; Andson M. Balieiro; Erica Souza (J. Supercomput., 2023)

NoSQL-based storage systems: influence of consistency on performance, availability and energy consumption. - Carlos Gomes; Meuse Nogueira de O. Junior; Bruno C. S. Nogueira; Paulo R. M. Maciel; Eduardo Tavares (J. Supercomput., 2023)

A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers. - Eric Borba; Reza Salkhordeh; Salim Mimouni; Eduardo Tavares; Paulo Maciel 001; Hossein Asadi 001; André Brinkmann (ARCS, 2024)

A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things. - Thiago Valentim Bezerra; Gustavo Callou; Cleunio França; Eduardo Antonio Guimarães Tavares (LADC, 2024)

Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation. - Erick Nascimento; Eduardo Antonio Guimarães Tavares; Jamilson Dantas; Paulo Romero Martins Maciel (LADC, 2024)

Availability Evaluation of a Softwarized MEC. - Erick Nascimento; Jamilson Dantas; Eduardo Tavares; Paulo Romero Martins Maciel (SysCon, 2024)

Energy Consumption and Performance Evaluation of Multi-Model NoSQL DBMSs. - Fúlvio Falcão; João Moura 007; Gabriel Silva; Carlos Araújo; Erica Sousa; Eduardo Tavares (RITA, 2024)

Performability evaluation of NoSQL-based storage systems. - Carlos Araújo; Meuse N. Oliveira Jr.; Bruno Nogueira 001; Paulo Maciel 001; Eduardo Tavares (J. Syst. Softw., 2024)

Availability and Performance Assessment of IoMT Systems: A Stochastic Modeling Approach. - Thiago Valentim Bezerra; Gustavo Callou; Cleunio França; Eduardo Tavares (J. Netw. Syst. Manag., 2024)

GPU tabu search: A study on using GPU to solve massive instances of the maximum diversity problem. - Bruno Nogueira 001; William Rosendo; Eduardo Tavares; Ermeson C. Andrade (J. Parallel Distributed Comput., 2025)

Stochastic modeling of smart street lighting systems: maintenance models assessment. - Cleunio França; Eduardo Tavares (Computing, 2025)

Correction: Availability and Performance Assessment of IoMT Systems: A Stochastic Modeling Approach. - Thiago Valentim Bezerra; Gustavo Callou; Cleunio França; Eduardo Tavares (J. Netw. Syst. Manag., 2025)

A modelling approach for estimating energy consumption of NoSQL-based storage systems. - Fillipe Souza; Eduardo Tavares; Carlos Araújo (J. Supercomput., 2025)