Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination

• Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, and Sascha Klüppelholz:
  Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
  It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (LNCS 10865)
• Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, and Sascha Klüppelholz:
  Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination (extended version, PDF)

Additional materials

• Implementation and experiments
  fa18.zip: ZIP file (32MB) containing our version of PRISM, extended for exogenous coordination; the extended version of the Reo compiler, capable of generating PRISM models; examples and material on the case study.
  The ZIP contains a README file with further information.

List of publications of Prof. Baier's group.