Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign. - Paulo Romero Martins Maciel; Edna Barros (RSP, 1996)

Computing communication cost by Petri nets for hardware/software codesign. - Paulo Romero Martins Maciel; Edna Barros; Wolfgang Rosenstiel (IEEE International Workshop on Rapid System Prototyping, 1997)

A Petri net based approach for performing the initial allocation in hardware/software codesign. - Paulo R. M. Maciel; Edna Barros; Wolfgang Rosenstiel (SMC, 1998)

A Petri Net Model for Hardware/Software Codesign. - Paulo Romero Martins Maciel; Edna Barros; Wolfgang Rosenstiel (Des. Autom. Embed. Syst., 1999)

Methods Based on Petri Net for Resource Sharing Estimation. - Paulo Maciel 001; Fred Cruz Filho; Edna Barros; Wolfgang Rosenstiel (SBCCI, 2000)

Using Petri nets for data dependency analysis. - Fred Cruz Filho; Paulo R. M. Maciel; Edna Barros (SMC, 2000)

A Petri Net Based Method for Resource Estimation: An Approach Considering Data-Dependency, Casual and Temporal Precedences. - Paulo Maciel 001; Fred Cruz Filho; Edna Barros (SBCCI, 2001)

A Petri Net Based Approach for Hardware/Software Partitioning. - Fred Cruz Filho; Paulo Maciel 001; Edna Barros (SBCCI, 2001)

CDFG -Petri Net Temporal Partitioning for Switching Context Applications. - Paulo Sérgio B. do Nascimento; Manoel Eusébio de Lima; Paulo Maciel 001 (SBCCI, 2002)

Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. - Sérgio Murilo Maciel Fernandes; Paulo Romero Martins Maciel (MEMOCODE, 2003)

Petri Net Based Interface Analysis for Fast IP-Core Integration. - Julio A. de Oliveira Filho; Manoel Eusébio de Lima; Paulo Romero Martins Maciel (MEMOCODE, 2003)

A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. - Raimundo S. Barreto; Paulo Romero Martins Maciel; Sérgio Cavalcante (SBAC-PAD, 2003)

A Fast IP-Core Integration Methodology for SoC Design. - Julio A. de Oliveira Filho; Manoel Eusébio de Lima; Paulo Romero Martins Maciel; Juliana Moura; Bruno Celso (SBCCI, 2003)

A Petri net based method for storage units estimation. - Albano Portela Machado; Paulo Romero Martins Maciel; Abel Guilhermino Silva-Filho (SMC, 2003)

A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architectures. - Remy Eskinazi Sant'Anna; Manoel Eusébio de Lima; Paulo Romero Martins Maciel (FPGA, 2004)

A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. - Raimundo S. Barreto; Sérgio Cavalcante; Paulo Romero Martins Maciel (ICDCS Workshops, 2004)

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)

On the generalised stochastic Petri net modeling of message-oriented middleware systems. - Stenio F. L. Fernandes; Wellington João Silva; Mauro Jose Carlos e Silva; Nelson S. Rosa; Paulo Romero Martins Maciel; Djamel Fawzi Hadj Sadok (IPCCC, 2004)

EZPetri: A Petri net interchange framework for Eclipse based on PNML. - Gabriel Alves; Adilson Arcoverde; Ricardo Massa Ferreira Lima; Paulo Romero Martins Maciel (ISoLA (Preliminary proceedings), 2004)

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 partial reconfigurable architecture for controllers based on Petri nets. - Paulo Sérgio B. do Nascimento; Paulo Romero Martins Maciel; Manoel Eusébio de Lima; Remy Eskinazi Sant'Anna; Abel Guilhermino Silva-Filho (SBCCI, 2004)

A Petri net based method for functional and interconnect units estimation. - Albano Portela Machado; Paulo Romero Martins Maciel; Edna Barros (SMC (5), 2004)

Modelling and analysis in production system: an approach based on Petri net. - Mauro Jose Carlos e Silva; Wellington João Silva; Paulo Romero Martins Maciel (SMC (5), 2004)

A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only). - Paulo Sérgio B. do Nascimento; Paulo Romero Martins Maciel; Manoel Eusébio de Lima; Remy Eskinazi Sant'Anna; Abel Guilhermino Silva-Filho (FPGA, 2005)

A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only). - Remy Eskinazi Sant'Anna; Manoel Eusébio de Lima; Paulo Romero Martins Maciel; Carlos A. Valderrama; Abel Guilhermino Silva-Filho; Paulo Sérgio B. do Nascimento (FPGA, 2005)

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 Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable Systems. - Remy Eskinazi Sant'Anna; Manoel Eusébio de Lima; Paulo Romero Martins Maciel; Carlos A. Valderrama; Abel Guilhermino Silva-Filho; Paulo Sérgio B. do Nascimento (IPDPS, 2005)

Managing Petri Nets in MOF Repositories. - Hélio Lopes dos Santos; Paulo Romero Martins Maciel; Nelson S. Rosa; Roberto Souto Maior de Barros (OTM Conferences (2), 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)

Modelling and analysis of inventory policy: an approach based on Petri nets. - Mauro Jose Carlos e Silva; Wellington João Silva; Paulo Romero Martins Maciel (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)

Using stochastic Petri nets for performance modelling of application servers. - Fábio N. Souza; Roberto D. Arteiro; Nelson S. Rosa; Paulo Romero Martins Maciel (IPDPS, 2006)

Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems. - Sérgio Murilo Maciel Fernandes; Paulo Romero Martins Maciel (SMC, 2006)

Interval Generalized Stochastic Petri Net Models in Performance Evaluation. - Sergio Mario Lins Galdino; Paulo Romero Martins Maciel (SMC, 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)

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)

A GSPN based approach to evaluate outbound logistics. - Gabriel Alves; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima (SMC, 2007)

Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. - Adilson Arcoverde; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima (SMC, 2007)

Interval generalized stochastic petri net models in dependability evaluation. - Sergio Mario Lins Galdino; Paulo Romero Martins Maciel; Nelson Souto Rosa (SMC, 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)

Modeling and evaluation of supply chains with GSPN components. - Gabriel Alves; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima (VALUETOOLS, 2007)

Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets. - Roberta A. de A. Fagundes; Paulo Romero Martins Maciel; Nelson S. Rosa (RITA, 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)

Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. - Ermeson C. Andrade; Paulo Romero Martins Maciel; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira (CIMCA/IAWTIC/ISE, 2008)

ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. - Fabiano Cruz; Raimundo S. Barreto; Lucas C. Cordeiro; Paulo Romero Martins Maciel (DATE, 2008)

