default search action
Paulo Romero Martins Maciel
Person information
- affiliation: Federal University of Pernambuco, Recife, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j98]Vandirleya Barbosa, Arthur Sabino, Luiz Nelson Lima, Carlos Brito, Leonel Feitosa, Paulo Pereira, Paulo Maciel, Tuan Anh Nguyen, Francisco Airton Silva:
Performance Evaluation of IoT-Based Industrial Automation Using Edge, Fog, and Cloud Architectures. J. Netw. Syst. Manag. 33(1): 15 (2025) - [j97]Matheus Torquato, Paulo R. M. Maciel, Marco Vieira:
Evaluation of time-based virtual machine migration as moving target defense against host-based attacks. J. Syst. Softw. 219: 112222 (2025) - 2024
- [j96]Aline do Monte, Pablo Pessoa do Nascimento, Daliton Silva, Luan Lins, Dimas Cassimiro Nascimento Filho, Paulo Maciel:
Assessing the impact of battery charging and discharging times on the availability of mechanical ventilation service. J. Reliab. Intell. Environ. 10(2): 137-150 (2024) - [j95]Marco Mialaret, Paulo Pereira, Antonio Correia de Sa Barreto Neto, Thiago Felipe da Silva Pinheiro, Paulo Maciel:
Automated phase-type distribution fitting via expectation maximization. J. Reliab. Intell. Environ. 10(4): 339-355 (2024) - [j94]Carlos Araújo, Meuse N. Oliveira Jr., Bruno Nogueira, Paulo Maciel, Eduardo Tavares:
Performability evaluation of NoSQL-based storage systems. J. Syst. Softw. 208: 111885 (2024) - [j93]Felipe Oliveira, Paulo Pereira, Jamilson Dantas, Jean Araujo, Paulo Maciel:
Dependability Evaluation of a Smart Poultry House: Addressing Availability Issues Through the Edge, Fog, and Cloud Computing. IEEE Trans. Ind. Informatics 20(2): 1304-1312 (2024) - [c200]Eric Borba, Reza Salkhordeh, Salim Mimouni, Eduardo Tavares, Paulo Maciel, Hossein Asadi, André Brinkmann:
A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers. ARCS 2024: 266-281 - [c199]Erick Nascimento, Eduardo Antonio Guimarães Tavares, Jamilson Dantas, Paulo Romero Martins Maciel:
Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation. LADC 2024: 38-48 - [c198]Luan Lins, Erick Nascimento, Jamilson Dantas, Jean Araujo, Paulo Romero Martins Maciel:
Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability. LADC 2024: 65-74 - [c197]Esau Bermudez, Paulo Maciel:
Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation. LADC 2024: 175-178 - [c196]Luan Lins, Erick Nascimento, Jamilson Dantas, Jean Araujo, Paulo Romero Martins Maciel:
Stochastic Modeling for Assessing the Reliability and Availability of Drone-Based Surveillance Systems. SysCon 2024: 1-8 - [c195]Artur Montenegro, Erick Barros, Rubens Matos, Paulo Romero Martins Maciel, Jamilson Dantas:
Availability Modeling and Sensitivity Analysis of CELERY Airflow Service in a Node-Based Computing Environment. SysCon 2024: 1-7 - [c194]Erick Nascimento, Jamilson Dantas, Eduardo Tavares, Paulo Romero Martins Maciel:
Availability Evaluation of a Softwarized MEC. SysCon 2024: 1-7 - [c193]Thiago Felipe da Silva Pinheiro, Marco Mialaret, Paulo Pereira, Luan Lins, Daliton Silva, Jamilson Dantas, Paulo Romero Martins Maciel:
Performance Modeling of Microservices with Circuit Breakers using Stochastic Petri Nets. SysCon 2024: 1-8 - 2023
- [j92]Jamilson Dantas, Carlos Melo, Paulo Maciel, Rúbens de Souza Matos Júnior:
Cloud infrastructure planning: models considering an optimisation method, cost and performance requirements. Int. J. Grid Util. Comput. 14(4): 297-310 (2023) - [j91]Kenneth Kwame Azumah, Paulo Romero Martins Maciel, Lene Tolstrup Sørensen, Sokol Kosta:
Modeling and Simulating a Process Mining-Influenced Load-Balancer for the Hybrid Cloud. IEEE Trans. Cloud Comput. 11(2): 1999-2010 (2023) - [j90]Thiago Felipe da Silva Pinheiro, Paulo Pereira, Bruno Silva, Paulo Maciel:
A performance modeling framework for microservices-based cloud infrastructures. J. Supercomput. 79(7): 7762-7803 (2023) - [j89]Lubnnia Morais Florêncio Souza, Kádna Camboim, Jean Araujo, Fernanda M. R. Alencar, Paulo R. M. Maciel, João Ferreira:
Dependability evaluation and sensitivity analysis of data center cooling systems. J. Supercomput. 79(17): 19607-19635 (2023) - [j88]Carlos Gomes, Meuse Nogueira de O. Junior, Bruno C. S. Nogueira, Paulo R. M. Maciel, Eduardo Tavares:
NoSQL-based storage systems: influence of consistency on performance, availability and energy consumption. J. Supercomput. 79(18): 21424-21448 (2023) - [c192]Marco Silva, João Pedro Fonseca, David Perez Abreu, Paulo Romero Martins Maciel, Paulo Duarte, Raul Barbosa, Bruno Mendes, João Silva, Adriano Almeida Góes, Marco Araújo, Bruno Sousa, Marília Curado, José Santos:
O-RAN and RIC Compliant Solutions for Next Generation Networks. INFOCOM Workshops 2023: 1-7 - [c191]Camila Dantas, Pablo Pessoa do Nascimento, João Ferreira, Paulo Maciel, Jamilson Dantas:
DDoS Detection Based on Hardware Performance Counters Selection. WETICE 2023: 1-6 - [c190]Daliton da Silva, Dimas Cassimiro Nascimento Filho, Camila Dantas, Paulo Maciel:
Enhancing Augmented Reality Performance: An Exploration of Edge Computing and Code Offloading in Collaborative AR Systems. WETICE 2023: 1-6 - 2022
- [j87]Carlos Melo, Jean Araujo, Jamilson Dantas, Paulo Pereira, Paulo Maciel:
A model-based approach for planning blockchain service provisioning. Computing 104(2): 315-337 (2022) - [j86]Almir Pereira Guimarães, Paulo Maciel, Rivalino Matias Jr., Bruno Silva, Bruno Nogueira:
An analytical approach for optimization of computer network design considering the integration of the communication and power infrastructures. Int. J. Netw. Manag. 32(2) (2022) - [j85]Eric Borba, Eduardo Tavares, Paulo Maciel:
A modeling approach for estimating performance and energy consumption of storage systems. J. Comput. Syst. Sci. 128: 86-106 (2022) - [j84]Matheus Torquato, Paulo R. M. Maciel, Marco Vieira:
Model-Based Performability and Dependability Evaluation of a System with VM Migration as Rejuvenation in the Presence of Bursty Workloads. J. Netw. Syst. Manag. 30(1): 3 (2022) - [j83]Paulo Maciel, Jamilson Dantas, Carlos Melo, Paulo Pereira, Felipe Oliveira, Jean Araujo, Rúbens de Souza Matos Júnior:
A survey on reliability and availability modeling of edge, fog, and cloud computing. J. Reliab. Intell. Environ. 8(3): 227-245 (2022) - [j82]Iure Fé, Rúbens de Souza Matos Júnior, Jamilson Dantas, Carlos Melo, Tuan Anh Nguyen, Dugki Min, Eunmi Choi, Francisco Airton Silva, Paulo Romero Martins Maciel:
Performance-Cost Trade-Off in Auto-Scaling Mechanisms for Cloud Computing. Sensors 22(3): 1221 (2022) - [j81]Francisco Airton Silva, Carlos Brito, Gabriel Araújo, Iure Fé, Maxim Tyan, Jae-Woo Lee, Tuan Anh Nguyen, Paulo Romero Martins Maciel:
Model-Driven Impact Quantification of Energy Resource Redundancy and Server Rejuvenation on the Dependability of Medical Sensor Networks in Smart Hospitals. Sensors 22(4): 1595 (2022) - [j80]Paulo Pereira, Carlos Melo, Jean Araujo, Jamilson Dantas, Vinícius Santos, Paulo Maciel:
Availability model for edge-fog-cloud continuum: an evaluation of an end-to-end infrastructure of intelligent traffic management service. J. Supercomput. 78(3): 4421-4448 (2022) - [j79]Danilo Clemente, Paulo Pereira, Jamilson Dantas, Paulo Romero Martins Maciel:
Availability evaluation of system service hosted in private cloud computing through hierarchical modeling process. J. Supercomput. 78(7): 9985-10024 (2022) - [j78]Carlos Melo, Felipe Oliveira, Jamilson Dantas, Jean Araujo, Paulo Pereira, Ronierison Maciel, Paulo Maciel:
Performance and availability evaluation of the blockchain platform hyperledger fabric. J. Supercomput. 78(10): 12505-12527 (2022) - [c189]Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira:
Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach. ISSRE 2022: 205-216 - 2021
- [j77]Pablo Pessoa do Nascimento, Paulo Pereira, Marco Mialaret, Isac Ferreira, Paulo Maciel:
A methodology for selecting hardware performance counters for supporting non-intrusive diagnostic of flood DDoS attacks on web servers. Comput. Secur. 110: 102434 (2021) - [j76]Jairson B. Rodrigues, Germano C. Vasconcelos, Paulo R. M. Maciel:
Screening hardware and volume factors in distributed machine learning algorithms on spark. Computing 103(10): 2203-2225 (2021) - [j75]Bruno C. S. Nogueira, Eduardo Tavares, Paulo R. M. Maciel:
Iterated local search with tabu search for the weighted vertex coloring problem. Comput. Oper. Res. 125: 105087 (2021) - [j74]Antonio Correia de Sa Barreto Neto, Felipe Farias, Marco Aurelio Tomaz Mialaret, Bruno Cartaxo, Priscila Alves Lima, Paulo Romero Martins Maciel:
Building energy consumption models based on smartphone user's usage patterns. Knowl. Based Syst. 213: 106680 (2021) - [j73]Carlos Melo, Jamilson Dantas, Paulo Pereira, Paulo R. M. Maciel:
Distributed application provisioning over Ethereum-based private and permissioned blockchain: availability modeling, capacity, and costs planning. J. Supercomput. 77(9): 9615-9641 (2021) - [j72]Paulo Pereira, Jean Araujo, Carlos Melo, Vinícius Santos, Paulo R. M. Maciel:
Analytical models for availability evaluation of edge and fog computing nodes. J. Supercomput. 77(9): 9905-9933 (2021) - [c188]Thiago Felipe da Silva Pinheiro, Danilo Oliveira, Rúbens de Souza Matos Júnior, Bruno Silva, Paulo Pereira, Carlos Melo, Felipe Oliveira, Eduardo Tavares, Jamilson Dantas, Paulo Romero Martins Maciel:
The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation. Intelligent Environments (Workshops) 2021: 16-25 - [c187]Matheus Torquato, Paulo Maciel, Marco Vieira:
PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper. ISSRE 2021: 357-366 - [c186]Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira:
Analysis of VM migration scheduling as moving target defense against insider attacks. SAC 2021: 194-202 - [c185]Kádna Camboim, Erica Sousa, Almir Pereira Guimarães, Jean Araujo, Paulo Romero Martins Maciel:
Reliability-and-Availability Sensitivity Analysis on Convergent Network Infrastructures: Methodology and Case Study. SMC 2021: 2055-2062 - [c184]Kádna Camboim, João Ferreira, Carlos Melo, Jean Araujo, Fernanda M. R. Alencar, Paulo Romero Martins Maciel:
Dependability and Sustainability Evaluation of Data Center Electrical Architectures. SysCon 2021: 1-8 - [c183]Ronierison Maciel, Jean Araujo, Carlos Melo, Paulo Pereira, Jamilson Dantas, Júlio Mendonça, Paulo Maciel:
Impact Evaluation of DDoS Attacks Using IoT Devices. SysCon 2021: 1-8 - 2020
- [j71]Demis Gomes, Guto Leoni Santos, Djamel Sadok, Glauco Estácio Gonçalves, Patricia Takako Endo, Paulo Romero Martins Maciel:
Temperature variation impact on estimating costs and most critical components in a cloud data centre. Int. J. Comput. Appl. Technol. 62(4): 361-374 (2020) - [j70]Jamilson Dantas, Eltton Araujo, Paulo R. M. Maciel, Rúbens de Souza Matos Júnior, Jean Teixeira:
Estimating capacity-oriented availability in cloud systems. Int. J. Comput. Sci. Eng. 22(4): 466-476 (2020) - [j69]Carlos Melo, Jamilson Dantas, Paulo R. M. Maciel, Danilo Mendonça Oliveira, Jean Araujo, Rúbens de Souza Matos Júnior, Iure Fé:
Models for hyper-converged cloud computing infrastructures planning. Int. J. Grid Util. Comput. 11(2): 196-208 (2020) - [j68]João Ferreira, Gustavo Callou, Paulo R. M. Maciel, Dietmar Tutsch:
An algorithm to optimise the energy distribution of data centre electrical infrastructures. Int. J. Grid Util. Comput. 11(3): 419-433 (2020) - [j67]Rúbens de Souza Matos Júnior, Jamilson Dantas, Eltton Araujo, Paulo R. M. Maciel:
Bottleneck Detection in Cloud Computing Performance and Dependability: Sensitivity Rankings for Hierarchical Models. J. Netw. Syst. Manag. 28(4): 1839-1871 (2020) - [j66]Matheus Torquato, Paulo R. M. Maciel, Marco Vieira:
Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload. Softw. Qual. J. 28(1): 59-83 (2020) - [j65]Priscila Alves Lima, Antonio Correia de Sa Barreto Neto, Paulo R. M. Maciel:
Data centers' services restoration based on the decision-making of distributed agents. Telecommun. Syst. 74(3): 367-378 (2020) - [j64]Paulo Pereira, Jean Araujo, Matheus Torquato, Jamilson Dantas, Carlos Melo, Paulo R. M. Maciel:
Stochastic performance model for web server capacity planning in fog computing. J. Supercomput. 76(12): 9533-9557 (2020) - [c182]Fumio Machida, Paulo R. M. Maciel:
Markov chains and Petri nets for software rejuvenation systems. ISSRE Workshops 2020: 325-326 - [c181]Almir Pereira Guimarães, Paulo Romero Martins Maciel, Rivalino Matias:
Optimization of computer networks design integrating dependability and business aspects. LATINCOM 2020: 1-6 - [c180]Matheus Torquato, Paulo R. M. Maciel, Marco Vieira:
Security and Availability Modeling of VM Migration as Moving Target Defense. PRDC 2020: 50-59 - [c179]Felipe Oliveira, Jean Araujo, Rúbens de Souza Matos Júnior, Luan Lins, André Rodrigues, Paulo R. M. Maciel:
Experimental Evaluation of Software Aging Effects in a Container-Based Virtualization Platform. SMC 2020: 414-419 - [c178]Jairson B. Rodrigues, Germano C. Vasconcelos, Paulo R. M. Maciel:
Time and Cost Prediction Models for Language Classification Over a Large Corpus on Spark. SSCI 2020: 1702-1709 - [c177]Eric Borba, Eduardo Tavares, Paulo Romero Martins Maciel, Victor Lira, Carlos Gomes Araújo:
Performance and Energy Consumption Evaluation of Hybrid Storage Systems. SysCon 2020: 1-6 - [p1]Fumio Machida, Paulo R. M. Maciel:
Markov Chains and Petri Nets. Handbook of Software Aging and Rejuvenation 2020: 93-126 - [d1]Jairson B. Rodrigues, Germano C. Vasconcelos, Paulo R. M. Maciel:
PT7 Web, an Annotated Portuguese Language Corpus. IEEE DataPort, 2020 - [i1]Antonio Correia de Sa Barreto Neto, Felipe Farias, Marco Aurelio Tomaz Mialaret, Bruno Cartaxo, Priscila Alves Lima, Paulo Romero Martins Maciel:
Building Energy Consumption Models Based On Smartphone User's Usage Patterns. CoRR abs/2012.10246 (2020)
2010 – 2019
- 2019
- [j63]Matheus Torquato, Paulo R. M. Maciel, Marco Vieira:
A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling. IEEE Access 7: 138315-138326 (2019) - [j62]Danilo Oliveira, André Brinkmann, Nelson Souto Rosa, Paulo Romero Martins Maciel:
Performability Evaluation and Optimization of Workflow Applications in Cloud Environments. J. Grid Comput. 17(4): 749-770 (2019) - [j61]Renata Dantas, Jamilson Dantas, Gabriel Alves, Paulo Romero Martins Maciel:
Analysis of a performability model for the BRT system. Int. J. Data Min. Model. Manag. 11(1): 64-86 (2019) - [j60]Danilo Oliveira, Jamilson Dantas, Nelson Souto Rosa, Paulo R. M. Maciel, Rúbens de Souza Matos Júnior, André Brinkmann:
A dependability and cost optimisation method for private cloud infrastructures. Int. J. Web Grid Serv. 15(4): 367-393 (2019) - [j59]João Ferreira, Gustavo Callou, Albert Josua, Dietmar Tutsch, Paulo R. M. Maciel:
An Artificial Neural Network Approach to Forecast the Environmental Impact of Data Centers. Inf. 10(3): 113 (2019) - [j58]Carlos Melo, Jamilson Dantas, Ronierison Maciel, Paulo Silva, Paulo R. M. Maciel:
Models to evaluate service Provisioning over Cloud Computing Environments - A Blockchain-As-A-Service case study. RITA 26(3): 65-74 (2019) - [c176]Carlos Melo, Jamilson Dantas, Ronierison Romero Martins Maciel, Paulo Pereira, Eder Quesado, Paulo R. M. Maciel:
Blockchain provisioning over private cloud computing environments: Availability modeling and cost requirements. CloudNet 2019: 1-3 - [c175]Matheus Torquato, Erico A. C. Guedes, Paulo R. M. Maciel, Marco Vieira:
A Hierarchical Model for Virtualized Data Center Availability Evaluation. EDCC 2019: 103-110 - [c174]Erico A. C. Guedes, Paulo R. M. Maciel:
Stochastic Model for Availability Analysis of Service Function Chains using Rejuvenation and Live Migration. ISSRE Workshops 2019: 211-217 - [c173]Sergio Mario Lins Galdino, Paulo R. M. Maciel:
Hierarchical Cluster Analysis of Interval-valued Data Using Width of Range Euclidean Distance. LA-CCI 2019: 1-6 - [c172]Sergio Mario Lins Galdino, Paulo R. M. Maciel:
Weight Pair Group Average Mean Clustering for Interval-valued Data. LA-CCI 2019: 1-7 - [c171]Matheus Torquato, Lucas Torquato, Paulo R. M. Maciel, Marco Vieira:
IaaS Cloud Availability Planning using Models and Genetic Algorithms. LADC 2019: 1-10 - [c170]Paulo Pereira, Jean Araujo, Paulo R. M. Maciel:
A Hybrid Mechanism of Horizontal Auto-scaling Based on Thresholds and Time Series. SMC 2019: 2065-2070 - [c169]Thiago Felipe da Silva Pinheiro, Francisco Airton Silva, Iure Fé, Danilo Oliveira, Paulo Romero Martins Maciel:
Performance and Resource Consumption Analysis of Elastic Systems on Public Clouds. SMC 2019: 2115-2120 - [c168]Eltton Araujo, Jamilson Dantas, Rúbens de Souza Matos Júnior, Paulo Pereira, Paulo R. M. Maciel:
Dependability Evaluation of an IoT System: A Hierarchical Modelling Approach. SMC 2019: 2121-2126 - [c167]Júlio Mendonça, Wilson Medeiros, Ermeson C. Andrade, Ronierison Maciel, Paulo Romero Martins Maciel, Ricardo Lima:
Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments. SMC 2019: 2358-2363 - [c166]Diogo Siqueira, Thiago Felipe da Silva Pinheiro, Jamilson Dantas, Paulo R. M. Maciel:
Dependability Evaluation in a Convergent Network Service using BGP and BFD Protocols. SMC 2019: 2378-2383 - [c165]Victor Lira, Eduardo Tavares, Eric Borba, Paulo R. M. Maciel:
Estimating Availability-oriented Throughput of Virtualized Networks. SMC 2019: 2590-2595 - [c164]Renata Dantas, Jamilson Dantas, Carlos Melo, Danilo Oliveira, Paulo R. M. Maciel:
Sensitivity Analysis in a BRT System. SysCon 2019: 1-8 - 2018
- [j57]Bruno Silva, Rúbens de Souza Matos Júnior, Eduardo Tavares, Paulo Romero Martins Maciel, Armin Zimmermann:
Sensitivity analysis of an availability model for disaster tolerant cloud computing system. Int. J. Netw. Manag. 28(6) (2018) - [j56]Julian Araujo, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Gustavo Callou, Vandi Alves, Paulo Roberto Freire Cunha:
Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models. J. Cloud Comput. 7: 7 (2018) - [j55]Matheus D'Eça Torquato de Melo, Lucas Torquato, Paulo R. M. Maciel:
Modelos para avaliação de disponibilidade orientada a capacidade de uma nuvem privada. RITA 25(2): 73-84 (2018) - [j54]Thiago Felipe da Silva Pinheiro, Francisco Airton Silva, Iure Fe, Sokol Kosta, Paulo Romero Martins Maciel:
Performance prediction for supporting mobile applications' offloading. J. Supercomput. 74(8): 4060-4103 (2018) - [j53]Matheus Torquato, I. M. Umesh, Paulo R. M. Maciel:
Models for availability and power consumption evaluation of a private cloud with VMM rejuvenation enabled by VM Live Migration. J. Supercomput. 74(9): 4817-4841 (2018) - [j52]Francisco Airton Silva, Sokol Kosta, Matheus Rodrigues, Danilo Oliveira, Teresa Maciel, Alessandro Mei, Paulo R. M. Maciel:
Mobile Cloud Performance Evaluation Using Stochastic Models. IEEE Trans. Mob. Comput. 17(5): 1134-1147 (2018) - [c163]Paulo Pereira, Jean Araujo, Rúbens de Souza Matos Júnior, Nuno M. Preguiça, Paulo R. M. Maciel:
Software Rejuvenation in Computer Systems: An Automatic Forecasting Approach Based on Time Series. IPCCC 2018: 1-8 - [c162]Carlos Melo, Jamilson Dantas, Danilo Oliveira, Iure Fe, Rúbens de Souza Matos Júnior, Renata Dantas, Ronierison Maciel, Paulo R. M. Maciel:
Dependability Evaluation of a Blockchain-as-a-Service Environment. ISCC 2018: 909-914 - [c161]João Ferreira, Gustavo Callou, Albert Josua, Paulo R. M. Maciel:
Estimating the Environmental Impact of Data Centers. NCA 2018: 1-4 - [c160]Priscila Alves Lima, Antonio Correia de Sa Barreto Neto, Paulo Romero Martins Maciel:
Data Centers Service Restoration Based on Distributed Agents Decision. SMC 2018: 1611-1616 - [c159]Ronierison Maciel, Jean Araujo, Carlos Melo, Jamilson Dantas, Paulo R. M. Maciel:
Impact Assessment of Multi-threats in Computer Systems Using Attack Tree Modeling. SMC 2018: 2448-2453 - [c158]Jamilson Dantas, Rúbens de Souza Matos Júnior, Carlos Melo, Jean Araujo, João Ferreira, Paulo R. M. Maciel:
Evaluation of Encoding and Network Aspects on Video Streaming Performance: A Modeling and Experimental Approach. SMC 2018: 3883-3888 - [c157]Thiago Felipe da Silva Pinheiro, Francisco Airton Silva, Iure Fe, Sokol Kosta, Paulo R. M. Maciel:
Performance and Data Traffic Analysis of Mobile Cloud Environments. SMC 2018: 4100-4105 - [c156]Renata Dantas, Jamilson Dantas, Carlos Melo, Paulo R. M. Maciel, Gabriel Alves:
A performability model for the BRT system. SysCon 2018: 1-8 - [c155]Ronierison Maciel, Jean Araujo, Jamilson Dantas, Carlos Melo, Erico A. C. Guedes, Paulo R. M. Maciel:
Impact of a DDoS attack on computer systems: An approach based on an attack tree model. SysCon 2018: 1-8 - [c154]Carlos Melo, Jamilson Dantas, Andre Oliveira, Danilo Oliveira, Iure Fe, Jean Araujo, Rúbens de Souza Matos Júnior, Paulo R. M. Maciel:
Availability models for hyper-converged cloud computing infrastructures. SysCon 2018: 1-7 - 2017
- [j51]Francisco Airton Silva, Paulo Romero Martins Maciel, Eder Santana, Rúbens de Souza Matos Júnior, Jamilson Dantas:
Mobile cloud face recognition based on smart cloud ranking. Computing 99(3): 287-311 (2017) - [j50]Erica Sousa, Fernando Lins, Eduardo Tavares, Paulo Romero Martins Maciel:
Cloud infrastructure planning considering different redundancy mechanisms. Computing 99(9): 841-864 (2017) - [j49]Ermeson C. Andrade, Bruno Costa e Silva Nogueira, Rúbens de Souza Matos Júnior, Gustavo Callou, Paulo Romero Martins Maciel:
Availability modeling and analysis of a disaster-recovery-as-a-service solution. Computing 99(10): 929-954 (2017) - [j48]Rúbens de Souza Matos Júnior, Jamilson Dantas, Jean Araujo, Kishor S. Trivedi, Paulo Romero Martins Maciel:
Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis. J. Grid Comput. 15(1): 1-22 (2017) - [j47]Carlos Melo, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel:
Investigation of Software Aging Effects on the OpenStack Cloud Computing Platform. J. Softw. 12(2): 125-137 (2017) - [j46]Jean Araujo, Rúbens de Souza Matos Júnior, Verônica Conceição, Gabriel Alves, Paulo Romero Martins Maciel:
Impact of capacity and discharging rate on battery life time: A stochastic model to support mobile device autonomy planning. Pervasive Mob. Comput. 39: 180-194 (2017) - [j45]Antônio Dâmaso, Nelson S. Rosa, Paulo Romero Martins Maciel:
Integrated Evaluation of Reliability and Power Consumption of Wireless Sensor Networks. Sensors 17(11): 2547 (2017) - [j44]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo M. A. Silva, Ermeson Carneiro de Andrade:
Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation. Soft Comput. 21(14): 4141-4158 (2017) - [c153]Paulo R. M. Maciel, Rúbens de Souza Matos Júnior, Bruno Silva, Jair Figueiredo, Danilo Oliveira, Iure Fe, Ronierison Maciel, Jamilson Dantas:
Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions. PRDC 2017: 50-57 - [c152]Aleciano Lobo Junior, Rúbens de Souza Matos Júnior, Bruno Silva, Paulo R. M. Maciel:
Expolynomial Modelling for Supporting VANET Infrastructure Planning. PRDC 2017: 86-91 - [c151]Armin Zimmermann, Paulo R. M. Maciel:
Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. PRDC 2017: 229-230 - [c150]Carlos Melo, Rúbens de Souza Matos Júnior, Jamilson Dantas, Paulo R. M. Maciel:
Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure. PRDC 2017: 255-260 - [c149]Carlos Melo, Jamilson Dantas, Iure Fe, Andre Oliveira, Paulo Romero Martins Maciel:
Synchronization server infrastructure: A relationship between system downtime and deployment cost. SMC 2017: 1250-1255 - [c148]Iure Fe, Rúbens de Souza Matos Júnior, Jamilson Dantas, Carlos Melo, Paulo Romero Martins Maciel:
Stochastic model of performance and cost for auto-scaling planning in public cloud. SMC 2017: 2081-2086 - [c147]Armin Zimmermann, Thomas Dietrich, Paulo Romero Martins Maciel, Andreas Hildebrandt:
Model-based dynamic reliability engineering for hybrid electric vehicle design. SysCon 2017: 1-8 - [c146]Danilo Oliveira, Rúbens de Souza Matos Júnior, Jamilson Dantas, João Ferreira, Bruno Silva, Gustavo Callou, Paulo R. M. Maciel, André Brinkmann:
Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language. VALUETOOLS 2017: 192-197 - 2016
- [j43]Rúbens de Souza Matos Júnior, Paulo R. M. Maciel, Ricardo M. A. Silva:
Sensitive GRASP: combinatorial optimisation of composite web services guided by sensitivity analysis. Int. J. Web Grid Serv. 12(1): 63-80 (2016) - [j42]Jean Araujo, Felipe Oliveira, Rúbens de Souza Matos Júnior, Matheus Torquato, João Ferreira, Paulo Romero Martins Maciel:
Software Aging Issues in Streaming Video Player. J. Softw. 11(6): 554-568 (2016) - [j41]Jean Araujo, Céfanys Braga, José Belmiro Neto, Adriano Costa, Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel:
An Integrated Platform for Distributed Resources Monitoring and Software Aging Mitigation in Private Clouds. J. Softw. 11(10): 976-993 (2016) - [j40]Igor Costa, Jean Araujo, Jamilson Dantas, Eliomar Campos, Francisco Airton Silva, Paulo Romero Martins Maciel:
Availability Evaluation and Sensitivity Analysis of a Mobile Backend-as-a-service Platform. Qual. Reliab. Eng. Int. 32(7): 2191-2205 (2016) - [j39]Francisco Airton Silva, Germano Zaicaner, Eder Quesado, Matheus Dornelas, Bruno Silva, Paulo Romero Martins Maciel:
Benchmark applications used in mobile cloud computing research: a systematic mapping study. J. Supercomput. 72(4): 1431-1452 (2016) - [c145]Jamilson Dantas, Rúbens de Souza Matos Júnior, Jean Araujo, Danilo Oliveira, Andre Oliveira, Paulo Romero Martins Maciel:
Hierarchical Model and Sensitivity Analysis for a Cloud-Based VoD Streaming Service. DSN Workshops 2016: 10-16 - [c144]Carlos Melo, Jamilson Dantas, Jean Araujo, Paulo Romero Martins Maciel, Rodrigo Branchini, Luiz Kawakami:
Availability models for synchronization server infrastructure. SMC 2016: 3658-3663 - 2015
- [j38]Victor Lira, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel:
An automated approach to dependability evaluation of virtual networks. Comput. Networks 88: 89-102 (2015) - [j37]Victor Lira, Eduardo Antonio Guimarães Tavares, Stenio F. L. Fernandes, Paulo Romero Martins Maciel:
Dependable virtual network mapping. Computing 97(5): 459-481 (2015) - [j36]Jamilson Dantas, Rúbens de Souza Matos Júnior, Jean Araujo, Paulo Romero Martins Maciel:
Eucalyptus-based private clouds: availability modeling and comparison to the cost of a public cloud. Computing 97(11): 1121-1140 (2015) - [j35]Rúbens de Souza Matos Júnior, Jean Araujo, Danilo Oliveira, Paulo Romero Martins Maciel, Kishor S. Trivedi:
Sensitivity analysis of a hierarchical model of mobile cloud computing. Simul. Model. Pract. Theory 50: 151-164 (2015) - [j34]Francisco Airton Silva, Paulo Romero Martins Maciel, Rúbens de Souza Matos Júnior:
SmartRank: a smart scheduling tool for mobile cloud computing. J. Supercomput. 71(8): 2985-3008 (2015) - [j33]Erica Sousa, Fernando Antônio Aires Lins, Eduardo Antonio Guimarães Tavares, Paulo Roberto Freire Cunha, Paulo Romero Martins Maciel:
A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements. IEEE Trans. Syst. Man Cybern. Syst. 45(4): 549-558 (2015) - [c143]Francisco Airton Silva, Matheus Rodrigues, Paulo R. M. Maciel, Sokol Kosta, Alessandro Mei:
Planning Mobile Cloud Infrastructures Using Stochastic Petri Nets and Graphic Processing Units. CloudCom 2015: 471-474 - [c142]Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rúbens de Souza Matos Júnior, Ivanildo José de Melo Filho, Paulo Romero Martins Maciel:
Video on Demand Hosted in Private Cloud: Availability Modeling and Sensitivity Analysis. DSN Workshops 2015: 12-18 - [c141]Antônio Mendonça, Paulo R. M. Maciel, Damires Souza, Ana Carolina Salgado:
CORE - A Context-based Approach for Rewriting User Queries. ICEIS (1) 2015: 391-398 - [c140]Francisco Airton Silva, Paulo Romero Martins Maciel, Gileno Filho, Rúbens de Souza Matos Júnior:
A scheduler for mobile cloud based on weighted metrics and dynamic context evaluation. SAC 2015: 569-576 - [c139]Eliomar Campos, Rúbens de Souza Matos Júnior, Paulo R. M. Maciel, Igor Costa, Francisco Airton Silva, Francisco Vieira de Souza:
Performance Evaluation of Virtual Machines Instantiation in a Private Cloud. SERVICES 2015: 319-326 - [c138]Eliomar Campos, Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Airton Pereira, Francisco Vieira de Souza:
Stochastic Modeling of Auto Scaling Mechanism in Private Clouds for Supporting Performance Tuning. SMC 2015: 109-114 - [c137]Maria Clara Bezerra, Rosangela Melo, Jamilson Dantas, Paulo Romero Martins Maciel:
Availability Evaluation of a VoD Streaming Cloud Service. SMC 2015: 765-770 - [c136]João Ferreira, Jamilson Dantas, Jean Araujo, Danilo Mendonca, Paulo Romero Martins Maciel, Gustavo Callou:
An Algorithm to Optimize Electrical Flows of Private Cloud Infrastructures. SMC 2015: 771-776 - [c135]David Beserra, Felipe Oliveira, Jean Araujo, Felipe Fernandes, Alberto Araujo, Patricia Takako Endo, Paulo Romero Martins Maciel, Edward David Moreno:
Performance Evaluation of Hypervisors for HPC Applications. SMC 2015: 846-851 - [c134]Renata Dantas, Jamilson Dantas, Paulo R. M. Maciel, Gabriel Alves:
Assessment of Bus Rapid Transit (BRT) Time Lags under Probabilistic Uncertainties. SMC 2015: 1273-1278 - 2014
- [j32]Antônio Vicente Lourenço Dâmaso, Nelson Souto Rosa, Paulo Romero Martins Maciel:
Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks. Int. J. Distributed Sens. Networks 10 (2014) - [j31]Jean Araujo, Rúbens de Souza Matos Júnior, Vandi Alves, Paulo Romero Martins Maciel, F. Vieira de Souza, Rivalino Matias Jr., Kishor S. Trivedi:
Software aging in the eucalyptus cloud computing infrastructure: Characterization and rejuvenation. ACM J. Emerg. Technol. Comput. Syst. 10(1): 11:1-11:22 (2014) - [j30]Marcus A. de Q. V. Lima, Paulo Romero Martins Maciel, Bruno Silva, Almir Pereira Guimarães:
Performability evaluation of emergency call center. Perform. Evaluation 80: 27-42 (2014) - [j29]Antônio Dâmaso, Nelson S. Rosa, Paulo R. M. Maciel:
Reliability of Wireless Sensor Networks. Sensors 14(9): 15760-15785 (2014) - [c133]Erica Teixeira Gomes Sousa, Fernando Antônio Aires Lins, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel:
Performance and Cost Modeling Strategy for Cloud Infrastructure Planning. IEEE CLOUD 2014: 546-553 - [c132]Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rúbens de Souza Matos Júnior, Ivanildo José de Melo Filho, Paulo Romero Martins Maciel:
VoD in eucalyptus platform: Availability modeling and sensibility analysis. CNSM 2014: 288-291 - [c131]Julian Araujo, Paulo Romero Martins Maciel, Matheus Torquato, Gustavo Rau de Almeida Callou, Ermeson C. Andrade:
Availability Evaluation of Digital Library Cloud Services. DSN 2014: 666-671 - [c130]Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rúbens de Souza Matos Júnior, Ivanildo José de Melo Filho, Paulo Romero Martins Maciel:
Sensitivity analysis of availability of video streaming service in cloud computing. IPCCC 2014: 1-2 - [c129]Erico A. C. Guedes, Luis E. T. Silva, Paulo R. M. Maciel:
Performability analysis of I/O bound application on container-based server virtualization cluster. ISCC 2014: 1-7 - [c128]Erica Sousa, Edson Silva, Fernando Antônio Aires Lins, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel:
Dependability evaluation of cloud infrastructures. SMC 2014: 1282-1287 - [c127]Jonathan Brilhante, Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann:
Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle. SMC 2014: 1336-1341 - [c126]Jean Araujo, Bruno Silva, Danilo Oliveira, Paulo Romero Martins Maciel:
Dependability evaluation of a mhealth system using a mobile cloud infrastructure. SMC 2014: 1348-1353 - [c125]Jonathan Brilhante, Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann:
Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle. SMC 2014: 2669-2674 - [c124]Rúbens de Souza Matos Júnior, Ermeson C. Andrade, Paulo Romero Martins Maciel:
Evaluation of a disaster recovery solution through fault injection experiments. SMC 2014: 2675-2680 - [c123]Bruno Silva, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Jeisa Oliveira, Antônio Vicente Lourenço Dâmaso, Nelson Souto Rosa:
AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems. SMC 2014: 3364-3369 - [c122]Paulo Romero Martins Maciel, Rúbens de Souza Matos Júnior, Gustavo Rau de Almeida Callou, Bruno Silva, Daniel Barreto, Julian Araujo, Jean Araujo, Vandi Alves, Stephen Worth:
Performance evaluation of sheepdog distributed storage system. SMC 2014: 3370-3375 - [c121]Maria Clara Bezerra, Rosangela Melo, Jamilson Dantas, Paulo Romero Martins Maciel, Francisco Vieira:
Availability modeling and analysis of a VoD service for eucalyptus platform. SMC 2014: 3779-3784 - [c120]Bruno Silva, Paulo Romero Martins Maciel, Jonathan Brilhante, Armin Zimmermann:
GeoClouds Modcs: A perfomability evaluation tool for disaster tolerant IaaS clouds. SysCon 2014: 116-122 - 2013
- [j28]Debora Souza, Rúbens de Souza Matos Júnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel:
A Tool for Automatic Dependability Test in Eucalyptus Cloud Computing Infrastructures. Comput. Inf. Sci. 6(3): 57-67 (2013) - [j27]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Dietmar Tutsch, João Ferreira, Julian Araujo, Rafael Souza:
Estimating sustainability impact of high dependable data centers: a comparative study between Brazilian and US energy mixes. Computing 95(12): 1137-1170 (2013) - [j26]Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Ricardo M. A. Silva:
QoS-driven optimisation of composite web services: an approach based on GRASP and analytical models. Int. J. Web Grid Serv. 9(3): 304-321 (2013) - [j25]Almir Pereira Guimarães, Paulo Romero Martins Maciel, Rivalino Matias Jr.:
An analytical modeling framework to evaluate converged networks through business-oriented metrics. Reliab. Eng. Syst. Saf. 118: 81-92 (2013) - [j24]Antônio Dâmaso, Davi Freitas, Nelson S. Rosa, Bruno Silva, Paulo R. M. Maciel:
Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models. Sensors 13(3): 3473-3500 (2013) - [j23]Bruno Silva, Gustavo Callou, Eduardo Tavares, Paulo R. M. Maciel, Jair Figueiredo, Erica Sousa, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves:
ASTRO: An integrated environment for dependability and sustainability evaluation. Sustain. Comput. Informatics Syst. 3(1): 1-17 (2013) - [j22]Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Fábio S. Magnani:
Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE Trans. Syst. Man Cybern. Syst. 43(5): 1013-1027 (2013) - [c119]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Ricardo Martins, Eduardo Tavares:
A simulation optimization approach for design space exploration of soft real-time embedded systems. IEEE Congress on Evolutionary Computation 2013: 2773-2780 - [c118]Alexsandro Melo, Eduardo Tavares, Marcelo Marinho, Erica Sousa, Bruno C. S. Nogueira, Paulo R. M. Maciel:
Development Risk Assessment in Software Projects Using Dependability Models. CSE 2013: 260-267 - [c117]Victor Lira, Eduardo Tavares, Stenio F. L. Fernandes, Paulo Romero Martins Maciel, Ricardo M. A. Silva:
Virtual Network Resource Allocation Considering Dependability Issues. CSE 2013: 330-337 - [c116]Matheus D'Eça Torquato de Melo, Paulo Romero Martins Maciel, Jean Araujo, Rúbens de Souza Matos Júnior, Carlos Araújo:
Availability study on cloud computing environments: Live migration as a rejuvenation mechanism. DSN 2013: 1-6 - [c115]Bruno Silva, Paulo Romero Martins Maciel, Eduardo Tavares, Armin Zimmermann:
Dependability models for designing disaster tolerant cloud computing systems. DSN 2013: 1-6 - [c114]Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann:
Performability models for designing disaster tolerant Infrastructure-as-a-Service cloud computing systems. ICITST 2013: 647-652 - [c113]Ermeson C. Andrade, Marcelo Alves, Rúbens de Souza Matos Júnior, Bruno Silva, Paulo Romero Martins Maciel:
OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. SAFECOMP 2013: 277-284 - [c112]Romulo Devezas Freitas, Raimundo S. Barreto, Paulo Romero Martins Maciel:
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. SBESC 2013: 107-112 - [c111]João Ferreira, Gustavo Rau de Almeida Callou, Jamilson Dantas, Rafael Souza, Paulo Romero Martins Maciel:
An Algorithm to Optimize Electrical Flows. SMC 2013: 109-114 - [c110]Jean Araujo, Vandi Alves, Danilo Oliveira, Pedro Dias, Bruno Silva, Paulo Romero Martins Maciel:
An Investigative Approach to Software Aging in Android Applications. SMC 2013: 1229-1234 - [c109]Rafael Souza, Gustavo Rau de Almeida Callou, Kádna Camboin, João Ferreira, Paulo Romero Martins Maciel:
The Effects of Temperature Variation on Data Center IT Systems. SMC 2013: 2354-2359 - [c108]Debora Souza, Rúbens de Souza Matos Júnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel:
EucaBomber: Experimental Evaluation of Availability in Eucalyptus Private Clouds. SMC 2013: 4080-4085 - [c107]Danilo Oliveira, Jean Araujo, Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel:
Availability and Energy Consumption Analysis of Mobile Cloud Environments. SMC 2013: 4086-4091 - [c106]Erica Sousa, Paulo Romero Martins Maciel, Lais Medeiros, Fernando Antônio Aires Lins, Eduardo Tavares, Erico Medeiros:
Stochastic Model Generation for Cloud Infrastructure Planning. SMC 2013: 4098-4103 - [c105]Matheus D'Eça Torquato de Melo, Jean Araujo, Rúbens de Souza Matos Júnior, Julian Menezes, Paulo Romero Martins Maciel:
Comparative Analysis of Migration-Based Rejuvenation Schedules on Cloud Availability. SMC 2013: 4110-4115 - [c104]Marcus Queiroz, Paulo Romero Martins Maciel, Bruno Silva, Almir Pereira Guimarães:
Performability Evaluation of Emergency System. SMC 2013: 4794-4799 - 2012
- [j21]Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi:
Sensitivity Analysis of Server Virtualized System Availability. IEEE Trans. Reliab. 61(4): 994-1006 (2012) - [c103]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Dietmar Tutsch, Julian Araujo:
Models for dependability and sustainability analysis of data center cooling architectures. DSN Workshops 2012: 1-6 - [c102]Stenio F. L. Fernandes, Eduardo Tavares, Marcelo Anderson Santos, Victor Lira, Paulo Romero Martins Maciel:
Dependability assessment of virtualized networks. ICC 2012: 2711-2716 - [c101]Dmitriy Shorin, Armin Zimmermann, Paulo Romero Martins Maciel:
Transforming UML state machines into stochastic Petri nets for energy consumption estimation of embedded systems. SustainIT 2012: 1-6 - [c100]Rúbens de Souza Matos Júnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel:
Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds. ISSRE Workshops 2012: 293-298 - [c99]Eduardo Tavares, J. Aleixo, Paulo Romero Martins Maciel, Danilo Oliveira, E. Heyde, R. Araujo, L. Maia, A. Duarte, M. Novaes:
Performance evaluation of medical imaging service. SAC 2012: 1349-1354 - [c98]Rúbens de Souza Matos Júnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel:
Experimental evaluation of software aging effects in the eucalyptus elastic block storage. SMC 2012: 1103-1108 - [c97]Eduardo Tavares, Paulo Romero Martins Maciel, Erica Sousa, Bruno Costa e Silva Nogueira, Leonardo Amorim, Victor Lira:
A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. SMC 2012: 1207-1212 - [c96]Almir Guimares, Paulo Romero Martins Maciel:
Infrastructure modeling of converged networks for business-oriented metrics evaluation. SMC 2012: 1274-1279 - [c95]Jamilson Dantas, Rúbens de Souza Matos Júnior, Jean Araujo, Paulo Romero Martins Maciel:
An availability model for eucalyptus platform: An analysis of warm-standy replication mechanism. SMC 2012: 1664-1669 - [c94]Erica Sousa, Paulo Romero Martins Maciel, Debora Souza, Erico Medeiros, Fernando Antônio Aires Lins, Eduardo Tavares:
Capacity planning of EFT service hosted on elastic IaaS. SMC 2012: 1749-1754 - [c93]Ermeson C. Andrade, Marcelo Alves, Bruno Nogueira, Paulo Romero Martins Maciel:
Calau: An environment for modeling and analyzing embedded real-time systems. SMC 2012: 3135-3140 - 2011
- [j20]Carlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson C. Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha:
Performability modeling of electronic funds transfer systems. Computing 91(4): 315-334 (2011) - [j19]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson C. Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz:
A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP J. Embed. Syst. 2011 (2011) - [j18]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson C. Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha:
Energy consumption and execution time estimation of embedded system applications. Microprocess. Microsystems 35(4): 426-440 (2011) - [c92]Julio Cesar Damasceno, Fernando Antônio Aires Lins, Robson W. A. Medeiros, Bruno Silva, Andre R. R. Souza, David Aragão, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, Jun Li:
Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud. ICWS 2011: 137-144 - [c91]Jean Araujo, Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Francisco Vieira, Rivalino Matias, Kishor S. Trivedi:
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds. WoSAR@ISSRE 2011: 38-43 - [c90]Ana Maria, Rivalino Matias, Autran Macedo, Paulo Romero Martins Maciel, Lucio Borges de Araujo:
Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. PDCAT 2011: 109-115 - [c89]Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
Planning service agreements in soa-based systems through stochastic models. SAC 2011: 1576-1581 - [c88]Fernando Antônio Aires Lins, Robson W. A. Medeiros, Bruno Silva, Andre R. R. Souza, David Aragão, Julio Cesar Damasceno, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, Jun Li:
SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud. SERVICES 2011: 53-60 - [c87]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Erica Sousa, Bruno Silva, Jair Figueiredo, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves:
Sustainability and dependability evaluation on data center architectures. SMC 2011: 398-403 - [c86]Rivalino Matias, Ana M. M. Carvalho, Lucio Borges de Araujo, Paulo Romero Martins Maciel:
Comparison analysis of statistical control charts for quality monitoring of network traffic forecasts. SMC 2011: 404-409 - [c85]Jair Figueiredo, Paulo R. M. Maciel, Gustavo Rau de Almeida Callou, Eduardo Tavares, Erica Sousa, Bruno Silva:
Estimating reliability importance and total cost of acquisition for data center power infrastructures. SMC 2011: 421-426 - [c84]Jean Araujo, Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Rivalino Matias:
Software aging issues on the eucalyptus cloud computing infrastructure. SMC 2011: 1411-1416 - [c83]Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, Bruno Silva, Jair Figueiredo, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves:
A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. SpringSim (TMS-DEVS) 2011: 274-281 - [c82]Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Lim, Fábio S. Magnani, Adilson Arcoverde Jr.:
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. PASM@ICPE 2011: 5-21 - 2010
- [j17]Rilson O. Nascimento, Paulo Romero Martins Maciel:
DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer Systems. Comput. Informatics 29(5): 719-740 (2010) - [j16]Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, Bruno Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, Paulo R. F. Cunha:
Model-driven software synthesis for hard real-time applications with energy constraints. Des. Autom. Embed. Syst. 14(4): 327-366 (2010) - [j15]Ermeson C. Andrade, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou:
A COTS-based approach for estimating performance and energy consumption of embedded real-time systems. Inf. Process. Lett. 110(14-15): 525-534 (2010) - [j14]Ermeson C. Andrade, Paulo Romero Martins Maciel, Tiago Falcão, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou:
Performance and energy consumption estimation for commercial off-the-shelf component system design. Innov. Syst. Softw. Eng. 6(1-2): 107-114 (2010) - [j13]Manish Marwah, Paulo Romero Martins Maciel, Amip Shah, Ratnesh K. Sharma, Tom Christian, Virgílio A. F. Almeida, Carlos Araújo, Erica Sousa, Gustavo Rau de Almeida Callou, Bruno Silva, Sergio Mario Lins Galdino, Jose Paulo Pires:
Quantifying the sustainability impact of data center availability. SIGMETRICS Perform. Evaluation Rev. 37(4): 64-68 (2010) - [j12]Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann:
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. IEEE Trans. Syst. Man Cybern. Part A 40(5): 1025-1044 (2010) - [c81]Rivalino Matias, Ibrahim Beicker, Breno Leitão, Paulo R. M. Maciel:
Measuring software aging effects through OS kernel instrumentation. WoSAR@ISSRE 2010: 1-6 - [c80]Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel:
Using Accelerated Life Tests to Estimate Time to Software Aging Failure. ISSRE 2010: 211-219 - [c79]Marcelo Marinho, Paulo Maciel, Erica Sousa, Teresa Maciel, Ermeson C. Andrade:
Performance evaluation model for test process. LATW 2010: 1-6 - [c78]Sergio Mario Lins Galdino, Paulo Romero Martins Maciel:
Availability with input uncertainties using an interval-based approach. SMC 2010: 298-303 - [c77]Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. SMC 2010: 358-365 - [c76]Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Bruno Silva, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires, Fábio S. Magnani:
Impact analysis of maintenance policies on data center power infrastructure. SMC 2010: 526-533 - [c75]Almir Pereira Guimarães, Paulo Romero Martins Maciel, Rivalino Matias:
Quantitative analysis of performability in voice and data networks. SMC 2010: 761-768 - [c74]Bruno Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires:
ASTRO: A tool for dependability evaluation of Data Center infrastructures. SMC 2010: 783-790 - [c73]Hugo Estanislau Soares Galindo, Erico A. C. Guedes, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino:
WGCap: A synthetic trace generation tool for capacity planning of virtual server environments. SMC 2010: 2094-2101 - [c72]Marcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Almir Guimares:
Stochastic model for performance evaluation of test planning. SMC 2010: 3690-3697 - [c71]Marcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Ermeson C. Andrade:
Performance evaluation of test process based on stochastic models. SpringSim 2010: 141
2000 – 2009
- 2009
- [j11]Bruno C. S. Nogueira, Paulo R. M. Maciel, Gustavo Callou, Ermeson C. Andrade, Eduardo Tavares:
ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados. RITA 16(1): 25-44 (2009) - [j10]Bruno Leonardo Barros Silva, Robson Wagner Albuquerque de Medeiros, Julio Cesar Damasceno, Fernando Antônio Aires Lins, Nelson Souto Rosa, Paulo Romero Martins Maciel, Bryan Stephenson, Hamid Reza Motahari-Nezhad, Jun Li, Caio Northfleet, André Ricardo da Silva Souza:
An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts. RITA 16(2): 83-86 (2009) - [j9]Julio Cesar Damasceno, Hamid Reza Motahari-Nezhad, Jun Li, Caio Northfleet, Bryan Stephenson, André Ricardo da Silva Souza, Robson Wagner Albuquerque de Medeiros, Bruno Leonardo Barros Silva, Fernando Antônio Aires Lins, Nelson Souto Rosa, Paulo Romero Martins Maciel:
Towards Generating Richer Code by Binding Security Abstractions to BPMN Task Types. RITA 16(2): 97-98 (2009) - [c70]Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira:
A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. ICDS 2009: 266-271 - [c69]Andre R. R. Souza, Bruno L. B. Silva, Fernando Antônio Aires Lins, Julio Cesar Damasceno, Nelson Souto Rosa, Paulo Romero Martins Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari Nezhad, Jun Li, Caio Northfleet:
Incorporating Security Requirements into Service Composition: From Modelling to Execution. ICSOC/ServiceWave 2009: 373-388 - [c68]Andre R. R. Souza, Bruno L. B. Silva, Fernando Antônio Aires Lins, Julio Cesar Damasceno, Nelson S. Rosa, Paulo Romero Martins Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari Nezhad, Jun Li, Caio Northfleet:
Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. ICSOC/ServiceWave 2009: 649-650 - [c67]Edilayne Meneses Salgueiro, Paulo Roberto Freire Cunha, Paulo Romero Martins Maciel, José Augusto Suruagy Monteiro, Ricardo J. P. de B. Salgueiro:
Defining bandwidth constraints with cooperative games. ICUMT 2009: 1-8 - [c66]Carlos Araújo, Erica Sousa, Paulo Romero Martins Maciel, Fábio Chicout, Ermeson Carneiro de Andrade:
Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic. INTENSIVE 2009: 65-70 - [c65]Erica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Fábio Chicout:
Performability evaluation of EFT systems for SLA assurance. IPDPS 2009: 1-8 - [c64]Erica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Gabriel Alves, Fábio Chicout:
Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. ISCC 2009: 73-76 - [c63]Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo:
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. SAC 2009: 377-381 - [c62]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Ermeson Carneiro de Andrade, Gustavo Rau de Almeida Callou, Ricardo Massa Oliveira Lima, Rodolfo Ferraz, Bruno Montenegro:
Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. SBAC-PAD 2009: 135-142 - [c61]Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. SMC 2009: 2831-2836 - [c60]Hugo Estanislau Soares Galindo, Wagner Medeiros Santos, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino, Jose Paulo Pires:
Synthetic workload generation for capacity planning of virtual server environments. SMC 2009: 2837-2842 - [c59]Eduardo Tavares, Pedro Dallegrave, Bruno Silva, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel:
A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. SMC 2009: 2848-2853 - [c58]Erica Teixeira Gomes Sousa, Paulo Romero Martins Maciel, Carlos Julian Menezes Araújo:
Performability Evaluation of EFT Systems using Expolinomial Stochastic Models. SMC 2009: 3328-3333 - 2008
- [j8]Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima:
A time Petri net-based method for embedded hard real-time software synthesis. Des. Autom. Embed. Syst. 12(1-2): 31-62 (2008) - [j7]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.:
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. Inf. Process. Lett. 108(2): 50-59 (2008) - [j6]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva:
Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. Microprocess. Microsystems 32(8): 460-473 (2008) - [c57]Ermeson C. Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira:
Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. CIMCA/IAWTIC/ISE 2008: 615-620 - [c56]Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro, Paulo Romero Martins Maciel:
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. DATE 2008: 1510-1515 - [c55]Fábio N. Souza, Roberto D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel:
Performance Models for the Instance Pooling Mechanism of the JBoss Application Server. IPCCC 2008: 135-143 - [c54]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares, Meuse N. Oliveira Jr.:
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. PATMOS 2008: 379-388 - [c53]Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave:
Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. SBAC-PAD 2008: 115-122 - [c52]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares:
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. SBCCI 2008: 134-139 - [c51]Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel:
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. SEFM 2008: 291-300 - [c50]Sergio Mario Lins Galdino, Paulo Romero Martins Maciel:
Outer estimates of interval system of linear equations: ISPN models in dependability evaluation. SMC 2008: 2075-2080 - [c49]Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann:
Performance evaluation of logistics with componentized stochastic models. SMC 2008: 2087-2092 - 2007
- [j5]Roberta A. de A. Fagundes, Paulo Romero Martins Maciel, Nelson S. Rosa:
Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets. RITA 14(2): 109-132 (2007) - [j4]Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima:
Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Softw. Eng. Notes 32(2): 1-10 (2007) - [j3]Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel:
TXM: an agile HW/SW development methodology for building medical devices. ACM SIGSOFT Softw. Eng. Notes 32(6) (2007) - [c48]Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel:
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. ECBS 2007: 195-202 - [c47]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.:
A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. SBCCI 2007: 312-317 - [c46]Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima:
A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713 - [c45]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr., Rafael Rodrigues, Renato Marques:
Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. SMC 2007: 2496-2501 - [c44]Sergio Mario Lins Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa:
Interval generalized stochastic petri net models in dependability evaluation. SMC 2007: 2502-2507 - [c43]Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima:
Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. SMC 2007: 2894-2900 - [c42]Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima:
Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31 - 2006
- [j2]Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares:
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Softw. Eng. Notes 31(3): 1-25 (2006) - [c41]Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga:
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. ICATPN 2006: 261-281 - [c40]Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custódio:
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. DIPES 2006: 255-264 - [c39]Fábio N. Souza, Roberto D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel:
Using stochastic Petri nets for performance modelling of application servers. IPDPS 2006 - [c38]Sergio Mario Lins Galdino, Paulo Romero Martins Maciel:
Interval Generalized Stochastic Petri Net Models in Performance Evaluation. SMC 2006: 2723-2728 - [c37]Sérgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel:
Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems. SMC 2006: 3046-3051 - 2005
- [c36]Remy Eskinazi Sant'Anna, Manoel Eusébio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Sérgio B. do Nascimento:
A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only). FPGA 2005: 262 - [c35]Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusébio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho:
A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only). FPGA 2005: 275 - [c34]Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima:
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. ICESS 2005: 50-62 - [c33]Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima:
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. IESS 2005: 77-86 - [c32]Remy Eskinazi Sant'Anna, Manoel Eusébio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Sérgio B. do Nascimento:
A Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable Systems. IPDPS 2005 - [c31]Hélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros:
Managing Petri Nets in MOF Repositories. OTM Conferences (2) 2005: 1381-1397 - [c30]Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim:
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS 2005: 49-58 - [c29]Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa:
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. PATMOS 2005: 382-392 - [c28]Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos A. B. Mello:
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 2005: 184-192 - [c27]Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima:
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. SBCCI 2005: 98-103 - [c26]Mauro Jose Carlos e Silva, Wellington João Silva, Paulo Romero Martins Maciel:
Modelling and analysis of inventory policy: an approach based on Petri nets. SMC 2005: 2043-2048 - [c25]Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares:
A methodology for mapping live sequence chart to coloured Petri net. SMC 2005: 2999-3004 - 2004
- [c24]Remy Eskinazi Sant'Anna, Manoel Eusébio de Lima, Paulo Romero Martins Maciel:
A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architectures. FPGA 2004: 259 - [c23]Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel:
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. ICDCS Workshops 2004: 846-851 - [c22]Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima:
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. DIPES 2004: 157-166 - [c21]Stenio F. L. Fernandes, Wellington João Silva, Mauro Jose Carlos e Silva, Nelson S. Rosa, Paulo Romero Martins Maciel, Djamel Fawzi Hadj Sadok:
On the generalised stochastic Petri net modeling of message-oriented middleware systems. IPCCC 2004: 783-788 - [c20]Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel:
EZPetri: A Petri net interchange framework for Eclipse based on PNML. ISoLA (Preliminary proceedings) 2004: 143-149 - [c19]Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho:
Towards a Software Power Cost Analysis Framework Using Colored Petri Net. PATMOS 2004: 362-371 - [c18]Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima:
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. SBAC-PAD 2004: 188-195 - [c17]Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusébio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho:
A partial reconfigurable architecture for controllers based on Petri nets. SBCCI 2004: 16-21 - [c16]Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima:
A formal software synthesis approach for embedded hard real-time systems. SBCCI 2004: 163-168 - [c15]Mauro Jose Carlos e Silva, Wellington João Silva, Paulo Romero Martins Maciel:
Modelling and analysis in production system: an approach based on Petri net. SMC (5) 2004: 4354-4359 - [c14]Albano Portela Machado, Paulo Romero Martins Maciel, Edna Barros:
A Petri net based method for functional and interconnect units estimation. SMC (5) 2004: 4983-4988 - 2003
- [c13]Julio A. de Oliveira Filho, Manoel Eusébio de Lima, Paulo Romero Martins Maciel:
Petri Net Based Interface Analysis for Fast IP-Core Integration. MEMOCODE 2003: 34- - [c12]Sérgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel:
Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. MEMOCODE 2003: 172- - [c11]Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante:
A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. SBAC-PAD 2003: 72-81 - [c10]Julio A. de Oliveira Filho, Manoel Eusébio de Lima, Paulo Romero Martins Maciel, Juliana Moura, Bruno Celso:
A Fast IP-Core Integration Methodology for SoC Design. SBCCI 2003: 131-136 - [c9]Albano Portela Machado, Paulo Romero Martins Maciel, Abel Guilhermino Silva-Filho:
A Petri net based method for storage units estimation. SMC 2003: 1025-1031 - 2002
- [c8]Paulo Sérgio B. do Nascimento, Manoel Eusébio de Lima, Paulo Maciel:
CDFG -Petri Net Temporal Partitioning for Switching Context Applications. SBCCI 2002: 235-242 - 2001
- [c7]Fred Cruz Filho, Paulo Maciel, Edna Barros:
A Petri Net Based Approach for Hardware/Software Partitioning. SBCCI 2001: 72-77 - [c6]Paulo Maciel, Fred Cruz Filho, Edna Barros:
A Petri Net Based Method for Resource Estimation: An Approach Considering Data-Dependency, Casual and Temporal Precedences. SBCCI 2001: 78-84 - 2000
- [c5]Paulo Maciel, Fred Cruz Filho, Edna Barros, Wolfgang Rosenstiel:
Methods Based on Petri Net for Resource Sharing Estimation. SBCCI 2000: 75-82 - [c4]Fred Cruz Filho, Paulo R. M. Maciel, Edna Barros:
Using Petri nets for data dependency analysis. SMC 2000: 2998-3003
1990 – 1999
- 1999
- [j1]Paulo Romero Martins Maciel, Edna Barros, Wolfgang Rosenstiel:
A Petri Net Model for Hardware/Software Codesign. Des. Autom. Embed. Syst. 4(4): 243-310 (1999) - 1998
- [c3]Paulo R. M. Maciel, Edna Barros, Wolfgang Rosenstiel:
A Petri net based approach for performing the initial allocation in hardware/software codesign. SMC 1998: 505-510 - 1997
- [c2]Paulo Romero Martins Maciel, Edna Barros, Wolfgang Rosenstiel:
Computing communication cost by Petri nets for hardware/software codesign. IEEE International Workshop on Rapid System Prototyping 1997: 44-56 - 1996
- [c1]Paulo Romero Martins Maciel, Edna Barros:
Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign. RSP 1996: 36-43
Coauthor Index
aka: Gabriel Alves de Albuquerque
aka: Ermeson C. Andrade
aka: Gustavo Callou
aka: Fernando Lins
aka: Ronierison Romero Martins Maciel
aka: Rivalino Matias Jr.
aka: Robson Wagner Albuquerque de Medeiros
aka: Meuse Nogueira de O. Junior
aka: Nelson S. Rosa
aka: Erica Teixeira Gomes Sousa
aka: Eduardo Tavares
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint