Abstract is missing.
- A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang ReifDominik Haneberg, Alexander Knapp, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn, Martin Wirsing. 1-19 [doi]
- Eine REIFe Leistung - Anecdotes from Behind the ScenesGidon Ernst, Dominik Haneberg, Matthias Güdemann, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn. 20-35 [doi]
- Observation and Control of Hybrid Organic Computing Systems - Centralised Planning Combined with Autonomous EntitiesSven Tomforde, Jonas Lange, Pia Schweizer, Christian Krupitzer. 36-55 [doi]
- The Many Uses of Dynamic LogicWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich. 56-82 [doi]
- A Largely Automated Verification of GHC's Natural MergesortChristoph Walther. 83-103 [doi]
- Software Engineering and Society Engineering for Self-organising Multi-agent SystemsJeremy Pitt, Matthew Scott 0004, Mikayel Suvaryan, Ana Dimoska, Asimina Mertzani, Ciske Smit. 104-131 [doi]
- Refactoring of LCMsim: A Lightweight Julia Package for Mould Filling Simulations in Liquid Composite MouldingChristof Obertscheider, Leonard Heber, Carola Lenzen, Ewald Fauster. 132-154 [doi]
- Self-powered Embedded Systems: The Role of Non-volatile Memory Technology in IoT DevicesStefan Wildermann, Nils Wilbert, Tobias Häberlein, Jürgen Teich. 155-177 [doi]
- Overview of Bounded Model Checking for Stack-Based Virtual MachinesMatthias Güdemann. 178-194 [doi]
- How to Drawjectory? - Trajectory Planning Using Programming by DemonstrationLeonhard Alkewitz, Timo Zuccarello, Alexander Raschke, Matthias Tichy. 195-219 [doi]
- Go Where Energy Can be Saved: A Vision for a Green Infrastructure Evaluation, Optimization, and Alignment SystemBenjamin Weigel, Bernhard Bauer. 220-241 [doi]
- Organic Computing for Adaptive and Resilient Electricity Grid ManagementMischa Ahrens, Hartmut Schmeck. 242-261 [doi]
- Specifying and Implementing Interface Moore Machines by a Logic of ActionsManfred Broy. 262-281 [doi]
- Artificial Intelligence in Software Documentation: Embracing the Documentation as Code ParadigmFlorian Nafz, Magdalena Krajinovic, Martin Ley. 282-302 [doi]
- Towards Automatic Structured Inference of Module AbstractionsGidon Ernst, Marian Lingsch Rosenfeld. 303-324 [doi]
- Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIVGerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol, Heike Wehrheim. 325-355 [doi]
- On the Quest for Criticality Searching for Interactions that Matter When Hunting for BugsFranz Wotawa. 356-373 [doi]