@book{RanaMohapatraSidorovaetal.2022,
  author    = {Rana, Kaushik and Mohapatra, Durga Prasad and Sidorova, Julia and Lundberg, Lars and Sk{\"o}ld, Lars and Lopes Grim, Lu{\´i}s Fernando and Sampaio Gradvohl, Andr{\´e} Leon and Cremerius, Jonas and Siegert, Simon and Weltzien, Anton von and Baldi, Annika and Klessascheck, Finn and Kalancha, Svitlana and Lichtenstein, Tom and Shaabani, Nuhad and Meinel, Christoph and Friedrich, Tobias and Lenzner, Pascal and Schumann, David and Wiese, Ingmar and Sarna, Nicole and Wiese, Lena and Tashkandi, Araek Sami and van der Walt, Est{\´e}e and Eloff, Jan H. P. and Schmidt, Christopher and H{\"u}gle, Johannes and Horschig, Siegfried and Uflacker, Matthias and Najafi, Pejman and Sapegin, Andrey and Cheng, Feng and Stojanovic, Dragan and Stojnev Ilić, Aleksandra and Djordjevic, Igor and Stojanovic, Natalija and Predic, Bratislav and Gonz{\´a}lez-Jim{\´e}nez, Mario and de Lara, Juan and Mischkewitz, Sven and Kainz, Bernhard and van Hoorn, Andr{\´e} and Ferme, Vincenzo and Schulz, Henning and Knigge, Marlene and Hecht, Sonja and Prifti, Loina and Krcmar, Helmut and Fabian, Benjamin and Ermakova, Tatiana and Kelkel, Stefan and Baumann, Annika and Morgenstern, Laura and Plauth, Max and Eberhard, Felix and Wolff, Felix and Polze, Andreas and Cech, Tim and Danz, Noel and Noack, Nele Sina and Pirl, Lukas and Beilharz, Jossekin Jakob and De Oliveira, Roberto C. L. and Soares, F{\´a}bio Mendes and Juiz, Carlos and Bermejo, Belen and M{\"u}hle, Alexander and Gr{\"u}ner, Andreas and Saxena, Vageesh and Gayvoronskaya, Tatiana and Weyand, Christopher and Krause, Mirko and Frank, Markus and Bischoff, Sebastian and Behrens, Freya and R{\"u}ckin, Julius and Ziegler, Adrian and Vogel, Thomas and Tran, Chinh and Moser, Irene and Grunske, Lars and Sz{\´a}rnyas, G{\´a}bor and Marton, J{\´o}zsef and Maginecz, J{\´a}nos and Varr{\´o}, D{\´a}niel and Antal, J{\´a}nos Benjamin},
  title     = {HPI Future SOC Lab - Proceedings 2018},
  number    = {151},
  editor    = {Meinel, Christoph and Polze, Andreas and Beins, Karsten and Strotmann, Rolf and Seibold, Ulrich and R{\"o}dszus, Kurt and M{\"u}ller, J{\"u}rgen},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-547-7},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-56371},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-563712},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {x, 277},
  year      = {2022},
  abstract  = {The "HPI Future SOC Lab" is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2018. Selected projects have presented their results on April 17th and November 14th 2017 at the Future SOC Lab Day events.},
  language  = {en}
}
@book{FreundRaetschHradilaketal.2022,
  author    = {Freund, Rieke and R{\"a}tsch, Jan Philip and Hradilak, Franziska and Vidic, Benedikt and Heß, Oliver and Lißner, Nils and W{\"o}lert, Hendrik and Lincke, Jens and Beckmann, Tom and Hirschfeld, Robert},
  title     = {Implementing a crowd-sourced picture archive for Bad Harzburg},
  number    = {149},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-545-3},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-56029},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-560291},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {x, 191},
  year      = {2022},
  abstract  = {Pictures are a medium that helps make the past tangible and preserve memories. Without context, they are not able to do so. Pictures are brought to life by their associated stories. However, the older pictures become, the fewer contemporary witnesses can tell these stories. Especially for large, analog picture archives, knowledge and memories are spread over many people. This creates several challenges: First, the pictures must be digitized to save them from decaying and make them available to the public. Since a simple listing of all the pictures is confusing, the pictures should be structured accessibly. Second, known information that makes the stories vivid needs to be added to the pictures. Users should get the opportunity to contribute their knowledge and memories. To make this usable for all interested parties, even for older, less technophile generations, the interface should be intuitive and error-tolerant. The resulting requirements are not covered in their entirety by any existing software solution without losing the intuitive interface or the scalability of the system. Therefore, we have developed our digital picture archive within the scope of a bachelor project in cooperation with the Bad Harzburg-Stiftung. For the implementation of this web application, we use the UI framework React in the frontend, which communicates via a GraphQL interface with the Content Management System Strapi in the backend. The use of this system enables our project partner to create an efficient process from scanning analog pictures to presenting them to visitors in an organized and annotated way. To customize the solution for both picture delivery and information contribution for our target group, we designed prototypes and evaluated them with people from Bad Harzburg. This helped us gain valuable insights into our system's usability and future challenges as well as requirements. Our web application is already being used daily by our project partner. During the project, we still came up with numerous ideas for additional features to further support the exchange of knowledge.},
  language  = {en}
}
@book{DuerschReinMattisetal.2022,
  author    = {D{\"u}rsch, Falco and Rein, Patrick and Mattis, Toni and Hirschfeld, Robert},
  title     = {Learning from failure},
  number    = {145},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-528-6},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-53755},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-537554},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {87},
  year      = {2022},
  abstract  = {Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult. Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD? To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure. Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30\% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95\% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5\% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance. We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool.},
  language  = {en}
}
@book{FlottererMaximovaSchneideretal.2022,
  author    = {Flotterer, Boris and Maximova, Maria and Schneider, Sven and Dyck, Johannes and Z{\"o}llner, Christian and Giese, Holger and H{\´e}ly, Christelle and Gaucherel, C{\´e}dric},
  title     = {Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation},
  series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Digital Engineering an der Universit{\"a}t Potsdam},
  journal   = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Digital Engineering an der Universit{\"a}t Potsdam},
  number    = {147},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-533-0},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-54764},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-547643},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {47},
  year      = {2022},
  abstract  = {The dynamics of ecosystems is of crucial importance. Various model-based approaches exist to understand and analyze their internal effects. In this paper, we model the space structure dynamics and ecological dynamics of meta-ecosystems using the formal technique of Graph Transformation (short GT). We build GT models to describe how a meta-ecosystem (modeled as a graph) can evolve over time (modeled by GT rules) and to analyze these GT models with respect to qualitative properties such as the existence of structural stabilities. As a case study, we build three GT models describing the space structure dynamics and ecological dynamics of three different savanna meta-ecosystems. The first GT model considers a savanna meta-ecosystem that is limited in space to two ecosystem patches, whereas the other two GT models consider two savanna meta-ecosystems that are unlimited in the number of ecosystem patches and only differ in one GT rule describing how the space structure of the meta-ecosystem grows. In the first two GT models, the space structure dynamics and ecological dynamics of the meta-ecosystem shows two main structural stabilities: the first one based on grassland-savanna-woodland transitions and the second one based on grassland-desert transitions. The transition between these two structural stabilities is driven by high-intensity fires affecting the tree components. In the third GT model, the GT rule for savanna regeneration induces desertification and therefore a collapse of the meta-ecosystem. We believe that GT models provide a complementary avenue to that of existing approaches to rigorously study ecological phenomena.},
  language  = {en}
}
@book{SchneiderMaximovaGiese2022,
  author    = {Schneider, Sven and Maximova, Maria and Giese, Holger},
  title     = {Probabilistic metric temporal graph logic},
  number    = {146},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-532-3},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-54586},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-545867},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {34},
  year      = {2022},
  abstract  = {Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.},
  language  = {en}
}
@book{SchneiderMaximovaGiese2022,
  author    = {Schneider, Sven and Maximova, Maria and Giese, Holger},
  title     = {Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction},
  number    = {143},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-531-6},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-54585},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-545851},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {37},
  year      = {2022},
  abstract  = {The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.},
  language  = {en}
}
@book{JennekRotherToschetal.2022,
  author    = {Jennek, Julia and Rother, Stefanie and Tosch, Frank and Wendland, Mirko and Kludt, Steffen and Krauskopf, Karsten and Kitschke, Dorothea and Maar, Verena and Knigge, Michel and Gn{\"a}dig, Susanne and Seidel, Astrid and Siehr, Karl-Heinz and Wienecke, Maik and G{\"u}nther, Claudia-Susanne and Reitz-Koncebovski, Karen and Klöpping, Peter M. and K{\"u}choll, Denise and Lazarides, Rebecca and Westphal, Andrea and Scherreiks, Lynn and Kuhr, Linda and Wilbert, J{\"u}rgen and Gronostaj, Anna and Vock, Miriam and Zaruba, Nicole and Ahlgrimm, Frederik and Link, J{\"o}rg-Werner and K{\"o}rner, Dorothea and Barseghyan, Anahit and Glowinski, Ingrid},
  title     = {Professionalisierung in Praxisphasen},
  series = {Potsdamer Beitr{\"a}ge zur Lehrerbildung und Bildungsforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Lehrerbildung und Bildungsforschung},
  number    = {2},
  editor    = {Jennek, Julia},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-508-8},
  issn      = {2626-3556},
  doi       = {10.25932/publishup-50096},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-500964},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {321},
  year      = {2022},
  abstract  = {Schulpraktika bilden die zentrale Grundlage der Lehrerbildung in Potsdam. Bereits im Potsdamer Modell der Lehrerbildung (1993) sind sie festgehalten, seit der Integration des Schulpraktikums (Praxissemesters) 2008 absolvieren alle Potsdamer Lehramtsstudierenden f{\"u}nf Pflichtpraktika. W{\"a}hrend die Ziele der Praktika klar beschrieben sind, sind die tats{\"a}chlichen Lernerfolge nicht immer klar - ebenso wenig, wie die Begleitung der Praktika aussehen muss, um die Studierenden bestm{\"o}glich zu unterst{\"u}tzen. Auch die Integration in weitere Lehrveranstaltungen des Studiums ist ein noch offenes Feld, das weiterer Betrachtung verdient. Die unterschiedliche Ausrichtung der Potsdamer Praktika, Perspektivwechsel im Orientierungs-/Integriertem Eingangspraktikum, Selbstreflektion im Praktikum in p{\"a}dagogisch-psychologischen Handlungsfeldern, Unterricht als Profession in den Fachdidaktischen Tagespraktika, Anwendung von Diagnostik im psychodiagnostischen Praktikum und die Synthese all dessen im Schulpraktikum, bieten daf{\"u}r zahlreiche Ansatzpunkte. Schulpraktika sind nicht nur ein zentraler und von Studierenden hoch gesch{\"a}tzter Bestandteil des Studiums, sondern werden auch zunehmend f{\"u}r die Bildungsforschung interessant. Fragen nach der Kompetenzentwicklung, Selbsteinsch{\"a}tzungen und der Entwicklung der Reflexionsf{\"a}higkeit von Studierenden stehen dabei ebenso im Fokus wie die Einsch{\"a}tzung der universit{\"a}ren Begleitung und der Einbindung ins weitere Studium. Der vorliegende Band versammelt Studien von Wissenschaftlerinnen und Wissenschaftler der Universit{\"a}t Potsdam, die die f{\"u}nf Pflichtpraktika im Lehramtsstudium unter unterschiedlichen Blickwinkel beforschen. Besonders hervorzuheben ist, dass die Wissenschaftlerinnen und Wissenschaftler aus unterschiedlichen Disziplinen stammen und somit die Praktika mit verschiedenen Instrumenten und aus unterschiedlichen Blickwinkeln betrachten. Die pr{\"a}sentierten Ergebnisse bilden eine gute Grundlage, um die Praktika in Potsdam und an anderen Standorten weiterzuentwickeln.},
  language  = {de}
}
@book{MeinelWillemsStaubitzetal.2022,
  author    = {Meinel, Christoph and Willems, Christian and Staubitz, Thomas and Sauer, Dominic and Hagedorn, Christiane},
  title     = {openHPI},
  number    = {150},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-546-0},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-56179},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-561792},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {86},
  year      = {2022},
  abstract  = {Anl{\"a}sslich des 10-j{\"a}hrigen Jubil{\"a}ums von openHPI informiert dieser technische Bericht {\"u}ber die HPI-MOOC-Plattform einschließlich ihrer Kernfunktionen, Technologie und Architektur. In einer Einleitung wird die Plattformfamilie mit allen Partnerplattformen vorgestellt; diese belaufen sich inklusive openHPI aktuell auf neun Plattformen. In diesem Abschnitt wird außerdem gezeigt, wie openHPI als Berater und Forschungspartner in verschiedenen Projekten fungiert. Im zweiten Kapitel werden die Funktionalit{\"a}ten und g{\"a}ngigen Kursformate der Plattform pr{\"a}sentiert. Die Funktionalit{\"a}ten sind in Lerner- und Admin-Funktionen unterteilt. Der Bereich Lernerfunktionen bietet detaillierte Informationen zu Leistungsnachweisen, Kursen und den Lernmaterialien, aus denen sich ein Kurs zusammensetzt: Videos, Texte und Quiz. Dar{\"u}ber hinaus k{\"o}nnen die Lernmaterialien durch externe {\"U}bungstools angereichert werden, die {\"u}ber den Standard Learning Tools Interoperability (LTI) mit der HPI MOOC-Plattform kommunizieren. Das Konzept der Peer-Assessments rundet die m{\"o}glichen Lernmaterialien ab. Der Abschnitt geht dann weiter auf das Diskussionsforum ein, das einen grundlegenden Unterschied von MOOCs im Vergleich zu traditionellen E-Learning-Angeboten darstellt. Zum Abschluss des Abschnitts folgen eine Beschreibung von Quiz-Recap, Lernzielen, mobilen Anwendungen, spielerischen Lernens und dem Helpdesk. Der n{\"a}chste Teil dieses Kapitels besch{\"a}ftigt sich mit den Admin-Funktionen. Die Funktionalit{\"a}tsbeschreibung beschr{\"a}nkt sich Neuigkeiten und Ank{\"u}ndigungen, Dashboards und Statistiken, Berichtsfunktionen, Forschungsoptionen mit A/B-Tests, den Kurs-Feed und das TransPipe-Tool zur Unterst{\"u}tzung beim Erstellen von automatischen oder manuellen Untertiteln. Die Plattform unterst{\"u}tzt außerdem eine Vielzahl zus{\"a}tzlicher Funktionen, doch eine detaillierte Beschreibung dieser Funktionen w{\"u}rde den Rahmen des Berichts sprengen. Das Kapitel geht dann auf g{\"a}ngige Kursformate und openHPI-Lehrveranstaltungen am HPI ein, bevor es mit einigen Best Practices f{\"u}r die Gestaltung und Durchf{\"u}hrung von Kursen schließt. Zum Abschluss des technischen Berichts gibt das letzte Kapitel eine Zusammenfassung und einen Ausblick auf die Zukunft der digitalen Bildung. Ein besonderes Merkmal des openHPI-Projekts ist die bewusste Entscheidung, die komplette Anwendung von den physischen Netzwerkkomponenten bis zur Plattformentwicklung eigenst{\"a}ndig zu betreiben. Bei der vorliegenden deutschen Variante handelt es sich um eine gek{\"u}rzte {\"U}bersetzung des technischen Berichts 148, bei der kein Einblick in die Technologien und Architektur von openHPI gegeben wird. Interessierte Leser:innen k{\"o}nnen im technischen Bericht 148 (vollst{\"a}ndige englische Version) detaillierte Informationen zum Rechenzentrum und den Ger{\"a}ten, der Cloud-Software und dem openHPI Cloud Service aber auch zu Infrastruktur-Anwendungskomponenten wie Entwicklungstools, Automatisierung, Deployment-Pipeline und Monitoring erhalten. Außerdem finden sich dort weitere Informationen {\"u}ber den Technologiestack und konkrete Implementierungsdetails der Plattform inklusive der serviceorientierten Ruby on Rails-Anwendung, die Kommunikation zwischen den Diensten, {\"o}ffentliche APIs, sowie Designsystem und -komponenten. Der Abschnitt schließt mit einer Diskussion {\"u}ber die urspr{\"u}ngliche Microservice-Architektur und die Migration zu einer monolithischen Anwendung.},
  language  = {de}
}
@book{MeinelWillemsStaubitzetal.2022,
  author    = {Meinel, Christoph and Willems, Christian and Staubitz, Thomas and Sauer, Dominic and Hagedorn, Christiane},
  title     = {openHPI},
  number    = {148},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-544-6},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-56020},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-560208},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {125},
  year      = {2022},
  abstract  = {On the occasion of the 10th openHPI anniversary, this technical report provides information about the HPI MOOC platform, including its core features, technology, and architecture. In an introduction, the platform family with all partner platforms is presented; these now amount to nine platforms, including openHPI. This section introduces openHPI as an advisor and research partner in various projects. In the second chapter, the functionalities and common course formats of the platform are presented. The functionalities are divided into learner and admin features. The learner features section provides detailed information about performance records, courses, and the learning materials of which a course is composed: videos, texts, and quizzes. In addition, the learning materials can be enriched by adding external exercise tools that communicate with the HPI MOOC platform via the Learning Tools Interoperability (LTI) standard. Furthermore, the concept of peer assessments completed the possible learning materials. The section then proceeds with further information on the discussion forum, a fundamental concept of MOOCs compared to traditional e-learning offers. The section is concluded with a description of the quiz recap, learning objectives, mobile applications, gameful learning, and the help desk. The next part of this chapter deals with the admin features. The described functionality is restricted to describing the news and announcements, dashboards and statistics, reporting capabilities, research options with A/B testing, the course feed, and the TransPipe tool to support the process of creating automated or manual subtitles. The platform supports a large variety of additional features, but a detailed description of these features goes beyond the scope of this report. The chapter then elaborates on common course formats and openHPI teaching activities at the HPI. The chapter concludes with some best practices for course design and delivery. The third chapter provides insights into the technology and architecture behind openHPI. A special characteristic of the openHPI project is the conscious decision to operate the complete application from bare metal to platform development. Hence, the chapter starts with a section about the openHPI Cloud, including detailed information about the data center and devices, the used cloud software OpenStack and Ceph, as well as the openHPI Cloud Service provided for the HPI. Afterward, a section on the application technology stack and development tooling describes the application infrastructure components, the used automation, the deployment pipeline, and the tools used for monitoring and alerting. The chapter is concluded with detailed information about the technology stack and concrete platform implementation details. The section describes the service-oriented Ruby on Rails application, inter-service communication, and public APIs. It also provides more information on the design system and components used in the application. The section concludes with a discussion of the original microservice architecture, where we share our insights and reasoning for migrating back to a monolithic application. The last chapter provides a summary and an outlook on the future of digital education.},
  language  = {en}
}
@book{BossenTellischFalkyetal.2022,
  author    = {Bossen, Anja and Tellisch, Christin and Falky, Paulina and Lipp, Alexander and Feneberg, Phillip and Wittram, Karin and Beckmann, Susanne and Karow, Torsten},
  title     = {Perspektiven eines fach{\"u}bergreifenden Musikunterrichts},
  series = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  journal   = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  number    = {9},
  editor    = {Bossen, Anja and Tellisch, Christin},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-535-4},
  issn      = {1861-8529},
  doi       = {10.25932/publishup-54863},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-548638},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {159},
  year      = {2022},
  abstract  = {Kaum einem anderen Unterrichtsfach ist das Fach{\"u}bergreifende so immanent wie dem Fach Musik, das durch seine Themen- und Inhaltsfelder vielf{\"a}ltige Bez{\"u}ge zu anderen F{\"a}chern und Wissenschaftsdisziplinen aufweist. Dennoch l{\"a}sst sich bez{\"u}glich der Literatur- und Forschungslage konstatieren, dass zwar theoretische Ans{\"a}tze und Modelle f{\"u}r einen fach{\"u}bergreifenden Musikunterricht existieren, sich die musikp{\"a}dagogische Forschung jedoch mit dem fach{\"u}bergreifenden Musikunterricht und dessen Umsetzung durch die Musiklehrkr{\"a}fte noch nicht befasst hat. Auch die Zahl der praxisbezogenen Publikationen f{\"u}r einen fach{\"u}bergreifenden Musikunterricht ist {\"u}berschaubar, ebenso das Fortbildungsangebot f{\"u}r Musiklehrende. Aus diesem Grund widmet sich der vorliegende Band 9 der „Potsdamer Schriftenreihe zur Musikp{\"a}dagogik" dem Thema „Fach{\"u}bergreifender Musikunterricht" aus verschiedenen Perspektiven. Zum einen bilden die derzeit aktuellen theoretischen Grundlagen eine wichtige Basis. Zum anderen fließen auch ausbildungsrelevante und methodische Aspekte zur Umsetzung eines fach{\"u}bergreifenden Musikunterrichts in die Texte ein. In bew{\"a}hrter Tradition der Schriftenreihe werden dabei sowohl Beitr{\"a}ge von Lehrenden am Lehrstuhl f{\"u}r Musikp{\"a}dagogik und Musikdidaktik der Universit{\"a}t Potsdam als auch von Studierenden sowie von Kooperationspartnern des Lehrstuhls in der Musiklehrer*innenbildung ber{\"u}cksichtigt. Ziel ist es, auf der Basis verschiedener theoretischer Ans{\"a}tze Umsetzungsm{\"o}glichkeiten eines fach{\"u}bergreifenden Musikunterrichts als Beitrag zum Erreichen der im Teil B des Rahmenlehrplans f{\"u}r Berlin und Brandenburg angef{\"u}hrten fach{\"u}bergreifenden Kompetenzziele aufzuzeigen.},
  language  = {de}
}
@book{KlinkeVerhoevenRothetal.2022,
  author    = {Klinke, Paula and Verhoeven, Silvan and Roth, Felix and Hagemann, Linus and Alnawa, Tarik and Lincke, Jens and Rein, Patrick and Hirschfeld, Robert},
  title     = {Tool support for collaborative creation of interactive storytelling media},
  number    = {141},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-521-7},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-51857},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-518570},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {x, 167},
  year      = {2022},
  abstract  = {Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer's vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.},
  language  = {en}
}
@book{SchmidtWagnerSchwerdtfegeretal.2022,
  author    = {Schmidt, Thorsten Ingo and Wagner, Dieter and Schwerdtfeger, Roswitha and Sch{\"a}fer, Andrea and Musil, Andreas and Edeling, Thomas and Bauer, Hartmut and Kinyakin, Andrey and Loladze, Besik and Nehls, Danny and Maaß, Christian and Kuhlmann, Sabine and Kuckei, Daniel A. and Hein, Victoria and Wille, Robert and Franzke, Jochen and B{\"u}chner, Christiane},
  title     = {Festschrift f{\"u}r Dr. Christiane B{\"u}chner in W{\"u}rdigung ihres Wirkens am Kommunalwissenschaftlichen Institut (1994-2022)},
  series = {KWI Schriften},
  journal   = {KWI Schriften},
  number    = {13},
  editor    = {Franzke, Jochen},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-529-3},
  issn      = {1867-951X},
  doi       = {10.25932/publishup-54498},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-544987},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {125},
  year      = {2022},
  abstract  = {Diese eher ungew{\"o}hnliche, aber sehr pers{\"o}nlich gehaltene Festschrift ist dem lang­j{\"a}hrigen Wirken von Dr. Christiane B{\"u}chner als „Gesch{\"a}ftsf{\"u}hrerin" am Kommunal­wissenschaftlichen Institut (KWI) der Universit{\"a}t Potsdam gewidmet. Die von Prof. Jochen Franzke zusammengestellte und herausgegebene Publikation enth{\"a}lt im ersten Teil neben dem Grußwort des Gesch{\"a}ftsf{\"u}hrenden Direktors des KWI Herrn Prof. Thorsten Ingo Schmidt eine Reihe pers{\"o}nlicher W{\"u}rdigungen von Kolleginnen und Kollegen, Gastwissenschaftlern und Mitarbeitenden, die seit 1994 in verschiedenen Phasen der Entwicklung des KWIs mit Dr. Christiane B{\"u}chner eng zusammengearbeitet haben. Der abschließende Dokumentationsteil der Publikation enth{\"a}lt neben Ausz{\"u}gen aus dem Schriftenverzeichnis von Dr. Christiane B{\"u}chner auch zwei Nachdrucke aus deren Feder zum Thema der Kreisgebietsreform in Brandenburg (von 2001) sowie {\"u}ber den Landkreis Barnim (von 2019).},
  language  = {de}
}
@book{EichenrothReinHirschfeld2022,
  author    = {Eichenroth, Friedrich and Rein, Patrick and Hirschfeld, Robert},
  title     = {Fast packrat parsing in a live programming environment},
  series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Digital Engineering an der Universit{\"a}t Potsdam},
  journal   = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Digital Engineering an der Universit{\"a}t Potsdam},
  number    = {135},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-503-3},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-49124},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-491242},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {79},
  year      = {2022},
  abstract  = {Language developers who design domain-specific languages or new language features need a way to make fast changes to language definitions. Those fast changes require immediate feedback. Also, it should be possible to parse the developed languages quickly to handle extensive sets of code. Parsing expression grammars provides an easy to understand method for language definitions. Packrat parsing is a method to parse grammars of this kind, but this method is unable to handle left-recursion properly. Existing solutions either partially rewrite left-recursive rules and partly forbid them, or use complex extensions to packrat parsing that are hard to understand and cost-intensive. We investigated methods to make parsing as fast as possible, using easy to follow algorithms while not losing the ability to make fast changes to grammars. We focused our efforts on two approaches. One is to start from an existing technique for limited left-recursion rewriting and enhance it to work for general left-recursive grammars. The second approach is to design a grammar compilation process to find left-recursion before parsing, and in this way, reduce computational costs wherever possible and generate ready to use parser classes. Rewriting parsing expression grammars is a task that, if done in a general way, unveils a large number of cases such that any rewriting algorithm surpasses the complexity of other left-recursive parsing algorithms. Lookahead operators introduce this complexity. However, most languages have only little portions that are left-recursive and in virtually all cases, have no indirect or hidden left-recursion. This means that the distinction of left-recursive parts of grammars from components that are non-left-recursive holds great improvement potential for existing parsers. In this report, we list all the required steps for grammar rewriting to handle left-recursion, including grammar analysis, grammar rewriting itself, and syntax tree restructuring. Also, we describe the implementation of a parsing expression grammar framework in Squeak/Smalltalk and the possible interactions with the already existing parser Ohm/S. We quantitatively benchmarked this framework directing our focus on parsing time and the ability to use it in a live programming context. Compared with Ohm, we achieved massive parsing time improvements while preserving the ability to use our parser it as a live programming tool. The work is essential because, for one, we outlined the difficulties and complexity that come with grammar rewriting. Also, we removed the existing limitations that came with left-recursion by eliminating them before parsing.},
  language  = {en}
}
@book{GerkenUebernickeldePaula2022,
  author    = {Gerken, Stefanie and Uebernickel, Falk and de Paula, Danielly},
  title     = {Design Thinking: a Global Study on Implementation Practices in Organizations},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-525-5},
  doi       = {10.25932/publishup-53466},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-534668},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {230},
  year      = {2022},
  abstract  = {These days design thinking is no longer a "new approach". Among practitioners, as well as academics, interest in the topic has gathered pace over the last two decades. However, opinions are divided over the longevity of the phenomenon: whether design thinking is merely "old wine in new bottles," a passing trend, or still evolving as it is being spread to an increasing number of organizations and industries. Despite its growing relevance and the diffusion of design thinking, knowledge on the actual status quo in organizations remains scarce. With a new study, the research team of Prof. Uebernickel and Stefanie Gerken investigates temporal developments and changes in design thinking practices in organizations over the past six years comparing the results of the 2015 "Parts without a whole" study with current practices and future developments. Companies of all sizes and from different parts of the world participated in the survey. The findings from qualitative interviews with experts, i.e., people who have years of knowledge with design thinking, were cross-checked with the results from an exploratory analysis of the survey data. This analysis uncovers significant variances and similarities in how design thinking is interpreted and applied in businesses.},
  language  = {en}
}
@book{MeinelJohnWollowski2022,
  author    = {Meinel, Christoph and John, Catrina and Wollowski, Tobias},
  title     = {Die HPI Schul-Cloud - Von der Vision zur digitale Infrastruktur f{\"u}r deutsche Schulen},
  number    = {144},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-526-2},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-53586},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-535860},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {v, 77},
  year      = {2022},
  abstract  = {Digitale Medien sind aus unserem Alltag kaum noch wegzudenken. Einer der zentralsten Bereiche f{\"u}r unsere Gesellschaft, die schulische Bildung, darf hier nicht hintanstehen. Wann immer der Einsatz digital unterst{\"u}tzter Tools p{\"a}dagogisch sinnvoll ist, muss dieser in einem sicheren Rahmen erm{\"o}glicht werden k{\"o}nnen. Die HPI Schul-Cloud ist dieser Vision gefolgt, die vom Nationalen IT-Gipfel 2016 angestoßen wurde und dem Bericht vorangestellt ist - gefolgt. Sie hat sich in den vergangenen f{\"u}nf Jahren vom Pilotprojekt zur unverzichtbaren IT-Infrastruktur f{\"u}r zahlreiche Schulen entwickelt. W{\"a}hrend der Corona-Pandemie hat sie f{\"u}r viele Tausend Schulen wichtige Unterst{\"u}tzung bei der Umsetzung ihres Bildungsauftrags geboten. Das Ziel, eine zukunftssichere und datenschutzkonforme Infrastruktur zur digitalen Unterst{\"u}tzung des Unterrichts zur Verf{\"u}gung zu stellen, hat sie damit mehr als erreicht. Aktuell greifen rund 1,4 Millionen Lehrkr{\"a}fte und Sch{\"u}lerinnen und Sch{\"u}ler bundesweit und an den deutschen Auslandsschulen auf die HPI Schul-Cloud zu.},
  language  = {de}
}
@book{WeissVerlaanVasquezCarruthersetal.2022,
  author    = {Weiß, Norman and Verlaan, Stephanie and Vasquez Carruthers, Juan Francisco and Mair, Theresa and Conner, Sean and Maaser, Lucas and R{\"o}thlisberger, Livia},
  title     = {Transitional Justice},
  series = {Potsdamer Studien zu Staat, Recht und Politik},
  journal   = {Potsdamer Studien zu Staat, Recht und Politik},
  number    = {7},
  editor    = {Weiß, Norman},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-473-9},
  issn      = {1869-2443},
  doi       = {10.25932/publishup-43171},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-431711},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {194},
  year      = {2022},
  abstract  = {This publication deals with the topic of transitional justice. In six case studies, the authors link theoretical and practical implications in order to develop some innovative approaches. Their proposals might help to deal more effectively with the transition of societies, legal orders and political systems. Young academics from various backgrounds provide fresh insights and demonstrate the relevance of the topic. The chapters analyse transitions and conflicts in Sierra Leone, Argentina, Nicaragua, Nepal, and South Sudan as well as Germany's colonial genocide in Namibia. Thus, the book provides the reader with new insights and contributes to the ongoing debate about transitional justice.},
  language  = {en}
}
@book{AscheBrechenmacherBiermannetal.2022,
  author    = {Asche, Matthias and Brechenmacher, Thomas and Biermann, Felix and Partenheimer, Lutz and Folwarczny, Uwe and Niggemann, Ulrich and G{\"o}se, Frank and H{\"o}pel, Thomas and Czech, Vinzenz and Yaldiz, Yunus and Martin, Angela and Bahl, Peter and Schenck, Marcia C. and Gl{\"o}ckner, Olaf},
  title     = {Hier geblieben?},
  editor    = {Asche, Matthias and Brechenmacher, Thomas},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-506-4},
  doi       = {10.25932/publishup-49936},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-499360},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {262},
  year      = {2022},
  abstract  = {Die historische Forschung hat seit l{\"a}ngerem herausgearbeitet, dass Migration nichts von einer Norm Abweichendes ist, sondern vielmehr ein »konstitutives Element der Menschheitsgeschichte« (J. Oltmer), der Mensch mithin stets ein »homo migrans« (K.-J. Bade) war. Auch die Geschichte Brandenburgs wurde seit jeher von Einwanderungsprozessen gepr{\"a}gt. Von »Toleranz« im modernen Sinne kann freilich keine Rede sein, sondern meistens ging es um {\"o}konomisch nutzbringende Aufnahme bestimmter Gruppen. Sehr oft waren die Ansiedlungen aber auch das Ergebnis von Flucht, Vertreibung und kriegerischer Gewalt. Der vorliegende Band zeigt anhand von Beispielen vom fr{\"u}hen Mittelalter bis zur Gegenwart die Bedeutung der Zuwanderung f{\"u}r Brandenburg auf. Der Bogen reicht von der slawischen Einwanderung des 8./9. Jahrhunderts bis zur Ankunft russisch-j{\"u}discher »Kontingentfl{\"u}chtlinge« im Gefolge der deutschen Wiedervereinigung, von Niederl{\"a}ndern, Juden, Hugenotten, Revolutionsfl{\"u}chtlingen in der Fr{\"u}hen Neuzeit bis hin zu Muslimen, Zwangsarbeitern, Vertriebenen und DDR-»Fremdarbeitern« im 20. Jahrhundert - eine Geschichte der Vielfalt des brandenburgischen Raumes und seiner Bev{\"o}lkerung im Spiegel der Zuwanderung.},
  language  = {de}
}