Journals
| Matheus Torquato, Paulo Maciel and Marco Vieira. Evaluation of time-based virtual machine migration as moving target defense against host-based attacks. Journal of Systems and Software. 2024. Online ISSN: 1873-1228 Print ISSN: 0164-1212. |
| Marco Mialaret, Paulo Pereira, Antônio Barreto, Thiago Pinheiro and Paulo Maciel. Automated Phase-Type Distribution Fitting via Expectation-Maximization. Journal of Reliable Intelligent Environments. 2024. ISSN: 2199-4676 (Online). |
| Carlos Gomes, Meuse Nogueira, Bruno Nogueira, Paulo Maciel and Eduardo Tavares. Performability Evaluation of NoSQL-based Storage Systems. The Journal of Systems and Software. 2023. ISSN: 1873-1228 (Online). |
| Aline do Monte, Pablo Pessoa, Daliton Silva, Luan Lins, Dimas Cassimiro and Paulo Maciel. Assessing the Impact of Battery Charging and Discharging Times on the Availability of Mechanical Ventilation Service. The Journal of Reliable Intelligent Environments. 2023. ISSN:2199-4676 (Online). |
| Carlos Gomes, Meuse Nogueira, Bruno Nogueira, Paulo Maciel and Eduardo Tavares. NoSQL‐based storage systems: infuence of consistency on performance, availability and energy consumption. The Journal of Supercomputing. 2023. ISSN: 1573-0484 (Online). |
| Lubnnia Morais, Fernanda Alencar, João Ferreira, Jean Araújo, Kádna Camboim and Paulo Maciel. Dependability Evaluation and Sensitivity Analysis of Data Center Cooling Systems. The Journal of Supercomputing. 2023. ISSN: 1573-0484 (Online). |
| Felipe Oliveira, Paulo Pereira, Jamilson Dantas, Jean Araújo, and Paulo Maciel. Dependability Evaluation of a Smart Poultry House: Addressing Availability Issues Through the Edge, Fog, and Cloud Computing. IEEE Transactions on Industrial Informatics. 2023. ISSN: 1551-3203 (Online) |
| Jean Araújo, Danilo Mendonça, Rubens Matos, Gabriel Alves, and Paulo Maciel. Availability and Reliability Modeling of Mobile Cloud Architectures. IEEE Transactions on Industrial Informatics. 2023. ISSN: 1551-3203 (Online) |
| Thiago F. S. Pinheiro, Paulo Pereira, Bruno Silva, and Paulo Maciel. A performance modeling framework for microservices-based cloud infrastructures. The Journal of Supercomputing. 2022. ISSN: 1573-0484 (Online). |
| K. Azumah, L. Sørensen, Sokol Kosta, and Paulo Maciel. Modelling a process mining-influenced load-balancer for the hybrid cloud. IEEE Transactions on Cloud Computing. 2022. ISSN:2168-7161 (Online). |
| Eric Borba, Eduardo Tavares, and Paulo Maciel. A modeling approach for estimating performance and energy consumption of storage systems. The Journal of Computer and System Sciences. 2022. ISSN:0022-0000 (Online). |
| Carlos Melo, Felipe Oliveira, Jamilson Dantas, Jean Araújo, Paulo Pereira, Ronierison Maciel, Paulo Maciel. Performance and availability evaluation of the blockchain platform hyperledger fabric. The Journal of Supercomputing. 2022. ISSN: 1573-0484 (Online). |
| Francisco Airton Silva, Carlos Brito, Gabriel Araújo, Iure Fé, Maxim Tyan *, Jae-Woo Lee *, Tuan Anh Nguyen *, and Paulo Romero Martins Maciel. Model-Driven Impact Quantification of Energy Resource Redundancy and Server Rejuvenation on the Dependability of Medical Sensor Networks in Smart Hospitals. Sensors. 2022. ISSN 1424-8220. |
| Iure Fé, Rubens Matos, Jamilson Dantas, Carlos Melo, Tuan Anh Nguyen, Dugki Min *, Eunmi Choi, Francisco Airton Silva, and Paulo Maciel. Performance-Cost Trade-Off in Auto-scaling Mechanisms for Cloud Computing. Sensors. 2022. ISSN 1424-8220. |
| Renata Dantas, Jamilson Dantas, Carlos Melo, and Paulo Maciel. Performance evaluation in BRT systems: An analysis to predict the BRT systems planning. The Journal Case Studies on Transport Policy. 2021. ISSN:2213-624X (Online). |
| Danilo Clemente, Jamilson Dantas, Paulo Pereira, and Paulo Maciel. Availability Evaluation of System Service Hosted in Private Cloud Computing Through Hierarchical Modeling Process. The Journal of Supercomputing. 2021. ISSN: 1573-0484 (Online). |
| Paulo Maciel, Jamilson Dantas, Carlos Melo, Paulo Pereira, Felipe Oliveira, Jean Araujo and Rubens Matos. A Survey on Reliability and Availability Modeling of Edge, Fog, and Cloud Computing. Journal of Reliable Intelligent Environments. 2021. ISSN: 2199-4668 (Print) 2199-4676 (Online). |
| Paulo Pereira, Carlos Melo, Jamilson Dantas, Jean Araujo, and Paulo Maciel. Availability Model for Edge-Fog-Cloud Continuum: An Evaluation of an End-to-end Infrastructure of Intelligent Traffic Management Service. The Journal of Supercomputing. 2021. ISSN: 1573-0484 (Online). |
| Matheus Torquato, Paulo Maciel and Marco Vieira. Model-based Performability and Dependability Evaluation of a System with VM Migration as Rejuvenation in the presence of Bursty Workloads. The Journal of Network and Systems Management. 2021. ISSN: 1573-7705 (Print) 1064-7570 (Online). |
| Pablo Pessoa, Isac Colares, Paulo Pereira, Marco Miaralet and Paulo Maciel. A Methodology for Selecting Hardware Performance Counters for Supporting Non-Intrusive Diagnostic of Flood DDoS Attacks on Web Servers. Computers & Security. 2021. ISSN: 0167-4048 (Online). |
| Jairson Rodrigues, Germano Vasconcelos, and Paulo Maciel. Screening Hardware and Volume Factors in Distributed Machine Learning Algorithms on Spark Computing. Springer Computing. 2021. ISSN: 0010-485X (Print) 1436-5057 (Online). |
| Carlos Melo, Jean Teixeira, Jamilson Dantas, Paulo Pereira, Felipe Oliveira, and Paulo Maciel. Cloud infrastructure planning considering the impact of maintenance and self-healing routines over cost and dependability attributes. International Journal of Grid and Utility Computing. 2021. ISSN: 1741-847X (Print) 1741-8488 (Online). |
| Carlos Melo, Jamilson Dantas, Jean Teixeira, Paulo Pereira, and Paulo Maciel. A Model-based Approach for Planning Blockchain Service Provisioning. Springer Computing. 2021. ISSN: 0010-485X (Print) 1436-5057 (Online). |
| Almir Guimarães, Paulo Maciel, Rivalino Matias, Bruno Silva, and Bruno Nogueira. An analytical approach for optimization of computer network design considering the integration of the communication and power infrastructures. International Journal of Network Management. 2021. ISSN: 1099-1190 (Online). |
| Paulo Pereira, Carlos Melo, Jean Araujo, and Paulo Maciel. Analytical Models for Availability Evaluation of Edge and Fog Computing Nodes. The Journal of Supercomputing. 2021. ISSN: 1573-0484 (Online). |
| Carlos Melo, Paulo Pereira, Jamilson Dantas, and Paulo Maciel. Distributed Application Provisioning over Ethereum based private and permissioned Blockchain: Availability modeling, capacity, and costs planning. The Journal of Supercomputing. 2021. ISSN: 1573-0484 (Online). |
| Antônio Sá Barreto, Felipe Farias, Marco Mialaret, Bruno Cartaxo, Príscila Lima, and Paulo Maciel. Building Energy Consumption Models Based On Smartphone User’s Usage Patterns. Knowledge-Based Systems. 2020. ISSN: 0950-7051 (Online). |
| Eltton Araujo, Paulo Pereira, Jamilson Dantas, and Paulo Maciel. Dependability Impact in the Smart Solar Power Systems: An Analysis of Smart Buildings. ENERGIES (BASEL). 2020. ISSN: 1996-1073 (Online). |
| Bruno Nogueira, Paulo Maciel, and Eduardo Tavares. Iterated local search with tabu search for the weighted vertex coloring problem. Computers & Operations Research. 2020. ISSN: 0305-0548 (Online). |
| Rubens Matos, Jamilson Dantas, Eltton Araujo, and Paulo Maciel. Bottleneck detection in cloud computing performance and dependability: Sensitivity rankings for hierarchical models. Journal of Network and Systems Management (JONS). 2020. ISSN: 1064-7570 (Online). |
| Joao Ferreira, Gustavo Callou, Paulo Maciel, and Dietmar Tutsch. An algorithm to optimise the energy distribution of data centre electrical infrastructures. International Journal of Grid and Utility Computing. 2020. ISSN: 1741-847X (Print). ISSN: 1741-8488 (Online). |
| Príscila Lima, Antônio Barreto and Paulo Maciel. Data Centers’ services restoration based on the decision-making of distributed agents. Telecommunication Systems. 2020. ISSN: 1018-4864 (Print). ISSN: 1572-9451 (Online). |
| Paulo Pereira, Jean Araujo, Jamilson Dantas, Matheus Torquato, Carlos Melo and Paulo Maciel. Stochastic Performance Model for Web Server Capacity Planning in Fog Computing. The Journal of Supercomputing. 2020. ISSN: 1573-0484 (Online). ISSN: 0920-8542 (Print). |
| Jamilson Dantas, Carlos Melo, Paulo Maciel and Rubens Matos. Cloud Infrastructure Planning: Models Considering an Optimisation Method, Cost and Performance Requirements. International Journal of Grid and Utility Computing. 2023. ISSN: 1741-8488 (Online). ISSN: 1741-847X (Print). |
| Jamilson Dantas, Rubens Matos, Jean Teixeira, Eltton Tullyo and Paulo Maciel. Estimating Capacity-Oriented Availability in Cloud Systems. International Journal of Computational Science and Engineering. 2020. ISSN: 1742-7193 (Online). ISSN: 1742-7185 (Print). |
| Demis Gomes, Guto Leoni, Glauco Gonçalves, Patricia Endo, Paulo Maciel and Djamel Sadok. Temperature variation impact on estimating costs and most critical components in a cloud data center. International Journal of Computer Applications in Technology. 2020. ISSN: 1741-5047 (Online). ISSN: 0952-8091 (Print). |
| Carlos Melo, Jamilson Dantas, Jean Araujo, Paulo Maciel, Rubens Matos, Danilo Oliveira and Iure Fé. Models for Hyper-converged Cloud Computing Infrastructures Planning. International Journal of Grid and Utility Computing. 2020. ISSN: 1741-8488 (Online). ISSN: 1741-847X (Print). |
| Matheus D’Eça Torquato and Paulo Maciel. Availability and Reliability Modeling of VM Migration as Rejuvenation on a System under Varying Workload. Software Quality Journal. 2019. ISSN: 1573-1367 (Online). |
| Matheus D’Eça Torquato, Marco Vieira and Paulo Maciel. A Model for Availability and Security Risk Evaluation for Systems with VMM Rejuvenation enabled by VM Migration Scheduling. IEEE Access. 2019. ISSN: 2169-3536 (Online). |
| Carlos Melo, Paulo Pereira, Jamilson Dantas, Ronierison Maciel and Paulo Maciel. Models to evaluate service Provisioning over Cloud Computing Environments – A Blockchain-As-A-Service case study. Rita. 2019. ISSN: 2175-2745 (Online). |
| Joao Ferreira, Gustavo Callou, Albert Josua, Dietmar Tutsch and Paulo Maciel. An Artificial Neural Network approach to forecast the environmental impact of Data Centers. Information. 2019. ISSN: 2078-2489 (Online). |
| Danilo Oliveira, Nelson Rosa, André Brinkmann and Paulo Maciel. Performability Evaluation and Optimization of Workflow Applications in Cloud Environments. Journal of Grid Computing. 2019. ISSN: 1572-9184 (Online). |
| Joao Ferreira, Gustavo Callou, Dietmar Tutsch and Paulo Maciel. PLDAD—An Algorihm to Reduce Data Center Energy Consumption. ENERGIES (BASEL). 2018. ISSN: 1996-1073 (Online). |
| Matheus D’Eça Torquato, I M Umesh and Paulo Maciel. Models for Availability and Power Consumption Evaluation of a Private Cloud with VMM Rejuvenation enabled by VM Live Migration. The Journal of Supercomputing. 2018. ISSN: 1573-0484 (Online). |
| Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rubens Matos, Ivanildo José de Melo Filho, Aline Santana Oliveira, Fábio Feliciano and Paulo Maciel. Sensitivity Analysis Techniques Applied in Video Streaming Service on Eucalyptus Cloud Environments. Journal of Information Systems Engineering & Management. 2018. ISSN: 2468-4376 (Online). |
| Matheus D’Eça Torquato, Lucas Torquato and Paulo Maciel. Modelos para Avaliação de Disponibilidade Orientada a Capacidade de uma Nuvem Privada. Revista de Informática Teórica e Aplicada. Vol. 25, Number 2. 2018. Pages: 73-84. ISSN: 2175-2745 (Online). |
| Bruno Silva, Rubens Matos, Eduardo Tavares, Armin Zimmerman and Paulo Maciel. Sensitivity Analysis of an Availability Model for Disaster Tolerant Cloud Computing System. International Journal of Network Management. 2018. ISSN: 1099-1190 (Online). |
| Thiago Pinheiro, Francisco Airton Silva, Iure Fé, Sokol Costa and Paulo Maciel. Performance Prediction for Supporting Mobile Applications’ Offloading. The Journal of Supercomputing. 2018. ISSN: 0920-8542 (Print) 1573-0484 (Online). |
| Matheus D’Eça Torquato de Melo, Jean Araujo, I M Umesh, and Paulo Maciel. SWARE: A Methodology for Software Aging and Rejuvenation Experiments. Journal of Information Systems Engineering & Management. 2018. ISSN: 2468-4376. |
| Renata Pedrosa, Jamilson Dantas, Gabriel Alves, and Paulo Maciel. Analysis of a Performability Model for the BRT System. International Journal of Data Mining, Modelling and Management. 2018. ISSN Online 1759-1171 and ISSN print: 1759-1163 |
| Julian Araujo, Paulo Maciel, Ermeson Andrade, Gustavo Callou, Vandi Alves, and Paulo Cunha. Decision Making in Cloud Environments: An Approach Based on Multiple-Criteria Decision Analysis and Stochastic Models. Journal of Cloud Computing Advances, Systems and Applications. 2018. ISSN 2192-113X. |
| Francisco Airton Silva, Sokol Kosta, Matheus Rodrigues, Danilo Oliveira, Teresa Maciel, Alessandro Mei, and Paulo Maciel. Mobile Cloud Performance Evaluation Using Stochastic Models. IEEE Transactions on Mobile Computing. 2018. ISSN: 1536-1233 (Print). |
| Antonio Damaso, Nelson Rosa, and Paulo Maciel. Integrated Evaluation of Reliability and Power Consumption of Wireless Sensor Networks. Sensors. 2017. ISSN 1424-8220. |
| Matheus D’Eça Torquato de Melo, I M Umesh, Jean Araujo, and Paulo Maciel. SWARE: An approach to support software aging and rejuvenation experiments. Journal on Advances in Theoretical and Applied Informatics – JADI. 2017. ISSN: 2447-5033 (Print). |
| Emerson Andrade, Bruno Nogueira, Gustavo Callou, Rubens Matos, and Paulo Maciel. Availability Modeling and Analysis of a Disaster-Recovery-as-a-Service Solution. Computing. 2017. ISSN: 0010-485X (Print) 1436-5057 (Online). |
| Carlos Melo, Jean Araujo, Vandi Alves, and Paulo Maciel. Investigation of Software Aging Effects on the OpenStack Cloud Computing Platform. Journal of Software. JSW 2017. ISSN: 1796-217X. |
| Érica Sousa, Fernando Lins, Eduardo Tavares, and Paulo Maciel. Cloud Infrastructure Planning Considering Different Redundancy Mechanisms Computing. Springer Computing (Wien. Print). 2017. ISSN: 0010-485X (Print) 1436-5057 (Online). |
| Jean Araujo, Rubens Matos, Verônica Conceição, Gabriel Alves and Paulo Maciel. Impact of Capacity and Discharging Rate on Battery Life Time: A Stochastic Model to Support Mobile Device Autonomy Planning Pervasive and Mobile Computing. Journal Pervasive and Mobile Computing. 2017. Online ISSN 1574-1192. Print ISSN 1574-1192. |
| Rubens Matos, Jamilson Dantas, Jean Araujo, Kishor S. Trivedi, and Paulo Maciel. Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis. Journal of Grid Computing. 2016. Online ISSN 1572-9184. Print ISSN 1570-7873. |
| Érica Sousa, Fernando Lins, Eduardo Tavares and Paulo Maciel. A Modeling Strategy for Cloud Infrastructure Planning Considering Performance and Cost Requirements. Journal Services Transactions on Cloud Computing. 2016. Online ISSN 2326-7550. Print ISSN 2326-7542. |
| Camila Araujo, Francisco Silva, Igor Costa, Fabiano Vaz, Sokol Kosta and Paulo Maciel. Supporting availability evaluation in MCC-based mHealth planning. Journal IET Electronics Letters. 2016. Online ISSN 1350-911X. Print ISSN 0013-5194. |
| Jean Araujo, Céfanys Braga, José Belmiro Neto, Adriano Costa, Rubens Matos, and Paulo Maciel. An Integrated Platform for Distributed Resources Monitoring and Software Aging Mitigation in Private Clouds. Journal of Software. JSW 2016 Vol.11(10): 976-993. ISSN: 1796-217X. |
| Francisco Airton Silva, Paulo Romero Martins Maciel, Eder Santana, Rubens Matos, Jamilson Dantas. Mobile cloud face recognition based on smart cloud ranking. Computing (Wien. Print) , v. 10, p. 12-20, 2016. |
| Jean Araujo, Felipe Oliveira, Rubens Matos, Matheus Torquato, Joao Ferreira, and Paulo Maciel. Software Aging Issues in Streaming Video Player. Journal of Software. JSW 2016 Vol.11(6): 554-568 ISSN: 1796-217X. |
| Francisco Airton Silva, Germano Zaicaner, Éder Quesado, Matheus Dornelas, Bruno Silva, and Paulo Maciel. Benchmark Applications Used in Mobile Cloud Computing Research: A Systematic Mapping Study. Springer Journal of Supercomputing. 17 February 2016. ISSN: 0920-8542 (print version) 1573-0484 (electronic version). |
| Bruno Nogueira, Paulo Maciel, Eduardo Tavares, Ricardo Martins, and Ermeson Andrade. Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation. Springer Journal Soft Computing (SOCO). 2016. ISSN: 1432-7643 (print version). |
| Rubens Matos, Paulo Maciel and Ricardo Silva. Sensitive GRASP: Combinatorial Optimization of Composite Web Services guided by Sensitivity Analysis. International Journal of Web and Grid Services. 2016. ISSN (online): 1741-1114, ISSN (print): 1741-1106 |
| Alexsandro Melo, Eduardo Tavares, Erica Sousa, Bruno Nogueira and Paulo Maciel. A performability approach for evaluating the impact of risks in software development. International Journal of Software Engineering, Technology and Applications. Vol. 1, Nos. 2/3/4, 2015 261. ISSN online: 2053-2474. ISSN print: 2053-2466. |
| Igor Costa, Jean Araujo, Jamilson Dantas, Eliomar Campos, Francisco Airton Silva, and Paulo Maciel. Availability Evaluation and Sensitivity Analysis of a Mobile Backend-as-a-Service Platform. Journal Quality and Reliability Engineering International. 2015. ISSN (online): 1099-1638. |
| Victor Lira, Eduardo Tavares and Paulo Maciel. An Automated Approach to Dependability Evaluation of Virtual Networks. Computer Networks. 2015. ISSN:1389-1286. |
| Francisco Airton Silva, Rubens Matos and Paulo Maciel. SmartRank: A Smart Scheduling Tool For Mobile Cloud Computing. Journal of Supercomputing. August 2015, Volume 71, Issue 8, pp 2985-3008. ISSN: 0920-8542 (print version) 1573-0484 (electronic version). |
| Jamilson Dantas, Jean Araujo, Rubens Matos and Paulo Maciel. Eucalyptus-based Private Clouds: Availability Modeling and Comparison to the Cost of a Public Cloud. Springer Computing. 2015. ISSN: 0010-485X (Print) 1436-5057 (Online). |
| Victor Lira, Eduardo Tavares, Stênio Fernandes and Paulo Maciel. Dependable Virtual Network Mapping. Springer Computing. May 2015, Volume 97, Issue 5, pp 459–481. ISSN: 0010-485X (Print) 1436-5057 (Online). |
| Verônica Conceição, Danilo Oliveira, Jean Araujo and Paulo Maciel. Energy Consumption in Mobile Devices Considering Communication Protocols. International Journal on Advances in Information Sciences and Service Sciences (AISS). Volume 6, Number 5, October 2014. ISSN: 1976-3700. |
| Érica Sousa, Fernando Lins, Eduardo Tavares, Paulo Cunha and Paulo Maciel. A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements. IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans. August 2014. ISSN: 2168-2216. |
| Antonio Dâmaso, Nelson Rosa and Paulo Maciel. Reliability of Wireless Sensor Networks. Sensors Journal. August 2014. ISSN: 1424-8220. |
| Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rubens Matos, Ivanildo J. Melo Filho and Paulo Maciel. Redundant VoD Streaming Service in a Private Cloud: Availability Modeling and Sensitivity Analysis. Mathematical Problems in Engineering. July 2014. ISSN: 1563-5147. |
| Marcus Queiroz, Bruno Silva, Almir Guimarães and Paulo Maciel. Performability Evaluation of Emergency Call Center. Elsevier International Journal Performance Evaluation. Volume 80, October 2014, Pages 27–42. ISSN: 0166-5316. |
| Antônio Damaso, Nelson Rosa, and Paulo Maciel. Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks. International Journal of Distributed Sensor Networks – IJDSN. Hindawi Publishing Corporation. June 2014. ISSN: 1550-1477. |
| Rubens Matos, Jean Araujo, Danilo Oliveira, Paulo Maciel and Kishor Trivedi. Sensitivity Analysis of a Hierarchical Model of Mobile Cloud Computing. Elsevier Journal Simulation Modelling Practice and Theory. Volume 50, January 2015, Pages 151–164. ISSN: 1569-190X. |
| Jean Araujo, Rubens Matos, Vandi Alves, Paulo Maciel, Francisco Vieira, Rivalino Matias and Kishor Trivedi. Software Aging in the Eucalyptus Cloud Computing Infrastructure: Characterization and Rejuvenation. ACM Journal on Emerging Technologies in Computing Systems – Special Issue on Reliability and Device Degradation in Emerging Technologies and Special Issue on WoSAR 2011. Volume 10 Issue 1, January 2014. Article No. 11. |
| Gustavo Callou, João Ferreira, Rafael Souza, Paulo Maciel and Dietmar Tutsch. An integrated Modeling Approach to Evaluate and Optimize Data Center Sustainability, Dependability and Cost. Energies – Open Access Journal. 2014. ISSN: 1996-1073. |
| João Ferreira, Gustavo Callou and Paulo Maciel. A Power Load Distribution Algorithm to Optimize Data Center Electrical Flow. Energies – Open Access Journal. 2013. ISSN: 1996-1073. |
| Rubens Matos, Paulo Maciel and Ricardo Silva. QoS-driven Optimization of Composite Web Services: An approach based on GRASP and analytical models. International Journal of Web and Grid Services. 2013. ISSN online: 1741-1114. |
| Gustavo Callou, Paulo Maciel, Dietmar Tutsch, João Ferreira, Julian Araújo and Rafael Souza. Estimating Sustainability Impact of High Dependable Data Centers: a comparative study between Brazilian and U.S. energy mixes. Springer Computing Journal. May 2013. ISSN: 0010-485X. |
| Débora Souza, Rubens Matos, Jean Araujo, Vandi Alves and Paulo Maciel. A Tool for Automatic Dependability Test in Eucalyptus Cloud Computing Infrastructures. Journal Computer and Information Science (CIS). Vol. 6, No. 3, 2013. Published by Canadian Center of Science and Education. ISSN 1913-8989. |
| Almir Guimarães, Paulo Maciel and Rivalino Matias. An Analytical Modeling Framework to Evaluate Converged Networks Through Business-oriented Metrics. Journal Elsevier Reliability Engineering & System Safety. April 2013. ISSN: 0951-8320. |
| Antônio Dâmaso, Davi Freitas, Nelson Rosa, Bruno Silva and Paulo Maciel. Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models. Journal Sensors. Published: 13 March 2013. ISSN 1424-8220. |
| Jamilson Dantas, Rubens Matos, Jean Araujo and Paulo Maciel. Models for Dependability Analysis of Cloud Computing Architectures for Eucalyptus Platform. International Transactions on Systems Science and Applications. December 2012. |
| Bruno Silva, Paulo Maciel, Gustavo Callou, Eduardo Tavares, Jair Figueiredo, Erica Sousa, Carlos Araujo, Fábio Magnani and Francisco Neves. ASTRO: An Integrated Environment for Dependability and Sustainability Evaluation. Sustainable Computing, Informatics and Systems. Elsevier. 2012. ISSN: 2210-5379. |
| Gabriel Alves, Paulo Maciel, Ricardo Lima and Fábio Magnani. Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans. 2012. |
| Rubens Matos, Paulo Maciel, Fumio Machida, Dong Seong Kim, Kishor Trivedi. Sensitivity Analysis of Server Virtualized System Availability. IEEE Transaction on Reliability. Volume 61, Number 4, Pages 994-1006. Published on December 2012. ISSN: 0018-9529. |
| Erica Sousa, Paulo Maciel, Fernando Lins e Marcelo Marinho. Maintenance Policy and its Impact on the Performability Evaluation of EFT Systems. International Journal on Computer Science, Engineering and Applications (IJCSE). Volume 2, Number 2, April 2012. |
| Rubens Matos, Jean Araujo, Paulo Maciel, F. Vieira De Souza, Rivalino Matias and Kishor Trivedi. Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Hybrid Method Based on Multiple Thresholds and Time Series Prediction. International Transactions on Systems Science and Applications, Vol. 7, No. 3/4, December 2011, pp. 278-294. |
| Gustavo Callou, Paulo Maciel, Eduardo Tavares, Ermeson Andrade, Bruno Nogueira, Carlos Araujo and Paulo Cunha. Energy Consumption and Execution Time Estimation of Embedded System Applications. Microprocessors and Microsystems, Volume 35, Issue 4, June 2011, Pages 426-440. |
| Bruno Nogueira, Paulo Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa, Gustavo Callou and Rodolfo Ferraz. A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP Journal on Embedded Systems. v.2010, p.1 – 12, 2011. |
| Eduardo Tavares, Paulo Maciel, Pedro Dallegrave, Bruno Silva, Tiago Falcão, Bruno Nogueira, Gustavo Callou and Paulo Cunha. Model-Driven Software Synthesis for Hard Real-Time Applications with Energy Constraints. Design Automation for Embedded Systems, v. 15, p. 20-42, 2011. |
| Gabriel Alves Jr., Paulo Maciel, Ricardo Lima, Fábio Magnani and Adilson Arcoverde Jr. Towards the evaluation of environment and business trade-offs in supply chains. Electronic Notes in Theoretical Computer Science. Volume 275, 27 September 2011, Pages 5-21. Fifth International Workshop on the Practical Application of Stochastic Modelling (PASM). |
| Carlos Araújo, Paulo Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Callou and Paulo Cunha. Performability Modeling of Electronic Funds Transfer Systems. Computing (Wien. Print), v.91, p.315 – 334, 2011. |
| Gabriel Alves, Paulo Maciel, Ricardo Lima and Armin Zimmermann. Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans, v.PP, p.1 – 20, 2010. |
| Manish Marwah, Paulo Maciel, Amip Shah, Ratnesh Sharma, Tom Christian, Virgilio Almeida, Carlos Araújo, Erica Souza, Gustavo Callou, Bruno Silva, Sérgio Galdino and Jose Pires. Quantifying the sustainability impact of data center availability. ACM SIGMETRICS Performance Evaluation Review. Pages: 64-68. Volume 37 Issue 4, March 2010. ISSN:0163-5999. DOI>10.1145/1773394.1773405 |
| Ermeson Andrade, Paulo Maciel, Tiago Falcão, Bruno Nogueira, Carlos Araujo and Gustavo Callou. Performance and Energy Consumption Estimation for Commercial Off-the-Shelf Component System Design. Innovations in Systems and Software Engineering (Print). v. 110, p. 525-534, 2010. |
| Ermeson Andrade, Paulo Maciel, Bruno Nogueira, Carlos Araujo and Gustavo Callou. A COTS-Based Approach for Estimating Performance and Energy Consumption of Embedded Real-Time Systems. Information Processing Letters (Print).v. 6, p. 107-114, 2010. |
| Rilson Nascimento and Paulo Maciel. DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer Systems. In Computing and Informatics. Vol. 29, no. 5 (2010), p. 719-740. |
| Nelson Rosa, André Souza, Bruno Silva, Júlio Damasceno, Fernando Lins, Paulo Maciel, Robson Medeiros, Bryan Stephenson, Hamid Motahari, Jun Li and Caio Northfleet. Towards Generating Richer Code by Binding Security Abstractions to BPMN Task Types. Revista de Informática Teórica e Aplicada. v.10, p.30 – 40, 2009. |
| Bruno Nogueira, Paulo Maciel, Gustavo Callou, Ermeson Andrade and Eduardo Tavares. ALUPAS: Avaliação de Consumo de Energia e Desempenho de Softwares para Sistemas Embarcados. Revista de Informática Teórica e Aplicada, v. 16, p. 83-86, 2009. |
| Bruno Silva, Robson Medeiros, Julio Damasceno, Fernando Lins, Nelson Rosa, Paulo Maciel, Bryan Stephenson, Hamid Nezhad, Jun Li, Caio Northfleet and André Souza. An Approach for Reducing the Gap Between BPMN Models and Implementation Artefacts. Revista de Informática Teórica e Aplicada. , v.10, p.30 – 40, 2009. |
| Gustavo Callou, Paulo Maciel, Bruno Nogueira, Ermeson Andrade and Eduardo Tavares. Estimation of Energy Consumption and Execution Time in Early Phases of Design Lifecycle: an Application to Biomedical Systems. Electronics Letters, v. 1, p. 1-1, 2008. |
| Gabriel Alves, Paulo Maciel and Ricardo Lima. Stochastic evaluation of supply chains and replenishment policies with Petri net components, International Journal of Services Operations and Informatics 2008 – Vol. 3, No.3/4 pp. 221 – 241 |
| Eduardo Tavares, Paulo Maciel and Bruno Silva. Modeling Hard Real-Time Systems Considering Inter-Task Relations, Dynamic Voltage Scaling and Overheads. Qualis: A, Internacional. Microprocessors and Microsystems, v. 32, p. 460-473, 2008. |
| Raimundo Barreto, Paulo Maciel, Eduardo Tavares, Rômulo Freitas, Meuse Nogueira and Ricardo Lima. A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis, Qualis: B, Internacional. Design Automation for Embedded Systems, 2008. |
| Roberta Fagundes, Paulo Maciel and Nelson Rosa. Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets – QualisCC: B, Nacìonal. Revista de Informática Teórica e Aplicada, 2008. |
| Eduardo Tavares, Paulo Maciel, Bruno Silva and Meuse Oliveira. Hard real-time tasks’ scheduling considering voltage scaling, precedence and exclusion relations. Journal Information Processing Letters, Volume 108, Issue 2, Pages 50–59, September 2008. ISSN: 0020-0290. |
| Eduardo Tavares, Raimundo Barreto, Paulo Maciel, Meuse Oliveira, Leonardo Amorim, Fernando Rocha and Ricardo Lima. Software synthesis for hard real-time embedded systems with multiple processors. Qualis: B, Divulgação: Internacional, Ver documento de Área CC e observações em anexo. Software Engineering Notes, v. 32, p. 1-10, 2007. |
| Frederico Oliveira, Ricardo Lima, Márcio Cornélio, Sérgio Soares, Paulo Maciel, Meuse Nogueira and Eduardo Tavares. CML: C Modeling Language. Qualis: B, Divulgação: Internacional. Journal of Universal Computer Science, v. 13, p. 682-700, 2007. |
| Sérgio Galdino, Paulo Maciel and Nelson Rosa. Interval Markovian Models in Dependability Evaluation. Qualidade: B, Circulação: Internacional. International Journal of Pure and Applied Mathematics, v. 41, p. 151-176, 2007. |
| Paulo Maciel, Tomaz Barros and Cecílio Pimentel. Modeling Two-Dimensional Runlength-Limited Sequences for Data Storage Storage Using Petri Nets. Qualidade:B, Circulação: Internacional. International Journal of Computational and Numerical Analysis and Applications, v. 17, p. 17-35, 2007. |
| Gabriel Alves, Paulo Maciel and Ricardo Lima. Stochastic Modeling and Evaluation of Supply Chains with GSPN. Qualidade: A, Circulação:Internacional.. Performance Evaluation, v. 69, p. 1-15, 2007. |
| Eduardo Tavares, Paulo Maciel, Bruno Silva, Meuse Oliveira and R. Rodrigues. Modeling and Scheduling Hard Real-Time Biomedical Systems with Timing and Energy Constraints. Qualis: A. Circulação: Internacional. Electronics Letters, v. 43, p. 1015-1017, 2007. |
| Lucas Cordeiro, Raimundo Barreto, Rafael Barcelos, Meuse Oliveira, Vicente Lucena and Paulo Maciel. TXM: An Agile HW/SW Development Methodology for Building Medical Device. Qualis: B, Circulação: Internacional. Software Engineering Notes, v. 32, p. 1-12, 2007. |
| Leonardo Barros, Paulo Maciel, Meuse Nogueira, Raimundo Barreto and Eduardo Tavares. Mapping Live Sequence Chart to Coloured Petri Nets for Analysis and Verifications of Embedded Systems. Qualis B, Divulgação: Internacional. Ver documento de Área CC e observações em anexo. Software Engineering Notes, New York, NY, v. 31, n. 3, p. 1-25, 2006. |
| Wellington Silva, Paulo Maciel and Mauro Silva. A Framework Based on Petri Nets for Supporting Stepwise Modelling of Production Systems. International Journal Of Services Operations And Informatics, v. 1, n. 1/2, p. 94-130, 2006. |
| Raimundo Barreto, Paulo Maciel and Sérgio Cavalcanti.A Time Petri Net Approach for Finding Pre-Runtime Scheduling in Embedded Hard-Real Time Systems. International Journal of Embedded Systems, Inderscience Publishers, 2004. |
| Paulo Maciel and Tomáz Barros.Resource Estimation and Modeling of Production Systems Based on Petri Nets. Qualis: B, Divulgação: Internacional. International Journal of Computational and Numerical Analysis and Applications, Sofia, v. 2, n. 4, p. 369-386, 2002. |
| Paulo Maciel, Edna Barros and Wolfgang Rosenstiel. A Petri Net Model for Hardware/Software Codesign. 0929-5585 Design Automation for Embedded Systems. Qualificação :B, Divulgação: Internacional. Design Automation for Embedded Systems, Boston – USA, v. 4, n. 4, p. 243-310, 1999. |