Performance Models for the Instance Pooling Mechanism of the JBoss Application Server. - Fábio N. Souza; Roberto D. Arteiro; Nelson S. Rosa; Paulo Romero Martins Maciel (IPCCC, 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)

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)

Performance evaluation of logistics with componentized stochastic models. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Armin Zimmermann (SMC, 2008)

Outer estimates of interval system of linear equations: ISPN models in dependability evaluation. - Sergio Mario Lins Galdino; Paulo Romero Martins Maciel (SMC, 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)

A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. - Ermeson Carneiro de Andrade; Paulo Romero Martins Maciel; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira (ICDS, 2009)

Incorporating Security Requirements into Service Composition: From Modelling to Execution. - Andre R. R. Souza; Bruno L. B. Silva; Fernando Antônio Aires Lins; Julio Cesar Damasceno; Nelson Souto Rosa; Paulo Romero Martins Maciel; Robson W. A. Medeiros; Bryan Stephenson; Hamid R. Motahari Nezhad; Jun Li 008; Caio Northfleet (ICSOC/ServiceWave, 2009)

Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. - Andre R. R. Souza; Bruno L. B. Silva; Fernando Antônio Aires Lins; Julio Cesar Damasceno; Nelson S. Rosa; Paulo Romero Martins Maciel; Robson W. A. Medeiros; Bryan Stephenson; Hamid R. Motahari Nezhad; Jun Li 008; Caio Northfleet (ICSOC/ServiceWave, 2009)

Defining bandwidth constraints with cooperative games. - Edilayne Meneses Salgueiro; Paulo Roberto Freire Cunha; Paulo Romero Martins Maciel; José Augusto Suruagy Monteiro; Ricardo J. P. de B. Salgueiro (ICUMT, 2009)

Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic. - Carlos Araújo; Erica Sousa; Paulo Romero Martins Maciel; Fábio Chicout; Ermeson Carneiro de Andrade (INTENSIVE, 2009)

Performability evaluation of EFT systems for SLA assurance. - Erica Sousa; Paulo Romero Martins Maciel; Carlos Araújo; Fábio Chicout (IPDPS, 2009)

Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. - Erica Sousa; Paulo Romero Martins Maciel; Carlos Araújo; Gabriel Alves; Fábio Chicout (ISCC, 2009)

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. - Ermeson Carneiro de Andrade; Paulo Romero Martins Maciel; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira; Carlos Araújo (SAC, 2009)

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)

Synthetic workload generation for capacity planning of virtual server environments. - Hugo Estanislau Soares Galindo; Wagner Medeiros Santos; Paulo Romero Martins Maciel; Bruno Silva 001; Sergio Mario Lins Galdino; Jose Paulo Pires (SMC, 2009)

Performability Evaluation of EFT Systems using Expolinomial Stochastic Models. - Erica Teixeira Gomes Sousa; Paulo Romero Martins Maciel; Carlos Julian Menezes Araújo (SMC, 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)

Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. - Marcelo Teixeira; Ricardo Massa Ferreira Lima; César A. L. de Oliveira; Paulo Romero Martins Maciel (SMC, 2009)

Towards Generating Richer Code by Binding Security Abstractions to BPMN Task Types. - Julio Cesar Damasceno; Hamid Reza Motahari-Nezhad; Jun Li 008; Caio Northfleet; Bryan Stephenson; André Ricardo da Silva Souza; Robson Wagner Albuquerque de Medeiros; Bruno Leonardo Barros Silva; Fernando Antônio Aires Lins; Nelson Souto Rosa; Paulo Romero Martins Maciel (RITA, 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)

An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts. - Bruno Leonardo Barros Silva; Robson Wagner Albuquerque de Medeiros; Julio Cesar Damasceno; Fernando Antônio Aires Lins; Nelson Souto Rosa; Paulo Romero Martins Maciel; Bryan Stephenson; Hamid Reza Motahari-Nezhad; Jun Li 008; Caio Northfleet; André Ricardo da Silva Souza (RITA, 2009)

Measuring software aging effects through OS kernel instrumentation. - Rivalino Matias; Ibrahim Beicker; Breno Leitão; Paulo R. M. Maciel (WoSAR@ISSRE, 2010)

Using Accelerated Life Tests to Estimate Time to Software Aging Failure. - Rivalino Matias; Kishor S. Trivedi; Paulo Romero Martins Maciel (ISSRE, 2010)

Performance evaluation model for test process. - Marcelo Marinho; Paulo Maciel 001; Erica Sousa; Teresa Maciel; Ermeson C. Andrade (LATW, 2010)

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)

Availability with input uncertainties using an interval-based approach. - Sergio Mario Lins Galdino; Paulo Romero Martins Maciel (SMC, 2010)

WGCap: A synthetic trace generation tool for capacity planning of virtual server environments. - Hugo Estanislau Soares Galindo; Erico A. C. Guedes; Paulo Romero Martins Maciel; Bruno Silva 001; Sergio Mario Lins Galdino (SMC, 2010)

Quantitative analysis of performability in voice and data networks. - Almir Pereira Guimarães; Paulo Romero Martins Maciel; Rivalino Matias (SMC, 2010)

Stochastic model for performance evaluation of test planning. - Marcelo Marinho; Paulo Romero Martins Maciel; Erica Sousa; Teresa Maciel; Almir Guimares (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)

A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. - Marcelo Teixeira; Ricardo Massa Ferreira Lima; César A. L. de Oliveira; Paulo Romero Martins Maciel (SMC, 2010)

Performance evaluation of test process based on stochastic models. - Marcelo Marinho; Paulo Romero Martins Maciel; Erica Sousa; Teresa Maciel; Ermeson C. Andrade (SpringSim, 2010)

DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer Systems. - Rilson O. Nascimento; Paulo Romero Martins Maciel (Comput. Informatics, 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)

A COTS-based approach for estimating performance and energy consumption of embedded real-time systems. - Ermeson C. Andrade; Paulo Romero Martins Maciel; Bruno Costa e Silva Nogueira; Carlos Araújo; Gustavo Rau de Almeida Callou (Inf. Process. Lett., 2010)

Performance and energy consumption estimation for commercial off-the-shelf component system design. - Ermeson C. Andrade; Paulo Romero Martins Maciel; Tiago Falcão; Bruno Costa e Silva Nogueira; Carlos Araújo; Gustavo Rau de Almeida Callou (Innov. Syst. Softw. Eng., 2010)

