| 2025 | ISSRE | Availability Evaluation of UAV-Based Surveillance System with Edge-Cloud Integration. | Ivson Borges, Gustavo Callou, Paulo R. M. Maciel |
| 2025 | SMC | Packet Delivery Performance in Satellite-Assisted LoRaWAN Networks Using Computational Geometry. | Esau Bermudez, Johanna Castellanos, Jamilson Dantas, Paulo R. M. Maciel |
| 2025 | SMC | Modeling and Evaluation of Bike-Sharing Systems for Planning Sustainable Urban Mobility. | Renata Dantas, Akin Dagba, Ion Rameh, Jamilson Dantas, Paulo R. M. Maciel |
| 2025 | SMC | Performance Hierarchical Modeling of Microservices using Stochastic Petri Nets. | Thiago Felipe da Silva Pinheiro, Marco Mialaret, Jamilson Dantas, Paulo R. M. Maciel |
| 2025 | SMC | Stochastic Battery Degradation Modeling Considering Cell-to-Cell Current Interactions. | Marcelo Santana, Jnatas Silva, Vincius Almeida, Paulo R. M. Maciel |
| 2025 | SMC | A Stochastic Performance Model And a Sensitivity Analysis of a Battery Swapping Station System for Electric Vehicles | Jnatas Silva, Vincius S. Almeida, Marcelo Santana, Renata Dantas, Daliton da Silva, Paulo R. M. Maciel |
| 2020 | ISSRE | Markov chains and Petri nets for software rejuvenation systems. | Fumio Machida, Paulo R. M. Maciel |
| 2020 | PRDC | Security and Availability Modeling of VM Migration as Moving Target Defense. | Matheus Torquato, Paulo R. M. Maciel, Marco Vieira |
| 2020 | SMC | Experimental Evaluation of Software Aging Effects in a Container-Based Virtualization Platform. | Felipe Oliveira, Jean Araujo, Rbens de Souza Matos Jnior, Luan Lins, Andr Rodrigues, Paulo R. M. Maciel |
| 2019 | EDCC | A Hierarchical Model for Virtualized Data Center Availability Evaluation. | Matheus Torquato, Erico A. C. Guedes, Paulo R. M. Maciel, Marco Vieira |
| 2019 | ISSRE | Stochastic Model for Availability Analysis of Service Function Chains using Rejuvenation and Live Migration. | Erico A. C. Guedes, Paulo R. M. Maciel |
| 2019 | SMC | Dependability Evaluation of an IoT System: A Hierarchical Modelling Approach. | Eltton Araujo, Jamilson Dantas, Rbens de Souza Matos Jnior, Paulo Pereira, Paulo R. M. Maciel |
| 2019 | SMC | Estimating Availability-oriented Throughput of Virtualized Networks. | Victor Lira, Eduardo Tavares, Eric Borba, Paulo R. M. Maciel |
| 2019 | SMC | A Hybrid Mechanism of Horizontal Auto-scaling Based on Thresholds and Time Series. | Paulo Pereira, Jean Araujo, Paulo R. M. Maciel |
| 2019 | SMC | Dependability Evaluation in a Convergent Network Service using BGP and BFD Protocols. | Diogo Siqueira, Thiago Felipe da Silva Pinheiro, Jamilson Dantas, Paulo R. M. Maciel |
| 2018 | IPCCC | Software Rejuvenation in Computer Systems: An Automatic Forecasting Approach Based on Time Series. | Paulo Pereira, Jean Araujo, Rbens de Souza Matos Jnior, Nuno M. Preguia, Paulo R. M. Maciel |
| 2018 | ISCC | Dependability Evaluation of a Blockchain-as-a-Service Environment. | Carlos Melo, Jamilson Dantas, Danilo Oliveira, Iure Fe, Rbens de Souza Matos Jnior, Renata Dantas, Ronierison Maciel, Paulo R. M. Maciel |
| 2018 | NCA | Estimating the Environmental Impact of Data Centers. | Joo Ferreira, Gustavo Callou, Albert Josua, Paulo R. M. Maciel |
| 2018 | SMC | Evaluation of Encoding and Network Aspects on Video Streaming Performance: A Modeling and Experimental Approach. | Jamilson Dantas, Rbens de Souza Matos Jnior, Carlos Melo, Jean Araujo, Joo Ferreira, Paulo R. M. Maciel |
| 2018 | SMC | Impact Assessment of Multi-threats in Computer Systems Using Attack Tree Modeling. | Ronierison Maciel, Jean Araujo, Carlos Melo, Jamilson Dantas, Paulo R. M. Maciel |
| 2018 | SMC | Performance and Data Traffic Analysis of Mobile Cloud Environments. | Thiago Felipe da Silva Pinheiro, Francisco Airton Silva, Iure Fe, Sokol Kosta, Paulo R. M. Maciel |
| 2017 | PRDC | Expolynomial Modelling for Supporting VANET Infrastructure Planning. | Aleciano Lobo Junior, Rbens de Souza Matos Jnior, Bruno Silva, Paulo R. M. Maciel |
| 2017 | PRDC | Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions. | Paulo R. M. Maciel, Rbens de Souza Matos Jnior, Bruno Silva, Jair Figueiredo, Danilo Oliveira, Iure Fe, Ronierison Maciel, Jamilson Dantas |
| 2017 | PRDC | Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure. | Carlos Melo, Rbens de Souza Matos Jnior, Jamilson Dantas, Paulo R. M. Maciel |
| 2017 | PRDC | Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. | Armin Zimmermann, Paulo R. M. Maciel |
| 2015 | CloudCom | Planning Mobile Cloud Infrastructures Using Stochastic Petri Nets and Graphic Processing Units. | Francisco Airton Silva, Matheus Rodrigues, Paulo R. M. Maciel, Sokol Kosta, Alessandro Mei |
| 2015 | SMC | Assessment of Bus Rapid Transit (BRT) Time Lags under Probabilistic Uncertainties. | Renata Dantas, Jamilson Dantas, Paulo R. M. Maciel, Gabriel Alves |
| 2015 | SERVICES | Performance Evaluation of Virtual Machines Instantiation in a Private Cloud. | Eliomar Campos, Rbens de Souza Matos Jnior, Paulo R. M. Maciel, Igor Costa, Francisco Airton Silva, Francisco Vieira de Souza |
| 2014 | ISCC | Performability analysis of I/O bound application on container-based server virtualization cluster. | Erico A. C. Guedes, Luis E. T. Silva, Paulo R. M. Maciel |
| 2011 | SMC | Estimating reliability importance and total cost of acquisition for data center power infrastructures. | Jair Figueiredo, Paulo R. M. Maciel, Gustavo Rau de Almeida Callou, Eduardo Tavares, Erica Sousa, Bruno Silva |
| 2010 | ISSRE | Measuring software aging effects through OS kernel instrumentation. | Rivalino Matias, Ibrahim Beicker, Breno Leito, Paulo R. M. Maciel |
| 2000 | SMC | Using Petri nets for data dependency analysis. | Fred Cruz Filho, Paulo R. M. Maciel, Edna Barros |
| 1998 | SMC | A Petri net based approach for performing the initial allocation in hardware/software codesign. | Paulo R. M. Maciel, Edna Barros, Wolfgang Rosenstiel |