Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud - Frey, Sören (Universitätsbibliothek Kiel, 2014)