Henning Kopp, Institute of Distributed Systems, Ulm University