Towards a Software Power Cost Analysis Framework Using Colored Petri Net. - Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Raimundo S. Barreto; Fernando F. Carvalho (PATMOS, 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)

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)

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. - Lucas C. Cordeiro; Raimundo S. Barreto; Rafael Barcelos; Meuse N. Oliveira Jr.; Vicente Lucena; Paulo Romero Martins Maciel (ECBS, 2007)

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)

TXM: an agile HW/SW development methodology for building medical devices. - Lucas C. Cordeiro; Raimundo S. Barreto; Rafael Barcelos; Meuse N. Oliveira Jr.; Vicente Lucena; Paulo Romero Martins Maciel (ACM SIGSOFT Softw. Eng. Notes, 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)

Towards a Semiformal Development Methodology for Embedded Systems. - Lucas C. Cordeiro; Raimundo S. Barreto; Meuse N. Oliveira Jr. (ENASE, 2008)

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)

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)

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)

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

Performability Model for Assessing NoSQL DBMS Consistency. - Carlos Gomes; Eric Borba; Eduardo Tavares; Meuse Nogueira de O. Junior (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)

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)

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)

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)