@article{BayerstadlerBecquinBinderetal., author = {Bayerstadler, Andreas and Becquin, Guillaume and Binder, Julia and Botter, Thierry and Ehm, Hans and Ehmer, Thomas and Erdmann, Marvin and Gaus, Norbert and Harbach, Philipp and Hess, Maximilian and Klepsch, Johannes and Leib, Martin and Luber, Sebastian and Luckow, Andre and Mansky, Maximilian and Mauerer, Wolfgang and Neukart, Florian and Niedermeier, Christoph and Palackal, Lilly and Pfeiffer, Ruben and Polenz, Carsten and Sepulveda, Johanna and Sievers, Tammo and Standen, Brian and Streif, Michael and Strohm, Thomas and Utschig-Utschig, Clemens and Volz, Daniel and Weiss, Horst and Winter, Fabian}, title = {Industry quantum computing applications}, series = {EPJ Quantum Technology}, volume = {8}, journal = {EPJ Quantum Technology}, publisher = {Springer}, organization = {Springer}, doi = {10.1140/epjqt/s40507-021-00114-x}, pages = {1 -- 17}, abstract = {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.}, language = {en} } @unpublished{MurrMauerer, author = {Murr, Florian and Mauerer, Wolfgang}, title = {McFSM: Near Turing-Complete Finite-State Based Programming}, pages = {11}, abstract = {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{\"i}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.}, language = {en} } @misc{MauererJoblinTamburrietal., author = {Mauerer, Wolfgang and Joblin, Mitchell and Tamburri, Damian Andrew and Paradis, Carlos and Kazman, Rick and Apel, Sven}, title = {In Search of Socio-Technical Congruence: A Large-Scale Longitudinal Study [Data set]}, doi = {10.5281/zenodo.4766388}, language = {en} } @misc{MauererScherzinger, author = {Mauerer, Wolfgang and Scherzinger, Stefanie}, title = {Nullius in Verba - Reproducibility Tutorial [Data set]}, doi = {10.5281/zenodo.4730023}, abstract = {Reproduction package (docker image) for the ICDE 2021 tutorial "Nullius in Verba".}, language = {en} }