Facebook Twitter Gplus Google Maps E-mail

Journals

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