Paulo Romero Martins Maciel - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Performability modeling of electronic funds transfer systemsCarlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha. computing, 91(4):315-334, 2011. [doi]

Energy consumption and execution time estimation of embedded system applicationsGustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha. mam, 35(4):426-440, 2011. [doi]

A Formal Model for Performance and Energy Evaluation of Embedded SystemsBruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz. ejes, 2011, 2011. [doi]

A Formal Model for Performance and Energy Evaluation of Embedded SystemsBruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz. ejes, 2011, 2011. [doi]

Planning service agreements in soa-based systems through stochastic modelsMarcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel. SAC 2011: 1576-1581 [doi]

2010

A COTS-based approach for estimating performance and energy consumption of embedded real-time systemsErmeson Andrade, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou. ipl, 110(14-15):525-534, 2010. [doi]

Performance and energy consumption estimation for commercial off-the-shelf component system designErmeson Andrade, Paulo Romero Martins Maciel, Tiago Falcão, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou. isse, 6(1-2):107-114, 2010. [doi]

Automatic Modeling for Performance Evaluation of Inventory and Outbound DistributionGabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann. tsmc, 40(5):1025-1044, 2010. [doi]

Impact analysis of maintenance policies on data center power infrastructureGustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Bruno L. B. Silva, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires, F. S. Magnani. SMC 2010: 526-533 [doi]

Availability with input uncertainties using an interval-based approachSergio Mario Lins Galdino, Paulo Romero Martins Maciel. SMC 2010: 298-303 [doi]

WGCap: A synthetic trace generation tool for capacity planning of virtual server environmentsHugo Estanislau Soares Galindo, Erico A. C. Guedes, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino. SMC 2010: 2094-2101 [doi]

Quantitative analysis of performability in voice and data networksAlmir Pereira Guimaraes, Paulo Romero Martins Maciel, Rivalino Matias. SMC 2010: 761-768 [doi]

Stochastic model for performance evaluation of test planningMarcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Almir Guimares. SMC 2010: 3690-3697 [doi]

Performance evaluation of test process based on stochastic modelsMarcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Ermeson Andrade. springsim 2010: 141 [doi]

Quantifying the sustainability impact of data center availabilityManish Marwah, Paulo Romero Martins Maciel, Amip Shah, Ratnesh K. Sharma, Tom Christian, Virgilio Almeida, Carlos Araújo, Erica Sousa, Gustavo Rau de Almeida Callou, Bruno Silva, Sergio Mario Lins Galdino, Jose Paulo Pires. sigmetrics, 37(4):64-68, 2010. [doi]

Using Accelerated Life Tests to Estimate Time to Software Aging FailureRivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel. issre 2010: 211-219 [doi]

DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer SystemsR. O. Nascimento, Paulo Romero Martins Maciel. cai, 29(5):719-740, 2010. [doi]

ASTRO: A tool for dependability evaluation of Data Center infrastructuresBruno L. B. Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, C. Araujo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires. SMC 2010: 783-790 [doi]

A stochastic model for performance evaluation and bottleneck discovering on SOA-based systemsMarcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel. SMC 2010: 358-365 [doi]

2009

Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival TrafficCarlos Araújo, Erica Sousa, Paulo Romero Martins Maciel, Fábio Chicout, Ermeson Carneiro de Andrade. intensive 2009: 65-70 [doi]

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraintsErmeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo. SAC 2009: 377-381 [doi]

A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy ConstraintsErmeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira. icds 2009: 266-271 [doi]

Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform s Behavioral ModelBruno 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. sbac-pad 2009: 135-142 [doi]

Synthetic workload generation for capacity planning of virtual server environmentsHugo Estanislau Soares Galindo, Wagner Medeiros Santos, Paulo Romero Martins Maciel, Bruno L. B. Silva, Sergio Mario Lins Galdino, Jose Paulo Pires. SMC 2009: 2837-2842 [doi]

Defining bandwidth constraints with cooperative gamesEdilayne Meneses Salgueiro, Paulo R. F. Cunha, Paulo Romero Martins Maciel, José Augusto Suruagy Monteiro, Ricardo J. P. B. Salgueiro. icumt 2009: 1-8 [doi]

Performability Evaluation of EFT Systems using Expolinomial Stochastic ModelsErica Teixeira Gomes Sousa, Paulo Romero Martins Maciel, Carlos Julian Menezes Araújo. SMC 2009: 3328-3333 [doi]

Performance modeling for evaluation and planning of Electronic Funds Transfer SystemsErica Sousa, Paulo Romero Martins Maciel, Carlos AraÃºjo, Gabriel Alves, FÃ¡bio Chicout. ISCC 2009: 73-76 [doi]

Sec-MoSC Tooling - Incorporating Security Requirements into Service CompositionAndre R. R. Souza, Bruno L. B. Silva, Fernando AntÃ´nio Aires Lins, Julio C. Damasceno, Nelson S. Rosa, Paulo Romero Martins Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari Nezhad, Jun Li, Caio Northfleet. icsoc 2009: 649-650 [doi]

