Christian Haubelt

发表

SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2009, TODE.

Formalizing TLM with Communicating State Machines

Christian Haubelt, Bernhard Niemann, C. Haubelt, 2006, FDL.

Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks

Michael Glaß, Christian Haubelt, Jürgen Teich, 2008, ARCS.

Advanced Debugging Architecture for Smart Inertial Sensors using Sensor-in-the-Loop

Christian Haubelt, Daniel Gis, Nils Büscher, 2020, 2020 International Workshop on Rapid System Prototyping (RSP).

A Programmable Graphics Processor based on Partial Stream Rewriting

Christian Haubelt, Lars Middendorf, 2013, Comput. Graph. Forum.

Model-based real time analysis of distributed human activity recognition stages in wireless sensor networks

Christian Haubelt, Benjamin Beichler, Florian Grützmacher, 2019, UbiComp/ISWC Adjunct.

Low-complexity online correction and calibration of pedestrian dead reckoning using map matching and GPS

Christian Haubelt, Frank Golatowski, Fabian Hölzke, 2019, Geo spatial Inf. Sci..

Combined system synthesis and communication architecture exploration for MPSoCs

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Dataflow-based modeling and performance analysis for online gesture recognition

Christian Haubelt, Bart D. Theelen, Benjamin Beichler, 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data).

Automatic Test Case Generation with NuSMV

Jan Langer, Ulrich Heinkel, Christian Haubelt, 2006, GI Jahrestagung.

Synthesis of Multi-dimensional High-Speed FIFOs for Out-of-Order Communication

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2008, ARCS.

Optimization of a novel WLAN Simulation Framework for Prototyping Network Applications and Protocols

Dirk Timmermann, Christian Haubelt, Benjamin Beichler, 2017, MBMV.

Improving Automatic Design Space Exploration by Integrating Symbolic Techniques into Multi-Objective Evolutionary Algorithms

Christian Haubelt, Thomas Schlichter, J ¨ urgen Teich, 2006 .

Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs

Sander Stuijk, Christian Haubelt, Twan Basten, 2014, 2014 48th Asilomar Conference on Signals, Systems and Computers.

Windowed Synchronous Data Flow

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2006 .

Quasi-static scheduling of data flow graphs in the presence of limited channel capacities

Michael Glaß, Christian Haubelt, Jürgen Teich, 2015, 2015 13th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia).

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving

Christian Haubelt, Torsten Schaub, Jens Gladigau, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Distributed HW/SW-partitioning for embedded reconfigurable networks

Christian Haubelt, Jürgen Teich, Thilo Streichert, 2005, Design, Automation and Test in Europe.

Communication Aware Optimization of the Task Binding in Hardware/Software Reconfigurable Networks

Christian Haubelt, Jürgen Teich, Dirk Koch, 2007 .

Efficient approximately-timed performance modeling for architectural exploration of MPSoCs

Christian Haubelt, Jürgen Teich, Martin Streubühr, 2009, 2009 Forum on Specification & Design Languages (FDL).

Exploiting thread-level parallelism in template-based gesture recognition with dynamic time warping

Christian Haubelt, Florian Grützmacher, Johann-Peter Wolff, 2015, iWOAR.

A novel graphics processor architecture based on partial stream rewriting

Christian Haubelt, Lars Middendorf, 2013, 2013 Conference on Design and Architectures for Signal and Image Processing.

Modeling and Analysis of Windowed Synchronous Algorithms

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2006, 2006 IEEE International Conference on Acoustics Speech and Signal Processing Proceedings.

SysteMoC: A Data-Flow Programming Language for Codesign

Christian Haubelt, Jürgen Teich, Christian Zebelein, 2017, Handbook of Hardware/Software Codesign.

Sensor-based online hand gesture recognition on multi-core DSPs

Christian Haubelt, Florian Grützmacher, Johann-Peter Wolff, 2015, 2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP).

Accurate Sample Time Reconstruction of Inertial FIFO Data †

Christian Haubelt, Rainer Dorsch, Sebastian Stieber, 2017, Sensors.

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP

Michael Glaß, Christian Haubelt, Martin Gebser, 2013, MBMV.

Symbolic quasi-static scheduling of actor-oriented SystemC models

Christian Haubelt, Jürgen Teich, Jens Gladigau, 2008, 2008 Forum on Specification, Verification and Design Languages.

Hybride Prototypisierung eines Sensorsubsystems

