Department Informatik

Agora: A Dependable High-Performance Coordination Service for Multi-Cores (2017) Schiekofer R, Behl J, Distler T Conference contribution Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (2017) Milius S, Litak TM Journal article Efficient Task Spawning for Shared Memory and Message Passing in Many-core Architectures (2017) Zaib A, Heisswolf J, Weichslgartner A, Wild T, Teich J, Becker J, Herkersdorf A Journal article On the Boolean Extension of the Birnbaum Importance to Non-Coherent Systems (2017) Aliee H, Borgonovo E, Glaß M, Teich J Journal article Run-Time Monitoring and Enforcement of Non-functional Program Properties of Invasive Programs: Terms and Definitions (2017) Teich J Other publication type The Perfect Getaway: Using Escape Analysis in Embedded Real-Time Systems (2017) Stilkerich I, Lang C, Erhardt C, Bay C, Stilkerich M Journal article, Original article Probabilistic Description Logics for Subjective Uncertainty (2017) Gutierreiz-Basulto V, Jung JC, Lutz C, Schröder L Journal article, Original article Hybrids on Steroids: SGX-based High Performance BFT (2017) Behl J, Distler T, Kapitza R Conference contribution Anisotropic deformation for local shape control (2017) Colaianni M, Siegl C, Süßmuth J, Bauer F, Greiner G Journal article A Flexible, Interactive Theory-Graph Viewer (2017) Müller D, Kohlhase M, Rupprecht M Conference contribution, Conference Contribution