Beskrivelse
| Akronym | ENTRA |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/10/2012 → 30/09/2015 |
Relateret indhold
Publikationer
Constraint specialisation in Horn clause verification
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Fine-Grained Energy Modeling for the Source Code of a Mobile Application
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Decomposition by tree dimension in Horn clause verification
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
A Source-level Energy Optimization Framework for Mobile Applications
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
A Transformational Approach to Parametric Accumulated-Cost Static Profiling
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Interpolant tree automata and their application in Horn clause verification
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
ENTRA: Whole-systems energy transparency
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Probabilistic Resource Analysis by Program Transformation
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Solving non-linear Horn clauses using a linear Horn clause solver
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Projekter
ICT-Energy
Projekter: Projekt › Forskning