The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paulo Romero Martins Maciel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:261-281 [Conf]
  2. Remy Eskinazi Sant'Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel
    A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architectures. [Citation Graph (0, 0)][DBLP]
    FPGA, 2004, pp:259- [Conf]
  3. 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
    A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only). [Citation Graph (0, 0)][DBLP]
    FPGA, 2005, pp:262- [Conf]
  4. Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino S. Filho
    A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only). [Citation Graph (0, 0)][DBLP]
    FPGA, 2005, pp:275- [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2004, pp:846-851 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    ICESS, 2005, pp:50-62 [Conf]
  7. Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima
    A Novel Approach for Off-Line Multiprocesor Scheduling in Embedded Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    DIPES, 2004, pp:157-166 [Conf]
  8. 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
    A Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable Systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  9. F. N. Souza, R. D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel
    Using stochastic Petri nets for performance modelling of application servers. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  10. Sérgio M. M. Fernandes, Paulo Romero Martins Maciel
    Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:172-0 [Conf]
  11. Julio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel
    Petri Net Based Interface Analysis for Fast IP-Core Integration. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:34-0 [Conf]
  12. Hélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros
    Managing Petri Nets in MOF Repositories. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2005, pp:1381-1397 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    PATMOS, 2004, pp:362-371 [Conf]
  14. Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leornado Amorim
    A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. [Citation Graph (0, 0)][DBLP]
    PATMOS, 2005, pp:49-58 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    PATMOS, 2005, pp:382-392 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    SBAC-PAD, 2004, pp:188-195 [Conf]
  17. Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante
    A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. [Citation Graph (0, 0)][DBLP]
    SBAC-PAD, 2003, pp:72-81 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    SBCCI, 2004, pp:163-168 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    SBCCI, 2005, pp:98-103 [Conf]
  20. Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino S. Filho
    A partial reconfigurable architecture for controllers based on Petri nets. [Citation Graph (0, 0)][DBLP]
    SBCCI, 2004, pp:16-21 [Conf]
  21. Julio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Juliana Moura, Bruno Celso
    A Fast IP-Core Integration Methodology for SoC Design. [Citation Graph (0, 0)][DBLP]
    SBCCI, 2003, pp:131-136 [Conf]
  22. Albano Portela Machado, Paulo Romero Martins Maciel, Edna Barros
    A Petri net based method for functional and interconnect units estimation. [Citation Graph (0, 0)][DBLP]
    SMC (5), 2004, pp:4983-4988 [Conf]
  23. Mauro J. C. de Silva, Wellington João Silva, Paulo Romero Martins Maciel
    Modelling and analysis in production system: an approach based on Petri net. [Citation Graph (0, 0)][DBLP]
    SMC (5), 2004, pp:4354-4359 [Conf]
  24. Eduardo Tavares, Meuse Oliveira, Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Freitas, Marcelo Custodio
    Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. [Citation Graph (0, 0)][DBLP]
    DIPES, 2006, pp:255-264 [Conf]

  25. ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. [Citation Graph (, )][DBLP]


  26. Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. [Citation Graph (, )][DBLP]


  27. Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. [Citation Graph (, )][DBLP]


  28. Incorporating Security Requirements into Service Composition: From Modelling to Execution. [Citation Graph (, )][DBLP]


  29. Performability evaluation of EFT systems for SLA assurance. [Citation Graph (, )][DBLP]


  30. Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. [Citation Graph (, )][DBLP]


  31. EZPetri: A Petri net interchange framework for Eclipse based on PNML. [Citation Graph (, )][DBLP]


  32. A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. [Citation Graph (, )][DBLP]


  33. Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. [Citation Graph (, )][DBLP]


  34. A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. [Citation Graph (, )][DBLP]


  35. Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. [Citation Graph (, )][DBLP]


  36. Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. [Citation Graph (, )][DBLP]


  37. A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. [Citation Graph (, )][DBLP]


  38. A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. [Citation Graph (, )][DBLP]


  39. An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. [Citation Graph (, )][DBLP]


  40. A GSPN based approach to evaluate outbound logistics. [Citation Graph (, )][DBLP]


  41. Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. [Citation Graph (, )][DBLP]


  42. Interval generalized stochastic petri net models in dependability evaluation. [Citation Graph (, )][DBLP]


  43. Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. [Citation Graph (, )][DBLP]


  44. A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. [Citation Graph (, )][DBLP]


  45. Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  46. Synthetic workload generation for capacity planning of virtual server environments. [Citation Graph (, )][DBLP]


  47. Performability Evaluation of EFT Systems using Expolinomial Stochastic Models. [Citation Graph (, )][DBLP]


  48. Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. [Citation Graph (, )][DBLP]


  49. Modeling and evaluation of supply chains with GSPN components. [Citation Graph (, )][DBLP]


  50. A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. [Citation Graph (, )][DBLP]


  51. Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic. [Citation Graph (, )][DBLP]


  52. Defining bandwidth constraints with cooperative games. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002