Maciel, P.

• Tavares, Eduardo; Barreto, Raimundo; Maciel, Paulo; Meuse Oliveira, Jr.; Amorim, Leonardo; Rocha, Fernando; Lima, Ricardo:
  Software synthesis for hard real-time embedded systems with multiple processors. 2007.

• Junior, Meuse N. O.; Neto, Silvino; Maciel, Paulo; Lima, Ricardo; Ribeiro, Angelo; Barreto, Raimundo; Tavares, Eduardo; Braga, Frederico:
  Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. 2006.

• Tavares, Eduardo; Oliveira, Meuse; Maciel, Paulo; Souza, Bruno; Neto, Silvino; Barreto, Raimundo; Freitas, Romulo; Custodio, Marcelo:
  Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. 2006.

• Barreto, Raimundo; Tavares, Eduardo; Maciel, Paulo; Oliveira, Meuse Jr; Amorim, Leonardo; Lima, Ricardo; Carvalho, Cesar; Mello, Carlos:
  A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. 2005.

• Junior, Meuse N.O.; Maciel, Paulo; Lima, Ricardo; Ribeiro, Angelo; Oliveira, Cesar; Arcoverde, Adilson; Barreto, Raimundo; Tavares, Eduardo; Amorin, Leornado:
  A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. 2005.

• Tavares, Eduardo; Maciel, Paulo; Bessa, Arthur; Barreto, Raimundo; Barros, Leonardo; Meuse Oliveira, Jr; Lima, Ricardo:
  A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. 2005.

• Amorim, Leonardo; Barreto, Raimundo; Maciel, Paulo; Tavares, Eduardo; Oliveira, Meuse; Bessa, Arthur; Lima, Ricardo:
  A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. 2005.

• Barreto, Raimundo; Neves, Marilia; Meuse Oliveira, Jr.; Maciel, Paulo; Tavares, Eduardo; Lima, Ricardo:
  A formal software synthesis approach for embedded hard real-time systems. 2004.

• Tavares, Eduardo; Barreto, Raimundo; Oliveira Júnior, Meuse; Maciel, Paulo; Neves, Marília; Lima, Ricardo:
  An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. 2004.

• Barreto, Raimundo; Cavalcante, Sérgio; Maciel, Paulo:
  A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. 2004.

• Maciel, Paulo:
  Register estimation for digital system design: an approach based on timed Petri nets. 2002.

• Maciel, Paulo; Barros, Tomaz:
  A Petri Net Based Approach for Resource Estimation in Manufacturing Control Systems. 2001.

• Filho, F.C.; Maciel, P.; Barros, E.:
  Using Petri nets for data dependency analysis. 2000.

• Maciel, P.; Barros, E.; Lima, M.; Silva, D.:
  Resource sharing estimation by Petri nets in PISH codesign system. 2000.

• Maciel, P.; Cruz Filho, F.; Barros, E.; Rosenstiel, W.:
  Methods based on Petri net for resource sharing estimation. 2000.

• Maciel, P.; Barros, E.; Rosenstiel, W.:
  A Petri net model for hardware/software codesign. 1999.

• Maciel, P.; Barros, E.; Rosenstiel, W.:
  A based on Petri net approach for quantifying mutual exclusion degree. 1998.

• Maciel, P.; Barros, E.; Rosenstiel, W.:
  A Petri net based approach for performing the initial allocation in hardware/software codesign. 1998.

Back to the Petri Nets Bibliography