Quantifying the sustainability impact of data center availability. - Manish Marwah; Paulo Romero Martins Maciel; Amip Shah; Ratnesh K. Sharma; Tom Christian; Virgílio A. F. Almeida; Carlos Araújo; Erica Sousa; Gustavo Rau de Almeida Callou; Bruno Silva 001; Sergio Mario Lins Galdino; Jose Paulo Pires (SIGMETRICS Perform. Evaluation Rev., 2010)

Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Armin Zimmermann (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud. - Julio Cesar Damasceno; Fernando Antônio Aires Lins; Robson W. A. Medeiros; Bruno Silva 001; Andre R. R. Souza; David Aragão; Paulo Romero Martins Maciel; Nelson Souto Rosa; Bryan Stephenson; Jun Li 008 (ICWS, 2011)

Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds. - Jean Araujo 001; Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel; Francisco Vieira; Rivalino Matias; Kishor S. Trivedi (WoSAR@ISSRE, 2011)

Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. - Ana Maria; Rivalino Matias; Autran Macedo; Paulo Romero Martins Maciel; Lucio Borges de Araujo (PDCAT, 2011)

Planning service agreements in soa-based systems through stochastic models. - Marcelo Teixeira; Ricardo Massa Ferreira Lima; César A. L. de Oliveira; Paulo Romero Martins Maciel (SAC, 2011)

SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud. - Fernando Antônio Aires Lins; Robson W. A. Medeiros; Bruno Silva 001; Andre R. R. Souza; David Aragão; Julio Cesar Damasceno; Paulo Romero Martins Maciel; Nelson Souto Rosa; Bryan Stephenson; Jun Li 008 (SERVICES, 2011)

Software aging issues on the eucalyptus cloud computing infrastructure. - Jean Araujo 001; Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel; Rivalino Matias (SMC, 2011)

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)

Comparison analysis of statistical control charts for quality monitoring of network traffic forecasts. - Rivalino Matias; Ana M. M. Carvalho; Lucio Borges de Araujo; Paulo Romero Martins Maciel (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)

Performability modeling of electronic funds transfer systems. - Carlos Araújo; Paulo Romero Martins Maciel; Armin Zimmermann; Ermeson C. Andrade; Erica Sousa; Gustavo Rau de Almeida Callou; Paulo Roberto Freire Cunha (Computing, 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)

Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. - Gabriel Alves; Paulo Romero Martins Maciel; Ricardo Lim; Fábio S. Magnani; Adilson Arcoverde Jr. (PASM@ICPE, 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)

Models for dependability and sustainability analysis of data center cooling architectures. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Dietmar Tutsch; Julian Araujo (DSN Workshops, 2012)

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

Transforming UML state machines into stochastic Petri nets for energy consumption estimation of embedded systems. - Dmitriy Shorin; Armin Zimmermann; Paulo Romero Martins Maciel (SustainIT, 2012)

Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds. - Rúbens de Souza Matos Júnior; Jean Araujo 001; Vandi Alves; Paulo Romero Martins Maciel (ISSRE Workshops, 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)

Calau: An environment for modeling and analyzing embedded real-time systems. - Ermeson C. Andrade; Marcelo Alves; Bruno Nogueira 001; Paulo Romero Martins Maciel (SMC, 2012)

An availability model for eucalyptus platform: An analysis of warm-standy replication mechanism. - Jamilson Dantas; Rúbens de Souza Matos Júnior; Jean Araujo 001; Paulo Romero Martins Maciel (SMC, 2012)

Infrastructure modeling of converged networks for business-oriented metrics evaluation. - Almir Guimares; Paulo Romero Martins Maciel (SMC, 2012)

Experimental evaluation of software aging effects in the eucalyptus elastic block storage. - Rúbens de Souza Matos Júnior; Jean Araujo 001; Vandi Alves; Paulo Romero Martins Maciel (SMC, 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)

Sensitivity Analysis of Server Virtualized System Availability. - Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel; Fumio Machida; Dong Seong Kim 001; Kishor S. Trivedi (IEEE Trans. Reliab., 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)

Availability study on cloud computing environments: Live migration as a rejuvenation mechanism. - Matheus D'Eça Torquato de Melo; Paulo Romero Martins Maciel; Jean Araujo 001; Rúbens de Souza Matos Júnior; Carlos Araújo (DSN, 2013)

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

Performability models for designing disaster tolerant Infrastructure-as-a-Service cloud computing systems. - Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (ICITST, 2013)

OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. - Ermeson C. Andrade; Marcelo Alves; Rúbens de Souza Matos Júnior; Bruno Silva 001; Paulo Romero Martins Maciel (SAFECOMP, 2013)

Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. - Romulo Devezas Freitas; Raimundo S. Barreto; Paulo Romero Martins Maciel (SBESC, 2013)

An Investigative Approach to Software Aging in Android Applications. - Jean Araujo 001; Vandi Alves; Danilo Oliveira; Pedro Dias; Bruno Silva 001; Paulo Romero Martins Maciel (SMC, 2013)

An Algorithm to Optimize Electrical Flows. - João Ferreira 002; Gustavo Rau de Almeida Callou; Jamilson Dantas; Rafael Souza; Paulo Romero Martins Maciel (SMC, 2013)

Comparative Analysis of Migration-Based Rejuvenation Schedules on Cloud Availability. - Matheus D'Eça Torquato de Melo; Jean Araujo 001; Rúbens de Souza Matos Júnior; Julian Menezes; Paulo Romero Martins Maciel (SMC, 2013)

Availability and Energy Consumption Analysis of Mobile Cloud Environments. - Danilo Oliveira; Jean Araujo 001; Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel (SMC, 2013)

Performability Evaluation of Emergency System. - Marcus Queiroz; Paulo Romero Martins Maciel; Bruno Silva 001; Almir Pereira Guimarães (SMC, 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)

The Effects of Temperature Variation on Data Center IT Systems. - Rafael Souza; Gustavo Rau de Almeida Callou; Kádna Camboin; João Ferreira 002; Paulo Romero Martins Maciel (SMC, 2013)

EucaBomber: Experimental Evaluation of Availability in Eucalyptus Private Clouds. - Debora Souza; Rúbens de Souza Matos Júnior; Jean Araujo 001; Vandi Alves; Paulo Romero Martins Maciel (SMC, 2013)

A Tool for Automatic Dependability Test in Eucalyptus Cloud Computing Infrastructures. - Debora Souza; Rúbens de Souza Matos Júnior; Jean Araujo 001; Vandi Alves; Paulo Romero Martins Maciel (Comput. Inf. Sci., 2013)

Estimating sustainability impact of high dependable data centers: a comparative study between Brazilian and US energy mixes. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Dietmar Tutsch; João Ferreira 002; Julian Araujo; Rafael Souza (Computing, 2013)

QoS-driven optimisation of composite web services: an approach based on GRASP and analytical models. - Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel; Ricardo M. A. Silva (Int. J. Web Grid Serv., 2013)

