Publications by Christian Haubelt

    2010
  1. Martin Streubühr, Jens Gladigau, Christian Haubelt and Jürgen Teich. Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs. In Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's, pp. 59-72, Springer, 2010.
  2. Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, and Christian Zebelein. Integrated Modeling Using Finite State Machines and Dataflow Graphs. In Handbook of Signal Processing Systems, pp. 1041-1075, Springer, 2010.
  3. Jens Gladigau, Andreas Gerstlauer, Martin Streubühr, Christian Haubelt, and Jürgen Teich. A System-Level Synthesis Approach from Formal Application Models to Generic Bus-Based MPSoCs. In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2010), pp. 118-125, Samos, Greece, 2010.
  4. Michael Glaß, Martin Lukasiewycz, Christian Haubelt, and Jürgen Teich. Towards Scalable System-Level Reliability Analysis. In Proceedings of the Design Automation Conference (DAC 2010), pp. 234-239, Anaheim, CA, 2010.
  5. Christian Haubelt und Jürgen Teich. Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. Springer-Verlag, Berlin, Heidelberg, Germany, 2010.
  6. Felix Reimann, Andreas Kern, Christian Haubelt, Thilo Streichert and Jürgen Teich. Echtzeitanalyse Ethernet-basierter E/E-Architekturen im Automobil. In Proceedings of Automotive meets Electronics (AmE 2010), pp. 9-14, 2010.
  7. Christian Haubelt, Dirk Koch, Felix Reimann, Thilo Streichert, and Jürgen Teich. ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections. In Dynamically Reconfigurable Systems - Architectures, Design Methods and Applications, pp. 223-244, © Springer, Heidelberg, 2010.
  8. Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich and Rainer Dorsch. Efficient High-Level Modeling in the Networking Domain. In Proceedings of Design, Automation and Test in Europe (DATE'10), Dresden, Germany, pp. 1189-1194, 2010.
  9. Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich and Rainer Dorsch. Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 137-146, 2010.
  10. Rainer Kiesel, Otto Löhlein, Anestis Terzis, Martin Streubühr, Christian Haubelt and Jürgen Teich. Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 117-126, 2010.
  11. Michael Glaß, Martin Lukasiewycz, Christian Haubelt and Jürgen Teich. Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach. In Proceedings of the International Workshop on Reliability Aware System Design and Test (RASDAT '10), pp. 17-22, Bangalore, India, 2010.

    2009
  12. Andreas Gerstlauer, Christian Haubelt, Andy D. Pimentel, Todor P. Stefanov, Daniel D. Gajski and Jürgen Teich. Electronic System-Level Synthesis Methodologies. In IEEE Transactions on Computer- Aided Design og Integrated Circuits and Systems, 28(10), pp. 1517-1530, 2009.
  13. Martin Streubühr, Jens Gladigau, Christian Haubelt, and Jürgen Teich. Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs. In Proceedings of the Forum on specification & Design Languages, Sophia Antipolis, France, Sep. 22-24, 2009.
  14. Jens Gladigau, Christian Haubelt, and Jürgen Teich. Symbolic Scheduling of SystemC Dataflow Designs. In Languages for Embedded Systems and their Applications by M. Radetzki, pp. 183-199, © Springer Netherlands, 2009.
  15. Joachim Keinert, Christian Haubelt, and Jürgen Teich. Data Flow Based System Level Design and Analysis of Concurrent Image Processing Applications. In Proceedings of DATE'09 Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, pp. 215-216, Nice, France, April 25, 2009.
  16. Joachim Keinert, Hritam Dutta, Frank Hannig, Christian Haubelt, and Jürgen Teich. Model-Based Synthesis and Optimization of Static Multi-Rate Image Processing Algorithms. In Proceedings of Design, Automation and Test in Europe (DATE 2009), pp. 135-140, Nice, France, April 20-24, 2009.
  17. Martin Lukasiewycz, Martin Streubühr, Michael Glaß, Christian Haubelt, and Jürgen Teich. Combined System Synthesis and Communication Architecture Exploration for MPSoCs. In Proceedings of Design, Automation and Test in Europe (DATE 2009), pp. 472-477, Nice, France, April 20-24, 2009.
  18. Michael Glaß, Martin Lukasiewycz, Christian Haubelt, and Jürgen Teich. Incorporating Graceful Degradation into Embedded System Design. In Proceedings of Design, Automation and Test in Europe (DATE 2009), pp. 320-323, Nice, France, April 20-24, 2009.
  19. Martin Streubühr, Michael Jäntsch, Christian Haubelt, and Jürgen Teich. From Model-based Design to Virtual Prototypes for Automotive Applications. In Proceedings of the Embedded World Conference, Nuremberg, Germany, March 03-05, 2009.
  20. Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, and Michael Lindig. Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. In Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 157-166, Berlin, Germany, March 2-4, 2009.
  21. Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich and Michael Meredith. SYSTEMCODESIGNER - An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications. In ACM Transactions on Design Automation of Electronic Systems, 14(1), pp. 1-23, 2009.
  22. Martin Streubühr, Christian Haubelt, and Jürgen Teich. System Level Performance Simulation for Heterogeneous Multi-Processor Architectures. In Proceedings of the 1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO). Paphos, Cyprus, January 25, 2009.

    2008
  23. Felix Reimann, Michael Glaß, Martin Lukasiewycz, Jaochim Keinert, Christian Haubelt, and Jürgen Teich. Symbolic Voter Placement for Dependability-Aware System Synthesis. In Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). pp. 237-242, Atlanta, GA USA, October 19-24 2008.
  24. Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, and Shuvra Bhattacharyya. A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications. In Proceedings of the 8th ACM & IEEE international conference on Embedded software (EMSOFT'2008). Atlanta, Georgia, USA, October 20-22, 2008.
  25. Joachim Keinert, Christian Haubelt, and Jürgen Teich. Automatic Synthesis of Design Alternatives for Fast Stream-Based Out-of-Order Communication. In Proceedings of the 2008 IFIP/IEEE WG 10.5 International Conference on Very Large Scale Integration, (VLSI-SoC 2008). pp. 265-270, Rhodes Island, Greece, October 13-15, 2008.
  26. Jens Gladigau, Christian Haubelt, and Jürgen Teich. Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. In Proceedings of Forum on Specification & Design Languages 2008 (FDL08). pages 1-6, Stuttgart, Germany, Sep. 23-25 2008.
  27. Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, and Jürgen Teich. Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. In Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008). pp. 139-152, Newcastle upon Tyne, UK, September 22-25, 2008.
  28. Dirk Koch, Thilo Streichert, Christian Haubelt and Jürgen Teich. Logic Chip, Logic System and Method for Designing a Logic Chip. Patent PCT/EP2008/007342, filed September 8, 2008.
  29. Dirk Koch, Thilo Streichert, Christian Haubelt and Jürgen Teich. Logic Chip, Method and Computer Program for Providing a Configuration Information for a Configurable Logic Chip. Patent PCT/EP2008/007343, filed September 8, 2008.
  30. Christian Haubelt, Jürgen Teich, and Rainer Dorsch. Entdecke die Möglichkeiten. In n Design&Elektronik (8):22-27, WEKA. 2008.
  31. Michael Glaß, Martin Lukasiewycz, Rolf Wanka, Christian Haubelt, and Jürgen Teich. Multi-Objective Routing and Topology Optimization in Networked Embedded Systems. In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2008). pp. 74-81, Samos, Greece, July 21-24 2008.
  32. Christian Haubelt, Mike Meredith, Thomas Schlichter, and Joachim Keinert. SystemCoDesigner: Automatic Design Space Exploration and Rapid Prototyping from Behavioral Models. In Proceedings of the 2008 ACM/EDAC/IEEE Design Automation Conference (DAC 2008). pp. 580-585, Anaheim, CA, U.S.A., June 8-13 2008.
  33. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich, Richard Regler, and Bardo Lang. Concurrent Topology and Routing Optimization in Automotive Network Integration. In Proceedings of the 2008 ACM/EDAC/IEEE Design Automation Conference (DAC 2008). pp. 626-629, Anaheim, CA, U.S.A., June 08-13, 2008.
  34. Christian Zebelein, Joachim Falk, Christian Haubelt, and Jürgen Teich. Classification of General Data Flow Actors into Known Models of Computation. In Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008). pp. 119-128, Anaheim, CA, U.S.A., June 5-7, 2008.
  35. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, and Jürgen Teich. A Feasibility-preserving Local Search Operator for Constrained Discrete Optimization Problems. In Proceedings of the 2008 IEEE Congress on Evolutionary Computation (CEC 2008). pp. 1968-1975, Hong Kong, China, June 01-06, 2008.
  36. Dirk Koch, Christian Haubelt, and Jürgen Teich. Efficient Reconfigurable On-Chip Buses for FPGAs. In Proceedings of the 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2008). pp. 158-163, Palo Alto, CA, U.S.A., April 14-15, 2008.
  37. Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, and Jürgen Teich. Symbolic Reliability Analysis and Optimization of ECU Networks. In Proceedings of the Design, Automation and Test in Europe (DATE 2008). pp. 158-163, Munich, Germany, March 10-14, 2008.
  38. Martin Streubühr, Michael Jäntsch, Christian Haubelt, and Jürgen Teich. Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models. In Proceedings of the 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. pp. 139-148, Freiburg, Germany, March 03-05, 2008.
  39. Jens Gladigau, Frank Blendinger, Christian Haubelt, and Jürgen Teich. Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. In Proceedings of the 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. pp. 109-118, Freiburg, Germany, March 03-05, 2008.
  40. Thilo Streichert, Christian Haubelt, Dirk Koch, and Jürgen Teich. Concepts for Self-Adaptive and Self-Healing Networked Embedded Systems. In Organic Computing by Rolf P. Würtz, pp. 241-260, © Springer Netherlands, 2008.
  41. Joachim Keinert, Christian Haubelt, and Jürgen Teich. Synthesis of Multi-Dimensional High-Speed FIFOs for Out-of-Order Communication. In Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2008). pp. 130-143, Dresden, Germany, February 25-28, 2008.
  42. Robert Brendle, Thilo Streichert, Dirk Koch, Christian Haubelt, and Jürgen Teich. Dynamic Reconfiguration of FlexRay Schedules for Response Time Reduction in Asynchronous Fault-Tolerant Networks. In Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2008). pp. 117-129, Dresden, Germany, February 25-28, 2008.
  43. Thilo Streichert, Michael Glaß, Rolf Wanka, Christian Haubelt, and Jürgen Teich. Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks. In Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2008). pp. 23-37, Dresden, Germany, February 25-28, 2008.
  44. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, and Jürgen Teich. Efficient Symbolic Multi-Objective Design Space Exploration. In Proceedings of the 13th Asia and South Pacific Design Automation Conference (ASP-DAC 2008). pp. 691-696, Seoul, Korea, January 2008.

    2007
  45. Joachim Keinert, Joachim Falk, Christian Haubelt, and Jürgen Teich. Actor-Oriented Modeling and Simulation of Sliding Window Image Processing Algorithms. In Proceedings of the 2007 IEEE/ACM/IFIP Workshop of Embedded Systems for Real-Time Multimedia (ESTIMEDIA 2007). pp. 113-118, Salzburg, Austria, Oct.4-5, 2007.
  46. Thilo Streichert, Michael Glaß, Christian Haubelt, and Jürgen Teich. Design Space Exploration of Reliable Networked Embedded Systems. In Journal of Systems Architecture, Volume 53, Issue 10, Pages 751-763, Elsevier B.V., October 2007.
  47. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, and Jürgen Teich. SAT-Decoding in Evolutionary Algorithms for Discrete Constrained Optimization Problems. In Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC 2007). Singapore, Singapore, pp. 935-942, September 25-28, 2007.
  48. Jens Gladigau, Christian Haubelt, Bernhard Niemann, and Jürgen Teich. Mapping Actor-Oriented Models to TLM Architectures. In Proceedings of the Forum of Specification & Design Languages (FDL'07). Barcelona, Spain, September 18-20, 2007.
  49. Bernhard Niemann, Christian Haubelt, Maite Oyanguren, and Jürgen Teich. Formalizing TLM with Communicating State Machines. In Advances in Design and Specification Languages for Embedded Systems by Sorin A. Huss. pp. 225-242, © Springer Netherlands, 2007.
  50. Dirk Koch, Thilo Streichert, Christian Haubelt, and Jürgen Teich. Efficient Reconfigurable On-Chip Buses. European Patent EP07017975, Submission Date September 13, 2007.
  51. Joachim Keinert, Christian Haubelt, and Jürgen Teich. Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow. In Proceedings of the In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Acoustics, Speech, and Signal Processing (IC-SAMOS VII), Samos, Greece, pp. 161-168, July 16 - 19, 2007.
  52. Bernhard Niemann and Christian Haubelt. Towards a Unified Execution Model for Transactions in TLM. In Proceedings of the Fifth International Conference on Formal Methods and Models for Co-Design (MEMOCODE'07), Nice, France, pp. 103-112, May 30 - June 01, 2007.
  53. Martin Lukasiewycz, Micahel Glaß, Christian Haubelt, and Jürgen Teich. Solving Multiobjective Pseudo-Boolean Problems. In Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal, pp. May 28-31, 2007.
  54. Dirk Koch, Christian Haubelt, Thilo Streichert, and Jürgen Teich. Modeling and Synthesis of Hardware-Software Morphing. In Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), New Orleans, LA, U.S.A., pp. 2746-2749, May 2007.
  55. Florian Dittmann, Franz Rammig, Martin Streubühr, Christian Haubelt, Andreas Schallenberg, and Wolfgang Nebel. Exploration, Partitioning and Simulation of Reconfigurable Systems. In it - Information Technology, http://it-information-technology.de, Oldenbourg Wissenschaftsverlag, vol. 49(3):149-156, 2007.
  56. Thilo Streichert, Christian Strengert, Dirk Koch, Christian Haubelt, and Jürgen Teich. Communication Aware Optimization of the Task Binding in Hardware/Software Reconfigurable Networks. In Journal of Integated Circuits and Systems (JICS), Volume 2, Number 1, pp. 29-36, March 2007.
  57. Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, and Jürgen Teich. Reliability-Aware System Synthesis. In Proceedings of Design, Automation and Test in Europe (DATE 2007). IEEE Computer Society, Nice, France, pp. 409-414, April 16-20, 2007.
  58. Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, and Jürgen Teich. Synthese zuverlässiger und flexibler Systeme. In Zuverlässigkeit und Entwurf (ZuD 2007). Munich, Germany, pp. 141-148, March 26-28, 2007.
  59. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, and Jürgen Teich. Symbolic Archive Representation for a Fast Nondominance Test. In Proceedings of the Fourth International Conference on Evolutionary Multi-Criterion Optimization (EMO 2007). Sendai, Japan, pp. 111-125, March 5-8, 2007.
  60. Martin Streubühr, Carsten Riedel, Christian Haubelt and Jürgen Teich. System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC. In 10. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Erlangen, Germany, pp. 59-68, March 05-07, 2007.
  61. Christian Haubelt, Joachim Falk, Joachim Keinert, Thomas Schlichter, Martin Streubühr, Andreas Deyhle, Andreas Hadert, and Jürgen Teich. A SystemC-Based Design Methodology for Digital Signal Processing Systems. In EURASIP Journal on Embedded Systems, Special Issue on Embedded Digital Signal Processing Systems. Volume 2007 (2007), Article ID 47580, 22 pages.
  62. Jürgen Teich und Christian Haubelt. Digitale Hardware/Software-Systeme: Synthese und Optimierung. 2. Edition, Springer-Verlag, Berlin, Heidelberg, Germany, 2007.
  63. Christian Haubelt und Jürgen Teich (Hrsg.). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Shaker Verlag, Aachen, Germany, 2007.
  64. Dirk Koch, Christian Haubelt, and Jürgen Teich. Efficient Hardware Checkpointing -- Concepts, Overhead Analysis, and Implementation. In Proceedings of the 15th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2007). Monterey, CA, February 18-20, 2007.

    2006
  65. Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, and Ulrich Heinkel. Automatic Test Case Generation with Model Checker NuSMV. In Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen. Dresden, Germany, pp. 262 - 263, October 02-10, 2006.
  66. Axel Schneider, Grygoriy Bunin, Christian Haubelt, and Ulrich Heinkel. Automatic Test Generation with Model Checking Techniques. In Software Quality in Service-Oriented Architectures Proceedings of the Conference on Quality Engineering in Software Technology (CONQUEST2006). Berlin, Germany, pp. 307 - 318, September 27-29, 2006.
  67. Bernhard Niemann and Christian Haubelt. Formalizing Transaction Level Modeling with Communicating State Machines. In Proceedings of the Forum of Specification & Design Languages (FDL'06). Darmstadt, Germany, pp. 285 - 292, September 19-22, 2006.
  68. Joachim Falk, Christian Haubelt, and Jürgen Teich. Efficient Representation and Simulation of Model-Based Designs in SystemC. In Proceedings of the Forum of Specification & Design Languages (FDL'06). Darmstadt, Germany, pp. 129 - 134, September 19-22, 2006.
  69. Thilo Streichert, Christian Strengert, Christian Haubelt, and Jürgen Teich. Dynamic Task Binding for Hardware/Software Reconfigurable Networks. In Proceedings of 19th Symposium on Integrated Circuits and Systems Design (SBCCI2006). Ouro Preto, Brazil, pp. 38 - 43, August 28 - September 1, © IEEE, 2006.
  70. Thilo Streichert, Christian Haubelt, and Jürgen Teich. Multi-Objective Topology Optimization for Networked Embedded Systems. In Proceedings of the International Conference on Embedded Computer Systems: Architectures, MOdeling, and Simulation (SAMOS VI). Samos, Greece, pp. 93 - 98 July 17-20, © IEEE, 2006.
  71. Thilo Streichert, Dirk Koch, Christian Haubelt, and Jürgen Teich. Modeling and Design of Fault-Tolerant and Self-Adaptive Reconfigurable Networked Embedded Systems. In EURASIP Journal on Embedded Systems, Special Issue on Field-Programmable Gate Arrays in Embedded Systems. 2006 (2006), Article ID 42168, 15 pages.
  72. Christian Haubelt, Thomas Schlichter, and Jürgen Teich. Improving Automatic Design Space Exploration by Integrating Symbolic Techniques into Multi-Objective Evolutionary Algorithms. In International Journal of Computational Intelligence Research (IJCIR), Special Issue on Multiobjective Optimization and Applications, Volume 2, Issue 3. pp. 239-254, 2006.
  73. Joachim Keinert, Christian Haubelt, and Jürgen Teich. Modeling and Analysis of Windowed Synchronous Algorithms. In Proceedings of the 31st International Conference on Acoustics, Speech, and Signal Processing (ICASSP'06). pp. III-892- III-895, Toulouse, France, May 14-19, © IEEE, 2006.
  74. Dirk Koch, Thilo Streichert, Steffen Dittrich, Christian Strengert, Christian Haubelt, and Jürgen Teich. An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks. In Proceedings of Architecture of Computing Systems (ARCS'06). Frankfurt/Main, Germany, pp. 202 - 216, March 13-16, © Springer, 2006.
  75. Martin Streubühr, Joachim Falk, Christian Haubelt, Jürgen Teich, Rainer Dorsch, and Thomas Schlipf. Task-Accurate Performance Modeling in SystemC for Real-Time Multi-Processor Architectures. In Proceedings of Design, Automation and Test in Europe (DATE 2006), IEEE Computer Society, Munich, Germany, pp. 480-481, March 6-10, 2006.
  76. Thomas Schlichter, Martin Lukasiewycz, Christian Haubelt, and Jürgen Teich. Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms. In Proceedings of IEEE Computer Society Annual Symposium on VLSI (ISVLSI'06). Karlsruhe, Germany, pp. 309 - 314 March 2-3, © IEEE, 2006.
  77. Bernhard Niemann and Christian Haubelt. Assertion-Based Verification of Transaction Level Models. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Dresden, Germany, pp. 232 - 236, February 20-22, 2006.

    2005
  78. Joachim Falk, Christian Haubelt, and Jürgen Teich. Syntax and Execution Behavior of SysteMoC. Co-Design-Report 04 - 2005 Department of Computer Science 12 (Hardware-Software-Co-Design), University of Erlangen-Nuremberg, Erlangen, Germany, 2005.
  79. Joachim Keinert, Christian Haubelt, and Jürgen Teich. Windowed Synchronous Data Flow. Co-Design-Report 02 - 2005 Department of Computer Science 12 (Hardware-Software-Co-Design), University of Erlangen-Nuremberg, Erlangen, Germany, 2005.
  80. Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Lothar Thiele, and Jürgen Teich. SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme. In Proceedings of INFORMATIK 2005 - Informatik LIVE. by Armin B. Cremers, Rainer Manthey, Peter Martini, and Volker Steinhage (Eds.). In Lecture Notes in Informatics. VOL. P-68, No. 2, Bonn, Germany, pp. 693-697, September 19-22, 2005. © Gesellschaft für Informatik, Bonn, Germany, 2005.
  81. Sabine Helwig, Christian Haubelt, and Jürgen Teich. Modeling and Analysis of Indirect Communication in Particle Swarm Optimization. In Proceedings of the 2005 IEEE Congress on Evolutionary Computation (CEC 2005). Volume 2, Edinburgh, Scotland, pp. 1246-1253, September 2-5, 2005.
  82. Thomas Schlichter, Christian Haubelt, Frank Hannig, and Jürgen Teich. Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems. In Proceedings of Application-specific Systems, Architectures and Processors (ASAP 2005). Samos, Greece, pp. 9-14 July 23-25, 2005.
  83. Christian Haubelt. Automatic Model-Based Design Space Exploration for Embedded Systems - A System Level Approach. Dissertation, University of Erlangen-Nuremberg, ISBN 3-89574-572-3, © Verlag Dr. Köster, Berlin, 2005.
  84. Thomas Schlichter, Christian Haubelt, and Jürgen Teich. Improving EA-based Design Space Exploration by Utilizing Symbolic Feasibility Tests. In Proceedings of Genetic and Evolutionary Computation Conference (GECCO 2005). Washington, DC, pp. 1945-1952, June 25-29, 2005.
  85. Stefan Schock, Thomas Schlichter, Christian Haubelt, Jürgen Teich, Thomas Dinkel, Ullrich Heinkel, and Joachim Knäblein. Comparison of Techniques for the Automatic Verification of ADeVA Spezifications. In Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005). Dresden, Germany, April 13-14, 2005.
  86. Thomas Dinkel, Ullrich Heinkel, Thomas Schlichter, Christian Haubelt, and Jürgen Teich. Automatische Verifikation von ADeVA-Spezifikationen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GIITGGMM-Workshop 2005, Munich, Germany, April 06-07, 2005.
  87. Joachim Falk, Christian Haubelt, and Jürgen Teich. Representing Models of Computation in SystemC. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GIITGGMM-Workshop 2005, Munich, Germany, April 06-07, 2005.
  88. Thilo Streichert, Christian Haubelt, and Jürgen Teich. Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks. In Proceedings of Design, Automation and Test in Europe (DATE'05). Munich, Germany, pp. 894 - 895, March 7-11, © IEEE, 2005.
  89. Christian Haubelt, Jürgen Gamenik, and Jürgen Teich. Initial Population Construction for Convergence Improvement of MOEAs. In Evolutionary Multi-Criterion Optimization Proceedings of the Third International Conference, EMO 2005, Guanajuato, México. March 9-11, 2004, by Carlos A. Coello Coello, Arturo Hernández Aguirre, and Eckart Zitzler (Eds.). In Lecture Notes in Computer Science. VOL. 3410, pp. 191-205, © Springer, Berlin, Heidelberg, 2005.
  90. Thilo Streichert, Christian Haubelt, and Jürgen Teich. Verteilte HW/SW-Partitionierung für fehlertolerante rekonfigurierbare Netzwerke. In Proceedings of 17. Workshop on Testmethoden und Zuverlässigkeit von Schaltungen und Systemen. Innsbruck, Austria, pp. 50-54, February 27 - March 1, 2005.
  91. Thilo Streichert, Christian Haubelt, and Jürgen Teich. Online Hardware/Software Partitioning in Networked Embedded Systems. In Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC'05). Shanghai, China, pp. 982-985, January 18-21, 2005, © IEEE.
  92. Christian Haubelt, Stephan Otto, Cornelia Grabbe, and Jürgen Teich. A System-Level Approach to Hardware Reconfigurable Systems. In Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC'05). Shanghai, China, pp. 298-301, January 18-21, 2005, © IEEE.

    2004
  93. Christian Haubelt. Design Space Exploration for Distributed Hardware Reconfigurable Systems. In Field-Programmable Logic and Applications by Jürgen Becker, Marco Platzner, and Serge Vernalde (Eds.). In Lecture Notes in Computer Science. VOL. 3203, pp. 1171, © Springer, Berlin, Heidelberg, 2004.
  94. Christian Haubelt, Dirk Koch, and Jürgen Teich. Basic OS Support for Distributed Reconfigurable Hardware. In Computer Systems: Architectures, Modeling, and Simulation by Andy Pimentel and Stamatis Vassiliadis (Eds.). In Lecture Notes in Computer Science. VOL. 3133, pp. 30-38, © Springer, Berlin, Heidelberg, 2004.
  95. Christian Haubelt and Jürgen Teich. Modeling and Analysis of Distributed Reconfigurable Hardware. In Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2004). Dresden, Germany, pp. 106-111, April 19-20, 2004.

    2003
  96. Christian Haubelt and Jürgen Teich. Accelerating Design Space Exploration. In Proceedings of 5th International Conference on ASIC (ASICON 2003). Beijing, China, pp. 79-84, October 21-24, 2003, © IEEE.
  97. Christian Haubelt, Dirk Koch, and Jürgen Teich. ReCoNet: Modeling and Implementation of Fault Tolerant Distributed Reconfigurable Hardware. In Proceedings of 16th Symposium on Integrated Circuits and Systems Design (SBCCI2003). São Paulo, Brazil, pp. 343-348, September 8-11, 2003, © IEEE.
  98. Rainer Feldmann, Christian Haubelt, Burkard Monien, and Jürgen Teich. Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques. In Field-Programmable Logic and Applications by Peter Y. K. Cheung, George A. Constantinides, and Jose T. de Sousa (Eds.). In Lecture Notes in Computer Science. VOL. 2778, pp. 478-487, © Springer, Berlin, Heidelberg, 2003.
  99. Christian Haubelt, Dirk Koch, and Jürgen Teich. Basic OS Support for Distributed Reconfigurable Hardware. In Proceedings of the Third International Worshop on Systems, Architectures, Modeling, and Simulation (SAMOS'03). Samos, Greece, pp. 18-22, July 21-23, 2003, ISBN 90-807957-1-2.
  100. Christian Haubelt, Sanaz Mostaghim, Jürgen Teich, and Ambrish Tyagi. Solving Hierarchical Optimization Problems Using MOEAs. In Evolutionary Multi-Criterion Optimization Proceedings of the Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, by Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, and Lothar Thiele (Eds.). In Lecture Notes in Computer Science. VOL. 2632, pp. 162-176, © Springer, Berlin, Heidelberg, 2003.
  101. Christian Haubelt, Jürgen Teich, Rainer Feldmann, and Burkhard Monien. SAT-Based Techniques in System Design. In Proceedings of Design, Automation and Test in Europe (DATE'03). Munich, Germany, pp. 1168-1169, March 3-7, 2003, © IEEE.
  102. Christian Haubelt and Jürgen Teich. Accelerating Design Space Exploration Using Pareto-Front Arithmetics. In Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC'03). Kitakyushu, Japan, pp. 525-531, January 21-24, 2003, © IEEE.
  103. Christian Haubelt, Sanaz Mostaghim, Frank Slomka, Jürgen Teich, and Ambrish Tyagi. Hierarchical Synthesis of Embedded Systems Using Evolutionary Algorithms. In Evolutionary Algorithms in Embedded System Design by Drechsler, R. and Drechsler, N. In Genetic Algorithms and Evolutionary Computation (GENA), pp. 63-104, © Kluwer Academic Publishers, Boston, Dordrecht, London, 2003.

    2002
  104. Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka, and Jürgen Teich. SPI - Workbench for the Analysis of Embedded Systems. In Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen. Aachen, Germany, pp. 247-261, March 20-22, 2002.
  105. Christian Haubelt, Jürgen Teich, Kai Richter, and Rolf Ernst. Flexibility/Cost-Tradeoffs in Platform-Based Design. In Embedded Processor Design Challenges -- Systems, Architectures, Modeling, and Simulation - SAMOS by Deprettere, E.F., Teich, J., Vassiliadis, S. In Lecture Notes in Computer Science. VOL. 2268, pp. 38-56, © Springer, Berlin, Heidelberg, 2002.
  106. Christian Haubelt, Jürgen Teich, Kai Richter, and Rolf Ernst. System Design for Flexibility. In Proceedings of Design, Automation and Test in Europe (DATE'02). Paris, France, pp. 854-861, March 4-8, 2002, © IEEE.
  107. Christian Haubelt, Jürgen Teich, Kai Richter, and Rolf Ernst. Modellierung rekonfigurierbarer Systemarchitekturen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GIITGGMM-Workshop 2002, Tübingen, pp. 163-171, Februar 25-27, 2002.