Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

29 Oct 2018 → 30 Oct 2018

Description

Workshop

Title	15th European Performance Engineering Workshop
Abbreviated title	EPEW 2018
Conference number
Duration	29 - 30 October 2018
Website	http://epew2018.lacl.fr/
Degree of recognition	International event
Location
City	Paris
Country	France

Keywords

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Herrmann, L., Baier, C., Fetzer, C., Klüppelholz, S. & Napierkowski, M., 2018, Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (eds.). Springer, Berlin [u. a.], p. 78-93 16 p. (Lecture Notes in Computer Science, Volume 11178).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Persons and affiliations

Date

Description

Workshop

Keywords

Related content

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance