Ricardo Massa Ferreira Lima

2007
16	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
15	EE	Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31
2006
14	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
13	EE	Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima: Petri nets tools integration through Eclipse. ETX 2005: 90-94
12	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
11	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
10	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
9	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
8	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
7		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
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	[11] [13] [15]
2	Leonardo Amorim	[10] [12]
3	Adilson Arcoverde	[10] [11] [13]
4	Raimundo S. Barreto	[4] [5] [7] [9] [10] [11] [12] [14]
5	Leonardo Barros	[9] [11]
6	Arthur Bessa	[9] [11] [12]
7	Frederico Braga	[14]
8	F. H. Carvalho	[3]
9	Filipe R. Cordeiro	[16]
10	Davi M. A. Falcão	[16]
11	Carmelo J. A. Bastos Filho	[16]
12	Francisco Heron de Carvalho Junior	[2]
13	Marília P. Lima	[16]
14	Rafael Dueire Lins	[1] [2] [3] [6]
15	Paulo Romero Martins Maciel	[4] [5] [7] [9] [10] [11] [12] [14] [15]
16	Martin A. Musicante	[8]
17	Genésio Gomes da Cruz Neto	[1]
18	Silvino Neto	[14]
19	Marília Neves	[4] [5] [7]
20	Cesar Oliveira	[10]
21	Meuse N. Oliveira Jr.	[4] [5] [9] [10] [11] [12] [14]
22	Angelo Ribeiro	[10] [14]
23	André L. M. Santos	[1] [6]
24	Abel G. Silva-Filho	[16]
25	Eduardo Tavares	[4] [5] [7] [9] [10] [11] [12] [14]

Colors in the list of coauthors