Ricardo Massa Ferreira Lima

	2008
24		Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares: A JML Compiler Based on AspectJ. ICST 2008: 541-544
23		Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio: Implementing Java modeling language contracts with AspectJ. SAC 2008: 228-233
	2007
22		Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima: Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300
21		Abel G. Silva-Filho, Carmelo J. A. Bastos Filho, Ricardo Massa Ferreira Lima, Davi M. A. Falcão, Filipe R. Cordeiro, Marília P. Lima: An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance. SBAC-PAD 2007: 177-184
20		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
19		Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713
18		Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31
17		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)
	2006
16		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
	2005
15		Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima: Petri nets tools integration through Eclipse. ETX 2005: 90-94
14		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
13		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
12		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
11		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
10		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
9		Martin A. Musicante, Ricardo Massa Ferreira Lima: The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue. J. UCS 11(7): 1115-1116 (2005)
	2004
8		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
7		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
6		Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos: A back-end for GHC based on categorical multi-combinators. SAC 2004: 1482-1489
5		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
4		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
	2002
3		F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins: Coordinating functional processes with Haskell#. SAC 2002: 393-400
2		Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima: Translating Haskell# Programs into Petri Nets. VECPAR 2002: 635-649
	1996
1		Genésio Gomes da Cruz Neto, Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos: Optimising Pseudoknotin FCMC. EUROMICRO 1996: 120-126

Coauthor Index

1	Gabriel Alves	[7] [13] [15] [18] [19]
2	Leonardo Amorim	[11] [12] [14] [17]
3	Adilson Arcoverde	[7] [12] [13] [15] [20]
4	Raimundo S. Barreto	[4] [5] [8] [10] [11] [12] [13] [14] [16] [17]
5	Leonardo Barros	[10] [13]
6	Arthur Bessa	[10] [13] [14]
7	Paulo Borba	[22]
8	Frederico Braga	[16]
9	Cesar Carvalho	[11]
10	F. H. Carvalho	[3]
11	Filipe R. Cordeiro	[21]
12	Márcio Cornélio	[23] [24]
13	Davi M. A. Falcão	[21]
14	Leopoldo Ferreira	[23]
15	Carmelo J. A. Bastos Filho	[21]
16	Francisco Heron de Carvalho Junior	[2]
17	Marília P. Lima	[21]
18	Rafael Dueire Lins	[1] [2] [3] [6]
19	Paulo Romero Martins Maciel	[4] [5] [7] [8] [10] [11] [12] [13] [14] [16] [17] [18] [19] [20]
20	Carlos Mello	[11]
21	Martin A. Musicante	[9]
22	Genésio Gomes da Cruz Neto	[1]
23	Silvino Neto	[16]
24	Marília Neves	[4] [5] [8]
25	Cesar Oliveira	[12]
26	Meuse N. Oliveira Jr.	[4] [5] [10] [11] [12] [13] [14] [16] [17]
27	Henrique Rebêlo	[23] [24]
28	Angelo Ribeiro	[12] [16]
29	Fernando Rocha	[17]
30	André L. M. Santos (André Santos)	[1] [6]
31	Abel G. Silva-Filho	[21]
32	Sérgio Soares	[22] [23] [24]
33	Eduardo Antonio Guimarães Tavares (Eduardo Tavares)	[4] [5] [8] [10] [11] [12] [13] [14] [16] [17]

Colors in the list of coauthors