Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2022    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language

Herr Prof. Dr.-Ing. habil. Christian Haubelt

  • Funktionen:
  •    

Dienstadresse

E-Mail   Telefon +49 381 498-7280
Bibliothek Publikationen im Katalog der UB Rostock Publikationen im GBV-Katalog Catalogus Professorum Rostochiensum Link zum Catalogus Professorum Rostochiensum

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)
IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)
IEF/IMD/Eingebettete Systeme

Funktionen

Einrichtung Funktion von bis
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.04.2021 31.03.2023
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.10.2016 30.09.2018

Veranstaltungen

Vst.-Nr. Veranstaltungen Veranstaltungsart Semester
23009 Prozessorarchitektur Übung SS 2022
23009 Prozessorarchitektur Vorlesung SS 2022
24045 Hardware/Software Co-Design Übung SS 2022
24045 Hardware/Software Co-Design Vorlesung SS 2022
24050 Labor Eingebettete Multimedia Systeme Vorlesung SS 2022
24050 Labor Eingebettete Multimedia Systeme Übung SS 2022
24185 Eingebettete Multiprozessorsysteme Vorlesung SS 2022
24185 Eingebettete Multiprozessorsysteme Übung SS 2022
24206 Projektseminar Eingebettete Systeme Seminar SS 2022

Forschungsprojekte

Laufzeit Titel Geldgeber/-in
15.01.2022 - 14.01.2024 Methoden zur Echtzeit-Körperschallreduktion in Mikrofonen mittels MEMS-Beschleunigungssensoren Firmen (Forschungsaufträge)
01.09.2020 - 31.08.2023 Skalierbare Entwurfsraumexploration mit Antwortmengenprogrammierung DFG - Sachbeihilfen
01.04.2019 - 31.03.2022 PANORAMA Steigerung der Entwicklungseffizienz von heterogenen Bundesministerium für Bildung und Forschung (BMBF)
01.12.2021 - 28.02.2022 Automatisierte Integration virtueller Sensorprototypen in bestehenden Hardware-Verifikationsabläufen Firmen (Forschungsaufträge)
01.10.2017 - 31.12.2021 Verbund SAFE4I: Sicherer Automatischer Software-Entwurf für Industrieanlagen Bundesministerium für Bildung und Forschung (BMBF)
01.05.2021 - 30.09.2021 Simulative Verifikation des Cronos-ASIPs Firmen (Dienstleistungen)
15.09.2020 - 31.01.2021 Programmierung eines Hardware/Software-Prototypen eines Air-Mouse-Demonstrator Firmen (Dienstleistungen)
01.08.2019 - 31.03.2020 Register-Optimierung von Smart-Sensor-Subsystemen mittels virtueller Sensortypen (BST-2019-2) Firmen (Forschungsaufträge)
01.07.2019 - 31.03.2020 Ultra-Low-Power Betrieb von Smart-Sensor-Subsystemen für Pen-Anwendungen Firmen (Forschungsaufträge)
01.01.2017 - 31.12.2019 Verbund: CONFIRM; Datenfluss-Orientierte Modellierung & Synthese von Sensor-Firmware (DOMSys) Bundesministerium für Bildung und Forschung (BMBF)
01.08.2016 - 31.07.2019 Zwanzig20-Verbund: fast-care, TP Haubelt Bundesministerium für Bildung und Forschung (BMBF)
01.10.2015 - 14.02.2019 Entwurfsraumexploration mit Antwortmengenprogrammierung DFG - Sachbeihilfen
01.05.2015 - 31.05.2016 TETRACOM: Gesture Detection On-Loading for Next Generation Sensor Subsystems (GDO-NGS²) Europäische Union (EU)
01.10.2013 - 31.12.2015 Aktororientierte Synthese und Optimierung digitaler HW/SW-Systeme auf Systemebene DFG - Sachbeihilfen
01.10.2011 - 30.09.2012 Aktororientierte Synthese und Optimierung digitaler HW/SW-Systeme auf Systemebene DFG - Sachbeihilfen