A Hybrid DVS Scheduling Approach for Hard Real-Time SystemsEduardo Tavares, Pedro Dallegrave, Bruno L. B. Silva, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel. SMC 2009: 2848-2853 [doi]

Performance Evaluation of Service-Oriented Architecture through Stochastic Petri NetsMarcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel. SMC 2009: 2831-2836 [doi]

2008

Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy ConstraintsErmeson Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira. cimca 2008: 615-620 [doi]

ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software SynthesisFabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel. date 2008: 1510-1515 [doi]

A Formal Approach for Estimating Embedded System Execution Time and Energy ConsumptionGustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares, Meuse N. Oliveira Jr.. patmos 2009: 379-388 [doi]

A coloured petri net based approach for estimating execution time and energy consumption in embedded systemsGustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares. sbcci 2008: 134-139 [doi]

Hard real-time tasks scheduling considering voltage scaling, precedence and exclusion relationsEduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.. ipl, 108(2):50-59, 2008. [doi]

Software Synthesis for Hard Real-Time Embedded Systems with Energy ConstraintsEduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave. sbac-pad 2008: 115-122 [doi]

Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheadsEduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva. mam, 32(8):460-473, 2008. [doi]

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy ConstraintsEduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel. sefm 2008: 291-300 [doi]

2007

A GSPN based approach to evaluate outbound logisticsGabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima. SMC 2007: 708-713 [doi]

Modeling and evaluation of supply chains with GSPN componentsGabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima. valuetools 2007: 31 [doi]

Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotationsAdilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima. SMC 2007: 2894-2900 [doi]

TXM: an agile HW/SW development methodology for building medical devicesLucas Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel. sigsoft, 32(6), 2007. [doi]

Agile Development Methodology for Embedded Systems: A Platform-Based Design ApproachLucas Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel. ECBS 2007: 195-202 [doi]

Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri NetsRoberta A. de A. Fagundes, Paulo Romero Martins Maciel, Nelson S. Rosa. rita, 14(2):109-132, 2007. [doi]

Interval generalized stochastic petri net models in dependability evaluationSergio Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa. SMC 2007: 2502-2507 [doi]

Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relationsEduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr., Rafael Rodrigues, Renato Marques. SMC 2007: 2496-2501 [doi]

Software synthesis for hard real-time embedded systems with multiple processorsEduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima. sigsoft, 32(2):1-10, 2007. [doi]

A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relationsEduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.. sbcci 2007: 312-317 [doi]

2006

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systemsLeonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares. sigsoft, 31(3):1-25, 2006. [doi]

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri NetsMeuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga. apn 2006: 261-281 [doi]

Using stochastic Petri nets for performance modelling of application serversF. N. Souza, R. D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel. ipps 2006: [doi]

Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple ProcessorsEduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Freitas, Marcelo Custodio. ifip10-3 2006: 255-264 [doi]

2005

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSCLeonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima. icess 2005: 50-62 [doi]

A Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable SystemsRemy Eskinazi Sant Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino S. Filho, Paulo Sérgio B. do Nascimento. ipps 2005: [doi]

A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only)Remy Eskinazi Sant Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino S. Filho, Paulo Sérgio B. do Nascimento. fpga 2005: 262 [doi]

A Time Petri Net-Based Approach for Software Synthesis Considering OverheadsRaimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello. sbac-pad 2005: 184-192 [doi]

A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only)Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant Anna, Abel Guilhermino S. Filho. fpga 2005: 275 [doi]

Managing Petri Nets in MOF RepositoriesHélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros. otm 2005: 1381-1397 [doi]

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri NetMeuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim. patmos 2005: 49-58 [doi]

A time petri net based approach for embedded hard real-time software synthesis with multiple operational modesEduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima. sbcci 2005: 98-103 [doi]

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy ConstraintsEduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa. patmos 2005: 382-392 [doi]

2004

EZPetri: A Petri net interchange framework for Eclipse based on PNMLGabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel. isola 2004: 143-149

A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architecturesRemy Eskinazi Sant Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel. fpga 2004: 259 [doi]

A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time SystemsRaimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel. icdcsw 2004: 846-851 [doi]

A Novel Approach for Off-Line Multiprocesor Scheduling in Embedded Hard Real-Time SystemsRaimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima. ifip10-3 2004: 157-166

A formal software synthesis approach for embedded hard real-time systemsRaimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima. sbcci 2004: 163-168 [doi]

Modelling and analysis in production system: an approach based on Petri netMauro J. C. de Silva, Wellington João Silva, Paulo Romero Martins Maciel. SMC 2004: 4354-4359 [doi]

A partial reconfigurable architecture for controllers based on Petri netsPaulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant Anna, Abel Guilhermino S. Filho. sbcci 2004: 16-21 [doi]

Towards a Software Power Cost Analysis Framework Using Colored Petri NetMeuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho. patmos 2004: 362-371 [doi]

A Petri net based method for functional and interconnect units estimationAlbano Portela Machado, Paulo Romero Martins Maciel, Edna Barros. SMC 2004: 4983-4988 [doi]

An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power ConstraintsEduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima. sbac-pad 2004: 188-195 [doi]

2003