Christian Haubelt


Foto Christian Haubelt

Prof. Dr.-Ing. habil.
Christian Haubelt

E-Mail
Tel.: +49 381 498 7280
Raum: 101

Alle Publikationen

2024

Michael Nast, Michael Rethfeldt, Frank Golatowski, Christian Haubelt:
Improving the Real-Time Capability of MQTT for Sensor Networks (MQTT-SN) Using PREEMPT_RT
In Proceedings of the 20th IEEE Conference on Factory Communication Systems (WFCS24), pp. 1-8, Toulouse, Frankreich, April 2024 (to appear)

Benjamin Rother, Nico Kalis, Frank Golatowski, Christian Haubelt:
Localization in 6G: A Journey along existing Wireless Communication Technologies
In Proceedings of the 20th IEEE Conference on Factory Communication Systems (WFCS24), pp. 1-7, Toulouse, Frankreich, April 2024 (to appear)

Robert Hauser, Florian Grützmacher, Christian Haubelt.:
Approximative Sensor Data Resynchronization for Wireless Burst Transmission Protocols
In Proceedings of the 20th IEEE Conference on Factory Communication Systems (WFCS24), pp. 1-8, Toulouse, Frankreich, April 2024 (to appear)

Alexandra Küster, Rainer Dorsch, Christian Haubelt:
Symbolic Simulation of Sensor Trimming Algorithms Using Affine Arithmetic
In Proceedings of the 11th IEEE International Symposium on Inertial Sensors & Systems (INERTIAL24), pp. 1-4, Hiroshima, Japan, März 2024 (to appear)

Alexandra Küster, Rainer Dorsch, Christian Haubelt:
Adaptive ODE Solvers for Timed Data Flow Models in SystemC-AMS
In Proceedings of Design, Automation and Test in Europe (DATE), pp. 1-6, Valencia, Spanien, März 2024 (to appear)

Luise Müller, Philipp Wanko, Christian Haubelt, Torsten Schaub:
Investigating Methods for ASPmT-based Design Space Exploration in Evolutionary Product Design
In International Journal of Parallel Programming, pp. 1-36, DOI: 10.1007/s10766-024-00763-2, EISSN: 1573-7640, Verlag Springer, Februar 2024

Robert Hauser, Lukas Steffen, Florian Grützmacher, Christian Haubelt:
Analyzing Local RISC-V Interrupt Latencies with Virtual Prototyping
In Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV24), pp. 1-7, Kaiserslautern, Deutschland, Februar 2024 (to appear)

Alexandra Küster, Rainer Dorsch, Christian Haubelt
Heterogeneous Virtual Prototypes for Smart Sensor Development: Requirements and Impact
In Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV24), pp. 1-4, Kaiserslautern, Deutschland, Februar 2024 (to appear)

2023