Christian Haubelt, Johann-Peter Wolff, Rainer Dorsch, 2014, MBMV.

Efficient Reconfigurable On-Chip Buses for FPGAs

Christian Haubelt, Jürgen Teich, Dirk Koch, 2008, 2008 16th International Symposium on Field-Programmable Custom Computing Machines.

Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models

Christian Haubelt, Jürgen Teich, Martin Streubühr, 2008, MBMV.

ESL power and performance estimation for heterogeneous MPSOCS using SystemC

Christian Haubelt, Jürgen Teich, Rafael Rosales, 2011, FDL 2011 Proceedings.

Analysis of SystemC actor networks for efficient synthesis

Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya, 2011, TECS.

An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks

Christian Haubelt, Jürgen Teich, Dirk Koch, 2006, ARCS.

From Model-based Design to Virtual Prototypes for Automotive Applications

Christian Haubelt, Jürgen Teich, Martin Streubühr, 2009 .

Accelerating design space exploration using pareto-front arithmetics

Christian Haubelt, Jürgen Teich, 2003, ASP-DAC '03.

A rule-based static dataflow clustering algorithm for efficient embedded software synthesis

Christian Haubelt, Jürgen Teich, Joachim Falk, 2011, 2011 Design, Automation & Test in Europe.

Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models

Christian Haubelt, Jürgen Teich, Joachim Falk, 2010, MBMV.

Improving platform-based system synthesis by satisfiability modulo theories solving

Michael Glaß, Christian Haubelt, Jürgen Teich, 2010, 2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Actor-Oriented Modeling and Simulation of Sliding Window Image Processing Algorithms

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2007, 2007 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia.

Exploration, Partitioning and Simulation of Reconfigurable Systems (Exploration, Partitionierung und Simulation rekonfigurierbarer Systeme)

Florian Dittmann, Christian Haubelt, Wolfgang Nebel, 2007, it Inf. Technol..

A Very Fast and Quasi-accurate Power-State-Based System-Level Power Modeling Methodology

Christian Haubelt, Jürgen Teich, Rafael Rosales, 2012, ARCS.

ViPMesh: A virtual prototyping framework for IEEE 802.11s wireless mesh networks

Dirk Timmermann, Christian Haubelt, Benjamin Beichler, 2016, 2016 IEEE 12th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections

Christian Haubelt, Jürgen Teich, Dirk Koch, 2010, Dynamically Reconfigurable Systems.

SystemCoDesigner: Automatic design space exploration and rapid prototyping from behavioral models

Christian Haubelt, Joachim Keinert, Michael Meredith, 2008, 2008 45th ACM/IEEE Design Automation Conference.

A SystemC-Based Design Methodology for Digital Signal Processing Systems

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2007, EURASIP J. Embed. Syst..

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme

Christian Haubelt, Jürgen Teich, Lothar Thiele, 2005, GI Jahrestagung.

Reliability-Aware System Synthesis

Martin Lukasiewycz, Christian Haubelt, Jürgen Teich, 2007 .

Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen

Christian Haubelt, Jürgen Teich, Jens Gladigau, 2008, MBMV.

Model-Based Design of Energy-Efficient Human Activity Recognition Systems with Wearable Sensors

Christian Haubelt, Thomas Kirste, Albert Hein, 2018 .

Exploration, Partitioning and Simulation of Reconfigurable

Florian Dittmann, Christian Haubelt, Wolfgang Nebel, 2007 .

Time and Memory Efficient Online Piecewise Linear Approximation of Sensor Signals

Christian Haubelt, Thomas Kirste, Albert Hein, 2018, Sensors.

Modeling and Synthesis of Hardware-Software Morphing

Christian Haubelt, Jürgen Teich, Dirk Koch, 2007, 2007 IEEE International Symposium on Circuits and Systems.

Initial Population Construction for Convergence Improvement of MOEAs

Christian Haubelt, Jürgen Teich, Jürgen Gamenik, 2005, EMO.

ReCoNet: modeling and implementation of fault tolerant distributed reconfigurable hardware

Christian Haubelt, Jürgen Teich, Dirk Koch, 2003, 16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings..

Simulative BufferAnalysisof Local Image ProcessingAlgorithms Described by Windowed

Christian Haubelt, Jürgen Teich, Fraunhofer Iis, 2007 .

Mini-Mesh: Practical assessment of a miniaturized IEEE 802.11n/s mesh testbed

Dirk Timmermann, Christian Haubelt, Benjamin Beichler, 2018, 2018 IEEE Wireless Communications and Networking Conference (WCNC).