Publikationen

Publikationen einklappen Publikationen einklappen

2019

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

2018

CHaChA: clustering heuristic and channel assignment for IEEE 802.11s mesh networks Teil einer Monographie/eines Konferenzbandes Druckschrift
Enabling the management of IEEE 802.11s wireless mesh networks Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
MeNTor: a wireless-mesh-network-aware data dissemination overlay based on BitTorrent Zeitschriftenartikel Elektronische Ressource
Mini-Mesh: practical assessment of a miniaturized IEEE 802.11n/s mesh testbed Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Work-in-progress Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2017

Accurate sample time reconstruction of inertial FIFO data Zeitschriftenartikel Elektronische Ressource
Introduction to hardware/software codesign Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Optimization of a novel WLAN simulation framework for prototyping network applications and protocols Teil einer Monographie/eines Konferenzbandes Druckschrift
SysteMoC Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2016

Accurate sample time reconstruction for sensor data synchronization Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
A mobile camera-based evaluation method of inertial measurement units on smartphones Teil einer Monographie/eines Konferenzbandes Druckschrift
Supporting composition in symbolic system synthesis Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Supporting static binding in stream rewriting for heterogeneous many-core architectures Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
ViPMesh Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2015

Dynamic task mapping of graphics processing applications on many-core architectures through stream rewriting Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Exploiting thread-level parallelism in template-based gesture recognition with dynamic time warping Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics Teil einer Monographie/eines Konferenzbandes Druckschrift
Model-based systems engineering with Matlab/Simulink in the railway sector Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
On the influence of hardware design options on schedule synthesis in time-triggered real-time systems Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Quasi-static scheduling of data flow graphs in the presence of limited channel capacities Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Sensor-based online hand gesture recognition on multi-core DSPs Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving Teil einer Monographie/eines Konferenzbandes Druckschrift
Targeted on-line data extraction with SystemXtract Teil einer Monographie/eines Konferenzbandes Druckschrift
Throughput-optimizing compilation of dataflow applications for multi-cores using Quasi-Static Scheduling Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2014

Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Model-based actor multiplexing with application to complex communication protocols Teil einer Monographie/eines Konferenzbandes Druckschrift
Performance analysis of weakly-consistent scenario-aware dataflow graphs Teil einer Monographie/eines Konferenzbandes Druckschrift

2013

A combined mapping and routing algorithm for 3D NoCs based on ASP Teil einer Monographie/eines Konferenzbandes Druckschrift
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013 Konferenz/Workshop Druckschrift
Model-based representation of schedules for dataflow graphs Teil einer Monographie/eines Konferenzbandes Druckschrift
A programmable graphics processor based on partial stream rewriting Zeitschriftenartikel Druckschrift
Symbolic system synthesis using answer set programming Teil einer Monographie/eines Konferenzbandes Druckschrift

2012

Exploiting model-knowledge in high-level synthesis Teil einer Monographie/eines Konferenzbandes Druckschrift
Hardware synthesis of recursive functions through partial stream rewriting Teil einer Monographie/eines Konferenzbandes Druckschrift
Model-based virtual prototype acceleration Zeitschriftenartikel Druckschrift
Variation-aware leakage power model extraction for system-level hierarchical power analysis Teil einer Monographie/eines Konferenzbandes Druckschrift
A very fast and quasi-accurate power-state-based system-level power modeling methodology Teil einer Monographie/eines Konferenzbandes Druckschrift

2011

Automatic generation of system-level virtual prototypes from streaming application models Teil einer Monographie/eines Konferenzbandes Druckschrift
Calibration and validation of software performance models for pedestrian detection systems Teil einer Monographie/eines Konferenzbandes Druckschrift
ESL power and performance estimation for heterogeneous MPSoCs using systemC Teil einer Monographie/eines Konferenzbandes Druckschrift
Integrated temporal planning, module selection and placement of tasks for dynamic networks-on-chip Teil einer Monographie/eines Konferenzbandes Druckschrift
Optimizing the costs of communication infrastructure in message-based multicore Teil einer Monographie/eines Konferenzbandes Druckschrift
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis Teil einer Monographie/eines Konferenzbandes Druckschrift
Symbolic system synthesis in the presence of stringent real-time constraints Teil einer Monographie/eines Konferenzbandes Druckschrift

