Ricardo Massa Ferreira Lima

2008
24	EE	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	EE	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	EE	Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima: Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300
21	EE	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	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
19	EE	Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713
18	EE	Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31
17	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)
2006
16	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
2005
15	EE	Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima: Petri nets tools integration through Eclipse. ETX 2005: 90-94
14	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
13	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
12	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
11	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
10	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
9	EE	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	EE	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	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
4	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
2002
3	EE	F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins: Coordinating functional processes with Haskell#. SAC 2002: 393-400
2	EE	Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima: Translating Haskell# Programs into Petri Nets. VECPAR 2002: 635-649
1996
1	EE	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