| 2009 |
|---|
| 4 | EE | Ermeson Carneiro de Andrade,
Paulo Romero Martins Maciel,
Gustavo Rau de Almeida Callou,
Bruno Costa e Silva Nogueira:
A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.
ICDS 2009: 266-271 |
| 3 | EE | Ermeson Carneiro de Andrade,
Paulo Romero Martins Maciel,
Gustavo Rau de Almeida Callou,
Bruno Costa e Silva Nogueira,
Carlos Araújo:
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.
SAC 2009: 377-381 |
| 2008 |
|---|
| 2 | EE | Gustavo Rau de Almeida Callou,
Paulo Romero Martins Maciel,
Ermeson Carneiro de Andrade,
Bruno Costa e Silva Nogueira,
Eduardo Tavares,
Meuse N. Oliveira Jr.:
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption.
PATMOS 2008: 379-388 |
| 1 | EE | Gustavo Rau de Almeida Callou,
Paulo Romero Martins Maciel,
Ermeson Carneiro de Andrade,
Bruno Costa e Silva Nogueira,
Eduardo Antonio Guimarães Tavares:
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems.
SBCCI 2008: 134-139 |