An analytical modeling framework to evaluate converged networks through business-oriented metrics. - Almir Pereira Guimarães; Paulo Romero Martins Maciel; Rivalino Matias Jr. (Reliab. Eng. Syst. Saf., 2013)

Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models. - Antônio Dâmaso; Davi Freitas; Nelson S. Rosa; Bruno Silva 001; Paulo R. M. Maciel (Sensors, 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)

Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Fábio S. Magnani (IEEE Trans. Syst. Man Cybern. 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)

VoD in eucalyptus platform: Availability modeling and sensibility analysis. - Rosangela Melo; Maria Clara Bezerra; Jamilson Dantas; Rúbens de Souza Matos Júnior; Ivanildo José de Melo Filho; Paulo Romero Martins Maciel (CNSM, 2014)

Availability Evaluation of Digital Library Cloud Services. - Julian Araujo; Paulo Romero Martins Maciel; Matheus Torquato 001; Gustavo Rau de Almeida Callou; Ermeson C. Andrade (DSN, 2014)

Sensitivity analysis of availability of video streaming service in cloud computing. - Rosangela Melo; Maria Clara Bezerra; Jamilson Dantas; Rúbens de Souza Matos Júnior; Ivanildo José de Melo Filho; Paulo Romero Martins Maciel (IPCCC, 2014)

Performability analysis of I/O bound application on container-based server virtualization cluster. - Erico A. C. Guedes; Luis E. T. Silva; Paulo R. M. Maciel (ISCC, 2014)

Dependability evaluation of a mhealth system using a mobile cloud infrastructure. - Jean Araujo 001; Bruno Silva 001; Danilo Oliveira; Paulo Romero Martins Maciel (SMC, 2014)

Availability modeling and analysis of a VoD service for eucalyptus platform. - Maria Clara Bezerra; Rosangela Melo; Jamilson Dantas; Paulo Romero Martins Maciel; Francisco Vieira (SMC, 2014)

Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle. - Jonathan Brilhante; Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (SMC, 2014)

Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle. - Jonathan Brilhante; Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (SMC, 2014)

Performance evaluation of sheepdog distributed storage system. - Paulo Romero Martins Maciel; Rúbens de Souza Matos Júnior; Gustavo Rau de Almeida Callou; Bruno Silva 001; Daniel Barreto; Julian Araujo; Jean Araujo 001; Vandi Alves; Stephen Worth (SMC, 2014)

Evaluation of a disaster recovery solution through fault injection experiments. - Rúbens de Souza Matos Júnior; Ermeson C. Andrade; Paulo Romero Martins Maciel (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)

GeoClouds Modcs: A perfomability evaluation tool for disaster tolerant IaaS clouds. - Bruno Silva 001; Paulo Romero Martins Maciel; Jonathan Brilhante; Armin Zimmermann (SysCon, 2014)

Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks. - Antônio Vicente Lourenço Dâmaso; Nelson Souto Rosa; Paulo Romero Martins Maciel (Int. J. Distributed Sens. Networks, 2014)

Software aging in the eucalyptus cloud computing infrastructure: Characterization and rejuvenation. - Jean Araujo 001; Rúbens de Souza Matos Júnior; Vandi Alves; Paulo Romero Martins Maciel; F. Vieira de Souza; Rivalino Matias Jr.; Kishor S. Trivedi (ACM J. Emerg. Technol. Comput. Syst., 2014)

Performability evaluation of emergency call center. - Marcus A. de Q. V. Lima; Paulo Romero Martins Maciel; Bruno Silva 001; Almir Pereira Guimarães (Perform. Evaluation, 2014)

Reliability of Wireless Sensor Networks. - Antônio Dâmaso; Nelson S. Rosa; Paulo R. M. Maciel (Sensors, 2014)

Planning Mobile Cloud Infrastructures Using Stochastic Petri Nets and Graphic Processing Units. - Francisco Airton Silva; Matheus Rodrigues; Paulo R. M. Maciel; Sokol Kosta; Alessandro Mei (CloudCom, 2015)

Video on Demand Hosted in Private Cloud: Availability Modeling and Sensitivity Analysis. - Rosangela Melo; Maria Clara Bezerra; Jamilson Dantas; Rúbens de Souza Matos Júnior; Ivanildo José de Melo Filho; Paulo Romero Martins Maciel (DSN Workshops, 2015)

CORE - A Context-based Approach for Rewriting User Queries. - Antônio Mendonça; Paulo R. M. Maciel; Damires Souza; Ana Carolina Salgado (ICEIS (1), 2015)

A scheduler for mobile cloud based on weighted metrics and dynamic context evaluation. - Francisco Airton Silva; Paulo Romero Martins Maciel; Gileno Filho; Rúbens de Souza Matos Júnior (SAC, 2015)

Performance Evaluation of Virtual Machines Instantiation in a Private Cloud. - Eliomar Campos; Rúbens de Souza Matos Júnior; Paulo R. M. Maciel; Igor Costa; Francisco Airton Silva; Francisco Vieira de Souza (SERVICES, 2015)

Performance Evaluation of Hypervisors for HPC Applications. - David Beserra; Felipe Oliveira; Jean Araujo 001; Felipe Fernandes; Alberto Araujo; Patricia Takako Endo; Paulo Romero Martins Maciel; Edward David Moreno (SMC, 2015)

Availability Evaluation of a VoD Streaming Cloud Service. - Maria Clara Bezerra; Rosangela Melo; Jamilson Dantas; Paulo Romero Martins Maciel (SMC, 2015)

Stochastic Modeling of Auto Scaling Mechanism in Private Clouds for Supporting Performance Tuning. - Eliomar Campos; Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel; Airton Pereira; Francisco Vieira de Souza (SMC, 2015)

Assessment of Bus Rapid Transit (BRT) Time Lags under Probabilistic Uncertainties. - Renata Dantas; Jamilson Dantas; Paulo R. M. Maciel; Gabriel Alves (SMC, 2015)

An Algorithm to Optimize Electrical Flows of Private Cloud Infrastructures. - João Ferreira 002; Jamilson Dantas; Jean Araujo 001; Danilo Mendonca; Paulo Romero Martins Maciel; Gustavo Callou (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)

Eucalyptus-based private clouds: availability modeling and comparison to the cost of a public cloud. - Jamilson Dantas; Rúbens de Souza Matos Júnior; Jean Araujo 001; Paulo Romero Martins Maciel (Computing, 2015)

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

Sensitivity analysis of a hierarchical model of mobile cloud computing. - Rúbens de Souza Matos Júnior; Jean Araujo 001; Danilo Oliveira; Paulo Romero Martins Maciel; Kishor S. Trivedi (Simul. Model. Pract. Theory, 2015)