Multi-aspect Evaluation Method for Digital Pointing Devices

Christian Haubelt, Daniel Gis, Nils Büscher, 2019, PECCS.

Exact multi-objective design space exploration using ASPmT

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics

Christian Haubelt, Torsten Schaub, Javier Romero, 2015, LPNMR.

Special session: Invasive programming of heterogeneous multi-core systems

Christian Haubelt, 2012, FDL 2012.

Hardware synthesis of recursive functions through partial stream rewriting

Christian Haubelt, Christophe Bobda, Lars Middendorf, 2012, DAC Design Automation Conference 2012.

Design Space Exploration with Answer Set Programming

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2018, KI - Künstliche Intelligenz.

A novel model for system-level decision making with combined ASP and SMT solving

Christian Haubelt, Jens Gladigau, Alexander Biewer, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Integrated Temporal Planning, Module Selection and Placement of Tasks for Dynamic Networks-on-Chip

Christian Haubelt, Christophe Bobda, Philipp Mahr, 2011, 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum.

IBM Parallel Sysplex design for the IBM z196 system

Christian Haubelt, Markus M. Helms, Thomas A. Gregg, 2012, IBM J. Res. Dev..

Towards scalable system-level reliability analysis

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2010, Design Automation Conference.

A Mobile Camera-Based Evaluation Method of Inertial Measurement Units on Smartphones

Christian Haubelt, Lars Middendorf, Rainer Dorsch, 2015, IoT 360.

Symbolic voter placement for dependability-aware system synthesis

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2008, CODES+ISSS '08.

Symbolic System Synthesis Using Answer Set Programming

Michael Glaß, Christian Haubelt, Martin Gebser, 2013, LPNMR.

A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems

Christian Haubelt, Frank Golatowski, Benjamin Beichler, 2015, CyPhy.

Accurate Sample Time Reconstruction for Sensor Data Synchronization

Christian Haubelt, Rainer Dorsch, Sebastian Stieber, 2016, ARCS.

A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications

Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya, 2008, EMSOFT '08.

Classification of General Data Flow Actors into Known Models of Computation

Christian Haubelt, Jürgen Teich, Joachim Falk, 2008, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.

Automatic model based design space exploration for embedded systems: a system level approach

Christian Haubelt, 2005 .

Symbolic system synthesis in the presence of stringent real-time constraints

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

Reliability-Aware System Synthesis

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Design space exploration of reliable networked embedded systems

Michael Glaß, Christian Haubelt, Jürgen Teich, 2007, J. Syst. Archit..

Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making

Christian Haubelt, Jens Gladigau, Alexander Biewer, 2014, ARCS Workshops.

System design for flexibility

Christian Haubelt, Jürgen Teich, Rolf Ernst, 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2018, MBMV.

A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs

Christian Haubelt, Jürgen Teich, Joachim Falk, 2013, TECS.

Calibration and validation of software performance models for pedestrian detection systems

Christian Haubelt, Jürgen Teich, Martin Streubühr, 2011, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

Interactive presentation: Reliability-aware system synthesis

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2007 .

SAT-based techniques in system synthesis

Christian Haubelt, Jürgen Teich, Burkhard Monien, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

SAT-decoding in evolutionary algorithms for discrete constrained optimization problems

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2007, 2007 IEEE Congress on Evolutionary Computation.

Model-based Systems Engineering with Matlab/Simulink in the Railway Sector

Christian Haubelt, Frank Golatowski, Benjamin Beichler, 2015, MBMV.

Improving Pedestrian Dead Reckoning using Likely and Unlikely Paths

Christian Haubelt, Daniel Gis, Jürgen Meier, 2018, 2018 Ubiquitous Positioning, Indoor Navigation and Location-Based Services (UPINLBS).

CHaChA: Clustering Heuristic and Channel Assignment for IEEE 802.11s Mesh Networks

Dirk Timmermann, Christian Haubelt, Benjamin Beichler, 2018, 2018 IEEE 9th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON).

System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC

Christian Haubelt, Jürgen Teich, Martin Streubühr, 2007, MBMV.

Efficient symbolic multi-objective design space exploration

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2008, 2008 Asia and South Pacific Design Automation Conference.

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2019, Electronic Proceedings in Theoretical Computer Science.

Model-based synthesis and optimization of static multi-rate image processing algorithms

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Modellierung rekonfigurierbarer Systemarchitekturen

