TY - JOUR AU - Thol, Monika AU - Javed, Muhammad Ali AU - Baumhögger, Elmar AU - Span, Roland AU - Vrabec, Jadran ID - 13158 JF - Industrial & Engineering Chemistry Research SN - 0888-5885 TI - Thermodynamic Properties of Dodecamethylpentasiloxane, Tetradecamethylhexasiloxane, and Decamethylcyclopentasiloxane ER - TY - JOUR AU - Javed, Muhammad Ali AU - Baumhögger, Elmar AU - Vrabec, Jadran ID - 13159 JF - Journal of Chemical & Engineering Data SN - 0021-9568 TI - Thermodynamic Speed of Sound Data for Liquid and Supercritical Alcohols ER - TY - CHAP AU - Beverungen, Daniel AU - Bartelheimer, Christian AU - Wolf, Verena ID - 13178 SN - 978-3-662-59516-9 T2 - Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln TI - Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung ER - TY - GEN AU - Post, Till AU - Heuermann, Aaron AU - Wiesner, Stefan AU - Olschewski, Detlef AU - Maaß, Wolfgang AU - Klatt, Rüdiger AU - Jussen, Philipp AU - Ragab, Sherif AU - Senderek, Roman AU - Höckmayr, Benedikt AU - Schulz, Thomas AU - Meyer, Kyrill AU - Heinen, Ewald AU - Hocken, Christian AU - Fischer, Simon AU - Lattemann, Christoph AU - Redlich, Beke AU - Schlimm, Katrin AU - Ziegler, Christoph AU - Rechtien, Christopher AU - Schröder, Markus AU - Kube, Bernhard AU - Pöppelbuß, Jens AU - Wiesche, Manuel AU - Semmann, Martin AU - Bartelheimer, Christian AU - Beverungen, Daniel AU - Lüttenberg, Hedda AU - Wolf, Verena AU - Bongers, Franziska AU - Winkler, Corinna AU - Schumann, Jan Hendrik AU - Li, Mahei AU - Brinker, Jonas AU - Hagen, Simon AU - Kammler, Friedemann AU - Strina, Giuseppe AU - Ernst, Philipp AU - Falkus, Michael ID - 13181 TI - DIN SPEC 33453:2019-09, Entwicklung digitaler Dienstleistungssysteme ER - TY - CONF AB - We consider congestion control in peer-to-peer distributed systems. The problem can be reduced to the following scenario: Consider a set $V$ of $n$ peers (called \emph{clients} in this paper) that want to send messages to a fixed common peer (called \emph{server} in this paper). We assume that each client $v \in V$ sends a message with probability $p(v) \in [0,1)$ and the server has a capacity of $\sigma \in \mathbb{N}$, i.e., it can recieve at most $\sigma$ messages per round and excess messages are dropped. The server can modify these probabilities when clients send messages. Ideally, we wish to converge to a state with $\sum p(v) = \sigma$ and $p(v) = p(w)$ for all $v,w \in V$. We propose a \emph{loosely} self-stabilizing protocol with a slightly relaxed legitimate state. Our protocol lets the system converge from \emph{any} initial state to a state where $\sum p(v) \in \left[\sigma \pm \epsilon\right]$ and $|p(v)-p(w)| \in O(\frac{1}{n})$. This property is then maintained for $\Omega(n^{\mathfrak{c}})$ rounds in expectation. In particular, the initial client probabilities and server variables are not necessarily well-defined, i.e., they may have arbitrary values. Our protocol uses only $O(W + \log n)$ bits of memory where $W$ is length of node identifiers, making it very lightweight. Finally we state a lower bound on the convergence time an see that our protocol performs asymptotically optimal (up to some polylogarithmic factor). AU - Feldmann, Michael AU - Götte, Thorsten AU - Scheideler, Christian ID - 13182 T2 - Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) TI - A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory ER - TY - JOUR AU - Peter, Sophia Katharina AU - Kaulen, Corinna AU - Hoffmann, Alexander AU - Ogieglo, Wojciech AU - Karthäuser, Silvia AU - Homberger, Melanie AU - Herres-Pawlis, Sonja AU - Simon, Ulrich ID - 13184 IS - 11 JF - The Journal of Physical Chemistry C TI - Stepwise Growth of Ruthenium Terpyridine Complexes on Au Surfaces VL - 123 ER - TY - JOUR AB - Abstract Polylactide is a biodegradable versatile material based on annually renewable resources and thus CO2-neutral in its lifecycle. Until now, tin(II)octanoate [Sn(Oct2)] was used as catalyst for the industrial ring-opening polymerization of lactide in spite of its cytotoxicity. On the way towards a sustainable catalyst, three iron(II) hybrid guanidine complexes were investigated concerning their molecular structure and applied to the ring-opening polymerization of lactide. The complexes could polymerize unpurified technical-grade rac-lactide as well as recrystallized l-lactide to long-chain polylactide in bulk with monomer/initiator ratios of more than 5000:1 in a controlled manner following the coordination–insertion mechanism. For the first time, a biocompatible complex has surpassed Sn(Oct)2 in its polymerization activity under industrially relevant conditions. AU - Rittinghaus, Ruth D. AU - Schäfer, Pascal M. AU - Albrecht, Pascal AU - Conrads, Christian AU - Hoffmann, Alexander AU - Ksiazkiewicz, Agnieszka N. AU - Bienemann, Olga AU - Pich, Andrij AU - Herres-Pawlis, Sonja ID - 13185 IS - 10 JF - ChemSusChem KW - bioplastics KW - guanidines KW - iron KW - lactide KW - ring-opening polymerization TI - New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts VL - 12 ER - TY - JOUR AU - Javed, Muhammad Ali AU - Baumhögger, Elmar AU - Vrabec, Jadran ID - 13189 JF - The Journal of Chemical Thermodynamics SN - 0021-9614 TI - Thermodynamic speed of sound of xenon ER - TY - JOUR AU - Kodalle, Tim AU - Kormath Madam Raghupathy, Ramya AU - Bertram, Tobias AU - Maticiuc, Natalia AU - Yetkin, Hasan A AU - Gunder, René AU - Schlatmann, Rutger AU - Kühne, Thomas D AU - Kaufmann, Christian A AU - Mirhosseini, Hossein ID - 13211 IS - 3 JF - physica status solidi (RRL)--Rapid Research Letters TI - Properties of Co-Evaporated RbInSe2 Thin Films VL - 13 ER - TY - JOUR AB - Abstract The effect of extending the O−H bond length(s) in water on the hydrogen-bonding strength has been investigated using static ab initio molecular orbital calculations. The “polar flattening” effect that causes a slight σ-hole to form on hydrogen atoms is strengthened when the bond is stretched, so that the σ-hole becomes more positive and hydrogen bonding stronger. In opposition to this electronic effect, path-integral ab initio molecular-dynamics simulations show that the nuclear quantum effect weakens the hydrogen bond in the water dimer. Thus, static electronic effects strengthen the hydrogen bond in H2O relative to D2O, whereas nuclear quantum effects weaken it. These quantum fluctuations are stronger for the water dimer than in bulk water. AU - Clark, Timothy AU - Heske, Julian Joachim AU - Kühne, Thomas ID - 13225 JF - ChemPhysChem KW - ab initio calculations KW - bond theory KW - hydrogen bonds KW - isotope effects KW - solvent effects TI - Opposing Electronic and Nuclear Quantum Effects on Hydrogen Bonds in H2O and D2O VL - 20 ER - TY - JOUR AU - Kaliannan, Naveen Kumar AU - Henao Aristizabal, Andres AU - Wiebeler, Hendrik AU - Zysk, Frederik AU - Ohto, Tatsuhiko AU - Nagata, Yuki AU - D. Kühne, Thomas ID - 13232 JF - Molecular Physics TI - Impact of intermolecular vibrational coupling effects on the sum-frequency generation spectra of the water/air interface ER - TY - JOUR AU - Müller, Patrick AU - Neuba, Adam AU - Flörke, Ulrich AU - Henkel, Gerald AU - Kühne, Thomas D. AU - Bauer, Matthias ID - 13233 IS - 16 JF - The Journal of Physical Chemistry A TI - Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes VL - 123 ER - TY - JOUR AB - Thermal treatment of hexaazatriphenylene-hexacarbonitrile (HAT-CN) in the temperature range from 500 °C to 700 °C leads to precise control over the degree of condensation{,} and thus atomic construction and porosity of the resulting C2N-type materials. Depending on the condensation temperature of HAT-CN{,} nitrogen contents of more than 30 at% can be reached. In general{,} these carbons show adsorption properties which are comparable to those known for zeolites but their pore size can be adjusted over a wider range. At condensation temperatures of 525 °C and below{,} the uptake of nitrogen gas remains negligible due to size exclusion{,} but the internal pores are large and polarizing enough that CO2 can still adsorb on part of the internal surface. This leads to surprisingly high CO2 adsorption capacities and isosteric heat of adsorption of up to 52 kJ mol−1. Theoretical calculations show that this high binding enthalpy arises from collective stabilization effects from the nitrogen atoms in the C2N layers surrounding the carbon atom in the CO2 molecule and from the electron acceptor properties of the carbon atoms from C2N which are in close proximity to the oxygen atoms in CO2. A true CO2 molecular sieving effect is achieved for the first time in such a metal-free organic material with zeolite-like properties{,} showing an IAST CO2/N2 selectivity of up to 121 at 298 K and a N2/CO2 ratio of 90/10 without notable changes in the CO2 adsorption properities over 80 cycles. AU - Walczak, Ralf AU - Savateev, Aleksandr AU - Heske, Julian Joachim AU - Tarakina, Nadezda V. AU - Sahoo, Sudhir AU - Epping, Jan D. AU - Kühne, Thomas AU - Kurpil, Bogdan AU - Antonietti, Markus AU - Oschatz, Martin ID - 13236 JF - Sustainable Energy Fuels TI - Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design ER - TY - JOUR AU - Elgabarty, Hossam AU - Kaliannan, Naveen Kumar AU - Kühne, Thomas D. ID - 13237 JF - Scientific Reports TI - Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse VL - 9 ER - TY - JOUR AU - Tanaka, Shunji AU - Tierney, Kevin AU - Parreño-Torres, Consuelo AU - Alvarez-Valdes, Ramon AU - Ruiz, Rubén ID - 13247 JF - European Journal of Operational Research SN - 0377-2217 TI - A Branch and Bound Approach for Large Pre-Marshalling Problems ER - TY - CONF AU - Ansótegui, Carlos AU - Heymann, Britta AU - Pon, Josep AU - Sellmann, Meinolf AU - Tierney, Kevin ID - 13250 SN - 978-3-030-05347-5 T2 - Learning and Intelligent Optimization TI - Hyper-Reactive Tabu Search for MaxSAT ER - TY - CONF AU - Wolters, Dennis AU - Kirchhoff, Jonas AU - Engels, Gregor ED - Yangui, Sami ED - Bouguettaya, Athman ED - Xue, Xiao ED - Faci, Noura ED - Gaaloul, Walid ED - Yu, Qi ED - Zhou, Zhangbing ED - Hernandez, Nathalie ED - Nakagawa, Elisa Y. ID - 13261 T2 - Service-Oriented Computing – ICSOC 2019 Workshops TI - Specifying Web Interfaces for Command-line Applications Based on OpenAPI VL - 12019 ER - TY - JOUR AU - Guevara-Carrion, Gabriela AU - Ancherbak, Sergiy AU - Mialdun, Aliaksandr AU - Vrabec, Jadran AU - Shevtsova, Valentina ID - 13270 JF - Scientific Reports SN - 2045-2322 TI - Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line VL - 9 ER - TY - CONF AB - Automatic meeting analysis comprises the tasks of speaker counting, speaker diarization, and the separation of overlapped speech, followed by automatic speech recognition. This all has to be carried out on arbitrarily long sessions and, ideally, in an online or block-online manner. While significant progress has been made on individual tasks, this paper presents for the first time an all-neural approach to simultaneous speaker counting, diarization and source separation. The NN-based estimator operates in a block-online fashion and tracks speakers even if they remain silent for a number of time blocks, thus learning a stable output order for the separated sources. The neural network is recurrent over time as well as over the number of sources. The simulation experiments show that state of the art separation performance is achieved, while at the same time delivering good diarization and source counting results. It even generalizes well to an unseen large number of blocks. AU - von Neumann, Thilo AU - Kinoshita, Keisuke AU - Delcroix, Marc AU - Araki, Shoko AU - Nakatani, Tomohiro AU - Haeb-Umbach, Reinhold ID - 13271 T2 - ICASSP 2019, Brighton, UK TI - All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis ER - TY - JOUR AU - Chatwell, René Spencer AU - Heinen, Matthias AU - Vrabec, Jadran ID - 13273 JF - International Journal of Heat and Mass Transfer SN - 0017-9310 TI - Diffusion Limited Evaporation of a Binary Liquid Film VL - 132 ER - TY - JOUR AU - Fingerhut, Robin AU - Vrabec, Jadran ID - 13274 JF - Fluid Phase Equilibria SN - 0378-3812 TI - Kirkwood-Buff Integration: A Promising Route to Entropic Properties? ER - TY - JOUR AU - Lin, Zemeng AU - Huang, Lingling AU - Xu, Zhen Tao AU - Li, Xiaowei AU - Zentgraf, Thomas AU - Wang, Yongtian ID - 13282 IS - 21 JF - Advanced Optical Materials SN - 2195-1071 TI - Four‐Wave Mixing Holographic Multiplexing Based on Nonlinear Metasurfaces VL - 7 ER - TY - CONF AB - Building on 5G and network function virtualization (NFV), smart manufacturing has the potential to drastically increase productivity, reduce cost, and introduce novel, flexible manufacturing services. Current work mostly focuses on high-level scenarios or emulation-based prototype deployments. Extending our previous work, we showcase one of the first cloud-native 5G verticals focusing on the deployment of smart manufacturing use cases on production infrastructure. In particular, we use the 5GTANGO service platform to deploy our developed network services on Kubernetes. For this demo, we implemented a series of cloud-native virtualized network functions (VNFs) and created suitable service descriptors. Their light-weight, stateless deployment on Kubernetes enables quick instantiation, scalability, and robustness. AU - Schneider, Stefan Balthasar AU - Peuster, Manuel AU - Hannemann, Kai AU - Behnke, Daniel AU - Müller, Marcel AU - Bök, Patrick-Benjamin AU - Karl, Holger ID - 13292 KW - 5G KW - NFV KW - Smart Manufacturing KW - Cloud-Native KW - Kubernetes T2 - IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track TI - "Producing Cloud-Native": Smart Manufacturing Use Cases on Kubernetes ER - TY - JOUR AU - Cho, F. H. AU - Peng, Z. AU - Biktagirov, T. AU - Gerstmann, Uwe AU - Takahashi, S. ID - 13294 IS - 13 JF - The Journal of Chemical Physics TI - Investigation of Near-Surface Defects of Nanodiamonds by High-Frequency EPR and DFT Calculation VL - 150 ER - TY - JOUR AU - von Bardeleben, Hans Jürgen AU - Zhou, Shengqiang AU - Gerstmann, Uwe AU - Skachkov, Dmitry AU - Lambrecht, Walter R. L. AU - Ho, Quoc Duy AU - Deák, Peter ID - 13295 JF - APL Materials TI - Proton Irradiation Induced Defects in β-Ga2O3: A Combined EPR and Theory Study VL - 7 ER - TY - JOUR AU - Schulz, Andreas AU - Wecker, Christian AU - Kenig, Eugeny ID - 13390 JF - Chemie Ingenieur Technik TI - Methode zur Erfassung von Stofftransport an fluiden Phasengrenzflächen ER - TY - GEN AU - Schulz, Andreas AU - Wecker, Christian AU - Kenig, Eugeny ID - 13393 TI - Ein Finite-Volumen Ansatz für den Stoffübergang an bewegten Phasengrenzflächen ER - TY - GEN AU - Wecker, Christian AU - Schulz, Andreas AU - Heine, Jens AU - Bart, Hans-Joerg AU - Kenig, Eugeny ID - 13394 TI - Numerische Untersuchungen zum Stofftransport und Fluidmechanik bei der Tropfenbildung ER - TY - GEN AU - Heine, Jens AU - Wecker, Christian AU - Kenig, Eugeny AU - Bart, Hans-Joerg ID - 13395 TI - Visualization of Marangoni Phenomena during Droplet Formation ER - TY - GEN AU - Heine, Jens AU - Wecker, Christian AU - Kenig, Eugeny AU - Bart, Hans-Joerg ID - 13396 TI - In-situ Messung des Stofftransports bei der Tropfenbildung ER - TY - GEN AU - Wecker, Christian AU - Schulz, Andreas AU - Heine, Jens AU - Bart, Hans-Joerg AU - Kenig, Eugeny ID - 13397 TI - Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD ER - TY - GEN AU - Heine, Jens AU - Wecker, Christian AU - Kenig, Eugeny AU - Bart, Hans-Joerg ID - 13398 TI - Stofftransport bei der Tropfenbildung ER - TY - GEN AU - Zibart, Alexander AU - Kenig, Eugeny ID - 13399 TI - Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode ER - TY - JOUR AU - Dridger, A. AU - Caylak, I. AU - Mahnken, R. AU - Penner, E. ID - 13431 JF - Safety and Reliability SN - 0961-7353 TI - "A possibilistic finite element method for sparse data" ER - TY - JOUR AU - Ju, Xiaozhe AU - Mahnken, Rolf ID - 13432 JF - Computer Methods in Applied Mechanics and Engineering SN - 0045-7825 TI - "Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity" ER - TY - JOUR AU - Mäck, Markus AU - Caylak, Ismail AU - Edler, Philipp AU - Freitag, Steffen AU - Hanss, Michael AU - Mahnken, Rolf AU - Meschke, Günther AU - Penner, Eduard ID - 13434 JF - GAMM-Mitteilungen SN - 0936-7195 TI - "Optimization with constraints considering polymorphic uncertainties" ER - TY - GEN AU - Friesen, Edwin ID - 13435 TI - Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis ER - TY - CHAP AU - Camberg, Alan Adam AU - Stratmann, Ina AU - Tröster, Thomas ID - 13436 SN - 2524-4787 T2 - Technologies for economical and functional lightweight design TI - TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES ER - TY - CONF AU - Manavi, Seyed Alborz AU - Kenig, Eugeny ID - 13442 SN - 1570-7946 T2 - Computer Aided Chemical Engineering TI - Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface ER - TY - CONF AB - This work considers the problem of control and resource allocation in networked systems. To this end, we present DIRA a Deep reinforcement learning based Iterative Resource Allocation algorithm, which is scalable and control-aware. Our algorithm is tailored towards large-scale problems where control and scheduling need to act jointly to optimize performance. DIRA can be used to schedule general time-domain optimization based controllers. In the present work, we focus on control designs based on suitably adapted linear quadratic regulators. We apply our algorithm to networked systems with correlated fading communication channels. Our simulations show that DIRA scales well to large scheduling problems. AU - Redder, Adrian AU - Ramaswamy, Arunselvan AU - Quevedo, Daniel ID - 13443 KW - Networked control systems KW - deep reinforcement learning KW - large-scale systems KW - resource scheduling KW - stochastic control T2 - Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems TI - Deep reinforcement learning for scheduling in large-scale networked control systems ER - TY - JOUR AU - Eggert, Andreas AU - Kleinaltenkamp, Michael AU - Kashyap, Vishal ID - 13454 JF - Industrial Marketing Management TI - Mapping Value in Business Markets: An Integrative Framework VL - 79 ER - TY - JOUR AU - Garnefeld, Ina AU - Eggert, Andreas AU - Husemann-Kopetzky, Markus AU - Boehm, Eva ID - 13455 IS - 4 JF - Journal of the Academy of Marketing Science TI - Exploring the link between payment schemes and customer fraud: a mental accounting perspective VL - 47 ER - TY - CONF AU - Eggert, Andreas AU - Boehm, Eva AU - Akalan, Rodi AU - Gebauer, Heiko ID - 13456 TI - Service Growth by Acquisition – An Event Study ER - TY - JOUR AU - Eggert, Andreas AU - Steinhoff, Lena AU - Witte, Carina ID - 13457 JF - Journal of Marketing TI - Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships ER - TY - BOOK AB - Dieses Buch beschreibt basierend auf dem gleichnamigen Innovationsprojekt im Spitzencluster it’s OWL die Entwicklung intelligenter Verfahren und Systeme, um auch unter variablen Produktionsbedingungen eine zuverlässige Massenfertigung von Kupferbondverbindungen sicherzustellen.Dabei wird der gesamte Prozess der Ultraschall-Verbindungsbildung modelliert. Dies beinhaltet u. a. ein Reibmodell mit gekoppeltem Anbindungsmodell, den Ultraschall-Erweichungseffekt und den Verschleiß des Bondwerkzeugs. Zudem wird das Konzept einer selbstoptimierenden Bondmaschine vorgestellt, welche Prozessparameter in Abhängigkeit von Störgrößen wie Verschleiß anpasst.Das Ultraschallbonden mit Aluminiumdraht ist ein etabliertes Fertigungsverfahren zur Kontaktierung von Leistungshalbleitern. Zukünftige Leistungshalbleiterchips erfordern jedoch einen Technologiewechsel zu Kupferdraht. Die Prozessparameter unterscheiden sich dabei deutlich von den bekannten Aluminiumprozessen, ihre Wechselwirkungen sind weitestgehend unbekannt. AU - Sextro, Walter AU - Brökelmann, Michael ID - 10002 KW - Abschlussbericht zum Spitzenclusterprojekt InCuB TI - Intelligente Herstellung zuverlässiger Kupferbondverbindungen VL - VIII ER - TY - JOUR AU - Fränzle, Martin AU - Kapur, Deepak AU - Wehrheim, Heike AU - Zhan, Naijun ID - 10011 IS - 1 JF - Formal Asp. Comput. TI - Editorial VL - 31 ER - TY - CONF AU - Johannesmann, Sarah AU - Springer, Dimitri AU - Thiel, Christian AU - Henning, Bernd ED - Gesellschaft für Akustik e.V., Deutsche ID - 10042 T2 - Fortschritte der Akustik - DAGA 2019 TI - Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN VL - 45 ER - TY - JOUR AU - Gries, Thomas ID - 10090 JF - The American Economist SN - 0569-4345 TI - A New Theory of Demand-Restricted Growth: The Basic Idea ER - TY - CONF AU - König, Jürgen AU - Wehrheim, Heike ED - M. Badger, Julia ED - Yvonne Rozier, Kristin ID - 10091 T2 - {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings TI - Data Independence for Software Transactional Memory VL - 11460 ER - TY - CONF AU - Doherty, Simon AU - Dongol, Brijesh AU - Wehrheim, Heike AU - Derrick, John ED - K. Hollingsworth, Jeffrey ED - Keidar, Idit ID - 10092 T2 - Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 TI - Verifying C11 programs operationally ER -