Dissertation:
- ALUPAS: Um Simulador Estocástico para Análise de Desempenho e Consumo
de Energia de Software para Sistemas Embarcados. Bsc dissertation, Center of
Informatics, Federal University of Pernambuco. December, 2008.
Download (pt)
Articles published in journals:
- Estimation of Energy Consumption and Execution Time in Early Phases of Design Lifecycle: an
Application to Biomedical Systems. Electronics Letters, v. 44, p. 1-11, 2008. Gustavo Callou,
Paulo Maciel, Ermeson Carneiro, Bruno Nogueira, and Eduardo Tavares.
- ALUPAS: Um simulador estocástico para avaliação de desempenho e consumo de energia de software
para sistemas embarcados. REIC. Revista Eletrônica de Iniciação Científica, v. IV, p. 12-, 2008. Bruno Nogueira,
Paulo Maciel, Gustavo Callou, and Ermeson Carneiro. Download (pt)
Articles published in symposia proceedings:
- A Coloured Petri Net Based Approach For Estimating Execution Time And Energy Consumption In Embedded Systems.
Gustavo Callou, Paulo Maciel, Ermeson Carneiro, Bruno Nogueira, and Eduardo Tavares. In: 21st Symposium on Integrated Circuits and
Systems Design - SBCCI 2008, 2008, Gramado. Proceedings of the 21st annual
symposium on Integrated circuits and system design, 2008.
-
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. Gustavo Callou, Paulo Maciel, Ermeson Carneiro, Bruno Nogueira,
Eduardo Tavares, and Meuse Nogueira. In: Power And Timing Modeling, Optimization and Simulation (PATMOS), 2008, Lisbon. Proceedings of PATMOS 2008, 2008.
- Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. Ermeson Carneiro, Paulo Maciel,
Gustavo Callou, Bruno Nogueira, and Eduardo Tavares. In: International Conference on Advances in Electronics and Micro-electronics, 2008, Valencia. Proceeddings of
ENICS 2008, 2008.
- Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.
Ermeson Carneiro, Paulo Maciel, Gustavo Callou, and Bruno Nogueira. In: International Conference on Innovation in Software Engineering - ISE08, 2008, Vienna. Proceedings of ISE'08, 2008.
- Mapping UML Sequence Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.
Ermeson Carneiro, Paulo Maciel, Gustavo Callou, and Bruno Nogueira. In: 24th Annual ACM Symposium on Applied Computing, 2008, Hawaii. Special Track on the 24d ACM Symposium on
Applied Computing, 2008.
- A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.
Ermeson Carneiro, Paulo Maciel, Gustavo Callou, and Bruno Nogueira. In: Third International Conference on Digital Society (ICDS 2009), 2008, Cancun. Proceeddings of
ICDS, 2008.
- Um Framework Para Estimativa de Desempenho e Consumo de Energia de Softwares para Sistemas Embarcados. Bruno Nogueira, and Paulo Maciel. In: XVI Congresso de Iniciação Científica da
UFPE (CONIC), 2008, Recife. Anais do XVI CONIC, 2008.
