Paulo Romero Martins Maciel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
107
Venues
23
Active years
1996–2025
Best venue rank
A*
Where they publish
- BSMC61 papers
- ADSN6 papers
- MulticonferenceSAC5 papers
- CSBAC-PAD5 papers
- AISSRE4 papers
- CIPCCC3 papers
- AFPGA3 papers
- BAINA2 papers
- AICSOC2 papers
- CMEMOCODE2 papers
- CRSP2 papers
- A*INFOCOM1 paper
- BCNSM1 paper
- BCEC1 paper
- BSAFECOMP1 paper
- AICWS1 paper
- CPDCAT1 paper
- BSERVICES1 paper
- CICDS1 paper
- CISCC1 paper
- ADATE1 paper
- BSEFM1 paper
- CISoLA1 paper
Papers
107 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AINA | LoRa Signal Performance in Satellite-Assisted LPWANs Using Graham's Algorithm. | Esau Bermudez, Jamilson Dantas, Paulo Romero Martins Maciel |
| 2025 | AINA | Analysis of Satellite Aging and Its Impact on PDOP and Orbital Availability. | Esau Bermudez, Jamilson Dantas, Paulo Romero Martins Maciel |
| 2025 | SMC | SDN-Driven MEC Planning: Modeling for Capacity-oriented Availability. | Erick Nascimento, Jean Araujo, Eduardo Tavares, Jamilson Dantas, Paulo Romero Martins Maciel |
| 2023 | INFOCOM | O-RAN and RIC Compliant Solutions for Next Generation Networks. | Marco Silva, Joo Pedro Fonseca, David Perez Abreu, Paulo Romero Martins Maciel, Paulo Duarte, Raul Barbosa, Bruno Mendes, Joo Silva, Adriano Almeida Ges, Marco Arajo, Bruno Sousa, Marlia Curado, Jos Santos |
| 2022 | ISSRE | Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach. | Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira |
| 2021 | SMC | Reliability-and-Availability Sensitivity Analysis on Convergent Network Infrastructures: Methodology and Case Study. | Kdna Camboim, Erica Sousa, Almir Pereira Guimares, Jean Araujo, Paulo Romero Martins Maciel |
| 2021 | SAC | Analysis of VM migration scheduling as moving target defense against insider attacks. | Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira |
| 2019 | SMC | Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments. | Jlio Mendona, Wilson Medeiros, Ermeson C. Andrade, Ronierison Maciel, Paulo Romero Martins Maciel, Ricardo Lima |
| 2019 | SMC | Performance and Resource Consumption Analysis of Elastic Systems on Public Clouds. | Thiago Felipe da Silva Pinheiro, Francisco Airton Silva, Iure F, Danilo Oliveira, Paulo Romero Martins Maciel |
| 2018 | SMC | Data Centers Service Restoration Based on Distributed Agents Decision. | Priscila Alves Lima, Antonio Correia de Sa Barreto Neto, Paulo Romero Martins Maciel |
| 2017 | SMC | Stochastic model of performance and cost for auto-scaling planning in public cloud. | Iure Fe, Rbens de Souza Matos Jnior, Jamilson Dantas, Carlos Melo, Paulo Romero Martins Maciel |
| 2017 | SMC | Synchronization server infrastructure: A relationship between system downtime and deployment cost. | Carlos Melo, Jamilson Dantas, Iure Fe, Andre Oliveira, Paulo Romero Martins Maciel |
| 2016 | DSN | Hierarchical Model and Sensitivity Analysis for a Cloud-Based VoD Streaming Service. | Jamilson Dantas, Rbens de Souza Matos Jnior, Jean Araujo, Danilo Oliveira, Andre Oliveira, Paulo Romero Martins Maciel |
| 2016 | SMC | Availability models for synchronization server infrastructure. | Carlos Melo, Jamilson Dantas, Jean Araujo, Paulo Romero Martins Maciel, Rodrigo Branchini, Luiz Kawakami |
| 2015 | DSN | Video on Demand Hosted in Private Cloud: Availability Modeling and Sensitivity Analysis. | Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rbens de Souza Matos Jnior, Ivanildo Jos de Melo Filho, Paulo Romero Martins Maciel |
| 2015 | SMC | Performance Evaluation of Hypervisors for HPC Applications. | David Beserra, Felipe Oliveira, Jean Araujo, Felipe Fernandes, Alberto Araujo, Patricia Takako Endo, Paulo Romero Martins Maciel, Edward David Moreno |
| 2015 | SMC | Availability Evaluation of a VoD Streaming Cloud Service. | Maria Clara Bezerra, Rosangela Melo, Jamilson Dantas, Paulo Romero Martins Maciel |
| 2015 | SMC | Stochastic Modeling of Auto Scaling Mechanism in Private Clouds for Supporting Performance Tuning. | Eliomar Campos, Rbens de Souza Matos Jnior, Paulo Romero Martins Maciel, Airton Pereira, Francisco Vieira de Souza |
| 2015 | SMC | An Algorithm to Optimize Electrical Flows of Private Cloud Infrastructures. | Joo Ferreira, Jamilson Dantas, Jean Araujo, Danilo Mendonca, Paulo Romero Martins Maciel, Gustavo Callou |
| 2015 | SAC | A scheduler for mobile cloud based on weighted metrics and dynamic context evaluation. | Francisco Airton Silva, Paulo Romero Martins Maciel, Gileno Filho, Rbens de Souza Matos Jnior |
| 2014 | CNSM | VoD in eucalyptus platform: Availability modeling and sensibility analysis. | Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rbens de Souza Matos Jnior, Ivanildo Jos de Melo Filho, Paulo Romero Martins Maciel |
| 2014 | DSN | Availability Evaluation of Digital Library Cloud Services. | Julian Araujo, Paulo Romero Martins Maciel, Matheus Torquato, Gustavo Rau de Almeida Callou, Ermeson C. Andrade |
| 2014 | IPCCC | Sensitivity analysis of availability of video streaming service in cloud computing. | Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rbens de Souza Matos Jnior, Ivanildo Jos de Melo Filho, Paulo Romero Martins Maciel |
| 2014 | SMC | Dependability evaluation of a mhealth system using a mobile cloud infrastructure. | Jean Araujo, Bruno Silva, Danilo Oliveira, Paulo Romero Martins Maciel |
| 2014 | SMC | Availability modeling and analysis of a VoD service for eucalyptus platform. | Maria Clara Bezerra, Rosangela Melo, Jamilson Dantas, Paulo Romero Martins Maciel, Francisco Vieira |
| 2014 | SMC | Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle. | Jonathan Brilhante, Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann |
| 2014 | SMC | Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle. | Jonathan Brilhante, Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann |
| 2014 | SMC | Performance evaluation of sheepdog distributed storage system. | Paulo Romero Martins Maciel, Rbens de Souza Matos Jnior, Gustavo Rau de Almeida Callou, Bruno Silva, Daniel Barreto, Julian Araujo, Jean Araujo, Vandi Alves, Stephen Worth |
| 2014 | SMC | Evaluation of a disaster recovery solution through fault injection experiments. | Rbens de Souza Matos Jnior, Ermeson C. Andrade, Paulo Romero Martins Maciel |
| 2014 | SMC | AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems. | Bruno Silva, Eduardo Antonio Guimares Tavares, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Jeisa Oliveira, Antnio Vicente Loureno Dmaso, Nelson Souto Rosa |
| 2014 | SMC | Dependability evaluation of cloud infrastructures. | Erica Sousa, Edson Silva, Fernando Lins, Eduardo Antonio Guimares Tavares, Paulo Romero Martins Maciel |
| 2013 | CEC | A simulation optimization approach for design space exploration of soft real-time embedded systems. | Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Ricardo Martins, Eduardo Tavares |
| 2013 | DSN | Availability study on cloud computing environments: Live migration as a rejuvenation mechanism. | Matheus D'Ea Torquato de Melo, Paulo Romero Martins Maciel, Jean Araujo, Rbens de Souza Matos Jnior, Carlos Arajo |
| 2013 | DSN | Dependability models for designing disaster tolerant cloud computing systems. | Bruno Silva, Paulo Romero Martins Maciel, Eduardo Tavares, Armin Zimmermann |
| 2013 | SMC | An Investigative Approach to Software Aging in Android Applications. | Jean Araujo, Vandi Alves, Danilo Oliveira, Pedro Dias, Bruno Silva, Paulo Romero Martins Maciel |
| 2013 | SMC | An Algorithm to Optimize Electrical Flows. | Joo Ferreira, Gustavo Rau de Almeida Callou, Jamilson Dantas, Rafael Souza, Paulo Romero Martins Maciel |
| 2013 | SMC | Comparative Analysis of Migration-Based Rejuvenation Schedules on Cloud Availability. | Matheus D'Ea Torquato de Melo, Jean Araujo, Rbens de Souza Matos Jnior, Julian Menezes, Paulo Romero Martins Maciel |
| 2013 | SMC | Availability and Energy Consumption Analysis of Mobile Cloud Environments. | Danilo Oliveira, Jean Araujo, Rbens de Souza Matos Jnior, Paulo Romero Martins Maciel |
| 2013 | SMC | Performability Evaluation of Emergency System. | Marcus Queiroz, Paulo Romero Martins Maciel, Bruno Silva, Almir Pereira Guimares |
| 2013 | SMC | Stochastic Model Generation for Cloud Infrastructure Planning. | Erica Sousa, Paulo Romero Martins Maciel, Lais Medeiros, Fernando Lins, Eduardo Tavares, Erico Medeiros |
| 2013 | SMC | The Effects of Temperature Variation on Data Center IT Systems. | Rafael Souza, Gustavo Rau de Almeida Callou, Kdna Camboin, Joo Ferreira, Paulo Romero Martins Maciel |
| 2013 | SMC | EucaBomber: Experimental Evaluation of Availability in Eucalyptus Private Clouds. | Debora Souza, Rbens de Souza Matos Jnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel |
| 2013 | SAFECOMP | OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. | Ermeson C. Andrade, Marcelo Alves, Rbens de Souza Matos Jnior, Bruno Silva, Paulo Romero Martins Maciel |
| 2012 | DSN | Models for dependability and sustainability analysis of data center cooling architectures. | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Dietmar Tutsch, Julian Araujo |
| 2012 | ISSRE | Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds. | Rbens de Souza Matos Jnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel |
| 2012 | SMC | Calau: An environment for modeling and analyzing embedded real-time systems. | Ermeson C. Andrade, Marcelo Alves, Bruno Nogueira, Paulo Romero Martins Maciel |
| 2012 | SMC | An availability model for eucalyptus platform: An analysis of warm-standy replication mechanism. | Jamilson Dantas, Rbens de Souza Matos Jnior, Jean Araujo, Paulo Romero Martins Maciel |
| 2012 | SMC | Infrastructure modeling of converged networks for business-oriented metrics evaluation. | Almir Guimares, Paulo Romero Martins Maciel |
| 2012 | SMC | Experimental evaluation of software aging effects in the eucalyptus elastic block storage. | Rbens de Souza Matos Jnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel |
| 2012 | SMC | Capacity planning of EFT service hosted on elastic IaaS. | Erica Sousa, Paulo Romero Martins Maciel, Debora Souza, Erico Medeiros, Fernando Lins, Eduardo Tavares |
| 2012 | SMC | A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. | Eduardo Tavares, Paulo Romero Martins Maciel, Erica Sousa, Bruno Costa e Silva Nogueira, Leonardo Amorim, Victor Lira |
| 2012 | SAC | Performance evaluation of medical imaging service. | Eduardo Tavares, J. Aleixo, Paulo Romero Martins Maciel, Danilo Oliveira, E. Heyde, R. Araujo, L. Maia, A. Duarte, Magdala de Arajo Novaes |
| 2011 | ICWS | Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud. | Julio Cesar Damasceno, Fernando Lins, Robson W. A. Medeiros, Bruno Silva, Andre R. R. Souza, David Arago, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, Jun Li |
| 2011 | ISSRE | Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds. | Jean Araujo, Rbens de Souza Matos Jnior, Paulo Romero Martins Maciel, Francisco Vieira, Rivalino Matias, Kishor S. Trivedi |
| 2011 | PDCAT | Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. | Ana Maria, Rivalino Matias, Autran Macedo, Paulo Romero Martins Maciel, Lucio Borges de Araujo |
| 2011 | SMC | Software aging issues on the eucalyptus cloud computing infrastructure. | Jean Araujo, Rbens de Souza Matos Jnior, Paulo Romero Martins Maciel, Rivalino Matias |
| 2011 | SMC | Sustainability and dependability evaluation on data center architectures. | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Erica Sousa, Bruno Silva, Jair Figueiredo, Carlos Arajo, Fbio S. Magnani, Francisco A. S. Neves |
| 2011 | SMC | Comparison analysis of statistical control charts for quality monitoring of network traffic forecasts. | Rivalino Matias, Ana M. M. Carvalho, Lucio Borges de Araujo, Paulo Romero Martins Maciel |
| 2011 | SAC | Planning service agreements in soa-based systems through stochastic models. | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira, Paulo Romero Martins Maciel |
| 2011 | SERVICES | SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud. | Fernando Lins, Robson W. A. Medeiros, Bruno Silva, Andre R. R. Souza, David Arago, Julio Cesar Damasceno, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, Jun Li |
| 2010 | ISSRE | Using Accelerated Life Tests to Estimate Time to Software Aging Failure. | Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel |
| 2010 | SMC | Impact analysis of maintenance policies on data center power infrastructure. | Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Antonio Guimares Tavares, Carlos Arajo, Bruno Silva, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires, Fbio S. Magnani |
| 2010 | SMC | Availability with input uncertainties using an interval-based approach. | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel |
| 2010 | SMC | WGCap: A synthetic trace generation tool for capacity planning of virtual server environments. | Hugo Estanislau Soares Galindo, Erico A. C. Guedes, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino |
| 2010 | SMC | Quantitative analysis of performability in voice and data networks. | Almir Pereira Guimares, Paulo Romero Martins Maciel, Rivalino Matias |
| 2010 | SMC | Stochastic model for performance evaluation of test planning. | Marcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Almir Guimares |
| 2010 | SMC | ASTRO: A tool for dependability evaluation of Data Center infrastructures. | Bruno Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimares Tavares, Carlos Arajo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires |
| 2010 | SMC | A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira, Paulo Romero Martins Maciel |
| 2009 | ICDS | A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. | Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira |
| 2009 | ICSOC | Incorporating Security Requirements into Service Composition: From Modelling to Execution. | Andre R. R. Souza, Bruno L. B. Silva, Fernando Antnio 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 |
| 2009 | ICSOC | Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. | Andre R. R. Souza, Bruno L. B. Silva, Fernando Antnio 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 |
| 2009 | ISCC | Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. | Erica Sousa, Paulo Romero Martins Maciel, Carlos Arajo, Gabriel Alves, Fbio Chicout |
| 2009 | SMC | Synthetic workload generation for capacity planning of virtual server environments. | Hugo Estanislau Soares Galindo, Wagner Medeiros Santos, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino, Jose Paulo Pires |
| 2009 | SMC | Performability Evaluation of EFT Systems using Expolinomial Stochastic Models. | Erica Teixeira Gomes Sousa, Paulo Romero Martins Maciel, Carlos Julian Menezes Arajo |
| 2009 | SMC | A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. | Eduardo Tavares, Pedro Dallegrave, Bruno Silva, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel |
| 2009 | SMC | Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira, Paulo Romero Martins Maciel |
| 2009 | SAC | Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. | Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Arajo |
| 2009 | SBAC-PAD | Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. | Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Antonio Guimares Tavares, Ermeson Carneiro de Andrade, Gustavo Rau de Almeida Callou, Ricardo Massa Oliveira Lima, Rodolfo Ferraz, Bruno Montenegro |
| 2008 | DATE | ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. | Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro, Paulo Romero Martins Maciel |
| 2008 | IPCCC | Performance Models for the Instance Pooling Mechanism of the JBoss Application Server. | Fbio N. Souza, Roberto D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel |
| 2008 | SMC | Performance evaluation of logistics with componentized stochastic models. | Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann |
| 2008 | SMC | Outer estimates of interval system of linear equations: ISPN models in dependability evaluation. | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel |
| 2008 | SBAC-PAD | Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. | Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave |
| 2008 | SEFM | An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. | Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel |
| 2007 | SMC | A GSPN based approach to evaluate outbound logistics. | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
| 2007 | SMC | Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. | Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
| 2007 | SMC | Interval generalized stochastic petri net models in dependability evaluation. | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa |
| 2007 | SMC | Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. | Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr., Rafael Rodrigues, Renato Marques |
| 2006 | SMC | Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems. | Srgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel |
| 2006 | SMC | Interval Generalized Stochastic Petri Net Models in Performance Evaluation. | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel |
| 2005 | FPGA | A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only). | Paulo Srgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusbio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho |
| 2005 | FPGA | A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only). | Remy Eskinazi Sant'Anna, Manoel Eusbio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Srgio B. do Nascimento |
| 2005 | SMC | A methodology for mapping live sequence chart to coloured Petri net. | Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares |
| 2005 | SMC | Modelling and analysis of inventory policy: an approach based on Petri nets. | Mauro Jose Carlos e Silva, Wellington Joo Silva, Paulo Romero Martins Maciel |
| 2005 | SBAC-PAD | A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. | 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 |
| 2004 | FPGA | A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architectures. | Remy Eskinazi Sant'Anna, Manoel Eusbio de Lima, Paulo Romero Martins Maciel |
| 2004 | IPCCC | On the generalised stochastic Petri net modeling of message-oriented middleware systems. | Stenio F. L. Fernandes, Wellington Joo Silva, Mauro Jose Carlos e Silva, Nelson S. Rosa, Paulo Romero Martins Maciel, Djamel Fawzi Hadj Sadok |
| 2004 | ISoLA | EZPetri: A Petri net interchange framework for Eclipse based on PNML. | Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel |
| 2004 | SMC | A Petri net based method for functional and interconnect units estimation. | Albano Portela Machado, Paulo Romero Martins Maciel, Edna Barros |
| 2004 | SMC | Modelling and analysis in production system: an approach based on Petri net. | Mauro Jose Carlos e Silva, Wellington Joo Silva, Paulo Romero Martins Maciel |
| 2004 | SBAC-PAD | An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. | Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marlia Neves, Ricardo Massa Ferreira Lima |
| 2003 | MEMOCODE | Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. | Srgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel |
| 2003 | MEMOCODE | Petri Net Based Interface Analysis for Fast IP-Core Integration. | Julio A. de Oliveira Filho, Manoel Eusbio de Lima, Paulo Romero Martins Maciel |
| 2003 | SMC | A Petri net based method for storage units estimation. | Albano Portela Machado, Paulo Romero Martins Maciel, Abel Guilhermino Silva-Filho |
| 2003 | SBAC-PAD | A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. | Raimundo S. Barreto, Paulo Romero Martins Maciel, Srgio Cavalcante |
| 1997 | RSP | Computing communication cost by Petri nets for hardware/software codesign. | Paulo Romero Martins Maciel, Edna Barros, Wolfgang Rosenstiel |
| 1996 | RSP | Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign. | Paulo Romero Martins Maciel, Edna Barros |