Author-Matthiasholzl on D3S https://d3s.mff.cuni.cz/tags/author-matthiasholzl/ Recent content in Author-Matthiasholzl on D3S Hugo en Correctness of Service Components and Service Component Ensembles https://d3s.mff.cuni.cz/publications/combaz_correctness_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/combaz_correctness_2015/ Supporting Performance Awareness in Autonomous Ensembles https://d3s.mff.cuni.cz/publications/bulej_supporting_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_supporting_2015/ The Autonomic Cloud https://d3s.mff.cuni.cz/publications/mayer_autonomic_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mayer_autonomic_2015/ The E-mobility Case Study https://d3s.mff.cuni.cz/publications/hoch_emobility_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hoch_emobility_2015/ The Invariant Refinement Method https://d3s.mff.cuni.cz/publications/bures_invariant_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_invariant_2015/ Tools for Ensemble Design and Runtime https://d3s.mff.cuni.cz/publications/abeywickrama_tools_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abeywickrama_tools_2015/