| 2013 | ||
|---|---|---|
| j10 | Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich: A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs. ACM Trans. Embedded Comput. Syst. 12(3): 74 (2013) | |
| c82 | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß: A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV 2013: 35-46 | |
| c81 | Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich: Model-Based Representation of Schedules for Dataflow Graphs. MBMV 2013: 105-115 | |
| e2 | Christian Haubelt, Dirk Timmermann (Eds.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock 2013, isbn 978-3-86009-147-0 | |
| 2012 | ||
| j9 | Rainer Dorsch, Richard K. Errickson, Markus M. Helms, G. Crew, Thomas A. Gregg, Welela Haileselassie, L. W. Helmer, A. Kohler, Kulwant M. Pandey, Susanne Roscher, E. S. Rotter, Christian Haubelt: IBM Parallel Sysplex design for the IBM z196 system. IBM Journal of Research and Development 56(1): 9 (2012) | |
| j8 | Jens Gladigau, Christian Haubelt, Jürgen Teich: Model-Based Virtual Prototype Acceleration. IEEE Trans. on CAD of Integrated Circuits and Systems 31(10): 1572-1585 (2012) | |
| c80 | Yang Xu, Rafael Rosales, Bo Wang, Martin Streubühr, Ralph Hasholzner, Christian Haubelt, Jürgen Teich: A Very Fast and Quasi-accurate Power-State-Based System-Level Power Modeling Methodology. ARCS 2012: 37-49 | |
| c79 | Lars Middendorf, Christophe Bobda, Christian Haubelt: Hardware synthesis of recursive functions through partial stream rewriting. DAC 2012: 1207-1215 | |
| c78 | Yang Xu, Bing Li, Ralph Hasholzner, Bernhard Rohfleisch, Christian Haubelt, Jürgen Teich: Variation-aware leakage power model extraction for system-level hierarchical power analysis. DATE 2012: 346-351 | |
| c77 | Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich: Exploiting Model-Knowledge in High-Level Synthesis. MBMV 2012: 181-191 | |
| c76 | Rainer Kiesel, Martin Streubühr, Christian Haubelt, Anestis Terzis, Jürgen Teich: Virtual prototyping for efficient multi-core ECU development of driver assistance systems. ICSAMOS 2012: 33-40 | |
| 2011 | ||
| c75 | Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich: Symbolic system synthesis in the presence of stringent real-time constraints. DAC 2011: 393-398 | |
| c74 | Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich: A rule-based static dataflow clustering algorithm for efficient embedded software synthesis. DATE 2011: 521-526 | |
| c73 | Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich: ESL power and performance estimation for heterogeneous MPSOCS using SystemC. FDL 2011: 1-8 | |
| c72 | Philipp Mahr, Steffen Christgau, Christian Haubelt, Christophe Bobda: Integrated Temporal Planning, Module Selection and Placement of Tasks for Dynamic Networks-on-Chip. IPDPS Workshops 2011: 258-263 | |
| c71 | Philipp Kutzer, Jens Gladigau, Christian Haubelt, Jürgen Teich: Automatic generation of system-level virtual prototypes from streaming application models. International Symposium on Rapid System Prototyping 2011: 128-134 | |
| c70 | Rainer Kiesel, Martin Streubühr, Christian Haubelt, Otto Löhlein, Jürgen Teich: Calibration and validation of software performance models for pedestrian detection systems. ICSAMOS 2011: 182-189 | |
| c69 | ||
| 2010 | ||
| b3 | Christian Haubelt, Jürgen Teich: Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. eXamen.press, Springer 2010, isbn 978-3-642-05355-9 | |
| j7 | Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya: Analysis of SystemC actor networks for efficient synthesis. ACM Trans. Embedded Comput. Syst. 10(2): 18 (2010) | |
| p1 | Christian Haubelt, Dirk Koch, Felix Reimann, Thilo Streichert, Jürgen Teich: ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections. Dynamically Reconfigurable Systems 2010: 223-243 | |
| c68 | Felix Reimann, Michael Glaß, Christian Haubelt, Michael Eberl, Jürgen Teich: Improving platform-based system synthesis by satisfiability modulo theories solving. CODES+ISSS 2010: 135-144 | |
| c67 | Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich: Towards scalable system-level reliability analysis. DAC 2010: 234-239 | |
| c66 | Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich, Rainer Dorsch: Efficient High-Level modeling in the networking domain. DATE 2010: 1189-1194 | |
| c65 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich: Symbolic system level reliability analysis. ICCAD 2010: 185-189 | |
| c64 | Rainer Kiesel, Otto Löhlein, Anestis Terzis, Martin Streubühr, Christian Haubelt, Jürgen Teich: Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation. MBMV 2010: 117-126 | |
| c63 | Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch: Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models. MBMV 2010: 137-146 | |
| c62 | Jens Gladigau, Andreas Gerstlauer, Christian Haubelt, Martin Streubühr, Jürgen Teich: A system-level synthesis approach from formal application models to generic bus-based MPSoCs. ICSAMOS 2010: 118-125 | |
| 2009 | ||
| j6 | Andreas Gerstlauer, Christian Haubelt, Andy D. Pimentel, Todor Stefanov, Daniel D. Gajski, Jürgen Teich: Electronic System-Level Synthesis Methodologies. IEEE Trans. on CAD of Integrated Circuits and Systems 28(10): 1517-1530 (2009) | |
| j5 | 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) | |
| c61 | Joachim Keinert, Hritam Dutta, Frank Hannig, Christian Haubelt, Jürgen Teich: Model-based synthesis and optimization of static multi-rate image processing algorithms. DATE 2009: 135-140 | |
| c60 | Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich: Incorporating graceful degradation into embedded system design. DATE 2009: 320-323 | |
| c59 | Martin Lukasiewycz, Martin Streubühr, Michael Glaß, Christian Haubelt, Jürgen Teich: Combined system synthesis and communication architecture exploration for MPSoCs. DATE 2009: 472-477 | |
| c58 | Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich: Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. FDL 2009: 1-6 | |
| c57 | Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig: Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. MBMV 2009: 157-166 | |
| c56 | ||
| 2008 | ||
| c55 | Thilo Streichert, Michael Glaß, Rolf Wanka, Christian Haubelt, Jürgen Teich: Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks. ARCS 2008: 23-37 | |
| c54 | 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 | |
| c53 | Joachim Keinert, Christian Haubelt, Jürgen Teich: Synthesis of Multi-dimensional High-Speed FIFOs for Out-of-Order Communication. ARCS 2008: 130-143 | |
| c52 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich: Efficient symbolic multi-objective design space exploration. ASP-DAC 2008: 691-696 | |
| c51 | 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 | |
| c50 | 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 | |
| c49 | Christian Haubelt, Thomas Schlichter, Joachim Keinert, Michael Meredith: SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models. DAC 2008: 580-585 | |
| c48 | 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 | |
| c47 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich: Symbolic Reliability Analysis and Optimization of ECU Networks. DATE 2008: 158-163 | |
| c46 | 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 | |
| c45 | Dirk Koch, Christian Haubelt, Jürgen Teich: Efficient Reconfigurable On-Chip Buses for FPGAs. FCCM 2008: 287-290 | |
| c44 | Jens Gladigau, Christian Haubelt, Jürgen Teich: Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. FDL 2008: 1-6 | |
| c43 | Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich: Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. MBMV 2008: 109-118 | |
| c42 | Martin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich, Axel Schneider: Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models. MBMV 2008: 139-148 | |
| c41 | Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich: Classification of General Data Flow Actors into Known Models of Computation. MEMOCODE 2008: 119-128 | |
| c40 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich: Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. SAFECOMP 2008: 139-152 | |
| c39 | Michael Glaß, Martin Lukasiewycz, Rolf Wanka, Christian Haubelt, Jürgen Teich: Multi-objective routing and topology optimization in networked embedded systems. ICSAMOS 2008: 74-81 | |
| 2007 | ||
| b2 | Jürgen Teich, Christian Haubelt: Digitale Hardware/Software-Systeme: Synthese und Optimierung, 2. Auflage. eXamen.press, Springer 2007, isbn 978-3-540-46822-6 | |
| j4 | Christian Haubelt, Joachim Falk, Joachim Keinert, Thomas Schlichter, Martin Streubühr, Andreas Deyhle, Andreas Hadert, Jürgen Teich: A SystemC-Based Design Methodology for Digital Signal Processing Systems. EURASIP J. Emb. Sys. 2007 (2007) | |
| j3 | 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) | |
| j2 | 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) | |
| c38 | 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 | |
| c37 | Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, Jürgen Teich: Interactive presentation: Reliability-aware system synthesis. DATE 2007: 409-414 | |
| c36 | Joachim Keinert, Joachim Falk, Christian Haubelt, Jürgen Teich: Actor-Oriented Modeling and Simulation of Sliding Window Image Processing Algorithms. ESTImedia 2007: 113-118 | |
| c35 | Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich: Mapping Actor-Oriented Models to TLM Architectures. FDL 2007: 128-133 | |
| c34 | Dirk Koch, Christian Haubelt, Jürgen Teich: Efficient hardware checkpointing: concepts, overhead analysis, and implementation. FPGA 2007: 188-196 | |
| c33 | Dirk Koch, Christian Haubelt, Thilo Streichert, Jürgen Teich: Modeling and Synthesis of Hardware-Software Morphing. ISCAS 2007: 2746-2749 | |
| c32 | Martin Streubühr, Carsten Riedel, Christian Haubelt, Jürgen Teich: System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC. MBMV 2007: 59-68 | |
| c31 | Bernhard Niemann, Christian Haubelt: Towards a Unified Execution Model for Transactions in TLM. MEMOCODE 2007: 103-112 | |
| c30 | 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 | |
| c29 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich: Solving Multi-objective Pseudo-Boolean Problems. SAT 2007: 56-69 | |
| e1 | Christian Haubelt, Jürgen Teich (Eds.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. Shaker 2007 | |
| 2006 | ||
| j1 | Thilo Streichert, Dirk Koch, Christian Haubelt, Jürgen Teich: Modeling and Design of Fault-Tolerant and Self-Adaptive Reconfigurable Networked Embedded Systems. EURASIP J. Emb. Sys. 2006 (2006) | |
| c28 | 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 | |
| c27 | 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 | |
| c26 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich: Symbolic Archive Representation for a Fast Nondominance Test. EMO 2006: 111-125 | |
| c25 | Joachim Falk, Christian Haubelt, Jürgen Teich: Efficient Representation and Simulation of Model-Based Designs. FDL 2006: 129-135 | |
| c24 | Bernhard Niemann, Christian Haubelt: Formalizing TLM with Communicating State Machines. FDL 2006: 285-293 | |
| c23 | Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel: Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) 2006: 262-263 | |
| c22 | 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 | |
| c21 | Bernhard Niemann, Christian Haubelt: Assertion-Based Verification of Transaction Level Models. MBMV 2006: 232-236 | |
| c20 | Thilo Streichert, Christian Haubelt, Jürgen Teich: Multi-Objective Topology Optimization for Networked Embedded Systems. ICSAMOS 2006: 93-98 | |
| c19 | Thilo Streichert, Christian Strengert, Christian Haubelt, Jürgen Teich: Dynamic task binding for hardware/software reconfigurable networks. SBCCI 2006: 38-43 | |
| 2005 | ||
| b1 | Christian Haubelt: Automatic model based design space exploration for embedded systems: a system level approach. University of Erlangen-Nuremberg 2005, isbn 3-89574-572-3, pp. 1-285 | |
| c18 | 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 | |
| c17 | Christian Haubelt, Stephan Otto, Cornelia Grabbe, Jürgen Teich: A system-level approach to hardware reconfigurable systems. ASP-DAC 2005: 298-301 | |
| c16 | Thilo Streichert, Christian Haubelt, Jürgen Teich: Online hardware/software partitioning in networked embedded systems. ASP-DAC 2005: 982-985 | |
| c15 | S. Helwig, Christian Haubelt, Jürgen Teich: Modeling and analysis of indirect communication in particle swarm optimization. Congress on Evolutionary Computation 2005: 1246-1253 | |
| c14 | Thilo Streichert, Christian Haubelt, Jürgen Teich: Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks. DATE 2005: 894-895 | |
| c13 | Christian Haubelt, Jürgen Gamenik, Jürgen Teich: Initial Population Construction for Convergence Improvement of MOEAs. EMO 2005: 191-205 | |
| c12 | Thomas Schlichter, Christian Haubelt, Jürgen Teich: Improving EA-based design space exploration by utilizing symbolic feasibility tests. GECCO 2005: 1945-1952 | |
| c11 | 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 | ||
| c10 | Christian Haubelt: Design Space Exploration for Distributed Hardware Reconfigurable Systems. FPL 2004: 1171 | |
| c9 | Christian Haubelt, Dirk Koch, Jürgen Teich: Basic OS Support for Distributed Reconfigurable Hardware. SAMOS 2004: 30-38 | |
| 2003 | ||
| c8 | Christian Haubelt, Jürgen Teich: Accelerating design space exploration using pareto-front arithmetics. ASP-DAC 2003: 525-531 | |
| c7 | Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien: SAT-Based Techniques in System Synthesis. DATE 2003: 11168-11169 | |
| c6 | Christian Haubelt, Sanaz Mostaghim, Jürgen Teich, Ambrish Tyagi: Solving Hierarchical Optimization Problems Using MOEAs. EMO 2003: 162-176 | |
| c5 | Rainer Feldmann, Christian Haubelt, Burkhard Monien, Jürgen Teich: Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques. FPL 2003: 478-487 | |
| c4 | Christian Haubelt, Dirk Koch, Jürgen Teich: ReCoNet: Modeling and Implementation of Fault Tolerant Distributed Reconfigurable Hardware. SBCCI 2003: 343-348 | |
| 2002 | ||
| c3 | Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst: System Design for Flexibility. DATE 2002: 854-861 | |
| c2 | Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst: Modellierung rekonfigurierbarer Systemarchitekturen. MBMV 2002: 163-171 | |
| c1 | Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst: Flexibility/Cost-Tradeoffs of Platform-Based Systems. Embedded Processor Design Challenges 2002: 38-56 | |
Data released under the ODC-BY 1.0 license — See also our legal information page