Alexandra Küster, Rainer Dorsch, Christian Haubelt:
On the Performance Differences of SystemC and SystemC AMS: A Guideline for Real Number Modeling and Beyond
In Proceedings of Design and Verification Conference and Exhibition in Europe (DVCon'23), pp. 1-6, München, Deutschland, November 2023 (to appear)

Luise Müller, Christian Haubelt:
Design Space Exploration at the Electronic System Level
In Workshop on Trends and Applications of Answer Set Programming (TAASP2023), pp. 1-3, Potsdam, Deutschland, November 2023

Fabian Hölzke, Hagen Borstell, Frank Golatowski, Christian Haubelt:
Pedestrian Localization with Stride-Wise Error Estimation and Compensation by Fusion of UWB and IMU Data
In Journal Sensors, Vol. 23, Issue 10, Artikel Nr. 4744, pp. 1-34, DOI: 10.3390/s23104744, Verlag MDPI AG, Basel, Schweiz, Mai 2023

Alexandra Küster, Rainer Dorsch, Christian Haubelt:
Structural Generation of Virtual Prototypes for Smart Sensor Development in SystemC-AMS from Simulink Models
In Proceedings of Design, Automation and Test in Europe (DATE'23), pp. 1-2, DOI: 10.23919/DATE56975.2023.10137224, Antwerpen, Belgien, April 2023

Dina Kea Noanoa Dechmann El Arbi, Florian Grützmacher, Christian Haubelt, Georg Heine, Wolf Von Keeves, Monika Britta, Erik Kühn, Ursula Rosa Müller, Michael Oliver Quetting, Berne Vorneweg, Martin Christoph Wikelski, Timm Alexander Wild:
Modulation of Animal Behaviour
Patent Application WO002023041542A1, März 2023

Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Evolutionary System Design with Answer Set Programming
In Journal Algorithms, Vol.16, Issue 4, Artikel Nr. 179, pp. 1-38, DOI: 10.3390/a16040179, MDPI-Verlag, Basel, Schweiz, März 2023

Alexandra Küster, Rainer Dorsch, Christian Haubelt:
Structural Generation of Virtual Prototypes for Smart Sensor Development in SystemC-AMS from Simulink Models
In Proceedings of Smart Systems Integration (SSI’2023), pp. 1-6, Brügge, Belgien, März 2023 (to appear)

Florian Grützmacher, Robert Hauser, Christian Haubelt:
Reducing Energy Consumption of Wearable Sensors by Efficient Piecewise Linear Approximation Algorithms
In Proceedings of Smart Systems Integration (SSI’2023), pp. 1-6, Brügge, Belgien, März 2023 (to appear)

Daniel Gis, Christian Haubelt, Nils Büscher:
Method for Checking, Evaluation, and/or Error Diagnosis of a Sensor System, Sensor System, and System
United States Patent US000011589139B2, USA, Februar 2023

Rainer Dorsch, Christian Haubelt:
Verfahren und Vorrichtung zur Erzeugung eines Nutzsignals aus einem Rohsignal
Offenlegungsschrift DE102021207004A1, Deutschland, Januar 2023

2022

Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich:
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors
In Proceedings of the Forum on specification & Design Languages (FDL 2022), pp. 1-8, DOI: 10.1109/FDL56239.2022.9925660, Linz, Österreich, September 2022

Pia Wilsdorf, Jakob Heller, Kai Budde, Julius Zimmermann, Tom Warnke, Christian Haubelt, Dirk Timmermann, Ursula Van Rienen, Adelinde M. Uhrmacher:
Model-Driven Approach for Conducting Simulation Experiments
In Journal Applied Sciences 2022, Vol. 12, Nr. 16, Artikel Nr. 7977, pp. 1-24, DOI: 10.3390/app12167977, ISSN: 2076-3417, Verlag  MDPI, August 2022

Michael Rethfeldt, Tim Brockmann, Richard Eckhardt, Benjamin Beichler, Lukas Steffen, Christian Haubelt, Dirk Timmermann:
Extending the FLExible Network Tester (Flent) for IEEE 802.11 s WLAN Mesh Networks
In Proceedings of the IEEE International Symposium on Measurements & Networking (M&N), pp. 1-6, DOI: 10.1109/MN55117.2022.9887655, ISSN: 2639-5061, Padua, Italy, Juli 2022

Lukas Steffen, Benjamin Beichler, Michael Rethfeldt, Dirk Timmermann, Christian Haubelt:
A Novel Interface Between the Linux Kernel and ns-3 for Assessing Target Software in WLAN-Systems
In Proceedings of the International Symposium on Networks, Computers and Communications (ISNCC2022), pp. 1-8,  DOI: 10.1109/ISNCC55209.2022.9851740, Shenzhen, China, Juli 2022

Christian Haubelt, Alexander Rausch:
Improving Symbolic System-Level Synthesis by Solver Coordination and Domain-Specific Heuristics
In Journal  Electronics, Vol. 11, Issue 12, Artikel Nr. 1888, pp. 1-25, DOI: 10.3390/electronics11121888, Verlag  MDPI, Juni 2022

Daniel Gis, Christian Haubelt, Nils Büscher:
Method for Testing, Evaluation, and/or Error Diagnosis of a Sensor System, Sensor System, and System
China Patent Application CN000114253831A, China, März 2022

Daniel Gis, Christian Haubelt, Nils Büscher:
Method for Checking, Evaluation, and/or Error Diagnosis of a Sensor System, Sensor System, and System
United States Patent Application US020220095022A1, USA, März 2022

Christian Haubelt, Daniel Gis, Nils Büscher:
Verfahren zur Überprüfung, Evaluation und/oder Fehlerdiagnose eines Sensorsystems, Sensorsystem und System
Offenlegungsschrift DE 10 2021 200 244 A1, München, Deutschland, März 2022

Rainer Dorsch, Christian Haubelt, Lars Middendorf, Sebastian Stieber:
Processing Control of a Sensor System
United States Patent US000011263163B2, USA, März 2022

Rainer Dorsch, Christian Haubelt, Anna Christina Strohrmann, Sebastian Stieber:
Verfahren zur Erkennung einer Doppelklickeingabe, elektrisches Gerät zur Erkennung einer Doppelklickeingabe
Patentschrift DE 10 2014 225 853 B4, Deutschland, Januar 2022

2021

Benjamin Beichler, Michael Rethfeldt, Hannes Raddatz, Lukas Steffen, Dirk Timmermann, Christian Haubelt:
A SystemC Model of the IEEE 802.11 EDCA Protocol for Virtual Prototyping
In Proceedings of the International Symposium on Networks, Computers and Communications (ISNCC2021), pp. 1-7, DOI: 10.1109/ISNCC52172.2021.9615734, Dubai, United Arab Emirates, November 2021

Pia Wilsdorf, Jakob Heller, Kai Budde, Julius Zimmermann, Tom Warnke, Christian Haubelt, Dirk Timmermann, Ursula van Rienen, Adelinde M. Uhrmacher:
A Model-Driven Approach for Conducting Simulation Experiments
In TechRxiv Preprint, pp. 1-14, DOI: 10.36227/techrxiv.16836868.v1, Oktober 2021

Michael Rethfeldt, Tim Brockmann, Benjamin Beichler, Christian Haubelt, Dirk Timmermann:
Adaptive Multi-Channel Clustering in IEEE 802.11s Wireless Mesh Networks
In Journal Sensors, Vol. 21, Iss. 21, pp. 1-44, ISSN: 1424-8220, DOI: 10.3390/s21217215, Verlag MDPI AG, Basel, Schweiz, Oktober 2021

Daniel Gis, Nils Büscher, Christian Haubelt:
Real-Time Power Analysis of Smart Sensors Using Advanced Debugging Methods
In Journal Micromachines, Vol. 12, Nr. 11, pp. 1-17, DOI: 10.3390/mi12111276, Verlag MDPI AG, Basel, Schweiz, Oktober 2021

Nils Büscher, Daniel Gis, Johann-Peter Wolff, Christian Haubelt:
Data Augmentation Framework for Smart Sensor System Development Using the Sensor-in-the-Loop Prototyping Platform
In Proceedings of the International Workshop of Rapid System Prototyping (RSP2021), pp. 1-7, Virtual Conference, Oktober 2021 (to appear)

Florian Grützmacher, Jochen Kempfle, Kristof Van Laerhoven, Christian Haubelt:
fastSW: Efficient Piecewise Linear Approximation of Quaternion-Based Orientation Sensor Signals for Motion Capturing with Wearable IMUs
In Journal Sensors, Vol. 21, Iss. 15, pp. 1-19, ISSN: 1424-8220, DOI: 10.3390/s21155180, Verlag MDPI AG, Basel, Schweiz, Juli 2021

Daniel Gis, Nils Büscher, Christian Haubelt:
Investigation of Timing Behavior and Jitter in a Smart Inertial Sensor Debugging Architecture
In Journal Sensors, Vol. 21, Iss. 14, pp. 1-25, ISSN: 1424-8220, DOI: 10.3390/s21144675, Verlag MDPI AG, Basel, Schweiz, Juli 2021

Luise Müller, Kai Neubauer, Christian Haubelt:
Exploiting Similarity in Evolutionary Product Design for Improved Design Space Exploration
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), pp. 1-16, DOI: 10.1007/978-3-031-04580-6_3, Samos Island, Griechenland, Juli 2021

Rainer Dorsch, Christian Haubelt, Sebastian Stieber, Daniel Gis, Nils Büscher:
Verfahren zum Verarbeiten der Sensorsignale einer Drehratensensoranordnung, Vorrichtung und Verfahren zum Betreiben der Vorrichtung
Patentschrift DE102020205943B3, Deutschland, Mai 2021

Nils Büscher, Daniel Gis, Volker Kühn, Christian Haubelt:
On the Functional and Extra-Functional Properties of IMU Fusion Algorithms for Body-Worn Smart Sensors
In Journal Sensors, Vol. 21, Iss. 8, pp. 1-21, ISSN: 1424-8220, DOI: 10.3390/s21082747, Verlag MDPI AG, Basel, Schweiz, April 2021

2020

Daniel Gis, Nils Büscher, Christian Haubelt:
Advanced Debugging Architecture for Smart Inertial Sensors using Sensor-in-the-Loop
In Proceedings of the International Workshop of Rapid System Prototyping (RSP), pp. 1-7, DOI: 10.1109/RSP51120.2020.9244851, Hamburg, Deutschland, September 2020

Jakob Heller, Pia Wilsdorf, Christoph Niemann, Franz Plocksties, Adelinde M. Uhrmacher, Christian Haubelt, Dirk Timmermann:
Assisting Early Design Decision For Implantable Neurostimulators Through Virtual Prototyping
In: Progress in Electrically Active Implants - Tissue and Functional Regeneration
Rostock, Deutschland, September 2020

Franz Plocksties, Christoph Niemann, Jakob Heller, Christian Haubelt, Dirk Timmermann:
Towards an Energy Autonomous Implant for Closed-loop Neurostimulation
In: Progress in Electrically Active Implants - Tissue and Functional Regeneration
Rostock, Deutschland, September 2020

Kai Neubauer, Benjamin Beichler, Christian Haubelt:
Exact Design Space Exploration Based on Consistent Approximations
In Journal  Electronics, Vol. 9, Issue 7, Artikel Nr. 1057, pp. 1-24, DOI: 10.3390/electronics9071057, Verlag  MDPI, Juni 2020

Alexander Biewer, Jens Gladigau, Christian Haubelt, Dieter Thoss:
Control Device for a Motor Vehicle
United States Patent US000010657039B2, Mai 2020

Rainer Dorsch, Christian Haubelt, Lars Middendorf, Sebastian Stieber:
Processing Control of a Sensor System
Offenlegungsschrift: United States Patent Application US020200125523A1, April 2020

Rainer Dorsch, Christian Haubelt, Shengxian Liu, Sebastian Stieber:
Method for Adjusting Time Stamps During the Acquisition of Sensor Data
United States Patent US000010601571B2, März 2020

Jens Rudolf, Florian Grützmacher, Christian Haubelt :
Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs
Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV), pp. 42-50, ISBN: 978-3-8007-5221-8, ISSN: 1432-3419, Stuttgart, Deutschland, März 2020

Jakob Heller, Christoph Niemann, Franz Plocksties, Christian Haubelt, Dirk Timmermann:
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS
Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV), pp. 29-36, ISBN: 978-3-8007-5221-8, ISSN: 1432-3419, Stuttgart, Deutschland, März 2020

Rainer Dorsch, Christian Haubelt, Lars Middendorf, Sebastian Stieber:
Processing Control of a Sensor System
Offenlegungsschrift: China Patent Application CN000110753907A , Februar 2020

2019

Rainer Dorsch, Christian Haubelt, Lars Middendorf, Sebastian Stieber:
Offenlegungsschrift: Korea Patent Application KR102019126391A , November 2019

