Department Informatik

SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper) (2017) Dietrich C, Wägemann P, Ulbrich P, Lohmann D Conference contribution, Conference Contribution KOSiNeK - Kombinierte Optimierung, Simulation und Netzanalyse des elektrischen Energiesystems Deutschlands im europäischen Kontext - Projektvorstellung und erste Ergebnisse (2017) Steber D, Seifert G, Thurner C, Pruckner M, Luther M, Martin A, German R Conference contribution, Conference Contribution Including a virtual battery storage into thermal unit commitment (2017) Steber D, Pruckner M, Schlund J, Bazan P, German R Journal article, Original article Cryptanalysis of indistinguishability obfuscations of circuits over GGH13 (2017) Döttling N Conference contribution, Conference Contribution TCPA Editor: A Design Automation Environment for a Class of Coarse-Grained Reconfigurable Arrays (2017) Sousa É, Chakraborty A, Tanase AP, Hannig F, Teich J Conference contribution, Abstract of a poster Classification of alignments between concepts of formal mathematical systems (2017) Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T Conference contribution, Original article An Integrated Model-driven Framework for Simulation, Analysis, and Testing Based on OMG Standards (2017) Schneider V, Deitsch A, German R Conference contribution Salivary Markers for Quantitative Dehydration Estimation During Physical Exercise (2017) Ring M, Lohmueller C, Rauh M, Mester J, Eskofier B Journal article Prototyping Memristors in Digital Systems with an FPGA-Based Testing Environment (2017) Wust D, Biglari M, Knödtel J, Reichenbach M, Söll C, Fey D Conference contribution, Original article Memristive Voltage Divider: A Bipolar ReRAM-based Unit for Non-Volatile Flip-Flops (2017) Biglari M, Fey D Conference contribution, Original article