Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Thank you for your interest in the additional material for our submission to EPEW'18. On this page you may download

• Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski:
  Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance (extended version, PDF)
• additional-files.zip (50KB), a ZIP file containing the redo-based fault-tolerance model, a README for the factorization approach, and small sub-models.

If you run into technical trouble, please feel free to contact us at linda.hermann1@tu-dresden.de.

List of publications of Prof. Baier's group.      List of publications of Prof. Fetzer's group.