Facebook Twitter Gplus Google Maps E-mail
Home Publications Books and Book-Chapters

Books and Book-Chapters

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.
© MoDCS Research Group