Arne Wellnitz, Johann-Peter Wolff, Christian Haubelt, Thomas Kirste, Sebastian Bader:
Fluid Intake Recognition using Inertial Sensors
In Proceedings of the International Workshop on Sensor-based Activity Recognition and Interaction (iWoAR'19), pp. 4:1-7, Rostock, Deutschland, September 2019

Nils Büscher, Daniel Gis, Sebastian Stieber, Christian Haubelt:
Multi-Aspect Evaluation Method for Digital Pointing Devices
In Proceedings of Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, pp. 128-135, ISBN: 978-989-758-385-8, DOI: 10.5220/0008355701280135, Wien, Österreich, September 2019

Florian Grützmacher, Benjamin Beichler, Christian Haubelt:
Model-Based Real Time Analysis of Distributed Human Activity Recognition Stages in Wireless Sensor Networks
In Adjunct Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the 2019 International Symposium on Wearable Computers (UbiComp/ISWC ’19 Adjunct), pp. 1-4, ISBN: 978-1-4503-6869-8/19/09, DOI: 10.1145/3341162.3343845, Verlag ACM New York, London, England, September 2019

Jens Rudolf, Daniel Gis, Sebastian Stieber, Christian Haubelt, Rainer Dorsch:
SystemC Power Profiling for IoT Device Firmware using Runtime Configurable Models
In Proceedings of the 8th Mediterranean Conference on Embedded Computing (MECO 2019), pp. 1-6, DOI:10.1109/MECO.2019.8759994, ISBN: 978-1-7281-1739-3, Budva, Montenegro, Juni 2019

Fabian Hölzke, Johann-Peter Wolff, Frank Golatowski, Christian Haubelt:
Low-complexity online correction and calibration of pedestrian dead reckoning using map matching and GPS
In Journal Geo-spatial Information Science, Vol. 22, Nr. 2, pp. 114-127, DOI: 210.1080/10095020.2019.816175, Verlag Taylor & Francis, Abington, Vereinigtes Königreich, Mai 2019

Jens Rudolf, Manuel Strobel, Joscha-Joel Benz, Christian Haubelt, Martin Radetzki, Oliver Bringmann:
Automated Sensor Firmware Development - Generation, Optimization, and Analysis
In Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2019), pp. 60-71, ISBN: 978-3-8007-4945-4 , Kaiserslautern, Deutschland, April 2019

Nils Büscher, Marcel Stieringer, Christian Haubelt:
Evaluation Method for the absolute Orientation from the Rotation Vector on Mobile Devices
In Proceedings of the IEEE International Symposium on Inertial Sensors and Systems (INERTIAL), pp. 179-183,  DOI: 10.1109/ISISS.2019.8739713, Naples, Florida, USA, April 2019

Johann-Peter Wolff, Florian Grützmacher, Rainer Dorsch, Rolf Kaack, Lars Middendorf, Christian Haubelt:
Towards Automated Prototyping of Gesture Recognition Systems for Wearable Devices using Inertial Sensors
In Proceedings of Smart Systems Integration, pp. 85-92, Barcelona, Spanien, April 2019  (Best Paper Award Nominee)

Fabian Hölzke, Johann-Peter Wolff, Christian Haubelt:
Improving Pedestrian Dead Reckoning Using Likely Paths and Backtracking for Mobile Devices
In Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) , pp. 1-6, DOI:  10.1109/PERCOMW.2019.8730734, Kyoto, Japan, März 2019

Alexander Biewer, Jens Gladigau, Christian Haubelt, Dieter Thoss:
Controlling Device for an Automobile
Taiwan Patent, TW00000I651652B, Februar 2019

Rainer Dorsch, Christian Haubelt, Shengxian Liu, Sebastian Stieber:
Method for Adjusting Time Stamps During the Acquisition of Sensor Data
China Patent Application CN000109286461A, Januar 2019

Rainer Dorsch, Christian Haubelt, Shengxian Liu, Sebastian Stieber:
Method for Adjusting Time Stamps During the Acquisition of Sensor Data
US Patent Application US020190028261A1, Januar 2019

Rainer Dorsch, Christian Haubelt, Shengxian Liu, Sebastian Stieber:
Verfahren zum Anpassen von Zeitstempeln bei der Erfassung von Sensordaten
Offenlegungsschrift DE102017212353A1, Januar 2019

2018

Florian Grützmacher, Albert Hein, Thomas Kirste, Christian Haubelt:
Model-Based Design of Energy Efficient Human Activity Recognition Systems with Wearable Sensors
In Journal Technologies, Vol. 6, Nr. 4, Artikel-Nr.: 89, pp. 1-20, ISSN: 2227-7080, DOI: 10.3390/technologies6040089, Verlag MDPI, Basel, Schweiz, Dezember 2018

Michael Rethfeldt, Benjamin Beichler, Peter Danielis, Tim Brockmann, Christian Haubelt, Dirk Timmermann:
CHaChA: Clustering Heuristic and Channel Assignment for IEEE 802.11s Mesh Networks
In Proceedings of the 9th IEEE Annual Information Technology, Electronics & Mobile Communication Conference (IEMCON), pp. 1-7,  DOI: 10.1109/IEMCON.2018.8615043, ISBN: 978-1-5386-7266-2, Vancouver, Kanada, November 2018

Rainer Dorsch, Christian Haubelt, Lars Middendorf, Sebastian Stieber:
Processing Control of a Sensor System
Taiwan Patent Application TW000201839606A, November 2018

Joachim Falk, Kai Neubauer, Christian Haubelt, Christian Zebelein, Jürgen Teich:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In Handbook of Signal Processing Systems, 3rd ed., pp. 825-864, ISBN: 978-3-319-91734-4, DOI: 10.1007/978-3-319-91734-4_23, Springer International Publishing, Cham, Schweiz, Oktober 2018

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Work-in-Progress: On Leveraging Approximations for Exact System-level Design Space Exploration
In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'18), pp. 1-2, DOI: 10.1109/CODESISSS.2018.8525974, Turin, Italien, Oktober 2018

Rainer Dorsch, Christian Haubelt, Lars Middendorf, Sebastian Stieber:
Processing Controller of a Sensor System
Offenlegungsschrift WIPO Patent Application WO2018/166698A1, September 2018

Rainer Dorsch, Christian Haubelt, Lars Middendorf, Sebastian Stieber:
Verarbeitungssteuerung eines Sensorsystems
Offenlegungsschrift DE102017204514A1, Rostock, Deutschland, September 2018

Johann-Peter Wolff, Florian Grützmacher, Arne Wellnitz, Christian Haubelt:
Activity Recognition using Head Worn Inertial Sensors
In Proceedings of the 5th international Workshop on Sensor-based Activity Recognition and Interaction (iWOAR), pp. 14:1 – 14:7, ISBN: 978-1-4503-6487-4, DOI: 10.1145/3266157.3266218, Berlin, Deutschland, September 2018

Michael Rethfeldt, Benjamin Beichler, Peter Danielis, Christian Haubelt, Dirk Timmermann:
Enabling the Management of IEEE 802.11s Wireless Mesh Networks
17. GI/ITG KuVS Fachgespräch Sensornetze (FGSN), DOI: 10.24355/dbbs.084-201809121401-1, Braunschweig, Deutschland, September 2018

Alexander Biewer, Jens Gladigau, Christian Haubelt, Dieter Thoss:
Control Device for a Motor Vehicle
European Patent: EP000003077912 B1, August 2018

Rainer Dorsch, Christian Haubelt, Sebastian Stieber, Anna Christina Strohrmann:
Methods for Detecting a Double-Click Input
United States Patent: US 10.031.611 B2, Juli 2018

Florian Grützmacher, Albert Hein, Benjamin Beichler, Polichronis Lepidis, Rainer Dorsch, Thomas Kirste, Christian Haubelt:
Energy Efficient On-Sensor Processing for Online Activity Recognition
In Proceeding of the 3rd International Conference on Pervasive and Embedded Computing (PEC), pp. 85 – 92, DOI: 10.5220/0006860100850092, Porto, Portugal, Juli 2018

Michael Rethfeldt, Benjamin Beichler, Peter Danielis, Felix Uster, Christian Haubelt, Dirk Timmermann:
MeNTor: A Wireless-Mesh-Network-Aware Data Dissemination Overlay based on BitTorrent
Elsevier Ad Hoc Networks, Volume 79, pp. 146-159, DOI: 10.1016/j.adhoc.2018.06.013, ISSN: 1570-8705, Elsevier B. V., Amsterdam, Niederlande, Oktober 2018