SmartRank: a smart scheduling tool for mobile cloud computing. - Francisco Airton Silva; Paulo Romero Martins Maciel; Rúbens de Souza Matos Júnior (J. Supercomput., 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)

Hierarchical Model and Sensitivity Analysis for a Cloud-Based VoD Streaming Service. - Jamilson Dantas; Rúbens de Souza Matos Júnior; Jean Araujo 001; Danilo Oliveira; Andre Oliveira; Paulo Romero Martins Maciel (DSN Workshops, 2016)

Availability models for synchronization server infrastructure. - Carlos Melo; Jamilson Dantas; Jean Araujo 001; Paulo Romero Martins Maciel; Rodrigo Branchini; Luiz Kawakami (SMC, 2016)

Sensitive GRASP: combinatorial optimisation of composite web services guided by sensitivity analysis. - Rúbens de Souza Matos Júnior; Paulo R. M. Maciel; Ricardo M. A. Silva (Int. J. Web Grid Serv., 2016)

An Integrated Platform for Distributed Resources Monitoring and Software Aging Mitigation in Private Clouds. - Jean Araujo 001; Céfanys Braga; José Belmiro Neto; Adriano Costa; Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel (J. Softw., 2016)

Software Aging Issues in Streaming Video Player. - Jean Araujo 001; Felipe Oliveira; Rúbens de Souza Matos Júnior; Matheus Torquato 001; João Ferreira 002; Paulo Romero Martins Maciel (J. Softw., 2016)

Availability Evaluation and Sensitivity Analysis of a Mobile Backend-as-a-service Platform. - Igor Costa; Jean Araujo 001; Jamilson Dantas; Eliomar Campos; Francisco Airton Silva; Paulo Romero Martins Maciel (Qual. Reliab. Eng. Int., 2016)

Benchmark applications used in mobile cloud computing research: a systematic mapping study. - Francisco Airton Silva; Germano Zaicaner; Eder Quesado; Matheus Dornelas; Bruno Silva 001; Paulo Romero Martins Maciel (J. Supercomput., 2016)

Expolynomial Modelling for Supporting VANET Infrastructure Planning. - Aleciano Lobo Junior; Rúbens de Souza Matos Júnior; Bruno Silva 001; Paulo R. M. Maciel (PRDC, 2017)

Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions. - Paulo R. M. Maciel; Rúbens de Souza Matos Júnior; Bruno Silva 001; Jair Figueiredo; Danilo Oliveira; Iure Fe; Ronierison Maciel; Jamilson Dantas (PRDC, 2017)

Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure. - Carlos Melo; Rúbens de Souza Matos Júnior; Jamilson Dantas; Paulo R. M. Maciel (PRDC, 2017)

Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. - Armin Zimmermann; Paulo R. M. Maciel (PRDC, 2017)

Stochastic model of performance and cost for auto-scaling planning in public cloud. - Iure Fe; Rúbens de Souza Matos Júnior; Jamilson Dantas; Carlos Melo; Paulo Romero Martins Maciel (SMC, 2017)

Synchronization server infrastructure: A relationship between system downtime and deployment cost. - Carlos Melo; Jamilson Dantas; Iure Fe; Andre Oliveira; Paulo Romero Martins Maciel (SMC, 2017)

Model-based dynamic reliability engineering for hybrid electric vehicle design. - Armin Zimmermann; Thomas Dietrich; Paulo Romero Martins Maciel; Andreas Hildebrandt 002 (SysCon, 2017)

Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language. - Danilo Oliveira; Rúbens de Souza Matos Júnior; Jamilson Dantas; João Ferreira 002; Bruno Silva 001; Gustavo Callou; Paulo R. M. Maciel; André Brinkmann (VALUETOOLS, 2017)

Availability modeling and analysis of a disaster-recovery-as-a-service solution. - Ermeson C. Andrade; Bruno Costa e Silva Nogueira; Rúbens de Souza Matos Júnior; Gustavo Callou; Paulo Romero Martins Maciel (Computing, 2017)

Mobile cloud face recognition based on smart cloud ranking. - Francisco Airton Silva; Paulo Romero Martins Maciel; Eder Santana; Rúbens de Souza Matos Júnior; Jamilson Dantas (Computing, 2017)

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

Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis. - Rúbens de Souza Matos Júnior; Jamilson Dantas; Jean Araujo 001; Kishor S. Trivedi; Paulo Romero Martins Maciel (J. Grid Comput., 2017)

Investigation of Software Aging Effects on the OpenStack Cloud Computing Platform. - Carlos Melo; Jean Araujo 001; Vandi Alves; Paulo Romero Martins Maciel (J. Softw., 2017)

Impact of capacity and discharging rate on battery life time: A stochastic model to support mobile device autonomy planning. - Jean Araujo 001; Rúbens de Souza Matos Júnior; Verônica Conceição; Gabriel Alves; Paulo Romero Martins Maciel (Pervasive Mob. Comput., 2017)

Integrated Evaluation of Reliability and Power Consumption of Wireless Sensor Networks. - Antônio Dâmaso; Nelson S. Rosa; Paulo Romero Martins Maciel (Sensors, 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)

Software Rejuvenation in Computer Systems: An Automatic Forecasting Approach Based on Time Series. - Paulo Pereira; Jean Araujo 001; Rúbens de Souza Matos Júnior; Nuno M. Preguiça; Paulo R. M. Maciel (IPCCC, 2018)

Dependability Evaluation of a Blockchain-as-a-Service Environment. - Carlos Melo; Jamilson Dantas; Danilo Oliveira; Iure Fe; Rúbens de Souza Matos Júnior; Renata Dantas; Ronierison Maciel; Paulo R. M. Maciel (ISCC, 2018)

Estimating the Environmental Impact of Data Centers. - João Ferreira 002; Gustavo Callou; Albert Josua; Paulo R. M. Maciel (NCA, 2018)

Evaluation of Encoding and Network Aspects on Video Streaming Performance: A Modeling and Experimental Approach. - Jamilson Dantas; Rúbens de Souza Matos Júnior; Carlos Melo; Jean Araujo 001; João Ferreira 002; Paulo R. M. Maciel (SMC, 2018)

Data Centers Service Restoration Based on Distributed Agents Decision. - Priscila Alves Lima; Antonio Correia de Sa Barreto Neto; Paulo Romero Martins Maciel (SMC, 2018)

Impact Assessment of Multi-threats in Computer Systems Using Attack Tree Modeling. - Ronierison Maciel; Jean Araujo 001; Carlos Melo; Jamilson Dantas; Paulo R. M. Maciel (SMC, 2018)

