Leonardo Amorim

	2007
5		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
4		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
3		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
2		Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar A. L. 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
1		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

Coauthor Index

1	Adilson Arcoverde	[2]
2	Raimundo S. Barreto	[1] [2] [3] [4] [5]
3	Arthur Bessa	[3]
4	Cesar Carvalho	[1]
5	Ricardo Massa Ferreira Lima	[1] [2] [3] [5]
6	Paulo Romero Martins Maciel	[1] [2] [3] [4] [5]
7	Carlos Mello	[1]
8	Meuse N. Nogueira Jr.	[4]
9	Cesar A. L. Oliveira	[2]
10	Meuse N. Oliveira Jr.	[1] [2] [3] [5]
11	Angelo Ribeiro	[2]
12	Fernando Rocha	[5]
13	Eduardo Antonio Guimarães Tavares (Eduardo Tavares)	[1] [2] [3] [4] [5]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page