Paulo Romero Martins Maciel

	2009
47		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
46		Andre 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: Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. ICSOC/ServiceWave 2009: 649-650
45		Carlos Araújo, Erica Sousa, Paulo Romero Martins Maciel, Fábio Chicout, Ermeson Carneiro de Andrade: Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic. INTENSIVE 2009: 65-70
44		Erica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Gabriel Alves, Fábio Chicout: Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. ISCC 2009: 73-76
43		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		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		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		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		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		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		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		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		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		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		Sergio Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa: Interval generalized stochastic petri net models in dependability evaluation. SMC 2007: 2502-2507
32		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		Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713
30		Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31
29		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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] [44]
2	Leonardo Amorim	[16] [17] [21] [24] [29]
3	Ermeson Carneiro de Andrade	[40] [41] [43] [45] [47]
4	Carlos Araújo	[43] [44] [45]
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] [47]
15	Cesar Carvalho	[16]
16	Fernando F. Carvalho	[10]
17	Sérgio Cavalcante	[2] [12]
18	Bruno Celso	[1]
19	Fábio Chicout	[44] [45]
20	Lucas Cordeiro	[28] [36] [42]
21	Fabiano Cruz	[42]
22	Marcelo Custodio	[27]
23	Julio C. Damasceno	[46]
24	Sérgio M. M. Fernandes	[4]
25	Abel Guilhermino S. Filho	[8] [20] [22] [23]
26	Julio A. de Oliveira Filho	[1] [3]
27	Romulo Freitas	[27]
28	Sergio Galdino	[33]
29	Jun Li	[46]
30	Manoel Eusebio de Lima	[1] [3] [8] [13] [20] [22] [23]
31	Ricardo Massa Ferreira Lima	[7] [9] [11] [14] [15] [16] [17] [18] [21] [26] [29] [30] [31] [32]
32	Fernando Antônio Aires Lins	[46]
33	Vicente Lucena	[28] [36]
34	Albano Portela Machado	[5]
35	Renato Marques	[34]
36	Robson W. A. Medeiros	[46]
37	Carlos Mello	[16]
38	Juliana Moura	[1]
39	Paulo Sérgio B. do Nascimento	[8] [20] [22] [23]
40	Silvino Neto	[26] [27]
41	Marília Neves	[7] [9] [14]
42	Hamid R. Motahari Nezhad	[46]
43	Bruno Costa e Silva Nogueira	[40] [41] [43] [47]
44	Meuse N. Nogueira Jr.	[24]
45	Caio Northfleet	[46]
46	Cesar Oliveira	[17]
47	Meuse N. Oliveira Jr.	[7] [9] [10] [15] [16] [17] [18] [21] [26] [27] [28] [29] [34] [35] [36] [38] [41]
48	Angelo Ribeiro	[17] [26]
49	Fernando Rocha	[29]
50	Rafael Rodrigues	[34]
51	Nelson Souto Rosa (Nelson S. Rosa)	[19] [25] [33] [46]
52	Remy Eskinazi Sant'Anna	[8] [13] [20] [22] [23]
53	Hélio Lopes dos Santos	[19]
54	Bruno Silva	[34] [35] [37] [38] [39]
55	Bruno L. B. Silva	[46]
56	Mauro J. C. de Silva	[6]
57	Wellington João Silva	[6]
58	Erica Sousa	[44] [45]
59	Andre R. R. Souza	[46]
60	Bruno Souza	[27]
61	F. N. Souza	[25]
62	Bryan Stephenson	[46]
63	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]
64	Carlos A. Valderrama	[20] [23]

Colors in the list of coauthors