| 2007 |
|---|
| 5 | 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 |
|---|
| 4 | EE | 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 | 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 |
| 2 | 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 |
| 1 | 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 |
