Department Informatik

First Results of a Formal Analysis of the Network Time Security Specification (2015) Teichel K, Sibold D, Milius S Conference contribution Special Issue with Selected Papers of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (2015) Heckel R, Milius S Edited Volume Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte (2015) Drescher G, Schröder-Preikschat W Conference contribution Emotion Recognition from Speech under Environmental Noise Conditions using Wavelet Decomposition (2015) Vasquez-Correa JC, Garcia N, Orozco-Arroyave JR, Arias-Londono JD, Vargas-Bonilla JF, Nöth E Conference contribution Building a Fault Tolerant Application Using the GASPI Communication Layer (2015) Shahzad F, Kreutzer M, Zeiser T, Machado R, Pieper A, Hager G, Wellein G Conference contribution Proceedings of the DATE Friday Workshop on Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS 2015) (2015) Hannig F, Fey D, Lokhmotov A Edited Volume A Methodology for the Optimized Design of an E/E Architecture Component Platform (2015) Graf S, Glaß M, Teich J, Platte D Conference contribution Drag correlation for dilute and moderately dense fluid-particle systems using the lattice Boltzmann method (2015) Rüde U, Bogner S, Mohanty S Journal article, Original article Degree-constrained Subgraph Reconfiguration is in P (2015) Mühlenthaler M Conference contribution A Fine-Grained Configurable Cache Architecture for Soft Processors (2015) Biglari M, Barijough KM, Goudarzi M, Pourmohseni B Conference contribution, Original article