1 Table of Contents: “... in BP using BPjs -- On Correctness, Precision, and Performance in Quantitative Verification -- Every...”

2 Table of Contents: “... Simulation Approach for Performance Validation during Embedded Systems Design -- Optimizing Automatic...”

3 Table of Contents: “... Proofs -- Deployment by Construction for Multicore Architectures -- Towards Software Performance...”

4 Table of Contents: “... Decision Processes -- Shield Synthesis for Reinforcement Learning -- Inferring Performance From Code: A...”

5 Table of Contents: “...Measuring and Evaluating the Performance of Self-Organization Mechanisms within Collective Adaptive...”

6 Table of Contents: “... with KnowLang -- Towards Performance-Aware Engineering of Autonomic Component Ensembles -- Self-expression...”