Florian Grützmacher, Benjamin Beichler, Albert Hein, Thomas Kirste, Christian Haubelt:
Time and Memory Efficient Online Piecewise Linear Approximation of Sensor Signals
In Journal of Sensors, Vol. 18, Nr. 6, Artikel-Nr.: 1672, pp. 1-20, DOI: 10.3390/s18061672, EISSN: 1424-8220, Verlag MDPI AG, Basel, Schweiz, Mai 2018

Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Design Space Exploration with Answer Set Programming
In Journal of KI - Künstliche Intelligenz, pp. 1 – 2, DOI: 10.1007/s13218-018-0530-3, Springer-Verlag GmbH, Berlin, Deutschland, Mai 2018

Michael Rethfeldt, Benjamin Beichler, Hannes Raddatz, Felix Uster, Peter Danielis, Christian Haubelt, Dirk Timmermann:
Mini-Mesh: Practical Assessment of a Miniaturized IEEE 802.11n/s Mesh Testbed
In Proceedings of the IEEE Wireless Communications and Networking Conference (WCNC), pp. 1-6, DOI: 10.1109/WCNC.2018.8377247, ISBN: 978-1-5386-1734-2, Barcelona, Spanien, April 2018

Johann-Peter Wolff, Sebastian Stieber, Fabian Hölzke, Daniel Gis, Christian Haubelt, Polichronis Lepidis, Jürgen Meier:
Improving Pedestrian Dead Reckoning using Likely and Unlikely Paths
In Proceedings of the International Conference on Ubiquitous Positioning, Indoor Navigation, Location-Based Services (UPINLBS), pp. 1-6, DOI:10.1109/UPINLBS.2018.8559709, Wuhan, China, März 2018 (Best Oral Presentation Award)

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches
In Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, ISBN: 978-3-00-059317-8, Tübingen, Deutschland, März 2018

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Exact Multi-Objective Design Space Exploration using ASPmT
In Proceedings of Design, Automation and Test in Europe (DATE), pp. 257 – 260, DOI: 10.23919/DATE.2018.8342014, Dresden, Deutschland, März 2018

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Utilizing Quad-Trees for Efficient Design Space Exploration with Partial Assignment Evaluation
In Proceedings of the 23rd Asia and South Pacific Design Automation Conference (ASP-DAC 2018), pp. 434–439, DOI: 10.1109/aspdac.2018.8297362, Jeju Island, Korea, Januar 2018

2017

Sebastian Stieber, Rainer Dorsch, Christian Haubelt:
Accurate Sample Time Reconstruction of Inertial FIFO Data
In Sensors, MDPI Journal, Vol. 17, Nr. 12, pp. 15, ISSN: 1424-8220, DOI:10.3390/s17122894, Basel, Schweiz, Dezember 2017

Florian Grützmacher, Johann-Peter Wolff, Albert Hein, Polichronis Lepidis, Rainer Dorsch, Thomas Kirste, Christian Haubelt:
Towards Energy Efficient Sensor Nodes for Online Activity Recognition
In Proceedings of the 43th Annual Conference of the IEEE Industrial Electronics Society (IECON 2017), pp. 8291-8296, Peking, China, November 2017

Albert Hein, Florian Grützmacher, Christian Haubelt, Thomas Kirste:
Fast care – real-time sensor data analysis framework for intelligent assistance Systems
In International Journal Current Directions in Biomedical Engineering, Vol. 3, Nr. 2, pp. 743–747, ISSN: 2364-5504, DOI: 10.1515/cdbme-2017-0157, Verlag De Gruyter, Berlin, Deutschland, September 2017

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Enhancing Symbolic System Synthesis through ASPmT with Partial Assignment Evaluation
In Proceedings of Design, Automation and Test in Europe (DATE), pp. 306-309, Lausanne, Schweiz, März 2017

Benjamin Beichler, Michael Rethfeldt, Hannes Raddatz, Björn Konieczek, Peter Danielis, Christian Haubelt, Dirk Timmermann:
Optimization of a novel WLAN Simulation Framework for Prototyping Network Applications and Protocols
In Proceedings of the GI / ITG / GMM Workshop - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pp. 15-26, Bremen, Deutschland, Februar 2017

Joachim Falk, Christian Haubelt, Jürgen Teich, Christian Zebelein:
SysteMoC: A Dataflow Programming Model for Codesign
In Handbook of Hardware/Software Co-Design, pp. 1-39, Springer Verlag, DOI:10.1007/978-94-017-7358-4_4-1, ISBN: 978-94-017-7358-4, Dordrecht, Niederlande, Januar 2017

Soonhoi Ha, Jürgen Teich, Christian Haubelt, Michael Glaß, Tulika Mitra, Rainer Dömer, Petru Eles, Aviral Shrivastava, Andreas Gerstlauer, Shuvra S. Bhattacharyya:
Introduction to Hardware/Software Codesign
In Handbook of Hardware/Software Codesign, pp. 1-24, Springer Verlag, DOI:10.1007/978-94-017-7358-4_41-1, ISBN: 978-94-017-7358-4, Dordrecht, Niederlande, Januar 2017

2016

Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart Theelen, Sander Stuijk:
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
In the Journal of Signal Processing Systems, Vol. 85, pp. 1-19, ISSN: 1939-8018, Springer US, DOI:10.1007/s11265-016-1193-7, Heidelberg, Deutschland, November 2016

Michael Rethfeldt, Hannes Raddatz, Benjamin Beichler, Björn Konieczek, Dirk Timmermann, Christian Haubelt:
ViPMesh: A Virtual Prototyping Framework for IEEE 802.11s Wireless Mesh Networks
In Proceedings of the 12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), pp. 1-7, DOI:10.1109/WFCS.2016.7496529, ISBN: 978-1-5090-0724-0, New York, USA, Oktober 2016

Alexander Biewer, Jens Gladigau, Christian Haubelt, Dieter Thoss:
Control Device for a Motor Vehicle.
Offenlegungsschrift Patent Application EP000003077912A1, Stuttgart, Deutschland, Oktober 2016

Alexander Biewer, Jens Gladigau, Christian Haubelt, Thoss Dieter:
Control Device for a Motor Vehicle
US Patent Application US020160299839A1, Alexandria, USA, Oktober 2016

Lars Middendorf, Christian Haubelt:
Supporting Static Binding in Stream Rewriting for Heterogeneous Many-Core Architectures
In Proceedings of the 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-16), pp. 273-280, DOI: 10.1109/MCSoC.2016.26, Lyon, Frankreich, September 2016

Johann-Peter Wolff, Sebastian Stieber, Jens Rudolf, Christian Haubelt, Tobias Rankl, Rainer Dorsch:
Improving Always-On Gesture Recognition Power Efficiency for Android Devices Using Sensor Hubs
In Proceedings of the IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2016), pp. 64-67, Paris, Frankreich, August 2016

Alexander Biewer, Jens Gladigau, Christian Haubelt, Dieter Thoss:
Control Device for a Motor Vehicle
South Korea Patent Application KR102016093621A, Süd Korea, August 2016

Kai Neubauer, Christian Haubelt, Michael Glaß:
Supporting Composition in Symbolic System Synthesis
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), pp. 132 – 139, DOI: 10.1109/SAMOS.2016.7818340, Samos, Griechenland, Juli 2016

Alexander Biewer, Jens Gladigau, Christian Haubelt, Dieter Thoss:
Control Device for a Motor Vehicle
China Patent Application CN000105765541A, , China, Juli 2016

Nils Büscher, Lars Middendorf, Christian Haubelt, Rainer Dorsch, Frederik Wegelin:
Improving Repeatability and Reproducibility of Mobile Tests for Inertial Measurement Units
In Proceedings of the Symposium on Engineering Interactive Computing Systems (EICS’16), pp. 149-158, ISBN: 978-1-4503-4322-0, Brüssel, Belgien, Juni 2016

