Prof. Dr.-Ing. Christian Haubelt

Technische Fakultät

Symbolic reliability analysis and optimization of ECU networks (2008) Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J Conference contribution, Conference Contribution Efficient symbolic multi-objective design space exploration (2008) Lukasiewycz M, Glaß M, Haubelt C, Teich J Conference contribution, Conference Contribution Topology-aware replica placement in fault-tolerant embedded networks (2008) Streichert T, Glaß M, Wanka R, Haubelt C, Teich J Conference contribution Multi-objective routing and topology optimization in networked embedded systems (2008) Glaß M, Lukasiewycz M, Wanka R, Haubelt C, Teich J Conference contribution, Conference Contribution Task Graph Clustering with Internal State (2007) Falk J, Haubelt C, Teich J Other publication type Formalizing TLM with Communicating State Machines (2007) Niemann B, Haubelt C, Uribe M, Teich J Book chapter / Article in edited volumes A SystemC-based Design Methodology for Digital Signal Processing Systems (2007) Haubelt C, Falk J, Keinert J, Schlichter T, Streubühr M, Deyhle A, Hadert A, Teich J Journal article Simulative buffer analysis of local image processing algorithms described by windowed synchronous data flow (2007) Keinert J, Haubelt C, Teich J Conference contribution, Conference Contribution Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2007) Haubelt C, Teich J Authored book Synthese zuverlässiger und flexibler Systeme (2007) Glaß M, Lukasiewycz M, Haubelt C, Streichert T, Teich J Conference contribution