Christian Haubelt, Jürgen Teich, Rolf Ernst, 2002, MBMV.

Targeted on-line data extraction with SystemXtract

Christian Haubelt, Adelinde M. Uhrmacher, Sebastian Stieber, 2015, SimuTools.

Incorporating graceful degradation into embedded system design

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS

Dirk Timmermann, Christian Haubelt, Christoph Niemann, 2020, MBMV.

Hierarchical Synthesis of Embedded Systems Using Evolutionary Algorithms

Christian Haubelt, Jürgen Teich, Sanaz Mostaghim, 2003 .

Utilizing quad-trees for efficient design space exploration with partial assignment evaluation

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2018, 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).

Automated Sensor Firmware Development - Generation, Optimization, and Analysis

Christian Haubelt, Oliver Bringmann, Martin Radetzki, 2019, MBMV.

Task-accurate performance modeling in SystemC for real-time multi-processor architectures

Christian Haubelt, Jürgen Teich, Joachim Falk, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS

Christian Haubelt, Frank Golatowski, Benjamin Beichler, 2014, GI-Jahrestagung.

Digitale Hardware/Software-Systeme: Synthese und Optimierung, 2. Auflage

Christian Haubelt, Jürgen Teich, C. Haubelt, 2007, eXamen.press.

Integrated Modeling using Finite State Machines and Dataflow Graphs

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2010, Handbook of Signal Processing Systems.

Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

Christian Haubelt, Jürgen Teich, 2010, eXamen.press.

Symbolic Reliability Analysis and Optimization of ECU Networks

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2008, 2008 Design, Automation and Test in Europe.

A system-level approach to hardware reconfigurable systems

Christian Haubelt, Jürgen Teich, Cornelia Grabbe, 2005, ASP-DAC.

Concurrent topology and routing optimization in automotive network integration

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2008, 2008 45th ACM/IEEE Design Automation Conference.

Model-Based Virtual Prototype Acceleration

Christian Haubelt, Jürgen Teich, Jens Gladigau, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Integrated Modeling Using Finite State Machines and Dataflow Graphs

Christian Haubelt, Jürgen Teich, Joachim Falk, 2013, Handbook of Signal Processing Systems.

Online hardware/software partitioning in networked embedded systems

Christian Haubelt, Jürgen Teich, Thilo Streichert, 2005, ASP-DAC.

Efficient hardware checkpointing: concepts, overhead analysis, and implementation

Christian Haubelt, Jürgen Teich, Dirk Koch, 2007, FPGA '07.

LBSD 3: System-level behavioral modeling and simulation

Jean-Philippe Babau, Christian Haubelt, 2012, FDL 2012.

Model-based actor multiplexing with application to complex communication protocols

Christian Haubelt, Jürgen Teich, Tobias Schwarzer, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Improving EA-based design space exploration by utilizing symbolic feasibility tests

Christian Haubelt, Jürgen Teich, Thomas Schlichter, 2005, GECCO '05.

Improving Pedestrian Dead Reckoning Using Likely Paths and Backtracking for Mobile Devices

Christian Haubelt, Fabian Hölzke, Johann-Peter Wolff, 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops).

Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms

Martin Lukasiewycz, Christian Haubelt, Jürgen Teich, 2006, IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06).

Statistical analysis and improvement of the repeatability and reproducibility of an evaluation method for IMUs on a smartphone

Christian Haubelt, Lars Middendorf, Nils Büscher, 2016, EICS.

Scheduling of Recursive and Dynamic Data-Flow Graphs Using Stream Rewriting

Christian Haubelt, Lars Middendorf, 2014, 2014 International Symposium on Computer Architecture and High Performance Computing Workshop.

Exact Design Space Exploration Based on Consistent Approximations

Christian Haubelt, Benjamin Beichler, Kai Neubauer, 2020 .

Multi-objective routing and topology optimization in networked embedded systems

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2008, 2008 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation.

Electronic System-Level Synthesis Methodologies

Christian Haubelt, Jürgen Teich, Andreas Gerstlauer, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Mapping Actor-Oriented Models to TLM Architectures

Christian Haubelt, Jürgen Teich, Jens Gladigau, 2007, FDL.

Dynamic task mapping of graphics processing applications on many-core architectures through stream rewriting

Christian Haubelt, Lars Middendorf, 2015, 2015 13th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia).

Automatic generation of system-level virtual prototypes from streaming application models