Rainer Dorsch, Christian Haubelt, Sebastian Stieber, Anna Christina Strohrmann:
Verfahren zur Erkennung einer Doppelklickeingabe
Offenlegungsschrift DE 10 2014 225 853 A1, Stuttgart, Deutschland, Juni 2016

Rudolf Bichler, Thomas Claus, Rainer Dorsch, Christian Haubelt, Lars Middendorf:
Vorrichtung zum Abgleich und Selbsttest von Inertialsensoren und Verfahren
Offenlegungsschrift DE 10 2015 203 968 A1, Stuttgart, Deutschland, Juni 2016

Rainer Dorsch, Christian Haubelt, Sebastian Stieber, Anna Christina Strohmann:
Methods for Detecting a Double-Click Input
US Patent Application US020160170557A1, Alexandria, U.S.A., Juni 2016

Rainer Dorsch, Christian Haubelt, Thomas Claus, Rudolf Bichler, Lars Middendorf:
Device for Adjusting and Self-Testing Inertial Sensors, and Methods
US Patent Application US020160170502A1, Alexandria, U.S.A., Juni 2016

Rudolf Bichler, Thomas Claus, Rainer Dorsch, Christian Haubelt, Lars Middendorf:
Adjusting and Self-Testing Inertial Sensors, and Methods
China Patent Application CN000105699696A, Stuttgart, Deutschland, Juni 2016

Anna Christina Strohrmann, Christian Haubelt, Rainer Dorsch, Sebastian Stieber:
Methods for Detecting a Double-Click Input
China Patent Application CN000105739755A, , China, Juni 2016

Rudolf Bichler, Thomas Claus, Rainer Dorsch, Christian Haubelt, Lars Middendorf:
Apparatus and Method for Calibration and Self-Test of Inertial Sensors
South Korea Patent Application KR102016072055A, , Süd Korea, Juni 2016

Sebastian Stieber, Rainer Dorsch, Christian Haubelt:
Accurate Sample Time Reconstruction for Sensor Data Synchronization
In Proceedings of the International Conference on Architecture of Computing Systems (ARCS), pp. 185-196, DOI: 10.1007/978-3-319-30695-7_14, ISBN: 978-3-319-30695-7, Nürnberg, Deutschland, Mai 2016

Florian Grützmacher, Benjamin Beichler, Bart Theelen, Christian Haubelt:
Dataflow-based Modeling and Performance Analysis for Online Gesture Recognition
In Proceedings of the Second International Workshop on modeling, analysis and control of complex Cyber-Physical Systems (CPSData'16), pp. 1-8, DOI:10.1109/CPSData.2016.7496423, ISBN: 978-1-5090-1154-4, Wien, Österreich, April 2016

2015

Florian Grützmacher, Johann-Peter Wolff, Christian Haubelt:
Sensor-Based Online Hand Gesture Recognition on Multi-Core DSPs
In Proceedings of the IEEE Symposium on Signal Processing on Graphics Processing Units and Multicores (GlobalSIP), pp. 898-902, DOI:10.1109/GlobalSIP.2015.7418327, ISBN: 978-1-4799-7591-4, Orlando, Florida, USA, Dezember 2015

Benjamin Beichler, Thorsten Schulz, Christian Haubelt, Frank Golatowski:
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems
In Proceedings of the Fifth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy’15), pp. 56-66, Amsterdam, Niederlande, Oktober 2015

