TY - JOUR A1 - Mauerer, Wolfgang A1 - Sawallisch, J. A1 - Hillier, G. A1 - Oberthür, S. A1 - Hönick, S. T1 - Real-Time Android: Achieving determinism and ease of use JF - Embedded Wold Conference; Nuremberg, Germany, February 25, 2014 - February 27, 2014 Y1 - 2014 UR - http://www.linuxtag.org/2012/fileadmin/www.linuxtag.org/slides/Gernot%20Hillier%20+%20Wolfgang%20Mauerer%20+%20Jan%20Sawallisch%20-%20Android_%20real-time%20for%20the%20rest%20of%20us.p416.pdf SP - 1 EP - 7 ER - TY - JOUR A1 - Rohde, Peter P. A1 - Mauerer, Wolfgang A1 - Silberhorn, Christine T1 - Spectral structure and decompositions of optical states, and their applications JF - New Journal of Physics N2 - We discuss the spectral structure and decomposition of multi-photon states. Ordinarily 'multi-photon states' and 'Fock states' are regarded as synonymous. However, when the spectral degrees of freedom are included this is not the case, and the class of 'multi-photon' states is much broader than the class of 'Fock' states. We discuss the criteria for a state to be considered a Fock state. We then address the decomposition of general multi-photon states into bases of orthogonal eigenmodes, building on existing multi-mode theory, and introduce an occupation number representation that provides an elegant description of such states. This representation allows us to work in bases imposed by experimental constraints, simplifying calculations in many situations. Finally we apply this technique to several example situations, which are highly relevant for state of the art experiments. These include Hong–Ou–Mandel interference, spectral filtering, finite bandwidth photo-detection, homodyne detection and the conditional preparation of Schrödinger kitten and Fock states. Our techniques allow for very simple descriptions of each of these examples. Y1 - 2007 U6 - https://doi.org/10.1088/1367-2630/9/4/091 VL - 9 IS - 4 PB - IOP Publishing ER - TY - JOUR A1 - Helwig, Wolfram A1 - Mauerer, Wolfgang A1 - Silberhorn, Christine T1 - Multimode states in decoy-based quantum-key-distribution protocols JF - Physical Review A N2 - Every security analysis of quantum-key distribution (QKD) relies on a faithful modeling of the employed quantum states. Many photon sources, such as for instance a parametric down-conversion (PDC) source, require a multimode description but are usually only considered in a single-mode representation. In general, the important claim in decoy-based QKD protocols for indistinguishability between signal and decoy states does not hold for all sources. We derive bounds on the single-photon transmission probability and error rate for multimode states and apply these bounds to the output state of a PDC source. We observe two opposing effects on the secure key rate. First, the multimode structure of the state gives rise to a new attack that decreases the key rate. Second, more contributing modes change the photon number distribution from a thermal toward a Poissonian distribution, which increases the key rate. Y1 - 2009 U6 - https://doi.org/10.1103/physreva.80.052326 VL - 80 IS - 5 PB - American Physical Society ER - TY - JOUR A1 - Mauerer, Wolfgang A1 - Helwig, Wolfram A1 - Silberhorn, Christine T1 - Recent developments in quantum key distribution: Theory and practice JF - Annalen der Physik N2 - Quantum key distribution is among the foremost applications of quantum mechanics, both in terms of fundamental physics and as a technology on the brink of commercial deployment. Starting from principal schemes and initial proofs of unconditional security for perfect systems, much effort has gone into providing secure schemes which can cope with numerous experimental imperfections unavoidable in real world implementations. In this paper, we provide a comparison of various schemes and protocols. We analyse their efficiency and performance when implemented with imperfect physical components. We consider how experimental faults are accounted for using effective parameters. We compare various recent protocols and provide guidelines as to which components propose best advances when being improved. KW - experimental imperfections KW - quantum communication KW - Quantum cryptography Y1 - 2008 U6 - https://doi.org/10.1002/andp.200710284 VL - 17 IS - 2-3 SP - 158 EP - 175 PB - Wiley ER - TY - JOUR A1 - Avenhaus, Malte A1 - Coldenstrodt-Ronge, Hendrik B. A1 - Laiho, K. A1 - Mauerer, Wolfgang A1 - Walmsley, I. A. A1 - Silberhorn, Christine T1 - Photon Number Statistics of Multimode Parametric Down-Conversion JF - Physical Review Letters N2 - We experimentally analyze the complete photon number statistics of parametric down-conversion and ascertain the influence of multimode effects. Our results clearly reveal a difference between single-mode theoretical description and the measured distributions. Further investigations assure the applicability of loss-tolerant photon number reconstruction and prove strict photon number correlation between signal and idler modes. Y1 - 2008 U6 - https://doi.org/10.1103/physrevlett.101.053601 VL - 101 IS - 5 PB - American Physical Society ER - TY - JOUR A1 - Mauerer, Wolfgang A1 - Silberhorn, Christine T1 - Quantum key distribution with passive decoy state selection JF - Physical Review A N2 - We propose a quantum key distribution scheme which closely matches the performance of a perfect single photon source. It nearly attains the physical upper bound in terms of key generation rate and maximally achievable distance. Our scheme relies on a practical setup based on a parametric downconversion source and present day, nonideal photon-number detection. Arbitrary experimental imperfections which lead to bit errors are included. We select decoy states by classical postprocessing. This allows one to improve the effective signal statistics and achievable distance. Y1 - 2007 U6 - https://doi.org/10.1103/physreva.75.050305 VL - 75 IS - 5 PB - American Physical Society ER - TY - BOOK A1 - Mauerer, Wolfgang T1 - Professional Linux kernel architecture T3 - Wrox professional guides N2 - Find an introduction to the architecture, concepts and algorithms of the Linux kernel in Professional Linux Kernel Architecture, a guide to the kernel sources and large number of connections among subsystems. Find an introduction to the relevant structures and functions exported by the kernel to userland, understand the theoretical and conceptual aspects of the Linux kernel and Unix derivatives, and gain a deeper understanding of the kernel. Learn how to reduce the vast amount of information contained in the kernel sources and obtain the skills necessary to understand the kernel sources. KW - Architektur KW - Kernel KW - Linux Y1 - 2008 SN - 9780470343432 PB - Wiley CY - Indianapolis ER - TY - JOUR A1 - Mauerer, Wolfgang T1 - Datenvisualisierung mit Ggplot2 JF - Linux-Magazin N2 - Wer seine Daten mit ansehnlichen und informativen Graphen veranschaulichen möchte, braucht meist viel Geduld. Die R-Erweiterung Ggplot2 bringt System in die Grafik, drückt sich in knappem Quellcode aus und bläst frischen Wind in den Alltag der Datenvisualisierung. Y1 - 2012 UR - www.linux-magazin.de/Heft-Abo/Ausgaben/2012/03/Ggplot2 IS - 3 PB - Linux New Media AG ER - TY - BOOK A1 - Mauerer, Wolfgang T1 - Linux-Kernelarchitektur : Konzepte Strukturen und Algorithmen von Kernel 2.6 KW - Kernel KW - LINUX 2.6 Y1 - 2004 SN - 9783446225664 PB - Hanser CY - München ER - TY - BOOK A1 - Mauerer, Wolfgang T1 - Textverarbeitung mit LATEX 2e [2 epsilon] unter UNIX KW - LATEX 2E KW - Textverarbeitung KW - UNIX Y1 - 1997 SN - 9783446189096 PB - Hanser CY - München ER - TY - JOUR A1 - Mauerer, Wolfgang T1 - Gimp-Perl: Gimp scripting for the rest of us JF - Linux Gazette Y1 - 2000 UR - https://linuxgazette.net/issue51/mauerer.html SN - 1934-371X IS - 51 ER - TY - CHAP A1 - Murr, Florian A1 - Mauerer, Wolfgang T1 - McFSM: Globally Taming Complex Systems T2 - 2017 IEEE/ACM 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 21-21 May 2017, Buenos Aires, Argentina N2 - Industrial computing devices, in particular cyber-physical, real-time and safety-critical systems, focus on reacting to external events and the need to cooperate with other devices to create a functional system. They are often implemented with languages that focus on a simple, local description of how a component reacts to external input data and stimuli. Despite the trend in modern software architectures to structure systems into largely independent components, the remaining interdependencies still create rich behavioural dynamics even for small systems. Standard and industrial programming approaches do usually not model or extensively describe the global properties of an entire system. Although a large number of approaches to solve this dilemma have been suggested, it remains a hard and error-prone task to implement systems with complex interdependencies correctly. We introduce multiple coupled finite state machines (McFSMs), a novel mechanism that allows us to model and manage such interdependencies. It is based on a consistent, well-structured and simple global description. A sound theoretical foundation is provided, and associated tools allow us to generate efficient low-level code in various programming languages using model-driven techniques. We also present a domain specific language to express McFSMs and their connections to other systems, to model their dynamic behaviour, and to investigate their efficiency and correctness at compile-time. Y1 - 2017 U6 - https://doi.org/10.1109/SEsCPS.2017.7 SP - 26 EP - 29 PB - IEEE ER -