| Eric Borba, Reza Salkhordeh, Salim Mimouni, Eduardo Tavares, Paulo Maciel, Hossein Asadi, and André Brinkmann. A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers. In Architecture of Computing Systems. Springer Nature 2024 (pp 266–281). Online ISBN: 978-3-031-66145-7. |
| Paulo Maciel, Paulo Pereira, Thiago Pinheiro, Danilo Clemente, Jamilson Dantas. Reliability and availability evaluation of cloud data-center. In Developments in Reliability Engineering (2024) (pp. 545-574). Elsevier. Online ISBN: 978-0-443-13242-1 |
| Paulo Maciel (2023). Performance, Reliability, and Availability Evaluation of Computational Systems, Volume I. In Taylor & Francis 2023 (pp. 1-880). Chapman and Hall/CRC. |
| Paulo Maciel (2023). Performance, Reliability, and Availability Evaluation of Computational Systems, Volume 2 . In Taylor & Francis 2023 (pp. 1-700). Chapman and Hall/CRC. |
| Pablo Philipe (2023). Methodologies Based on Hardware Performance Counters for Supporting Cybersecurity, Volume I. In Handbook of Research on Cyber Criminals and Data Privacy Measures 2023 (pp. 1-880). Chapman and Hall/CRC. |
| Pablo Philipe (2023). Exploring Cyber Criminals and Data Privacy Measures, Volume I. In Taylor & Francis 2022 (pp. 1-880). Chapman and Hall/CRC. |
| Thiago Pinheiro, Danilo Oliveira, Rubens Matos, Bruno Silva, Paulo Pereira, Carlos Melo, Felipe Oliveira, Eduardo Tavares, Jamilson Dantas and Paulo Maciel (2021) The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluations. In Intelligent Environments 2021 (pp. 16-25). IOS Press. |
| Ronierison Maciel, Jean Araujo, Carlos Melo, Paulo Pereira, Jamilson Dantas and Paulo Maciel (2021) Impact evaluation of DDoS and Malware attack using IoT devices. De Gruyter, 2021. v. 6. 45p July, 2020. ISBN 9783110616750. Online ISBN 9783110619751. |
| Julian Araujo, Ermeson Andrade and Paulo Maciel (2020) Tomada de Decisão Multicritério em Infraestruturas como Serviço: Uma Abordagem baseada em Modelos de Dependabilidade, Performabilidade e Custo. Novas Edições Acadêmicas, 2020. v. 1. 180. |
| Jean Araujo and Paulo Maciel (2020) Planejamento de infraestruturas de mobile cloud: Uma abordagem baseada em modelos estocásticos. Novas Edições Acadêmicas, 2020. v. 1. 156p. |
| Fumio Machida and Paulo R. M. Maciel. Markov Chains and Petri Nets. In: “Handbook of Software Aging and Rejuvenation”. ch. 5, pp 93-126. October, 2020. ISBN: 978-981-12-1456-1. Online ISBN: 978-981-12-1458-5. |
| Pablo Pessoa, Isac Colares, Ronierison Maciel, Humberto Caetano, and Paulo Maciel. Prediction, Detection and Mitigation of DDoS attacks using HPCs: Design for a safer Adaptive Infrastructure. In: “Handbook of Research on Cyber Crime and Information Privacy”. pp 127-152. June, 2020. ISBN 9781799857280. Online ISBN 179985728X. |
| Paulo Maciel, Jamilson Dantas, and Rubens Matos. Markov Chains and Stochastic Petri Nets for Availability and Reliability Modeling. In: “Reliability Engineering: Methods and Applications”. Part of the series Advanced Research in Reliability and System Assurance Engineering. pp 127-152. December, 2019. ISBN 978-0-429-48800-9. Online ISBN 978-1-138-59385-5. |
| Erica Teixeira, Paulo Maciel, and Fernando Lins. (2018) Avaliação de Desempenho, Dependabilidade e Custo de Nuvens Privadas. Riga – Letônia: Novas Edições Acadêmicas, 2018. v. 1. 180 p. |
| Paulo Maciel, Rafael Lins and Paulo Cunha. (1996) Uma Introdução às Redes de Petri e Aplicações. Campinas – SP: Sociedade Brasileira de Computacão, 1996. v. 1. 213 p. |
| Paulo Maciel. Modeling Availability Impact in Cloud Computing. In: “Principles of Performance and Reliability Modeling and Evaluation”. Part of the series Springer Series in Reliability Engineering. pp 287-320. April, 2016. Print ISBN 978-3-319-30597-4. Online ISBN 978-3-319-30599-8. |
| Almir Guimarães, Paulo Maciel, and Rivalino Matias Jr. Design of IT Infrastructures of Data Center: An Approach Based on Business and Technical Metrics. In: “Quantitative Assessments of Distributed Systems: Methodologies and Techniques / Book”. Pages 265–299. Ed. Wiley Online Library. April 17, 2015. Print ISBN: 9781118595213. Edited by Dario Bruneo and Salvatore Distefano. |
| Gustavo Callou, Paulo Maciel, Dietmar Tutsch, Carlos Araujo, João Ferreira and Rafael Souza. A Petri Net-Based Approach to the Quantification of Data Center Dependability. In: “Petri Nets / Book “, ed. Publisher by InTech,2011. ISBN 979-953-307-799-3. Edited by Pawel Pawlewski. |
| Sérgio Galdino and Paulo Maciel. ISPN: modeling stochastic with input uncertainties using an interval-based approach. In: “Matlab / Book 5”, ed. Publisher by InTech, September 2011. ISBN 978-953-307-708-6. Edited by Tadeusz Michałowski. Source: Applications of MATLAB in Science and Engineering. |
| Gabriel Alves Jr., Paulo Maciel, Ricardo Lima and Fábio Magnani. Business and Environment Performance Evaluation in Supply Chains: A Formal Model-Driven Approach. In: Supply Chain. Ed.: INTECH, Supply Chain Management – Applications and Simulations, 2011. |
| Jean Araujo and Paulo Maciel. Redes de Petri na Modelagem de Sistemas Computacionais: Análise de Propriedades e Aplicações In: 8ª Escola Regional de Redes de Computadores – ERRC 2010. Alegrete-RS, 2010. |
| Paulo Maciel, Kishor Trivedi, Rivalino Matias and Dong Kim. Dependability Modeling. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions ed.Hershey, Pennsylvania: IGI Global, 2011. |
| Gustavo Callou, Paulo Maciel, Ermeson Andrade, Bruno Nogueira, Eduardo Tavares and Carlos Araújo. Estimating Energy Consumption and Execution Time of Embedded System Applications. Advances in Energy Research. New York: Nova Science Publishers, 2010, v. 01, p. 1-50. |
| Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira and Carlos Araújo. An Approach Based in Petri Net for Requirement Analysis In: Petri Nets Applications ed. : INTECH, 2010, p. 1-20. |
| Leonardo Barros, Raimundo Barreto, Paulo Maciel, Eduardo Tavares, Meuse Oliveira and Ricardo Lima. On the Use of TPN and LSC for Embedded Hard Real-Time Software Synthesis. In: Zili Shao; Youtao Zhang; Laurence T. Yang. (Org.). Embedded Systems: Status and Perspective.: American Scientific Publisher, 2007. |
| Raimundo Barreto, Eduardo Tavares, Paulo Maciel, Marília Neves, Meuse Nogueira; Leonardo Amorim, Arthur Bessa and Ricardo Lima. Embedded Hard Real-Time Software Synthesis Considering Dispacher Overheads. In: Achim Rettberg; Mauro C. Zanella; Franz J. Ramming. (Org.). From Specification to Embedded Systems Application. Heidelberg: Sringer Verlag, 2006. |
| Eduardo Tavares, Meuse Nogueira, Paulo Maciel, Bruno Silva, Silvino Vasconcelos Neto, Raimundo Barreto, Rômulo Freitas and Marcelo Custódio. Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. In: Kleinjohann, B.; Kleinjohann, L.; Machado, R.J.; Pereira, C.; Thiagarajan, P.S. (Org.). From Model-Driven Design to Resource Management for Distributed Embedded Systems. New York: Springer-Verlag New York Inc, 2006, v. 225, p. 255-264. |
| Raimundo Barreto, Paulo Maciel, Marília Neves, Eduardo Tavares and Ricardo Massa. A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard-Real Time Systems. In: Kleinjohann, B.; Gao, G.R.; Kopetz, H.; Kleinjohann, L.; Rettberg, A.. (Org.). Dessign Methods and Applications for Embedded Distributed Systems.: Kluwer Academic Publishers, 2004, v. 150. |
| Cristiane Araújo, Dulciane Silva, Edna Barros, Manoel Lima and Paulo Maciel. Co-Synthesis and Prototyping Supporting the Design of Reconfiguarable Systems. In: Edward David Moreno Ordonez; Jorge Luiz e Silva. (Org.). Reconfigurable Computing – Experiences and Perspectives. Marília: Fundação de Ensino Eurípedes Soares Rocha, 2000, v., p. 54-67. |