Lars Middendorf, Rainer Dorsch, Rudolf Bichler, Christina Strohrmann, Christian Haubelt:
A Mobile Camera-Based Evaluation Method of Inertial Measurement Units on Smartphones
In the Proceedings of the International Conference on Sensor Systems and Software (S-CUBE'15), pp. 362-371, Electronic ISBN: 978-3-319-47075-7, ISBN: 978-3-319-47074-0, Rom, Italien, Oktober 2015

Joachim Falk, Tobias Schwarzer, Michael Glaß, Jürgen Teich, Christian Zebelein, Christian Haubelt:
Quasi-Static Scheduling of Data Flow Graphs in the Presence of Limited Channel Capacities
In Proceedings of the IEEE Symposium on Embedded Systems for Real-time Multimedia (ESTIMEdia'15), pp. 29-38, Amsterdam, Niederlande, Oktober 2015

Lars Middendorf, Christian Haubelt:
Dynamic Task Mapping of Graphics Processing Applications on Many-Core Architectures through Stream Rewriting
In Proceedings of the IEEE Symposium on Embedded Systems for Real-time Multimedia (ESTIMEdia'15), pp. 7-8, Amsterdam, Niederlande, Oktober 2015

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub:
Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics
In Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 55-68, Lexington, KY, USA, September 2015

Alexander Biewer, Jens Gladigau, Christian Haubelt, Dieter Thoss:
Controling Device for an Automobile
Taiwan Patent Application TW000201533665A, , Taiwan, September 2015

Johannes Schützel, Sebastian Stieber, Christian Haubelt, Lin Uhrmacher:
Targeted On-Line Data Extraction with SystemXtract
In Proceedings of the International Conference on Simulation Tools and Techniques (SIMUtools'15), pp. 228-237, Athen, Griechenland, August 2015

Tobias Schwarzer, Joachim Falk, Michael Glaß, Jürgen Teich, Christian Zebelein, Christian Haubelt:
Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling
In Proceedings of the International Workshop on Software and Compilers for Embedded Systems (SCOPES’15), pp. 68 – 75, St. Goar, Deutschland, Juni 2015

Florian Grützmacher, Johann-Peter Wolff, Christian Haubelt:
Exploiting Thread-Level Parallelism in Template-Based Gesture Recognition with Dynamic Time Warping
In Proceedings of the International Workshop on Sensor-based Activity Recognition and Interaction (WOAR), pp.6:1 – 6:6, DOI 10.1145/2790044.2790050, ISBN: 978-1-4503-3454-9, Rostock, Deutschland, Juni 2015

Alexander Biewer, Dieter Thoss, Jens Gladigau, Christian Haubelt:
Control Device for a Motor Vehicle
WIPO Patent WO 2015/082109 A1, Stuttgart, Deutschland, Juni 2015

Alexander Biewer, Dieter Thoss, Jens Gladigau, Christian Haubelt:
Steuergerät für ein Kraftfahrzeug
Offenlegungsschrift DE 10 2013 224 702 A1, Stuttgart, Deutschland, Juni 2015

Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt:
A Symbolic System Synthesis Approach for Hard Real-Time Systems Based on Coordinated SMT-Solving
In Proceedings of Design, Automation and Test in Europe (DATE'15), pp. 357-362, Grenoble, Frankreich, März 2015

Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt:
On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems
In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pp. 105-114, Chemnitz, Deutschland, März 2015

Alexander Nitsch, Benjamin Beichler, Frank Golatowski, Christian Haubelt:
Model-based Systems Engineering with Matlab/Simulink in the Railway Sector
In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pp. 125-134, Chemnitz, Deutschland, März 2015

2014

Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart Theelen, Sander Stuijk:
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
In Proceeding of the Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA, pp. 393-397, USA, November 2014

Lars Middendorf, Christian Haubelt:
Scheduling of Recursive and Dynamic Data-Flow Graphs using Stream Rewriting
In Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PADW), pp. 102-107, Paris, Frankreich, Oktober 2014

Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt:
Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS
In Proceedings of the GI Workshop Technologien zur Analyse und Steuerung komplexer cyber-physischer Systeme (CPSData'14), pp. 1191-1201, Stuttgart, Deutschland, September 2014

Lars Middendorf, Christian Haubelt:
System Level Synthesis of Many-Core Architectures using Parallel Stream Rewriting
In Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), pp. , San Francisco, USA, Mai 2014

Alexander Biewer, Jens Gladigau, Christian Haubelt:
A Novel Model for System-Level Decision Making with Combined ASP and SMT Solving
In Proceedings of Design, Automation and Test in Europe (DATE'14), pp. 1-4, Dresden, Deutschland, März 2014

Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jürgen Teich:
Model-Based Actor Multiplexing with Application to Complex Communication Protocols
In Proceedings of Design, Automation and Test in Europe (DATE'14), pp. 1-4, Dresden, Deutschland, März 2014

Sebastian Stieber, Johann-Peter Wolff, Rainer Dorsch, Christian Haubelt:
Hybride Prototypisierung eines Sensorsubsystems
In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 209-212, Böblingen, Deutschland, März 2014

Alexander Biewer, Jens Gladigau, Christian Haubelt:
Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making
In Proceedings of the International Conference on Architecture of Computing Systems (ARCS), pp. 1-7, Lübeck, Deutschland, Februar 2014

2013

Christian Haubelt, Florian Ludwig, Lars Middendorf, Christian Zebelein:
Using Stream Rewriting for Mapping and Scheduling Data Flow Graphs onto Many-Core Architectures
In Proceeding of the Asilomar Conference on Signals, Systems, and Computers, Pacific Grove CA, USA, November 2013

Lars Middendorf, Christian Haubelt:
A Novel Graphics Processor Architecture Based on Partial Stream Rewriting
In Proceedings of the Conference on Design and Architectures for Signal and Image Processing (DASIP 2013), pp. 38-45, Cagliari, Italien, Oktober 2013

Lars Middendorf, Christian Haubelt:
A Programmable Graphics Processor Based on Partial Stream Rewriting
In Computer Graphics Forum 32 (7), pp. 325-334, Singapore, Singapore, Oktober 2013

Dirk Koch, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Logic Chip, Method and Computer Program for Providing a Configuration Information for a Configurable Logic Chip
United States Patent 8,554,972 B2, Alexandria, USA, Oktober 2013

Benjamin Andres, Martin Gebser, Michael Glaß, Christian Haubelt, Felix Reimann, Torsten Schaub:
Symbolic System Synthesis Using Answer Set Programming
In Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 79-91, Corunna, Spanien, September 2013

Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jürgen Teich:
Representing Mapping and Scheduling Decisions within Dataflow Graphs
In Forum on specification and Design Languages (FDL), pp. 1-8, Paris, Frankreich, September 2013

Lars Middendorf, Christian Zebelein, Christian Haubelt:
Dynamic Task Mapping onto Multi-Core Architectures through Stream Rewriting
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, pp. 196-204, Samos, Greece, Juli 2013

Joachim Falk, Christian Haubelt, Christian Zebelein, Jürgen Teich:
Integrated Modeling Using Finite State Machines and Dataflow Graphs.
In Handbook of Signal Processing Systems, 2nd ed., pp. 975-1013, ISBN: 978-1-4614-6858-5 , New York, USA, Juni 2013

Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich:
A Rule-Based Quasi-Static Scheduling Approach for Static Islands in Dynamic Dataflow Graphs
ACM Transactions on Embedded Computing Systems, ISSN: 1539-9087, Vol. 12, No. 3, pp. 74:1-74:31, DOI: 10.1145/2442116.2442124, New York, U.S.A., April 2013

Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
Model-Based Representation of Schedules for Dataflow Graphs
16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013), pp. 105-116, ISBN: 978-3-86009-147-0, Rostock-Warnemünde, Deutschland, März 2013

Christian Haubelt, Dirk Timmermann:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Tagungsband zum 16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013), pp. 0-284, ISBN: 978-3- 86009-147-0, Rostock-Warnemünde, Deutschland, März 2013

Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glass:
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP
16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013), pp. 35-46, ISBN: 978-3-86009-147-0, Rostock-Warnemünde, Deutschland, März 2013

Rainer Kiesel, Stefan Freisler, Otto Löhlein, Christian Haubelt, Martin Streubühr, Jürgen Teich:
Multi-Platform Performance Evaluation of Pedestrian Detection at the Electronic System Level
GMM-Fachbericht der 4. GMM-Fachtagung - Automotive meets Electronics, pp. 98-103, ISBN: 978-3-8007-3485-6, Dortmund, Deutschland, Februar 2013

2012

Jens Gladigau, Christian Haubelt, Jürgen Teich:
Model-Based Virtual Prototype Acceleration
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31(10), pp. 1572-1585, New York, USA, Oktober 2012

Rainer Kiesel, Martin Streubühr, Anestis Terzis, Christian Haubelt, Jürgen Teich:
Virtual Prototyping for Efficient Multi-Core ECU Development of Driver Assistance Systems
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XII), pp. 33-40, Samos, Greece, Juli 2012

Lars Middendorf, Christophe Bobda, Christian Haubelt:
Hardware synthesis of recursive functions through partial stream rewriting.
In Proceedings of Design Automation Conference (DAC 2012), pp. 1207-1215, San Francisco, USA, Juni 2012

Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich:
A Model-Based Inter-Process Resource Sharing Approach for High-Level Synthesis of Dataflow Graphs
ESLsyn 2012, ISBN: 978-2-9539987-1-9, San Francisco, USA, Juni 2012

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
Design, Automation and Test in Europe (DATE'12), pp. 346-351, Dresden, Germany, März 2012

Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich:
Exploiting Model-Knowledge in High-Level Synthesis
15. Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'12), pp. 181-191, Kaiserslautern, Deutschland, März 2012

Yang Xu, Rafael Rosales, Bo Wang, Martin Streubühr, Ralph Hasholzner, Christian Haubelt:
A Very Fast and Quasi-Accurate Power-State-Based System-Level Power Modeling Methodology
International Conference on Architecture of Computing Systems (ARCS), pp. 37-49, Munich, Germany, Februar 2012

Rainer Dorsch, Richard Errickson, Markus Helms, G. Crew, Thomas Gregg, Welela Haileselassie:
IBM Parallel Sysplex design for the IBM z196 system
IBM Journal of Research and Development (ISSN: 0018-8646), Vol. 56, Nr. 1, 9 pp., Yorktown Heights, USA, Januar 2012

2011

Jens Gladigau, Andreas Gerstlauer, Christian Haubelt, Martin Streubühr, Jürgen Teich:
Automatic System-Level Synthesis: From Formal Application Models to Generic Bus-Based MPSoCs
Transactions on HiPEAC, Aachen, Deutschland, Oktober 2011

Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich:
ESL Power and Performance Estimation for Heterogeneous MPSoCs Using SystemC
Forum on specification and Design Languages 2011, pp. 202-209 , ISBN: 978-2-9530504-4-4-8, Oldenburg, Germany, September 2011

Dirk Koch, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Logic Chip, Logic System and Method for Designing a Logic Chip
United States Patent 8,018,249 B2, Alexandria, U.S.A., September 2011

Lars Middendorf, Christian Haubelt, Christophe Bobda:
Optimizing The Costs of Communication Infrastructure In Message-Based Multicore
Proceedings of Engineering of Reconfigurable Systems and Algorithms (ERSA '11), pp. 359-360, ISBN: 1-60132-177-5, Las Vegas, USA, Juli 2011

Rainer Kiesel, Martin Streubühr, Christian Haubelt, Otto Löhlein, Jürgen Teich:
Calibration and Validation of Software Performance Models for Pedestrian Detection Systems
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, pp.182-189, ISBN: 978-1-4577-0800-8, Samos, Greece, Juli 2011

Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich:
Symbolic System Synthesis in the Presence of Stringent Real-Time Constraints
Proceedings of the 48th Design Automation Conference (DAC 2011), pp. 393-398, ISBN: 978-1-4503-0636-2, San Diego, USA, Juni 2011

Philipp Kutzer, Jens Gladigau, Christian Haubelt, Jürgen Teich:
Automatic Generation of System-Level Virtual Prototypes from Streaming Application Models
Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, pp. 128-134, ISBN: 978-1-4577-0658-5, Karlsruhe, Deutschland, Mai 2011

Philipp Mahr, Steffen Christgau, Christian Haubelt, Christophe Bobda:
Integrated Temporal Planning, Module Selection and Placement of Tasks for Dynamic Networks-on-Chip
25th IEEE International Symposium on Parallel and Distributed Processing, pp. 258-263, ISBN: 978-0-7695-4385-7, Anchorage, USA, Mai 2011

Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich:
A Rule-Based Static Dataflow Clustering Algorithm for Efficient Embedded Software Synthesis
Design, Automation and Test in Europe, pp. 1-6, ISBN: 978-3-9810801-7-9, Grenoble, France, März 2011

Dirk Koch, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Logic Chip, Method and Computer Program for Providing a Configuration Information for a Configurable Logic Chip
Patent Application Publication US 2011/0055449 A1, Alexandria, U.S.A., März 2011

2010

Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra Bhattacharyya:
Analysis of SystemC Actor Networks for Efficient Synthesis
ACM Transactions on Embedded Computing Systems, New York, U.S.A., Dezember 2010

Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich:
Symbolic System Level Reliability Analysis
Proceedings of the International Conference on Computer-Aided Design (ICCAD), San Jose, U.S.A., November 2010

Joachim Falk, Joachim Keinert, Christian Zebelein, Christian Haubelt, Jürgen Teich:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
Handbook of Signal Processing Systems, Rostock, Deutschland, Oktober 2010

Felix Reimann, Michael Glaß, Christian Haubelt, Michael Eberl, Jürgen Teich:
Improving Platform-Based System Synthesis by Satisfiability Modulo Theories Solving
Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Scottsdale, U.S.A., Oktober 2010

Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich:
Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's, Dordrecht, The Netherlands, September 2010

Christian Haubelt, Jürgen Teich:
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation, Heidelberg, Germany, Juli 2010

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
Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), pp. 118-125, Samos, Greece, Juli 2010

Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich:
Towards Scalable System-Level Reliability Analysis
Proceedings of the 2010 Design Automation Conference (DAC 2010), Anaheim, U.S.A., Juni 2010

Felix Reimann, Andreas Kern, Christian Haubelt, Thilo Streichert, Jürgen Teich:
Echtzeitanalyse Ethernet-basierter E/E-Architekturen im Automobil
GMM-Fachbericht -- Automotive meets Electronics (AmE 2010), Rostock, Deutschland, April 2010

Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich, Rainer Dorsch:
Efficient High-Level Modeling in the Networking Domain
Proceedings of Design, Automation and Test in Europe (DATE 2010), Dresden, Germany, März 2010

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, Heidelberg, Germany, Februar 2010

Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch:
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models
Tagungsband des 13. ITG/GI/GMM Workshops für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden, Germany, Februar 2010

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
Tagungsband des 13. ITG/GI/GMM Workshops für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Rostock, Deutschland, Februar 2010

Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich:
Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach
Proceedings of IEEE International Workshop on Reliability Aware System Design and Test (RASDAT '10), Bangalore, India, Januar 2010

2009

Martin Streubühr, Jens Gladigau, Christian Haubelt, 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, September 2009

Joachim Keinert, Christian Haubelt, 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 2009

Joachim Keinert, Hritam Dutta, Frank Hannig, Christian Haubelt, 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 2009

Martin Lukasiewycz, Martin Streubühr, Michael Glaß, Christian Haubelt, 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 2009

Michael Glaß, Martin Lukasiewycz, Christian Haubelt, 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 2009

Martin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich:
From Model-based Design to Virtual Prototypes for Automotive Applications
In Proceedings of the Embedded World Conference, Nuremberg, Germany, März 2009

Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein:
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, ISBN: 978-3-7983-2118-2, Berlin, Germany, März 2009

Andreas Gerstlauer, Christian Haubelt, Andy D. Pimentel, Todor P. Stefanov, Daniel D. Gajski, Jürgen Teich:
Electronic System-Level Synthesis Methodologies
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28(10), pp. 1517-1530, New York, USA, Januar 2009

Jens Gladigau, Christian Haubelt, 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, Januar 2009

Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt:
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, New York, USA, Januar 2009

Martin Streubühr, Christian Haubelt, 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, Januar 2009

2008

Felix Reimann, Michael Glaß, Martin Lukasiewycz, Jaochim Keinert, Christian Haubelt, 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, Oktober 2008

Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, 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), pp.189-198 , Atlanta, Georgia, USA, Oktober 2008

Joachim Keinert, Christian Haubelt, 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, Griechenland, Oktober 2008

Jens Gladigau, Christian Haubelt, Jürgen Teich:
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
In Proceedings of Forum on Specification & Design Languages 2008 (FDLFDL08), pp.1-6, Stuttgart, Deutschland, September 2008

Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, 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, Großbritanien, September 2008

Dirk Koch, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Logic Chip, Logic System and Method for Designing a Logic Chip
Patent PCT/EP2008/007342, , September 2008

Dirk Koch, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Logic Chip, Method and Computer Program for Providing a Configuration Information for a Configurable Logic Chip
Patent PCT/EP2008/007343, , September 2008

Christian Haubelt, Jürgen Teich, Rainer Dorsch:
Entdecke die Möglichkeiten
In Design&Elektronik, Nr. 8, pp. 22-27, , August 2008

Michael Glaß, Martin Lukasiewycz, Rolf Wanka, Christian Haubelt, 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, Griechenland, Juli 2008

Christian Haubelt, Mike Meredith, Thomas Schlichter, 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, USA, Juni 2008

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich, Richard Regler, 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, USA, Juni 2008

Christian Zebelein, Joachim Falk, Christian Haubelt, 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, USA, Juni 2008

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 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, Juni 2008

Dirk Koch, Christian Haubelt, 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. 287-290 , Palo Alto, CA, USA, April 2008

Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, 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 , München, Deutschland, März 2008

Martin Streubühr, Michael Jäntsch, Christian Haubelt, 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, Deutschland, März 2008

Jens Gladigau, Frank Blendinger, Christian Haubelt, 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, Deutschland, März 2008

Thilo Streichert, Christian Haubelt, Dirk Koch, Jürgen Jürgen Teich:
Concepts for Self-Adaptive and Self-Healing Networked Embedded Systems.
In Organic Computing by Rolf P. Würtz, pp. 241-260, , Niederland, März 2008

Joachim Keinert, Christian Haubelt, 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, Deutschland, Februar 2008

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
In Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2008), pp. 117-129, Dresden, Deutschland, Februar 2008

Thilo Streichert, Michael Glaß, Rolf Wanka, Christian Haubelt, 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, Deutschland, Februar 2008

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 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, Januar 2008

2007

Thilo Streichert, Michael Glaß, Christian Haubelt, Jürgen Teich:
Design Space Exploration of Reliable Networked Embedded Systems
In Journal of Systems Architecture, Vol. 53, Nr.10, pp. 751-763 , , Oktober 2007

Joachim Keinert, Joachim Falk, Christian Haubelt, 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, Österreich, Oktober 2007

Dirk Koch, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Efficient Reconfigurable On-Chip Buses
European Patent EP07017975, , September 2007

Bernhard Niemann, Christian Haubelt, Maite Oyanguren, 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 , , September 2007

Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich:
Mapping Actor-Oriented Models to TLM Architectures
In Proceedings of the Forum of Specification & Design Languages (FDL'07), Barcelona, Spanien, September 2007

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 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), pp. 935-942 , Singapore, Singapore, September 2007

Joachim Keinert, Christian Haubelt, Jürgen Teich:
Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Acoustics, Speech, and Signal Processing (IC-SAMOS VII), pp.161-168 , Samos, Griechenland, Juli 2007

Florian Dittmann, Franz Rammig, Martin Streubühr, Christian Haubelt, Andreas Schallenberg, Wolfgang Nebel:
Exploration, Partitioning and Simulation of Reconfigurable Systems
In it - Information Technology, Oldenbourg Wissenschaftsverlag, Vol.49, Nr. 3, pp. 149-156 , Oldenbourg, Deutschland, Mai 2007

Dirk Koch, Christian Haubelt, Thilo Streichert, Jürgen Teich:
Modeling and Synthesis of Hardware-Software Morphing.
In Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), pp. 2746-2749 , New Orleans, LA, U.S.A, Mai 2007

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich:
Solving Multiobjective Pseudo-Boolean Problems.
In Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007),pp. 56-69 , Lisbon, Portugal, Mai 2007

