2007 |
5 | 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 |
2005 |
4 | EE | Adilson Arcoverde,
Gabriel Alves,
Ricardo Massa Ferreira Lima:
Petri nets tools integration through Eclipse.
ETX 2005: 90-94 |
3 | 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 |
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 |
2004 |
1 | | 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 |