Prof. Dr.-Ing. Christian Haubelt

Technische Fakultät

Digitale Hardware/Software-Systeme: Spezifikation und Verifikation (2010) Haubelt C, Teich J Authored book Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models (2010) Falk J, Zebelein C, Haubelt C, Teich J, Dorsch R Conference contribution Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach (2010) Glaß M, Lukasiewycz M, Haubelt C, Teich J Conference contribution Towards scalable system-level reliability analysis (2010) Glaß M, Lukasiewycz M, Haubelt C, Teich J Conference contribution, Conference Contribution Symbolic system level reliability analysis (2010) Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J Conference contribution, Conference Contribution ReCoNets-design methodology for embedded systems consisting of small networks of reconfigurable nodes and connections (2010) Haubelt C, Koch D, Reimann F, Streichert T, Teich J Authored book, other Efficient high-level modeling in the networking domain (2010) Zebelein C, Falk J, Haubelt C, Teich J, Dorsch R Conference contribution, Conference Contribution Efficient approximately-timed performance modeling for architectural exploration of MPSoCs (2010) Streubühr M, Gladigau J, Haubelt C, Teich J Authored book, Volume of book series Analysis of systemc actor networks for efficient synthesis (2010) Falk J, Zebelein C, Keinert J, Haubelt C, Teich J, Bhattacharyya SS Journal article, Original article Echtzeitanalyse Ethernet-basierter E/E-Architekturen im Automobil (2010) Reimann F, Kern A, Haubelt C, Streichert T, Teich J Conference contribution