Performance and Data Traffic Analysis of Mobile Cloud Environments. - Thiago Felipe da Silva Pinheiro; Francisco Airton Silva; Iure Fe; Sokol Kosta; Paulo R. M. Maciel (SMC, 2018)

A performability model for the BRT system. - Renata Dantas; Jamilson Dantas; Carlos Melo; Paulo R. M. Maciel; Gabriel Alves (SysCon, 2018)

Impact of a DDoS attack on computer systems: An approach based on an attack tree model. - Ronierison Maciel; Jean Araujo 001; Jamilson Dantas; Carlos Melo; Erico A. C. Guedes; Paulo R. M. Maciel (SysCon, 2018)

Availability models for hyper-converged cloud computing infrastructures. - Carlos Melo; Jamilson Dantas; Andre Oliveira; Danilo Oliveira; Iure Fe; Jean Araujo 001; Rúbens de Souza Matos Júnior; Paulo R. M. Maciel (SysCon, 2018)

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)

Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models. - Julian Araujo; Paulo Romero Martins Maciel; Ermeson Carneiro de Andrade; Gustavo Callou; Vandi Alves; Paulo Roberto Freire Cunha (J. Cloud Comput., 2018)

Modelos para avaliação de disponibilidade orientada a capacidade de uma nuvem privada. - Matheus D'Eça Torquato de Melo; Lucas Torquato; Paulo R. M. Maciel (RITA, 2018)

Models for availability and power consumption evaluation of a private cloud with VMM rejuvenation enabled by VM Live Migration. - Matheus Torquato 001; I. M. Umesh; Paulo R. M. Maciel (J. Supercomput., 2018)

Performance prediction for supporting mobile applications' offloading. - Thiago Felipe da Silva Pinheiro; Francisco Airton Silva; Iure Fe; Sokol Kosta; Paulo Romero Martins Maciel (J. Supercomput., 2018)

Mobile Cloud Performance Evaluation Using Stochastic Models. - Francisco Airton Silva; Sokol Kosta; Matheus Rodrigues; Danilo Oliveira; Teresa Maciel; Alessandro Mei; Paulo R. M. Maciel (IEEE Trans. Mob. Comput., 2018)

Blockchain provisioning over private cloud computing environments: Availability modeling and cost requirements. - Carlos Melo; Jamilson Dantas; Ronierison Romero Martins Maciel; Paulo Pereira; Eder Quesado; Paulo R. M. Maciel (CloudNet, 2019)

A Hierarchical Model for Virtualized Data Center Availability Evaluation. - Matheus Torquato 001; Erico A. C. Guedes; Paulo R. M. Maciel; Marco Vieira (EDCC, 2019)

Stochastic Model for Availability Analysis of Service Function Chains using Rejuvenation and Live Migration. - Erico A. C. Guedes; Paulo R. M. Maciel (ISSRE Workshops, 2019)

Hierarchical Cluster Analysis of Interval-valued Data Using Width of Range Euclidean Distance. - Sergio Mario Lins Galdino; Paulo R. M. Maciel (LA-CCI, 2019)

Weight Pair Group Average Mean Clustering for Interval-valued Data. - Sergio Mario Lins Galdino; Paulo R. M. Maciel (LA-CCI, 2019)

IaaS Cloud Availability Planning using Models and Genetic Algorithms. - Matheus Torquato 001; Lucas Torquato; Paulo R. M. Maciel; Marco Vieira (LADC, 2019)

Dependability Evaluation of an IoT System: A Hierarchical Modelling Approach. - Eltton Araujo; Jamilson Dantas; Rúbens de Souza Matos Júnior; Paulo Pereira; Paulo R. M. Maciel (SMC, 2019)

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

Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments. - Júlio Mendonça 001; Wilson Medeiros; Ermeson C. Andrade; Ronierison Maciel; Paulo Romero Martins Maciel; Ricardo Lima 001 (SMC, 2019)

A Hybrid Mechanism of Horizontal Auto-scaling Based on Thresholds and Time Series. - Paulo Pereira; Jean Araujo 001; Paulo R. M. Maciel (SMC, 2019)

Performance and Resource Consumption Analysis of Elastic Systems on Public Clouds. - Thiago Felipe da Silva Pinheiro; Francisco Airton Silva; Iure Fé; Danilo Oliveira; Paulo Romero Martins Maciel (SMC, 2019)

Dependability Evaluation in a Convergent Network Service using BGP and BFD Protocols. - Diogo Siqueira; Thiago Felipe da Silva Pinheiro; Jamilson Dantas; Paulo R. M. Maciel (SMC, 2019)

Sensitivity Analysis in a BRT System. - Renata Dantas; Jamilson Dantas; Carlos Melo; Danilo Oliveira; Paulo R. M. Maciel (SysCon, 2019)

A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling. - Matheus Torquato 001; Paulo R. M. Maciel; Marco Vieira (IEEE Access, 2019)

Performability Evaluation and Optimization of Workflow Applications in Cloud Environments. - Danilo Oliveira; André Brinkmann; Nelson Souto Rosa; Paulo Romero Martins Maciel (J. Grid Comput., 2019)

Analysis of a performability model for the BRT system. - Renata Dantas; Jamilson Dantas; Gabriel Alves; Paulo Romero Martins Maciel (Int. J. Data Min. Model. Manag., 2019)

A dependability and cost optimisation method for private cloud infrastructures. - Danilo Oliveira; Jamilson Dantas; Nelson Souto Rosa; Paulo R. M. Maciel; Rúbens de Souza Matos Júnior; André Brinkmann (Int. J. Web Grid Serv., 2019)

An Artificial Neural Network Approach to Forecast the Environmental Impact of Data Centers. - João Ferreira 002; Gustavo Callou; Albert Josua; Dietmar Tutsch; Paulo R. M. Maciel (Inf., 2019)

Models to evaluate service Provisioning over Cloud Computing Environments - A Blockchain-As-A-Service case study. - Carlos Melo; Jamilson Dantas; Ronierison Maciel; Paulo Silva; Paulo R. M. Maciel (RITA, 2019)

Markov Chains and Petri Nets. - Fumio Machida; Paulo R. M. Maciel (Handbook of Software Aging and Rejuvenation, 2020)

Markov chains and Petri nets for software rejuvenation systems. - Fumio Machida; Paulo R. M. Maciel (ISSRE Workshops, 2020)

Optimization of computer networks design integrating dependability and business aspects. - Almir Pereira Guimarães; Paulo Romero Martins Maciel; Rivalino Matias (LATINCOM, 2020)

Security and Availability Modeling of VM Migration as Moving Target Defense. - Matheus Torquato 001; Paulo R. M. Maciel; Marco Vieira (PRDC, 2020)

