Prof. Dr.-Ing. Christian Haubelt

Technische Fakultät

Actor-oriented modeling and simulation of sliding window image processing algorithms (2007) Keinert J, Falk J, Haubelt C, Teich J Conference contribution, Conference Contribution An operating system infrastructure for fault-tolerant reconfigurable networks (2006) Koch D, Streichert T, Dittrich S, Strengert C, Haubelt C, Teich J Conference contribution Multi-objective topology optimization for networked embedded systems (2006) Streichert T, Haubelt C, Teich J Conference contribution, Conference Contribution Modeling and analysis of windowed synchronous algorithms (2006) Keinert J, Haubelt C, Teich J Conference contribution, Conference Contribution Dynamic task binding for hardware/software reconfigurable networks (2006) Streichert T, Strengert C, Haubelt C, Teich J Conference contribution, Conference Contribution Modeling and Design of Fault-Tolerant and Self-Adaptive Reconfigurable Networked Embedded Systems (2006) Koch D, Streichert T, Teich J, Haubelt C Journal article Task-accurate performance modeling in SystemC for real-time multi-processor architectures (2006) Streubühr M, Falk J, Teich J, Haubelt C, Dorsch R, Schlipf T Conference contribution, Conference Contribution Automatic Test Case Generation with Model Checker NuSMV (2006) Bunin G, Schneider A, Haubelt C, Langer J, Heinkel U Conference contribution Formalizing TLM with Communicating State Machines (2006) Niemann B, Haubelt C Conference contribution Efficient Representation and Simulation of Model-Based Designs in SystemC (2006) Falk J, Haubelt C, Teich J Conference contribution