Christian Haubelt, Jürgen Teich, Jens Gladigau, 2011, 2011 22nd IEEE International Symposium on Rapid System Prototyping.

Special session on “What's next for ESL”

Christian Haubelt, 2011, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

Towards energy efficient sensor nodes for online activity recognition

Christian Haubelt, Thomas Kirste, Albert Hein, 2017, IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society.

Evaluation Method for the Absolute Orientation from the Rotation Vector on Mobile Devices

Christian Haubelt, Nils Büscher, Marcel Stieringer, 2019, 2019 IEEE International Symposium on Inertial Sensors and Systems (INERTIAL).

Performance analysis of weakly-consistent scenario-aware dataflow graphs

Sander Stuijk, Christian Haubelt, Twan Basten, 2014, ACSSC.

Activity Recognition using Head Worn Inertial Sensors

Christian Haubelt, Florian Grützmacher, Johann-Peter Wolff, 2018, iWOAR.

Basic OS Support for Distributed Reconfigurable Hardware

Christian Haubelt, Jürgen Teich, Dirk Koch, 2004, SAMOS.

Flexibility/Cost-Tradeoffs of Platform-Based Systems

Christian Haubelt, Jürgen Teich, Rolf Ernst, 2002, Embedded Processor Design Challenges.

Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs

Christian Haubelt, Florian Grützmacher, Jens Rudolf, 2020, MBMV.

Supporting composition in symbolic system synthesis

Michael Glaß, Christian Haubelt, Kai Neubauer, 2016, 2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS).

Syntax and execution behavior of SysteMoC

Christian Haubelt, Jürgen Teich, Joachim Falk, 2005 .

SysteMoC: A Data-Flow Programming Language for Codesign

Christian Haubelt, Jürgen Teich, Joachim Falk, 2017, Handbook of Hardware/Software Codesign.

Solving Multi-objective Pseudo-Boolean Problems

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2007, SAT.

A feasibility-preserving local search operator for constrained discrete optimization problems

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2008, 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence).

A system-level synthesis approach from formal application models to generic bus-based MPSoCs

Christian Haubelt, Jürgen Teich, Andreas Gerstlauer, 2010, 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling

Michael Glaß, Christian Haubelt, Jürgen Teich, 2015, SCOPES.

MeNTor: A wireless-mesh-network-aware data dissemination overlay based on BitTorrent

Dirk Timmermann, Christian Haubelt, Benjamin Beichler, 2018, Ad Hoc Networks.

On leveraging approximations for exact system-level design space exploration: work-in-progress

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2018, CODES+ISSS.

Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation

Christian Haubelt, Jürgen Teich, Martin Streubühr, 2010, MBMV.

Exploiting Model-Knowledge in High-Level Synthesis

Christian Haubelt, Jürgen Teich, Joachim Falk, 2012, MBMV.

Symbolic system level reliability analysis

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Using symbolic feasibility tests during design space exploration of heterogeneous multi-processor systems

Christian Haubelt, Jürgen Teich, Thomas Schlichter, 2005, 2005 IEEE International Conference on Application-Specific Systems, Architecture Processors (ASAP'05).

Design Space Exploration for Distributed Hardware Reconfigurable Systems

Christian Haubelt, 2004, FPL.

Supporting Static Binding in Stream Rewriting for Heterogeneous Many-Core Architectures

Christian Haubelt, Lars Middendorf, 2016, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC).

Dynamic task mapping onto multi-core architectures through stream rewriting

Christian Haubelt, Lars Middendorf, Christian Zebelein, 2013, 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).

Towards a Unified Execution Model for Transactions in TLM

Christian Haubelt, Bernhard Niemann, C. Haubelt, 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).

Modeling and analysis of indirect communication in particle swarm optimization

Christian Haubelt, Jürgen Teich, S. Helwig, 2005, 2005 IEEE Congress on Evolutionary Computation.

Representing mapping and scheduling decisions within dataflow graphs

Christian Haubelt, Jürgen Teich, Tobias Schwarzer, 2013, Proceedings of the 2013 Forum on specification and Design Languages (FDL).

Model-Based Representation of Schedules for Dataflow Graphs

Christian Haubelt, Jürgen Teich, Joachim Falk, 2013, MBMV.

Dynamic Reconfiguration of FlexRay Schedules for Response Time Reduction in Asynchronous Fault-Tolerant Networks

Christian Haubelt, Jürgen Teich, Dirk Koch, 2008, ARCS.

Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow

