| 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 |