Bernhard Niemann, 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), pp. 103-112, Nice, Frankreich, Mai 2007

Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Reliability-Aware System Synthesis
In Proceedings of Design, Automation and Test in Europe (DATE 2007), pp. 409-414, Nice, Frankreich, April 2007

Martin Streubühr, Carsten Riedel, Christian Haubelt, 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", pp. 59-68 , Erlangen, Deutschland, März 2007

Martin Lukasiewycz, Michael Glaß, Christian Haubelt, 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), pp. 111-125 , Sendai, Japan, März 2007

Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Synthese zuverlässiger und flexibler Systeme
In Zuverlässigkeit und Entwurf (ZuD 2007), pp. 141-148, , März 2007

Thilo Streichert, Christian Strengert, Dirk Koch, Christian Haubelt, Jürgen Teich:
Communication Aware Optimization of the Task Binding in Hardware/Software Reconfigurable Networks.
In Journal of Integated Circuits and Systems (JICS),Vol. 2, Nr. 1, pp. 29-36 , , März 2007

Dirk Koch, Christian Haubelt, 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), pp. 188-196 , Monterey, Kanada, Februar 2007

Christian Haubelt, Jürgen Teich:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
, Aachen, Deutschland, Februar 2007

Jürgen Teich, Christian Haubelt:
Digitale Hardware/Software-Systeme: Synthese und Optimierung
2. Edition, Berlin, Heidelberg, Deutschland, Februar 2007

