Department Informatik

3rd International Workshop on Mining Graphs, Trees and Sequences (MGTS 2005) (2005) Nijssen S, Meinl T, Karypis G Edited Volume AspectC++: An AOP Extension for C++ (2005) Lohmann D, Spinczyk O Journal article Automatische Verification von ADeVA-Spezifikationen (2005) Dinkel T, Haubelt C, Heinkel U, Schlichter T, Teich J Conference contribution Why emergent systems can enhance system quality (2005) Fürstenau H, Otto S, Kirn S Other publication type Evaluation of Watermarking methods for FPGA-based IP-cores (2005) Ziener D, Teich J Other publication type Software-Tests mit der FAUmachine (2005) Sieh V Conference contribution Online hardware/software partitioning in networked embedded systems (2005) Streichert T, Haubelt C, Teich J Conference contribution, Conference Contribution Distributed HW/SW-partitioning for embedded reconfigurable networks (2005) Streichert T, Haubelt C, Teich J Conference contribution, Conference Contribution A Lightweight Formal Method for the Prediction of Non-Functional System Properties (2005) Barner J Thesis Input Abstraction Layer - Design and Implementation of an Extended Input Interface (2005) Hönig T Thesis