1. Industrial experiences from evolving measurement systems into self‐healing systems for improved availability. (16th August 2017) Authors: Staron, Miroslaw; Meding, Wilhelm; Tichy, Matthias; Bjurhede, Jonas; Giese, Holger; Söder, Ola Journal: Software, practice & experience Issue: Volume 48:Number 3(2018) Page Start: 719 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Software engineering for self-adaptive systems. International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised selected and invited papers /: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised selected and invited papers. Assurances : III, (2017) Editors: Lemos, Rogério de, 1961-; Garlan, David; Ghezzi, Carlo; Giese, Holger Other Names: Software Engineering for Self-Adaptive Systems (Seminar), 3rd Record Type: Book Extent: 1 online resource (x, 435 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Systematic verification of multi-agent systems based on rigorous executable specifications. (19th April 2007) Authors: Giese, Holger; Klein, Florian Journal: International journal of agent-oriented software engineering Issue: Volume 1:Number 1(2007) Page Start: 28 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