Adilson Arcoverde

According to our database, Adilson Arcoverde authored at least 5 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations.

Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima

Proceedings of the IEEE International Conference on Systems, 2007

2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.

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

Proceedings of the Integrated Circuit and System Design, 2005

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.

Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim

Proceedings of the Integrated Circuit and System Design, 2005

Petri nets tools integration through Eclipse.

Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

EZPetri: A Petri net interchange framework for Eclipse based on PNML.

Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004