Experimental Evaluation of Software Aging Effects in a Container-Based Virtualization Platform. - Felipe Oliveira; Jean Araujo 001; Rúbens de Souza Matos Júnior; Luan Lins; André Rodrigues; Paulo R. M. Maciel (SMC, 2020)

Time and Cost Prediction Models for Language Classification Over a Large Corpus on Spark. - Jairson B. Rodrigues; Germano C. Vasconcelos; Paulo R. M. Maciel (SSCI, 2020)

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)

Temperature variation impact on estimating costs and most critical components in a cloud data centre. - Demis Gomes; Guto Leoni Santos; Djamel Sadok; Glauco Estácio Gonçalves; Patricia Takako Endo; Paulo Romero Martins Maciel (Int. J. Comput. Appl. Technol., 2020)

Estimating capacity-oriented availability in cloud systems. - Jamilson Dantas; Eltton Araujo; Paulo R. M. Maciel; Rúbens de Souza Matos Júnior; Jean Teixeira 001 (Int. J. Comput. Sci. Eng., 2020)

An algorithm to optimise the energy distribution of data centre electrical infrastructures. - João Ferreira 002; Gustavo Callou; Paulo R. M. Maciel; Dietmar Tutsch (Int. J. Grid Util. Comput., 2020)

Models for hyper-converged cloud computing infrastructures planning. - Carlos Melo; Jamilson Dantas; Paulo R. M. Maciel; Danilo Mendonça Oliveira; Jean Araujo 001; Rúbens de Souza Matos Júnior; Iure Fé (Int. J. Grid Util. Comput., 2020)

Bottleneck Detection in Cloud Computing Performance and Dependability: Sensitivity Rankings for Hierarchical Models. - Rúbens de Souza Matos Júnior; Jamilson Dantas; Eltton Araujo; Paulo R. M. Maciel (J. Netw. Syst. Manag., 2020)

Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload. - Matheus Torquato 001; Paulo R. M. Maciel; Marco Vieira (Softw. Qual. J., 2020)

Data centers' services restoration based on the decision-making of distributed agents. - Priscila Alves Lima; Antonio Correia de Sa Barreto Neto; Paulo R. M. Maciel (Telecommun. Syst., 2020)

Stochastic performance model for web server capacity planning in fog computing. - Paulo Pereira; Jean Araujo 001; Matheus Torquato 001; Jamilson Dantas; Carlos Melo; Paulo R. M. Maciel (J. Supercomput., 2020)

PT7 Web, an Annotated Portuguese Language Corpus. - Jairson B. Rodrigues; Germano C. Vasconcelos; Paulo R. M. Maciel (IEEE DataPort, 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)

PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper. - Matheus Torquato 001; Paulo Maciel 001; Marco Vieira (ISSRE, 2021)

Analysis of VM migration scheduling as moving target defense against insider attacks. - Matheus Torquato 001; Paulo Romero Martins Maciel; Marco Vieira (SAC, 2021)

Reliability-and-Availability Sensitivity Analysis on Convergent Network Infrastructures: Methodology and Case Study. - Kádna Camboim; Erica Sousa; Almir Pereira Guimarães; Jean Araujo 001; Paulo Romero Martins Maciel (SMC, 2021)

Dependability and Sustainability Evaluation of Data Center Electrical Architectures. - Kádna Camboim; João Ferreira 002; Carlos Melo; Jean Araujo 001; Fernanda M. R. Alencar; Paulo Romero Martins Maciel (SysCon, 2021)

Impact Evaluation of DDoS Attacks Using IoT Devices. - Ronierison Maciel; Jean Araujo 001; Carlos Melo; Paulo Pereira; Jamilson Dantas; Júlio Mendonça 001; Paulo Maciel 001 (SysCon, 2021)

A methodology for selecting hardware performance counters for supporting non-intrusive diagnostic of flood DDoS attacks on web servers. - Pablo Pessoa do Nascimento; Paulo Pereira; Marco Mialaret; Isac Ferreira; Paulo Maciel 001 (Comput. Secur., 2021)

Screening hardware and volume factors in distributed machine learning algorithms on spark. - Jairson B. Rodrigues; Germano C. Vasconcelos; Paulo R. M. Maciel (Computing, 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)

Building energy consumption models based on smartphone user's usage patterns. - Antonio Correia de Sa Barreto Neto; Felipe Farias; Marco Aurelio Tomaz Mialaret; Bruno Cartaxo; Priscila Alves Lima; Paulo Romero Martins Maciel (Knowl. Based Syst., 2021)

Distributed application provisioning over Ethereum-based private and permissioned blockchain: availability modeling, capacity, and costs planning. - Carlos Melo; Jamilson Dantas; Paulo Pereira; Paulo R. M. Maciel (J. Supercomput., 2021)

Analytical models for availability evaluation of edge and fog computing nodes. - Paulo Pereira; Jean Araujo 001; Carlos Melo; Vinícius Santos; Paulo R. M. Maciel (J. Supercomput., 2021)

Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach. - Matheus Torquato 001; Paulo Romero Martins Maciel; Marco Vieira (ISSRE, 2022)

A model-based approach for planning blockchain service provisioning. - Carlos Melo; Jean Araujo 001; Jamilson Dantas; Paulo Pereira; Paulo Maciel 001 (Computing, 2022)

An analytical approach for optimization of computer network design considering the integration of the communication and power infrastructures. - Almir Pereira Guimarães; Paulo Maciel 001; Rivalino Matias Jr.; Bruno Silva 001; Bruno Nogueira 001 (Int. J. Netw. Manag., 2022)

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

Model-Based Performability and Dependability Evaluation of a System with VM Migration as Rejuvenation in the Presence of Bursty Workloads. - Matheus Torquato 001; Paulo R. M. Maciel; Marco Vieira (J. Netw. Syst. Manag., 2022)

A survey on reliability and availability modeling of edge, fog, and cloud computing. - Paulo Maciel 001; Jamilson Dantas; Carlos Melo; Paulo Pereira; Felipe Oliveira; Jean Araujo 001; Rúbens de Souza Matos Júnior (J. Reliab. Intell. Environ., 2022)

Performance-Cost Trade-Off in Auto-Scaling Mechanisms for Cloud Computing. - Iure Fé; Rúbens de Souza Matos Júnior; Jamilson Dantas; Carlos Melo; Tuan Anh Nguyen 002; Dugki Min; Eunmi Choi; Francisco Airton Silva; Paulo Romero Martins Maciel (Sensors, 2022)

