 |
|
Books
|
|
|
Jürgen Teich und Christian Haubelt.
Digitale Hardware/Software-Systeme: Synthese und Optimierung.
2. Auflage, © Springer-Verlag, Berlin, Heidelberg, Germany, 2007.
|
|
Christian Haubelt und Jürgen Teich (Hrsg.).
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
© Shaker Verlag, Aachen, Germany, 2007.
|
|
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.
|
|
Book Chapters
|
|
|
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.
|
|
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.
|
|
Christian Haubelt, Sanaz Mostaghim, Frank Slomka, Jürgen Teich, and Ambrish Tyagi.
Hierarchical Synthesis of Embedded Systems Using Evolutionary Algorithms.
In Evolutionary Algorithms for 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.
|
|
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.
|
|
Journals
|
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
Volume 2006 (2006), Article ID 42168, 15 pages.
|
|
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.
|
|
Conferences
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
all publications
|
|
Talks
|
|
|
07/2008
|
Christian Haubelt, Joachim Falk, Christian Zebelein, Joachim Keinert, and Jürgen Teich
SystemCoDesigner - An ESL Design Methodology Based on the FunState MoC
at 2nd Artist Workshop on Models of Computation and Communication, July 3, Eindhoven, The Netherlands, 2008.
|
|
06/2008
|
Christian Haubelt.
SystemCoDesigner: Automatic Design Space Exploration and Rapid Prototyping from Behavioral Models
at Center of Embedded Computer Systems, June 13, Irvine, CA, U.S.A., 2008.
|
|
02/2008
|
Christian Haubelt.
SystemCoDesigner - A Methodology for an Early Assessment of Design Options
at 1. ILP-Summit Embedded Systems Institute, February 27, Nuremberg, Germany, 2008.
|
|
09/2007
|
Christian Haubelt and Bernhard Niemann.
Formalizing and Verifying SystemC TLMs
at FDL Industrial Workshop on Verification of Complex Systems, September 19, Barcelona, Spain, 2007.
|
|
09/2007
|
Joachim Falk, Jens Gladigau, Christian Haubelt, Joachim Keinert, Thomas Schlichter, Martin Streubühr, and Jürgen Teich.
SystemCoDesigner - Substantiating Early Design Decisions by Automatic Design Space Exploration
at 16. European SystemC Users Group Meeting, September 18, Barcelona, Spain, 2007.
|
|
03/2007
|
Axel Schneider, Joachim Knäblein, Christian Haubelt, Martin Streubühr, Maik Boden, Achim Seibertz, Gerhard Steininger, Ulrich Heinkel.
Verification Driven Specification of Complex Systems
at REConf'07 Requirements Engineering Tagung 2007, March 05-08, Munich, Germany, 2007.
|
|
|
all talks
|
|
Exhibitions
|
|
|
02/2008
|
SystemCoDesigner at Embedded World, February 26-28, Nuremberg, Germany, 2008.
|
|
06/2007
|
SystemCoDesigner at Design Automation Conference (DAC'07), June 03-08, San Diego, USA, 2007.
|
|
04/2007
|
SystemCoDesigner at Design, Automation and Test in Europe (DATE'07), April 16-20, Nice, France, 2007.
|
|
|
all exhibitions
|
|
|
