| 2009 | 
| 51 | EE | Joachim Keinert,
Martin Streubühr,
Thomas Schlichter,
Joachim Falk,
Jens Gladigau,
Christian Haubelt,
Jürgen Teich,
Michael Meredith:
SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications.
ACM Trans. Design Autom. Electr. Syst. 14(1):  (2009) | 
| 2008 | 
| 50 | EE | Robert Brendle,
Thilo Streichert,
Dirk Koch,
Christian Haubelt,
Jürgen Teich:
Dynamic Reconfiguration of FlexRay Schedules for Response Time Reduction in Asynchronous Fault-Tolerant Networks.
ARCS 2008: 117-129 | 
| 49 | EE | Joachim Keinert,
Christian Haubelt,
Jürgen Teich:
Synthesis of Multi-dimensional High-Speed FIFOs for Out-of-Order Communication.
ARCS 2008: 130-143 | 
| 48 | EE | Thilo Streichert,
Michael Glaß,
Rolf Wanka,
Christian Haubelt,
Jürgen Teich:
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks.
ARCS 2008: 23-37 | 
| 47 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Efficient symbolic multi-objective design space exploration.
ASP-DAC 2008: 691-696 | 
| 46 | EE | Felix Reimann,
Michael Glabeta,
Martin Lukasiewycz,
Joachim Keinert,
Christian Haubelt,
Jürgen Teich:
Symbolic voter placement for dependability-aware system synthesis.
CODES+ISSS 2008: 237-242 | 
| 45 | EE | Christian Haubelt,
Thomas Schlichter,
Joachim Keinert,
Michael Meredith:
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models.
DAC 2008: 580-585 | 
| 44 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich,
Richard Regler,
Bardo Lang:
Concurrent topology and routing optimization in automotive network integration.
DAC 2008: 626-629 | 
| 43 | EE | Michael Glaß,
Martin Lukasiewycz,
Felix Reimann,
Christian Haubelt,
Jürgen Teich:
Symbolic Reliability Analysis and Optimization of ECU Networks.
DATE 2008: 158-163 | 
| 42 | EE | Joachim Falk,
Joachim Keinert,
Christian Haubelt,
Jürgen Teich,
Shuvra S. Bhattacharyya:
A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications.
EMSOFT 2008: 189-198 | 
| 41 | EE | Dirk Koch,
Christian Haubelt,
Jürgen Teich:
Efficient Reconfigurable On-Chip Buses for FPGAs.
FCCM 2008: 287-290 | 
| 40 | EE | Jens Gladigau,
Christian Haubelt,
Jürgen Teich:
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models.
FDL 2008: 1-6 | 
| 39 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
A feasibility-preserving local search operator for constrained discrete optimization problems.
IEEE Congress on Evolutionary Computation 2008: 1968-1975 | 
| 38 | EE | Christian Zebelein,
Joachim Falk,
Christian Haubelt,
Jürgen Teich:
Classification of General Data Flow Actors into Known Models of Computation.
MEMOCODE 2008: 119-128 | 
| 37 | EE | Michael Glaß,
Martin Lukasiewycz,
Felix Reimann,
Christian Haubelt,
Jürgen Teich:
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
SAFECOMP 2008: 139-152 | 
| 2007 | 
| 36 | EE | Michael Glaß,
Martin Lukasiewycz,
Thilo Streichert,
Christian Haubelt,
Jürgen Teich:
Interactive presentation: Reliability-aware system synthesis.
DATE 2007: 409-414 | 
| 35 | EE | Joachim Keinert,
Joachim Falk,
Christian Haubelt,
Jürgen Teich:
Actor-Oriented Modeling and Simulation of Sliding Window Image Processing Algorithms.
ESTImedia 2007: 113-118 | 
| 34 | EE | Jens Gladigau,
Christian Haubelt,
Bernhard Niemann,
Jürgen Teich:
Mapping Actor-Oriented Models to TLM Architectures.
FDL 2007: 128-133 | 
| 33 | EE | Dirk Koch,
Christian Haubelt,
Jürgen Teich:
Efficient hardware checkpointing: concepts, overhead analysis, and implementation.
FPGA 2007: 188-196 | 
| 32 | EE | Joachim Keinert,
Christian Haubelt,
Jürgen Teich:
Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow.
ICSAMOS 2007: 161-168 | 
| 31 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.
IEEE Congress on Evolutionary Computation 2007: 935-942 | 
| 30 | EE | Dirk Koch,
Christian Haubelt,
Thilo Streichert,
Jürgen Teich:
Modeling and Synthesis of Hardware-Software Morphing.
ISCAS 2007: 2746-2749 | 
| 29 | EE | Bernhard Niemann,
Christian Haubelt:
Towards a Unified Execution Model for Transactions in TLM.
MEMOCODE 2007: 103-112 | 
| 28 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Solving Multi-objective Pseudo-Boolean Problems.
SAT 2007: 56-69 | 
| 27 | EE | Thilo Streichert,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Design space exploration of reliable networked embedded systems.
Journal of Systems Architecture 53(10): 751-763 (2007) | 
| 26 | EE | Florian Dittmann,
Franz-Josef Rammig,
Martin Streubühr,
Christian Haubelt,
Andreas Schallenberg,
Wolfgang Nebel:
Exploration, Partitioning and Simulation of Reconfigurable Systems (Exploration, Partitionierung und Simulation rekonfigurierbarer Systeme).
it - Information Technology 49(3): 149- (2007) | 
| 2006 | 
| 25 | EE | Dirk Koch,
Thilo Streichert,
Steffen Dittrich,
Christian Strengert,
Christian Haubelt,
Jürgen Teich:
An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks.
ARCS 2006: 202-216 | 
| 24 | EE | Martin Streubühr,
Joachim Falk,
Christian Haubelt,
Jürgen Teich,
Rainer Dorsch,
Thomas Schlipf:
Task-accurate performance modeling in SystemC for real-time multi-processor architectures.
DATE 2006: 480-481 | 
| 23 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Symbolic Archive Representation for a Fast Nondominance Test.
EMO 2006: 111-125 | 
| 22 | EE | Joachim Falk,
Christian Haubelt,
Jürgen Teich:
Efficient Representation and Simulation of Model-Based Designs.
FDL 2006: 129-135 | 
| 21 | EE | Bernhard Niemann,
Christian Haubelt:
Formalizing TLM with Communicating State Machines.
FDL 2006: 285-293 | 
| 20 |   | Grygoriy Bunin,
Axel Schneider,
Christian Haubelt,
Jan Langer,
Ulrich Heinkel:
Automatic Test Case Generation with NuSMV.
GI Jahrestagung (2) 2006: 262-263 | 
| 19 | EE | Thilo Streichert,
Christian Haubelt,
Jürgen Teich:
Multi-Objective Topology Optimization for Networked Embedded Systems.
ICSAMOS 2006: 93-98 | 
| 18 | EE | Thomas Schlichter,
Martin Lukasiewycz,
Christian Haubelt,
Jürgen Teich:
Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms.
ISVLSI 2006: 309-316 | 
| 17 | EE | Thilo Streichert,
Christian Strengert,
Christian Haubelt,
Jürgen Teich:
Dynamic task binding for hardware/software reconfigurable networks.
SBCCI 2006: 38-43 | 
| 2005 | 
| 16 | EE | Thomas Schlichter,
Christian Haubelt,
Frank Hannig,
Jürgen Teich:
Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems.
ASAP 2005: 9-14 | 
| 15 | EE | Christian Haubelt,
Stephan Otto,
Cornelia Grabbe,
Jürgen Teich:
A system-level approach to hardware reconfigurable systems.
ASP-DAC 2005: 298-301 | 
| 14 | EE | Thilo Streichert,
Christian Haubelt,
Jürgen Teich:
Online hardware/software partitioning in networked embedded systems.
ASP-DAC 2005: 982-985 | 
| 13 | EE | S. Helwig,
Christian Haubelt,
Jürgen Teich:
Modeling and analysis of indirect communication in particle swarm optimization.
Congress on Evolutionary Computation 2005: 1246-1253 | 
| 12 | EE | Thilo Streichert,
Christian Haubelt,
Jürgen Teich:
Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks.
DATE 2005: 894-895 | 
| 11 | EE | Christian Haubelt,
Jürgen Gamenik,
Jürgen Teich:
Initial Population Construction for Convergence Improvement of MOEAs.
EMO 2005: 191-205 | 
| 10 | EE | Thomas Schlichter,
Christian Haubelt,
Jürgen Teich:
Improving EA-based design space exploration by utilizing symbolic feasibility tests.
GECCO 2005: 1945-1952 | 
| 9 |   | Christian Haubelt,
Marek Jersak,
Kai Richter,
Karsten Strehl,
Dirk Ziegenbein,
Rolf Ernst,
Jürgen Teich,
Lothar Thiele:
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.
GI Jahrestagung (2) 2005: 693-697 | 
| 2004 | 
| 8 | EE | Christian Haubelt:
Design Space Exploration for Distributed Hardware Reconfigurable Systems.
FPL 2004: 1171 | 
| 7 | EE | Christian Haubelt,
Dirk Koch,
Jürgen Teich:
Basic OS Support for Distributed Reconfigurable Hardware.
SAMOS 2004: 30-38 | 
| 2003 | 
| 6 | EE | Christian Haubelt,
Jürgen Teich,
Rainer Feldmann,
Burkhard Monien:
SAT-Based Techniques in System Synthesis.
DATE 2003: 11168-11169 | 
| 5 | EE | Christian Haubelt,
Sanaz Mostaghim,
Jürgen Teich,
Ambrish Tyagi:
Solving Hierarchical Optimization Problems Using MOEAs.
EMO 2003: 162-176 | 
| 4 | EE | Rainer Feldmann,
Christian Haubelt,
Burkhard Monien,
Jürgen Teich:
Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques.
FPL 2003: 478-487 | 
| 3 | EE | Christian Haubelt,
Dirk Koch,
Jürgen Teich:
ReCoNet: Modeling and Implementation of Fault Tolerant Distributed Reconfigurable Hardware.
SBCCI 2003: 343-348 | 
| 2002 | 
| 2 | EE | Christian Haubelt,
Jürgen Teich,
Kai Richter,
Rolf Ernst:
System Design for Flexibility.
DATE 2002: 854-861 | 
| 1 | EE | Christian Haubelt,
Jürgen Teich,
Kai Richter,
Rolf Ernst:
Flexibility/Cost-Tradeoffs of Platform-Based Systems.
Embedded Processor Design Challenges 2002: 38-56 |