Paulo Romero Martins Maciel

2009
44	EE	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
43	EE	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
2008
42	EE	Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel: ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. DATE 2008: 1510-1515
41	EE	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
40	EE	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
39	EE	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
38	EE	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)
37	EE	Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva: Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. Microprocessors and Microsystems - Embedded Hardware Design 32(8): 460-473 (2008)
2007
36	EE	Lucas 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
35	EE	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
34	EE	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
33	EE	Sergio Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa: Interval generalized stochastic petri net models in dependability evaluation. SMC 2007: 2502-2507
32	EE	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
31	EE	Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713
30	EE	Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31
29	EE	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 Software Engineering Notes 32(2): 1-10 (2007)
28	EE	Lucas 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 Software Engineering Notes 32(6): (2007)
2006
27	EE	Eduardo Tavares, Meuse N. Oliveira Jr., 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. DIPES 2006: 255-264
26	EE	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
25	EE	F. N. Souza, R. D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel: Using stochastic Petri nets for performance modelling of application servers. IPDPS 2006
24	EE	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 Software Engineering Notes 31(3): 1-25 (2006)
2005
23	EE	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). FPGA 2005: 262
22	EE	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). FPGA 2005: 275
21	EE	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
20	EE	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. IPDPS 2005
19	EE	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
18	EE	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
17	EE	Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar 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
16	EE	Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello: A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 2005: 184-192
15	EE	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
2004
14		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. DIPES 2004: 157-166
13	EE	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. FPGA 2004: 259
12	EE	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
11		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
10	EE	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
9	EE	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
8	EE	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. SBCCI 2004: 16-21
7	EE	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
6	EE	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. SMC (5) 2004: 4354-4359
5	EE	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
4	EE	Sérgio M. M. Fernandes, Paulo Romero Martins Maciel: Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. MEMOCODE 2003: 172-
3	EE	Julio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel: Petri Net Based Interface Analysis for Fast IP-Core Integration. MEMOCODE 2003: 34-
2	EE	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
1	EE	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. SBCCI 2003: 131-136

Coauthor Index

1	Gabriel Alves	[11] [18] [30] [31]
2	Leonardo Amorim	[16] [17] [21] [24] [29]
3	Ermeson Carneiro de Andrade	[40] [41] [43] [44]
4	Carlos Araújo	[43]
5	Adilson Arcoverde	[11] [17] [18] [32]
6	R. D. Arteiro	[25]
7	Rafael Barcelos	[28] [36]
8	Raimundo S. Barreto	[2] [7] [9] [10] [12] [14] [15] [16] [17] [18] [21] [24] [26] [27] [28] [29] [36] [42]
9	Edna Barros	[5]
10	Leonardo Barros	[15] [18]
11	Roberto Souto Maior de Barros	[19]
12	Arthur Bessa	[15] [18] [21]
13	Frederico Braga	[26]
14	Gustavo Rau de Almeida Callou	[40] [41] [43] [44]
15	Cesar Carvalho	[16]
16	Fernando F. Carvalho	[10]
17	Sérgio Cavalcante	[2] [12]
18	Bruno Celso	[1]
19	Lucas Cordeiro	[28] [36] [42]
20	Fabiano Cruz	[42]
21	Marcelo Custodio	[27]
22	Sérgio M. M. Fernandes	[4]
23	Abel Guilhermino S. Filho	[8] [20] [22] [23]
24	Julio A. de Oliveira Filho	[1] [3]
25	Romulo Freitas	[27]
26	Sergio Galdino	[33]
27	Manoel Eusebio de Lima	[1] [3] [8] [13] [20] [22] [23]
28	Ricardo Massa Ferreira Lima	[7] [9] [11] [14] [15] [16] [17] [18] [21] [26] [29] [30] [31] [32]
29	Vicente Lucena	[28] [36]
30	Albano Portela Machado	[5]
31	Renato Marques	[34]
32	Carlos Mello	[16]
33	Juliana Moura	[1]
34	Paulo Sérgio B. do Nascimento	[8] [20] [22] [23]
35	Silvino Neto	[26] [27]
36	Marília Neves	[7] [9] [14]
37	Bruno Costa e Silva Nogueira	[40] [41] [43] [44]
38	Meuse N. Nogueira Jr.	[24]
39	Cesar Oliveira	[17]
40	Meuse N. Oliveira Jr.	[7] [9] [10] [15] [16] [17] [18] [21] [26] [27] [28] [29] [34] [35] [36] [38] [41]
41	Angelo Ribeiro	[17] [26]
42	Fernando Rocha	[29]
43	Rafael Rodrigues	[34]
44	Nelson Souto Rosa (Nelson S. Rosa)	[19] [25] [33]
45	Remy Eskinazi Sant'Anna	[8] [13] [20] [22] [23]
46	Hélio Lopes dos Santos	[19]
47	Bruno Silva	[34] [35] [37] [38] [39]
48	Mauro J. C. de Silva	[6]
49	Wellington João Silva	[6]
50	Bruno Souza	[27]
51	F. N. Souza	[25]
52	Eduardo Antonio Guimarães Tavares (Eduardo Tavares)	[7] [9] [14] [15] [16] [17] [18] [21] [24] [26] [27] [29] [34] [35] [37] [38] [39] [40] [41]
53	Carlos A. Valderrama	[20] [23]

Colors in the list of coauthors