Christian Haubelt, Jürgen Teich, Joachim Keinert, 2007, 2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

Using stream rewriting for mapping and scheduling data flow graphs onto many-core architectures

Christian Haubelt, Lars Middendorf, Christian Zebelein, 2013, 2013 Asilomar Conference on Signals, Systems and Computers.

Efficient High-Level modeling in the networking domain

Christian Haubelt, Jürgen Teich, Joachim Falk, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen

Christian Haubelt, Jürgen Teich, Michael Lindig, 2009, MBMV.

Modeling and Design of Fault-Tolerant and Self-Adaptive Reconfigurable Networked Embedded Systems

Christian Haubelt, Jürgen Teich, Dirk Koch, 2006, EURASIP J. Embed. Syst..

Solving Hierarchical Optimization Problems Using MOEAs

Christian Haubelt, Jürgen Teich, Sanaz Mostaghim, 2003, EMO.

Symbolic Reliability Analysis of Self-healing Networked Embedded Systems

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 2008, SAFECOMP.

Fluid intake recognition using inertial sensors

Christian Haubelt, Thomas Kirste, Johann-Peter Wolff, 2019, iWOAR.

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems

Christian Haubelt, Jens Gladigau, Peter Munk, 2015, MBMV.

Multi-Objective Topology Optimization for Networked Embedded Systems

Christian Haubelt, Jürgen Teich, Thilo Streichert, 2006, 2006 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

Energy Efficient On-Sensor Processing for Online Activity Recognition.

Christian Haubelt, Thomas Kirste, Albert Hein, 2018, PECCS 2018.

Dynamic task binding for hardware/software reconfigurable networks

Christian Haubelt, Jürgen Teich, Thilo Streichert, 2006, SBCCI '06.

SystemC Power Profiling for IoT Device Firmware using Runtime Configurable Models

Christian Haubelt, Daniel Gis, Rainer Dorsch, 2019, 2019 8th Mediterranean Conference on Embedded Computing (MECO).

Introduction to Hardware/Software Codesign

Aviral Shrivastava, Michael Glaß, Christian Haubelt, 2017, Handbook of Hardware/Software Codesign.

Symbolic Scheduling of SystemC Dataflow Designs

Christian Haubelt, Jürgen Teich, Jens Gladigau, 2008, FDL.

Designing multi-processor Systems-on-Chip

Christian Haubelt, 2009, 2009 IEEE International SOC Conference (SOCC).

Fast care – real-time sensor data analysis framework for intelligent assistance systems

Christian Haubelt, Thomas Kirste, Albert Hein, 2017 .

Virtual prototyping for efficient multi-core ECU development of driver assistance systems

Christian Haubelt, Jürgen Teich, Martin Streubühr, 2012, 2012 International Conference on Embedded Computer Systems (SAMOS).

Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques

Christian Haubelt, Jürgen Teich, Burkhard Monien, 2003, FPL.

Concepts for Self-Adaptive and Self-Healing Networked Embedded Systems

Christian Haubelt, Jürgen Teich, Dirk Koch, 2008, Organic Computing.

Assertion-Based Verification of Transaction Level Models

Christian Haubelt, Bernhard Niemann, C. Haubelt, 2006, MBMV.

Work-in-Progress: On Leveraging Approximations for Exact System-level Design Space Exploration

Christian Haubelt, Torsten Schaub, Philipp Wanko, 2018, 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Efficient Representation and Simulation of Model-Based Designs

Christian Haubelt, Jürgen Teich, Joachim Falk, 2006, FDL.

Energy Efficient On-Sensor Processing for Online Activity Recognition

Christian Haubelt, Thomas Kirste, Albert Hein, 2018, PECCS.

Variation-aware leakage power model extraction for system-level hierarchical power analysis

Christian Haubelt, Jürgen Teich, Yang Xu, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

On the Functional and Extra-Functional Properties of IMU Fusion Algorithms for Body-Worn Smart Sensors

Christian Haubelt, Daniel Gis, Nils Büscher, 2021, Sensors.

A SystemC Model of the IEEE 802.11 EDCA Protocol for Virtual Prototyping

Dirk Timmermann, Christian Haubelt, Benjamin Beichler, 2021, 2021 International Symposium on Networks, Computers and Communications (ISNCC).

Investigation of Timing Behavior and Jitter in a Smart Inertial Sensor Debugging Architecture

Christian Haubelt, Daniel Gis, Nils Büscher, 2021, Sensors.