Books and Book-Chapters
| Fumio Machida and Paulo Maciel. Markov chains and Petri nets for software rejuvenation systems. In: “Handbook of Software Aging and Rejuvenation”. pp TBA. October, 2020. ISBN TBA. Online ISBN TBA. |
| 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. |
