A Hoare Logic for Energy Consumption Analysis

Rody W. J. Kersten; P. Parisien Toldin; B.E. van Gastel; M.C.J.D. van Eekelen

doi:10.1007/978-3-319-12466-7_6

A Hoare Logic for Energy Consumption Analysis

Rody W. J. Kersten^*, P. Parisien Toldin, B.E. van Gastel, M.C.J.D. van Eekelen

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Foundational and Practical Aspects of Resource Analysis
Subtitle of host publication	Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Editors	Ugo Dal Lago, Ricardo Peña
Place of Publication	Cham
Publisher	Springer
Chapter	6
Pages	93-109
Number of pages	17
ISBN (Electronic)	9783319124667
ISBN (Print)	9783319124650
DOIs	https://doi.org/10.1007/978-3-319-12466-7_6
Publication status	Published - 2014
Event	Third International Workshop: FOPARA 2013 - Bertinoro, Italy Duration: 29 Aug 2013 → 31 Aug 2013

Publication series

Series	Lecture Notes in Computer Science
Volume	8552
ISSN	0302-9743

Workshop

Workshop	Third International Workshop
Country/Territory	Italy
City	Bertinoro
Period	29/08/13 → 31/08/13

Access to Document

10.1007/978-3-319-12466-7_6

Cite this

Kersten, R. W. J., Parisien Toldin, P., van Gastel, B. E., & van Eekelen, M. C. J. D. (2014). A Hoare Logic for Energy Consumption Analysis. In U. Dal Lago, & R. Peña (Eds.), Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers (pp. 93-109). Springer. https://doi.org/10.1007/978-3-319-12466-7_6

Kersten, Rody W. J. ; Parisien Toldin, P. ; van Gastel, B.E. et al. / A Hoare Logic for Energy Consumption Analysis. Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. editor / Ugo Dal Lago ; Ricardo Peña. Cham : Springer, 2014. pp. 93-109 (Lecture Notes in Computer Science, Vol. 8552).

@inproceedings{588f5f749b544c01adec97a8fa07c6da,

title = "A Hoare Logic for Energy Consumption Analysis",

author = "Kersten, {Rody W. J.} and {Parisien Toldin}, P. and {van Gastel}, B.E. and {van Eekelen}, M.C.J.D.",

year = "2014",

doi = "10.1007/978-3-319-12466-7_6",

language = "English",

isbn = "9783319124650",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "93--109",

editor = "{ Dal Lago}, Ugo and { Pe{\~n}a}, Ricardo",

booktitle = "Foundational and Practical Aspects of Resource Analysis",

note = "Third International Workshop : FOPARA 2013 ; Conference date: 29-08-2013 Through 31-08-2013",

}

Kersten, RWJ, Parisien Toldin, P, van Gastel, BE & van Eekelen, MCJD 2014, A Hoare Logic for Energy Consumption Analysis. in U Dal Lago & R Peña (eds), Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Springer, Cham, Lecture Notes in Computer Science, vol. 8552, pp. 93-109, Third International Workshop, Bertinoro, Italy, 29/08/13. https://doi.org/10.1007/978-3-319-12466-7_6

A Hoare Logic for Energy Consumption Analysis. / Kersten, Rody W. J.; Parisien Toldin, P.; van Gastel, B.E. et al.
Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. ed. / Ugo Dal Lago; Ricardo Peña. Cham: Springer, 2014. p. 93-109 (Lecture Notes in Computer Science, Vol. 8552).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - A Hoare Logic for Energy Consumption Analysis

AU - Kersten, Rody W. J.

AU - Parisien Toldin, P.

AU - van Gastel, B.E.

AU - van Eekelen, M.C.J.D.

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-12466-7_6

DO - 10.1007/978-3-319-12466-7_6

M3 - Conference Article in proceeding

SN - 9783319124650

T3 - Lecture Notes in Computer Science

SP - 93

EP - 109

BT - Foundational and Practical Aspects of Resource Analysis

A2 - Dal Lago, Ugo

A2 - Peña, Ricardo

PB - Springer

CY - Cham

T2 - Third International Workshop

Y2 - 29 August 2013 through 31 August 2013

ER -

Kersten RWJ, Parisien Toldin P, van Gastel BE, van Eekelen MCJD. A Hoare Logic for Energy Consumption Analysis. In Dal Lago U, Peña R, editors, Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Cham: Springer. 2014. p. 93-109. (Lecture Notes in Computer Science, Vol. 8552). doi: 10.1007/978-3-319-12466-7_6