Christian Haubelt, Joachim Falk, Joachim Keinert, Thomas Schlichter, Martin Streubühr, Andreas Deyhle:
A SystemC-Based Design Methodology for Digital Signal Processing Systems
In EURASIP Journal on Embedded Systems, Special Issue on Embedded Digital Signal Processing Systems,Vol. 2007, Article ID 47580, 22 pages , , Februar 2007

2006

Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel:
Automatic Test Case Generation with Model Checker NuSMV. In Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen
In Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen, Dresden, Germany, Oktober 2006

Joachim Falk, Christian Haubelt, 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, September 2006

Bernhard Niemann, Christian Haubelt:
Formalizing Transaction Level Modeling with Communicating State Machines
In Proceedings of the Forum of Specification & Design Languages (FDL'06), Darmstadt, Germany, September 2006

Axel Schneider, Grygoriy Bunin, Christian Haubelt, 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)
In Software Quality in Service-Oriented Architectures Proceedings of the Conference on Quality Engineering in Software Technology (CONQUEST2006), Berlin, Germany, September 2006

Thilo Streichert, Christian Strengert, Christian Haubelt, 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, August 2006

Thilo Streichert, Christian Haubelt, 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, Juli 2006

Joachim Keinert, Christian Haubelt, 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), Toulouse, France, Mai 2006

Thilo Streichert, Dirk Koch, Christian Haubelt, 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 Article ID 42168, Erlangen-Nuremberg, Deutschland, April 2006

Thomas Schlichter, Martin Lukasiewycz, Christian Haubelt, 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, März 2006

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
In Proceedings of Design, Automation and Test in Europe (DATE 2006), Munich, Germany, März 2006

Dirk Koch, Thilo Streichert, Steffen Dittrich, Christian Strengert, Christian Haubelt, Jürgen Teich:
An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks
In Proceedings of Architecture of Computing Systems (ARCS'06), Frankfurt, Germany, März 2006

Bernhard Niemann, Christian Haubelt:
Assertion-Based Verification of Transaction Level Models
In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden, Germany, Februar 2006

Christian Haubelt, Thomas Schlichter, 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, Oslo, Norwegen, Januar 2006

2004 -2005

Sabine Helwig, Christian Haubelt, 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), Edinburgh, Scotland, September 2005

Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst:
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme
In Proceedings of INFORMATIK 2005, Bonn, Germany, September 2005

Thomas Schlichter, Christian Haubelt, Frank Hannig, 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, Juli 2005

Thomas Schlichter, Christian Haubelt, 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, USA, Juni 2005

Joachim Falk, Christian Haubelt, Jürgen Teich:
Representing Models of Computation in SystemC. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
GI/IT/GGMM-Workshop, München, Germany, April 2005

Thomas Dinkel, Ullrich Heinkel, Thomas Schlichter, Christian Haubelt, Jürgen Teich:
Automatische Verifikation von ADeVA-Spezifikationen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
GI/IT/GGMM-Workshop 2005, München, Germany, April 2005

Stefan Schock, Thomas Schlichter, Christian Haubelt, Jürgen Teich, Thomas Dinkel, Ullrich Heinkel:
Comparison of Techniques for the Automatic Verification of ADeVA Spezifications
In Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005), Dresden, Germany, April 2005

Joachim Falk, Christian Haubelt, Jürgen Teich:
Syntax and Execution Behavior of SysteMoC
Co-Design-Report 04 - 2005 Department of Computer Science 12 (Hardware-Software-Co-Design), Erlangen, Germany, April 2005

Thilo Streichert, Christian Haubelt, Jürgen Teich:
Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks
In Proceedings of Design, Automation and Test in Europe (DATE'05), München, Germany, März 2005

Thilo Streichert, Christian Haubelt, 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, Februar 2005

Joachim Keinert, Christian Haubelt, Jürgen Teich:
Windowed Synchronous Data Flow
Co-Design-Report 02 - 2005 Department of Computer Science 12 (Hardware-Software-Co-Design), Erlangen, Germany, Februar 2005

Christian Haubelt, Stephan Otto, Cornelia Grabbe, 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, Januar 2005

Thilo Streichert, Christian Haubelt, 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, Januar 2005

Christian Haubelt, Jürgen Gamenik, Jürgen Teich:
Initial Population Construction for Convergence Improvement of MOEAs
In Evolutionary Multi-Criterion Optimization Proceedings of the Third International Conference. Volume 3410, Berlin/Heidelberg, Germany, Januar 2005

Christian Haubelt:
Automatic Model-Based Design Space Exploration for Embedded Systems - A System Level Approach
Dissertation an der Universität Erlangen-Nürnberg, ISBN: 3-89574-572-3, Berlin, Germany, Januar 2005

Christian Haubelt, Dirk Koch, 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, Berlin, Germany, Juli 2004

Christian Haubelt, Jürgen Teich:
Modeling and Analysis of Distributed Reconfigurable Hardware
In Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2004), Dresden, Germany, April 2004

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, Berlin, Germany, Januar 2004

2002 - 2003

Christian Haubelt, Jürgen Teich:
Accelerating Design Space Exploration
In Proceedings of 5th International Conference on ASIC (ASICON 2003), Beijing, China, Oktober 2003

Christian Haubelt, Dirk Koch, 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, September 2003

Rainer Feldmann, Christian Haubelt, Burkard Monien, 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.), Berlin, Heidelberg, Germany, August 2003

Christian Haubelt, Dirk Koch, 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), ISBN: 90-807957-1-2, Samos, Griechenland, Juli 2003

Christian Haubelt, Sanaz Mostaghim, Jürgen Teich, Ambrish Tyagi:
Solving Hierarchical Optimization Problems Using MOEAs
In Evolutionary Multi-Criterion Optimization Proceedings of the Second International Conference, Faro, Portugal, April 2003

Christian Haubelt, Sanaz Mostaghim, Frank Slomka, Jürgen Teich, 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), London, GB, März 2003

Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien:
SAT-Based Techniques in System Design.
In Proceedings of Design, Automation and Test in Europe (DATE'03), München, Germany, März 2003

Christian Haubelt, 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, Januar 2003

Christian Haubelt, Jürgen Teich, Kai Richter, 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., Berlin, Heidelberg, Germany, März 2002

Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst:
System Design for Flexibility
In Proceedings of Design, Automation and Test in Europe (DATE'02), Paris, Frankreich, März 2002

Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka:
SPI - Workbench for the Analysis of Embedded Systems
In Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, Aachen, Germany, März 2002

Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst:
Modellierung rekonfigurierbarer Systemarchitekturen.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GIITGGMM-Workshop 2002, Tübingen, Germany, Februar 2002

Publikationen in der Universitäts-Bibliothek

Alle Publikationen von Prof. Haubelt

2017

Zeitschriftenartikel

Teil einer Monographie/eines Konferenzbandes