Department Informatik

Verifiable data streaming (2012) Schröder D, Schröder H Conference contribution, Conference Contribution History-free sequential aggregate signatures (2012) Fischlin M, Lehmann A, Schröder D Authored book, Volume of book series Improving Performance of Controller Area Network (CAN) by Adaptive Message Scheduling (2012) Ziermann T, Salcic Z, Teich J Book chapter / Article in edited volumes Wellpointed coalgebras (2012) Adámek J, Milius S, Moss L, Sousa L Conference contribution A Model of Open Source Developer Foundations (2012) Riehle D, Berschneider S Conference contribution, Original article High performance smart expression template math libraries (2012) Iglberger K, Hager G, Eitzinger J, Rüde U Conference contribution FPGA-based Testbed for Timing Behavior Evaluation of the Controller Area Network (CAN) (2012) Ziermann T, Butiu A, Teich J, Ziener D Conference contribution Fast Architecture Evaluation of Heterogeneous MPSoCs by Host-Compiled Simulation (2012) Roloff S, Hannig F, Teich J Conference contribution An Integrated Simulation Framework for Invasive Computing (2012) Gerndt M, Hannig F, Herkersdorf A, Hollmann A, Meyer M, Roloff S, Weidendorfer J, et al. Conference contribution Precompiled Configuration Spaces for the Verification of Consistency in Production Planning Processes (2012) Berndt R, Bazan P, Hielscher KS Conference contribution