ENTRA Deliverables

November 2013

• 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

April 2014

• D2.2. Low-Level Energy Models. Not a public deliverable, please contact the project.
• D3.2. Initial Energy Consumption Analysis

August 2014

• D4.1. Energy Optimization: Basic Static Techniques

December 2014

• D1.1. Preliminary Report and Demo on Energy-Aware Tools

July 2015

• D2.3 High-level energy models

February 2016

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