- D2.1. Common Assertion Language
- D3.1. A General Framework for Resource Consumption Analysis and Verification
- D5.1. Benchmark Suites
- D6.1. Metrics and Case Studies
- D2.2. Low-Level Energy Models. Not a public deliverable, please contact the project.
- D3.2. Initial Energy Consumption Analysis
- D1.2 Energy-Aware Software Development Methods and Tools
- D3.3 Analysis Based Verification and Debugging of Energy, Performance and Precision Properties
- D4.2 Energy Optimization: Advanced Techniques
- D6.2 Evaluation results
- D7.2 Exploitation and dissemination plan. Not a public deliverable, please contact the project.