Publikationer pr. år
Publikationer pr. år
Projektdetaljer
Beskrivelse
ENTRA is a 3-year research project funded by the EU 7th Framework Programme Future and Emerging Technologies (FET). The project runs from the 1st October 2012 to the 30th September 2015 and aims to promote “energy-aware” software development using advanced program analysis and modelling of energy consumption in computer systems. The project will facilitate predictions of energy consumption to be made early in the software design phase, thus enabling the development of greener IT products.
| Akronym | ENTRA |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/10/2012 → 30/09/2015 |
Finansiering
- FP7
-
Constraint Specialisation in Horn Clause Verification
Kafle, B. & Gallagher, J. P., 4 jan. 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (red.). New York: Association for Computing Machinery, s. 85-90 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil13 Citationer (Scopus)867 Downloads (Pure) -
Tree automata-based refinement with application to Horn clause verification
Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (red.). Springer, Bind 8931. s. 209-226 18 s. (Lecture Notes in Computer Science; Nr. 8931).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil11 Citationer (Scopus)585 Downloads (Pure) -
Analysis and Transformation Tools for Constrained Horn Clause Verification
Kafle, B. & Gallagher, J. P., 21 jul. 2014, I: Theory and Practice of Logic Programming. 14, 4-5, s. 90-101 12 s., 4-5.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil262 Downloads (Pure) -
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
Kafle, B. & Gallagher, J. P., 2 dec. 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (red.). EPTCS, Bind 169. s. 53-67 15 s. 7Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil349 Downloads (Pure)