Prof. Dr.-Ing. Christian Haubelt

Technische Fakultät

Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms (2006) Schlichter T, Lukasiewycz M, Haubelt C, Teich J Conference contribution, Conference Contribution Improving Automatic Design Space Exploration by Integrating Symbolic Techniques into Multi-Objective Evolutionary Algorithms (2006) Haubelt C, Schlichter T, Teich J Journal article Automatic Test Generation with Model Checking Techniques (2006) Schneider A, Bunin G, Haubelt C, Heinkel U Conference contribution Assertion-Based Verification of Transaction Level Models (2006) Niemann B, Haubelt C Conference contribution Automatic Model-Based Design Space Exploration for Embedded Systems - A System Level Approach (2005) Haubelt C Thesis Automatische Verification von ADeVA-Spezifikationen (2005) Dinkel T, Haubelt C, Heinkel U, Schlichter T, Teich J 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 SPI-Workbench – Modellierung, Analyse und Optimierung eingebetteter Systeme (2005) Haubelt C, Jersak M, Richter K, Strehl K, Ziegenbein D, Ernst R, Teich J, Thiele L Book chapter / Article in edited volumes Representing Models of Computation in SystemC (2005) Falk J, Haubelt C, Teich J Conference contribution