Model-Driven Impact Quantification of Energy Resource Redundancy and Server Rejuvenation on the Dependability of Medical Sensor Networks in Smart Hospitals. - Francisco Airton Silva; Carlos Brito 001; Gabriel Araújo; Iure Fé; Maxim Tyan; Jae-Woo Lee; Tuan Anh Nguyen 002; Paulo Romero Martins Maciel (Sensors, 2022)

Availability evaluation of system service hosted in private cloud computing through hierarchical modeling process. - Danilo Clemente; Paulo Pereira; Jamilson Dantas; Paulo Romero Martins Maciel (J. Supercomput., 2022)

Performance and availability evaluation of the blockchain platform hyperledger fabric. - Carlos Melo; Felipe Oliveira; Jamilson Dantas; Jean Araujo 001; Paulo Pereira; Ronierison Maciel; Paulo Maciel 001 (J. Supercomput., 2022)

Availability model for edge-fog-cloud continuum: an evaluation of an end-to-end infrastructure of intelligent traffic management service. - Paulo Pereira; Carlos Melo; Jean Araujo 001; Jamilson Dantas; Vinícius Santos; Paulo Maciel 001 (J. Supercomput., 2022)

O-RAN and RIC Compliant Solutions for Next Generation Networks. - Marco Silva; João Pedro Fonseca 001; David Perez Abreu; Paulo Romero Martins Maciel; Paulo Duarte; Raul Barbosa; Bruno Mendes; João Silva; Adriano Almeida Góes; Marco Araújo; Bruno Sousa; Marília Curado; et al. (INFOCOM Workshops, 2023)

DDoS Detection Based on Hardware Performance Counters Selection. - Camila Dantas; Pablo Pessoa do Nascimento; João Ferreira 002; Paulo Maciel 001; Jamilson Dantas (WETICE, 2023)

Enhancing Augmented Reality Performance: An Exploration of Edge Computing and Code Offloading in Collaborative AR Systems. - Daliton da Silva; Dimas Cassimiro Nascimento Filho; Camila Dantas; Paulo Maciel 001 (WETICE, 2023)

Cloud infrastructure planning: models considering an optimisation method, cost and performance requirements. - Jamilson Dantas; Carlos Melo; Paulo Maciel 001; Rúbens de Souza Matos Júnior (Int. J. Grid Util. Comput., 2023)

Modeling and Simulating a Process Mining-Influenced Load-Balancer for the Hybrid Cloud. - Kenneth Kwame Azumah; Paulo Romero Martins Maciel; Lene Tolstrup Sørensen; Sokol Kosta (IEEE Trans. Cloud Comput., 2023)

A performance modeling framework for microservices-based cloud infrastructures. - Thiago Felipe da Silva Pinheiro; Paulo Pereira; Bruno Silva 001; Paulo Maciel 001 (J. Supercomput., 2023)

Dependability evaluation and sensitivity analysis of data center cooling systems. - Lubnnia Morais Florêncio Souza; Kádna Camboim; Jean Araujo 001; Fernanda M. R. Alencar; Paulo R. M. Maciel; João Ferreira 002 (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)

Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation. - Esau Bermudez; Paulo Maciel 001 (LADC, 2024)

Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability. - Luan Lins; Erick Nascimento; Jamilson Dantas; Jean Araujo 001; Paulo Romero Martins Maciel (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)

Stochastic Modeling for Assessing the Reliability and Availability of Drone-Based Surveillance Systems. - Luan Lins; Erick Nascimento; Jamilson Dantas; Jean Araujo 001; Paulo Romero Martins Maciel (SysCon, 2024)

Availability Modeling and Sensitivity Analysis of CELERY Airflow Service in a Node-Based Computing Environment. - Artur Montenegro; Erick Barros; Rubens Matos; Paulo Romero Martins Maciel; Jamilson Dantas (SysCon, 2024)

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

Performance Modeling of Microservices with Circuit Breakers using Stochastic Petri Nets. - Thiago Felipe da Silva Pinheiro; Marco Mialaret; Paulo Pereira; Luan Lins; Daliton Silva; Jamilson Dantas; Paulo Romero Martins Maciel (SysCon, 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)

Dependability Evaluation of a Smart Poultry House: Addressing Availability Issues Through the Edge, Fog, and Cloud Computing. - Felipe Oliveira; Paulo Pereira; Jamilson Dantas; Jean Araujo 001; Paulo Maciel 001 (IEEE Trans. Ind. Informatics, 2024)

Assessing the impact of battery charging and discharging times on the availability of mechanical ventilation service. - Aline do Monte; Pablo Pessoa do Nascimento; Daliton Silva; Luan Lins; Dimas Cassimiro Nascimento Filho; Paulo Maciel 001 (J. Reliab. Intell. Environ., 2024)

Automated phase-type distribution fitting via expectation maximization. - Marco Mialaret; Paulo Pereira; Antonio Correia de Sa Barreto Neto; Thiago Felipe da Silva Pinheiro; Paulo Maciel 001 (J. Reliab. Intell. Environ., 2024)

LoRa Signal Performance in Satellite-Assisted LPWANs Using Graham's Algorithm. - Esau Bermudez; Jamilson Dantas; Paulo Romero Martins Maciel (AINA (1), 2025)

Analysis of Satellite Aging and Its Impact on PDOP and Orbital Availability. - Esau Bermudez; Jamilson Dantas; Paulo Romero Martins Maciel (AINA (1), 2025)

Cloud infrastructure planning considering the impact of maintenance and self-healing routines over cost and dependability attributes. - Carlos Melo; Jean Araujo 001; Jamilson Dantas; Paulo Pereira; Felipe Oliveira; Paulo Maciel 001 (Int. J. Grid Util. Comput., 2025)

Evaluation of time-based virtual machine migration as moving target defense against host-based attacks. - Matheus Torquato 001; Paulo R. M. Maciel; Marco Vieira (J. Syst. Softw., 2025)

A Stochastic Model for Evaluating the Aging Impact on Satellite Systems' Availability. - Esau Bermudez; Luan Lins; Paulo Pereira; Paulo Maciel 001 (IEEE Trans. Dependable Secur. Comput., 2025)

Availability Modeling for Blockchain Provisioning in Private Clouds. - Jamilson Dantas; Paulo Silva; Lance Fiondella; Carlos Melo; Paulo Maciel 001 (CoRR, 2025)

Performance Evaluation of IoT-Based Industrial Automation Using Edge, Fog, and Cloud Architectures. - Vandirleya Barbosa; Arthur Sabino; Luiz Nelson Lima; Carlos Brito 001; Leonel Feitosa; Paulo Pereira; Paulo Maciel 001; Tuan Anh Nguyen 002; Francisco Airton Silva (J. Netw. Syst. Manag., 2025)