TY - JOUR A1 - Bayerstadler, Andreas A1 - Becquin, Guillaume A1 - Binder, Julia A1 - Botter, Thierry A1 - Ehm, Hans A1 - Ehmer, Thomas A1 - Erdmann, Marvin A1 - Gaus, Norbert A1 - Harbach, Philipp A1 - Hess, Maximilian A1 - Klepsch, Johannes A1 - Leib, Martin A1 - Luber, Sebastian A1 - Luckow, Andre A1 - Mansky, Maximilian A1 - Mauerer, Wolfgang A1 - Neukart, Florian A1 - Niedermeier, Christoph A1 - Palackal, Lilly A1 - Pfeiffer, Ruben A1 - Polenz, Carsten A1 - Sepulveda, Johanna A1 - Sievers, Tammo A1 - Standen, Brian A1 - Streif, Michael A1 - Strohm, Thomas A1 - Utschig-Utschig, Clemens A1 - Volz, Daniel A1 - Weiss, Horst A1 - Winter, Fabian T1 - Industry quantum computing applications JF - EPJ Quantum Technology N2 - Quantum computing promises to overcome computational limitations with better and faster solutions for optimization, simulation, and machine learning problems. Europe and Germany are in the process of successfully establishing research and funding programs with the objective to dvance the technology’s ecosystem and industrialization, thereby ensuring digital sovereignty, security, and competitiveness. Such an ecosystem comprises hardware/software solution providers, system integrators, and users from research institutions, start-ups, and industry. The vision of the Quantum Technology and Application Consortium (QUTAC) is to establish and advance the quantum computing ecosystem, supporting the ambitious goals of the German government and various research programs. QUTAC is comprised of ten members representing different industries, in particular automotive manufacturing, chemical and pharmaceutical production, insurance, and technology. In this paper, we survey the current state of quantum computing in these sectors as well as the aerospace industry and identify the contributions of QUTAC to the ecosystem. We propose an application-centric approach for the industrialization of the technology based on proven business impact. This paper identifies 24 different use cases. By formalizing high-value use cases into well-described reference problems and benchmarks, we will guide technological progress and eventually commercialization. Our results will be beneficial to all ecosystem participants, including suppliers, system integrators, software developers, users, policymakers, funding program managers, and investors. KW - Benchmarks KW - Industry application KW - Quantum computing KW - QUTAC KW - Reference problems Y1 - 2021 U6 - https://doi.org/10.1140/epjqt/s40507-021-00114-x VL - 8 SP - 1 EP - 17 PB - Springer ER - TY - INPR A1 - Murr, Florian A1 - Mauerer, Wolfgang T1 - McFSM: Near Turing-Complete Finite-State Based Programming N2 - Finite state machines (FSMs) are an appealing mechanism for simple practical computations: They lend themselves to very effcient and deterministic implementation, are easy to understand, and allow for formally proving many properties of interest. Unfortunately, their computational power is deemed insuffcient for many tasks, and their usefulness has been further hampered by the state space explosion problem and other issues when naïvely trying to scale them to sizes large enough for many real–life applications. This paper expounds on theory and implementation of multiple coupled fnite state machines (McFSMs), a novel mechanism that combines benefits of FSMs with near Turing-complete, practical computing power, and that was designed from the ground up to support static analysis and reasoning. We develop an elaborate category–theoretical foundation based on non–deterministic Mealy machines, which gives a suitable algebraic description for novel ways of blending di#erent computing models. Our experience is based on a domain specific language and an integrated development environment that can compile McFSM models to multiple target languages, applying it to use-cases based on industrial scenarios. We discuss properties and advantages of McFSMs, explain how the mechanism can interact with real–world systems and existing code without sacrificing provability, determinism or performance. We discuss how McFSMs can be used to replace and improve on commonly employed programming patterns, and show how their effcient handling of large state spaces enables them to be used as core building blocks for distributed, safety critical, and real–time systems of industrial complexity, which contributes to the longdesired goal of providing executable specifications. KW - Finite state machines KW - Mealy machines KW - automata KW - coupled machines KW - executable specifcation KW - category theory KW - generative approaches KW - formal models KW - static analysis Y1 - 2021 UR - https://www.lfdr.de/Publications/2021/MuMa21.pdf ER - TY - GEN A1 - Mauerer, Wolfgang A1 - Joblin, Mitchell A1 - Tamburri, Damian Andrew A1 - Paradis, Carlos A1 - Kazman, Rick A1 - Apel, Sven T1 - In Search of Socio-Technical Congruence: A Large-Scale Longitudinal Study [Data set] Y1 - 2021 U6 - https://doi.org/10.5281/zenodo.4766388 N1 - Archive of the accompanying website including all datasets for "In Search of Socio-Technical Congruence: A Large-Scale Longitudinal Study" (IEEE Transactions on Software Engineering): https://doi.org/10.1109/TSE.2021.3082074 ER - TY - GEN A1 - Mauerer, Wolfgang A1 - Scherzinger, Stefanie T1 - Nullius in Verba - Reproducibility Tutorial [Data set] N2 - Reproduction package (docker image) for the ICDE 2021 tutorial "Nullius in Verba". Y1 - 2021 U6 - https://doi.org/10.5281/zenodo.4730023 N1 - In Verbindung mit dem Konferenzbeitrag: Nullius in Verba: Reproducibility for Database Systems Research, Revisited - https://doi.org/10.1109/ICDE51399.2021.00270 ER -