2010

Analysis of systemC actor networks for efficient synthesis Zeitschriftenartikel Druckschrift

2009

Symbolic scheduling of systemC dataflow designs Teil einer Monographie/eines Konferenzbandes Druckschrift

2008

Concepts for self-adaptive and self-healing networked embedded systems Teil einer Monographie/eines Konferenzbandes Druckschrift
Dynamic reconfiguration of flexray schedules for response time reduction in asynchronous fault-tolerant networks Teil einer Monographie/eines Konferenzbandes Druckschrift
Entdecke die Möglichkeiten Zeitschriftenartikel Druckschrift
Multi-objective routing and topology optimization in networked embedded systems Teil einer Monographie/eines Konferenzbandes Druckschrift
Symbolic quasi-static scheduling of actor-oriented systemC models Teil einer Monographie/eines Konferenzbandes Druckschrift
Symbolic reliability analysis and optimization of ECU networks Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Symbolic reliability analysis of self-healing networked embedded systems Teil einer Monographie/eines Konferenzbandes Druckschrift
Synthesis of multi-dimensional high-speed FIFOs for out-of-order communication Teil einer Monographie/eines Konferenzbandes Druckschrift
Topology-aware replica placement in fault-tolerant embedded networks Teil einer Monographie/eines Konferenzbandes Druckschrift

2007

Design space exploration of reliable networked embedded systems Zeitschriftenartikel Druckschrift
Exploration, partitioning and simulation of reconfigurable systems Zeitschriftenartikel Druckschrift
Formalizing TLM with communicating state machines Teil einer Monographie/eines Konferenzbandes Druckschrift
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: [10. GI/ITG/GMM-Workshop Modellierung und Verifikation] Konferenz/Workshop Druckschrift
Reliability-aware system synthesis Teil einer Monographie/eines Konferenzbandes Druckschrift
Simulative buffer analysis of local image processing algorithms described by windowed synchronous data flow Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Synthese zuverlässiger und flexibler Systeme Teil einer Monographie/eines Konferenzbandes Druckschrift
System level modeling and performance simulation for dynamic reconfigurable computing systems in systemC Teil einer Monographie/eines Konferenzbandes Druckschrift

2006

Efficient representation and simulation of model-based designs in systemC Teil einer Monographie/eines Konferenzbandes Druckschrift
Formalizing transaction level modeling with communicating state machines Teil einer Monographie/eines Konferenzbandes Druckschrift
Multi-objective topology optimization for networked embedded systems Teil einer Monographie/eines Konferenzbandes Druckschrift

2005

Initial population construction for convergence improvement of MOEAs Teil einer Monographie/eines Konferenzbandes Druckschrift
Using symbolic feasibility tests during design space exploration of heterogeneous multi-processor systems Teil einer Monographie/eines Konferenzbandes Druckschrift

Abgeschlossene Promotionen

2022

Model-based Symbolic Design Space Exploration at the Electronic System Level als Betreuer und Gutachter

2021

Adaptive Filtering and Transformation of Cardiac Motion-Induced Signals during Low-Amplitude Activities als Betreuer und Gutachter
System-Level Design of Energy-Efficient Sensor-Based Human Activity Recognition Systems als Betreuer und Gutachter

2016

Software-based and regionally-oriented Traffic Management in Networks-on-Chip als Gutachter

2015

Dynamic Task Scheduling and Binding for Many-Core Systems through Stream Rewriting als Betreuer und Gutachter

2014

A Model-Based Approach for the Specification and Refinement of Streaming Applications als Betreuer und Gutachter
Maßnahmen zur Steigerung der Zuverlässigkeit integrierter Schaltungen auf Gatterebene hinsichtlich Gateoxiddefekten als Gutachter