![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Christian Haubelt
Person information
- affiliation: University of Rostock, Electrical Engineering, Germany
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j25]Luise Müller
, Philipp Wanko, Christian Haubelt, Torsten Schaub:
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design. Int. J. Parallel Program. 52(1-2): 59-92 (2024) - [j24]Nico Schumacher
, Franziska Geiger
, Sascha Spors
, Rainer Bader, Christian Haubelt
, Daniel Kluess
:
Detection of Total Hip Replacement Loosening Based on Structure-Borne Sound: Influence of the Position of the Sensor on the Hip Stem. Sensors 24(14): 4594 (2024) - [c146]Alexandra Küster, Rainer Dorsch, Christian Haubelt:
Adaptive ODE Solvers for Timed Data Flow Models in SystemC-AMS. DATE 2024: 1-6 - [c145]Robert Hauser, Florian Grützmacher, Christian Haubelt:
Approximative Sensor Data Resynchronization for Wireless Burst Transmission Protocols. WFCS 2024: 1-8 - [c144]Michael Nast
, Michael Rethfeldt, Frank Golatowski, Christian Haubelt:
Improving the Real-Time Capability of MQTT for Sensor Networks (MQTT-SN) Using PREEMPT_RT. WFCS 2024: 1-8 - [c143]Benjamin Rother, Nico Kalis, Christian Haubelt, Frank Golatowski:
Localization in 6G: A Journey along existing Wireless Communication Technologies. WFCS 2024: 1-7 - 2023
- [j23]Christian Haubelt
, Luise Müller
, Kai Neubauer
, Torsten Schaub
, Philipp Wanko
:
Evolutionary System Design with Answer Set Programming. Algorithms 16(4): 179 (2023) - [j22]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. Sensors 23(10): 4744 (2023) - [c142]Alexandra Küster, Rainer Dorsch, Christian Haubelt:
Structural Generation of Virtual Prototypes for Smart Sensor Development in SystemC-AMS from Simulink Models. DATE 2023: 1-2 - 2022
- [c141]Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich:
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. FDL 2022: 1-8 - [c140]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. ISNCC 2022: 1-8 - [c139]Michael Rethfeldt, Tim Brockmann
, Richard Eckhardt, Benjamin Beichler, Lukas Steffen, Christian Haubelt, Dirk Timmermann:
Extending the FLExible Network Tester (Flent) for IEEE 802.11s WLAN Mesh Networks. M&N 2022: 1-6 - 2021
- [j21]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. Sensors 21(8): 2747 (2021) - [j20]Daniel Gis, Nils Büscher, Christian Haubelt:
Investigation of Timing Behavior and Jitter in a Smart Inertial Sensor Debugging Architecture. Sensors 21(14): 4675 (2021) - [j19]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. Sensors 21(15): 5180 (2021) - [j18]Michael Rethfeldt
, Tim Brockmann
, Benjamin Beichler
, Christian Haubelt
, Dirk Timmermann
:
Adaptive Multi-Channel Clustering in IEEE 802.11s Wireless Mesh Networks. Sensors 21(21): 7215 (2021) - [c138]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. ISNCC 2021: 1-7 - [c137]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. RSP 2021: 22-28 - [c136]Luise Müller
, Kai Neubauer
, Christian Haubelt
:
Exploiting Similarity in Evolutionary Product Design for Improved Design Space Exploration. SAMOS 2021: 33-49 - 2020
- [c135]Jakob Heller, Christoph Niemann, Franz Plocksties, Christian Haubelt, Dirk Timmermann:
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS. MBMV 2020: 1-8 - [c134]Jens Rudolf, Florian Grützmacher, Christian Haubelt:
Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs. MBMV 2020: 1-9 - [c133]Daniel Gis, Nils Büscher, Christian Haubelt:
Advanced Debugging Architecture for Smart Inertial Sensors using Sensor-in-the-Loop. RSP 2020: 1-7
2010 – 2019
- 2019
- [j17]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. Geo spatial Inf. Sci. 22(2): 114-127 (2019) - [c132]Florian Grützmacher, Benjamin Beichler, Christian Haubelt
:
Model-based real time analysis of distributed human activity recognition stages in wireless sensor networks. UbiComp/ISWC Adjunct 2019: 73-76 - [c131]Arne Wellnitz, Johann-Peter Wolff, Christian Haubelt, Thomas Kirste:
Fluid intake recognition using inertial sensors. iWOAR 2019: 4:1-4:7 - [c130]Jens Rudolf, Manuel Strobel, Joscha Benz, Christian Haubelt, Martin Radetzki, Oliver Bringmann:
Automated Sensor Firmware Development - Generation, Optimization, and Analysis. MBMV 2019: 1-12 - [c129]Jens Rudolf, Daniel Gis, Sebastian Stieber, Christian Haubelt
, Rainer Dorsch:
SystemC Power Profiling for IoT Device Firmware using Runtime Configurable Models. MECO 2019: 1-6 - [c128]Nils Büscher, Daniel Gis, Sebastian Stieber, Christian Haubelt:
Multi-aspect Evaluation Method for Digital Pointing Devices. PECCS 2019: 128-135 - [c127]Fabian Hölzke
, Johann-Peter Wolff, Christian Haubelt
:
Improving Pedestrian Dead Reckoning Using Likely Paths and Backtracking for Mobile Devices. PerCom Workshops 2019: 273-278 - 2018
- [j16]Michael Rethfeldt
, Benjamin Beichler
, Peter Danielis, Felix Uster, Christian Haubelt
, Dirk Timmermann
:
MeNTor: A wireless-mesh-network-aware data dissemination overlay based on BitTorrent. Ad Hoc Networks 79: 146-159 (2018) - [j15]Christian Haubelt, Kai Neubauer, Torsten Schaub
, Philipp Wanko
:
Design Space Exploration with Answer Set Programming. Künstliche Intell. 32(2-3): 205-206 (2018) - [j14]Florian Grützmacher
, Benjamin Beichler
, Albert Hein
, Thomas Kirste, Christian Haubelt
:
Time and Memory Efficient Online Piecewise Linear Approximation of Sensor Signals. Sensors 18(6): 1672 (2018) - [c126]Kai Neubauer
, Christian Haubelt
, Philipp Wanko
, Torsten Schaub
:
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. ASP-DAC 2018: 434-439 - [c125]Kai Neubauer
, Christian Haubelt
, Philipp Wanko
, Torsten Schaub
:
On leveraging approximations for exact system-level design space exploration: work-in-progress. CODES+ISSS 2018: 15 - [c124]Kai Neubauer
, Philipp Wanko
, Torsten Schaub
, Christian Haubelt
:
Exact multi-objective design space exploration using ASPmT. DATE 2018: 257-260 - [c123]Johann-Peter Wolff, Florian Grützmacher, Arne Wellnitz, Christian Haubelt
:
Activity Recognition using Head Worn Inertial Sensors. iWOAR 2018: 14:1-14:7 - [c122]Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. MBMV 2018 - [c121]Florian Grützmacher, Albert Hein, Benjamin Beichler, Polichronis Lepidis, Rainer Dorsch, Thomas Kirste, Christian Haubelt:
Energy Efficient On-Sensor Processing for Online Activity Recognition. PECCS 2018: 223-230 - [c120]Johann-Peter Wolff, Sebastian Stieber, Fabian Hölzke
, Daniel Gis, Christian Haubelt
, Polichronis Lepidis, Jurgen Meier:
Improving Pedestrian Dead Reckoning using Likely and Unlikely Paths. UPINLBS 2018: 1-6 - [c119]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. WCNC 2018: 1-6 - 2017
- [j13]Sebastian Stieber, Rainer Dorsch, Christian Haubelt
:
Accurate Sample Time Reconstruction of Inertial FIFO Data. Sensors 17(12): 2894 (2017) - [j12]Marc Geilen
, Joachim Falk, Christian Haubelt
, Twan Basten
, Bart D. Theelen, Sander Stuijk
:
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. J. Signal Process. Syst. 87(1): 157-175 (2017) - [c118]Kai Neubauer
, Philipp Wanko
, Torsten Schaub
, Christian Haubelt
:
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. DATE 2017: 306-309 - [c117]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. IECON 2017: 8291-8296 - [c116]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. MBMV 2017: 15-26 - [p6]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. Handbook of Hardware/Software Codesign 2017: 3-26 - [p5]Joachim Falk, Christian Haubelt
, Jürgen Teich, Christian Zebelein:
SysteMoC: A Data-Flow Programming Language for Codesign. Handbook of Hardware/Software Codesign 2017: 59-97 - 2016
- [c115]Sebastian Stieber, Rainer Dorsch, Christian Haubelt
:
Accurate Sample Time Reconstruction for Sensor Data Synchronization. ARCS 2016: 185-196 - [c114]Florian Grützmacher, Benjamin Beichler
, Christian Haubelt
, Bart D. Theelen:
Dataflow-based modeling and performance analysis for online gesture recognition. CPS Data 2016: 1-8 - [c113]Nils Büscher, Lars Middendorf, Christian Haubelt
, Rainer Dorsch, Frederik Wegelin:
Statistical analysis and improvement of the repeatability and reproducibility of an evaluation method for IMUs on a smartphone. EICS 2016: 149-158 - [c112]Lars Middendorf, Christian Haubelt
:
Supporting Static Binding in Stream Rewriting for Heterogeneous Many-Core Architectures. MCSoC 2016: 273-280 - [c111]Kai Neubauer
, Christian Haubelt
, Michael Glaß:
Supporting composition in symbolic system synthesis. SAMOS 2016: 132-139 - [c110]Michael Rethfeldt
, Hannes Raddatz, Benjamin Beichler
, Björn Konieczek, Dirk Timmermann
, Christian Haubelt
, Peter Danielis:
ViPMesh: A virtual prototyping framework for IEEE 802.11s wireless mesh networks. WiMob 2016: 1-7 - 2015
- [c109]Benjamin Beichler
, Thorsten Schulz, Christian Haubelt
, Frank Golatowski
:
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems. CyPhy 2015: 56-66 - [c108]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. DATE 2015: 357-362 - [c107]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. ESTIMedia 2015: 1-10 - [c106]Lars Middendorf, Christian Haubelt
:
Dynamic task mapping of graphics processing applications on many-core architectures through stream rewriting. ESTIMedia 2015: 1-2 - [c105]Florian Grützmacher, Johann-Peter Wolff, Christian Haubelt
:
Sensor-based online hand gesture recognition on multi-core DSPs. GlobalSIP 2015: 898-902 - [c104]Lars Middendorf, Rainer Dorsch, Rudolf Bichler, Christina Strohrmann, Christian Haubelt
:
A Mobile Camera-Based Evaluation Method of Inertial Measurement Units on Smartphones. IoT 360 (2) 2015: 362-372 - [c103]Florian Grützmacher, Johann-Peter Wolff, Christian Haubelt
:
Exploiting thread-level parallelism in template-based gesture recognition with dynamic time warping. iWOAR 2015: 6:1-6:6 - [c102]Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt
, Torsten Schaub
:
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. LPNMR 2015: 55-68 - [c101]Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt:
On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. MBMV 2015: 105-114 - [c100]Alexander Nitsch, Benjamin Beichler, Frank Golatowski, Christian Haubelt:
Model-based Systems Engineering with Matlab/Simulink in the Railway Sector. MBMV 2015: 125-134 - [c99]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. SCOPES 2015: 68-75 - [c98]Johannes Schützel, Sebastian Stieber, Christian Haubelt
, Adelinde M. Uhrmacher:
Targeted on-line data extraction with SystemXtract. SimuTools 2015: 228-237 - 2014
- [c97]Marc Geilen
, Joachim Falk, Christian Haubelt
, Twan Basten
, Bart D. Theelen, Sander Stuijk
:
Performance analysis of weakly-consistent scenario-aware dataflow graphs. ACSSC 2014: 393-397 - [c96]Alexander Biewer, Jens Gladigau, Christian Haubelt:
Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. ARCS Workshops 2014: 1-7 - [c95]Alexander Biewer, Jens Gladigau, Christian Haubelt:
A novel model for system-level decision making with combined ASP and SMT solving. DATE 2014: 1-4 - [c94]Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jürgen Teich:
Model-based actor multiplexing with application to complex communication protocols. DATE 2014: 1-4 - [c93]Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt:
Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS. GI-Jahrestagung 2014: 1191-1201 - [c92]Sebastian Stieber, Johann-Peter Wolff, Christian Haubelt, Rainer Dorsch:
Hybride Prototypisierung eines Sensorsubsystems. MBMV 2014: 209-212 - [c91]Lars Middendorf, Christian Haubelt
:
Scheduling of Recursive and Dynamic Data-Flow Graphs Using Stream Rewriting. SBAC-PAD (Workshops) 2014: 102-107 - 2013
- [j11]Lars Middendorf, Christian Haubelt
:
A Programmable Graphics Processor based on Partial Stream Rewriting. Comput. Graph. Forum 32(7): 325-334 (2013) - [j10]Joachim Falk, Christian Zebelein, Christian Haubelt
, Jürgen Teich:
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs. ACM Trans. Embed. Comput. Syst. 12(3): 74:1-74:31 (2013) - [c90]Christian Haubelt
, Florian Ludwig, Lars Middendorf, Christian Zebelein:
Using stream rewriting for mapping and scheduling data flow graphs onto many-core architectures. ACSSC 2013: 1431-1435 - [c89]Lars Middendorf, Christian Haubelt:
A novel graphics processor architecture based on partial stream rewriting. DASIP 2013: 38-45 - [c88]Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jürgen Teich:
Representing mapping and scheduling decisions within dataflow graphs. FDL 2013: 1-8 - [c87]Benjamin Andres, Martin Gebser, Torsten Schaub
, Christian Haubelt
, Felix Reimann, Michael Glaß
:
Symbolic System Synthesis Using Answer Set Programming. LPNMR 2013: 79-91 - [c86]Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß:
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV 2013: 35-46 - [c85]Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
Model-Based Representation of Schedules for Dataflow Graphs. MBMV 2013: 105-115 - [c84]Lars Middendorf, Christian Zebelein, Christian Haubelt
:
Dynamic task mapping onto multi-core architectures through stream rewriting. ICSAMOS 2013: 196-204 - [p4]Joachim Falk, Christian Haubelt
, Christian Zebelein, Jürgen Teich:
Integrated Modeling Using Finite State Machines and Dataflow Graphs. Handbook of Signal Processing Systems 2013: 975-1013 - [e2]Christian Haubelt, Dirk Timmermann:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock 2013, ISBN 978-3-86009-147-0 [contents] - 2012
- [j9]Rainer Dorsch, Richard K. Errickson, Markus M. Helms, G. Crew, Thomas A. Gregg, Welela Haileselassie, L. W. Helmer, Andreas Kohler, Kulwant M. Pandey, Susanne Roscher, E. S. Rotter, Christian Haubelt
:
IBM Parallel Sysplex design for the IBM z196 system. IBM J. Res. Dev. 56(1): 9 (2012) - [j8]Jens Gladigau, Christian Haubelt
, Jürgen Teich:
Model-Based Virtual Prototype Acceleration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(10): 1572-1585 (2012) - [c83]Yang Xu, Rafael Rosales, Bo Wang, Martin Streubühr, Ralph Hasholzner, Christian Haubelt
, Jürgen Teich:
A Very Fast and Quasi-accurate Power-State-Based System-Level Power Modeling Methodology. ARCS 2012: 37-49 - [c82]Lars Middendorf, Christophe Bobda, Christian Haubelt
:
Hardware synthesis of recursive functions through partial stream rewriting. DAC 2012: 1207-1215 - [c81]Yang Xu, Bing Li, Ralph Hasholzner, Bernhard Rohfleisch, Christian Haubelt, Jürgen Teich:
Variation-aware leakage power model extraction for system-level hierarchical power analysis. DATE 2012: 346-351 - [c80]Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
Exploiting Model-Knowledge in High-Level Synthesis. MBMV 2012: 181-191 - [c79]Rainer Kiesel, Martin Streubühr, Christian Haubelt
, Anestis Terzis, Jürgen Teich:
Virtual prototyping for efficient multi-core ECU development of driver assistance systems. ICSAMOS 2012: 33-40 - 2011
- [c78]Felix Reimann, Martin Lukasiewycz, Michael Glaß
, Christian Haubelt, Jürgen Teich:
Symbolic system synthesis in the presence of stringent real-time constraints. DAC 2011: 393-398 - [c77]Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich:
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis. DATE 2011: 521-526 - [c76]Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich:
ESL power and performance estimation for heterogeneous MPSOCS using SystemC. FDL 2011: 1-8 - [c75]Philipp Mahr, Steffen Christgau
, Christian Haubelt
, Christophe Bobda:
Integrated Temporal Planning, Module Selection and Placement of Tasks for Dynamic Networks-on-Chip. IPDPS Workshops 2011: 258-263 - [c74]Philipp Kutzer, Jens Gladigau, Christian Haubelt
, Jürgen Teich:
Automatic generation of system-level virtual prototypes from streaming application models. International Symposium on Rapid System Prototyping 2011: 128-134 - [c73]Rainer Kiesel, Martin Streubühr, Christian Haubelt
, Otto Löhlein, Jürgen Teich:
Calibration and validation of software performance models for pedestrian detection systems. ICSAMOS 2011: 182-189 - [c72]Christian Haubelt
:
Special session on "What's next for ESL". ICSAMOS 2011: 330 - 2010
- [b3]Christian Haubelt, Jürgen Teich:
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. eXamen.press, Springer 2010, ISBN 978-3-642-05355-9 - [j7]Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt
, Jürgen Teich, Shuvra S. Bhattacharyya
:
Analysis of SystemC actor networks for efficient synthesis. ACM Trans. Embed. Comput. Syst. 10(2): 18:1-18:34 (2010) - [c71]Felix Reimann, Michael Glaß
, Christian Haubelt
, Michael Eberl, Jürgen Teich:
Improving platform-based system synthesis by satisfiability modulo theories solving. CODES+ISSS 2010: 135-144 - [c70]Michael Glaß
, Martin Lukasiewycz, Christian Haubelt
, Jürgen Teich:
Towards scalable system-level reliability analysis. DAC 2010: 234-239 - [c69]Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich, Rainer Dorsch:
Efficient High-Level modeling in the networking domain. DATE 2010: 1189-1194 - [c68]Michael Glaß
, Martin Lukasiewycz, Felix Reimann, Christian Haubelt
, Jürgen Teich:
Symbolic system level reliability analysis. ICCAD 2010: 185-189 - [c67]Rainer Kiesel, Otto Löhlein, Anestis Terzis, Martin Streubühr, Christian Haubelt, Jürgen Teich:
Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation. MBMV 2010: 117-126 - [c66]Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch:
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models. MBMV 2010: 137-146 - [c65]Jens Gladigau, Andreas Gerstlauer, Christian Haubelt
, Martin Streubühr, Jürgen Teich:
A system-level synthesis approach from formal application models to generic bus-based MPSoCs. ICSAMOS 2010: 118-125 - [p3]Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Christian Zebelein:
Integrated Modeling using Finite State Machines and Dataflow Graphs. Handbook of Signal Processing Systems 2010: 1041-1075 - [p2]Christian Haubelt
, Dirk Koch, Felix Reimann, Thilo Streichert, Jürgen Teich:
ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections. Dynamically Reconfigurable Systems 2010: 223-243
2000 – 2009
- 2009
- [j6]Andreas Gerstlauer, Christian Haubelt
, Andy D. Pimentel
, Todor P. Stefanov
, Daniel D. Gajski, Jürgen Teich:
Electronic System-Level Synthesis Methodologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(10): 1517-1530 (2009) - [j5]Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt
, Jürgen Teich, Michael Meredith:
SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. ACM Trans. Design Autom. Electr. Syst. 14(1): 1:1-1:23 (2009) - [c64]Joachim Keinert, Hritam Dutta, Frank Hannig, Christian Haubelt, Jürgen Teich:
Model-based synthesis and optimization of static multi-rate image processing algorithms. DATE 2009: 135-140 - [c63]Michael Glaß
, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich:
Incorporating graceful degradation into embedded system design. DATE 2009: 320-323 - [c62]Martin Lukasiewycz, Martin Streubühr, Michael Glaß
, Christian Haubelt, Jürgen Teich:
Combined system synthesis and communication architecture exploration for MPSoCs. DATE 2009: 472-477 - [c61]Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich:
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. FDL 2009: 1-6 - [c60]Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig:
Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. MBMV 2009: 157-166 - [c59]Christian Haubelt:
Designing multi-processor Systems-on-Chip. SoCC 2009: 443 - 2008
- [c58]Thilo Streichert, Michael Glaß
, Rolf Wanka
, Christian Haubelt
, Jürgen Teich:
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks. ARCS 2008: 23-37 - [c57]Robert Brendle, Thilo Streichert, Dirk Koch, Christian Haubelt
, Jürgen Teich:
Dynamic Reconfiguration of FlexRay Schedules for Response Time Reduction in Asynchronous Fault-Tolerant Networks. ARCS 2008: 117-129 - [c56]Joachim Keinert, Christian Haubelt
, Jürgen Teich:
Synthesis of Multi-dimensional High-Speed FIFOs for Out-of-Order Communication. ARCS 2008: 130-143 - [c55]Martin Lukasiewycz, Michael Glaß
, Christian Haubelt
, Jürgen Teich:
Efficient symbolic multi-objective design space exploration. ASP-DAC 2008: 691-696 - [c54]Martin Lukasiewycz, Michael Glaß
, Christian Haubelt
, Jürgen Teich:
A feasibility-preserving local search operator for constrained discrete optimization problems. IEEE Congress on Evolutionary Computation 2008: 1968-1975 - [c53]Felix Reimann, Michael Glaß
, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt
, Jürgen Teich:
Symbolic voter placement for dependability-aware system synthesis. CODES+ISSS 2008: 237-242 - [c52]Christian Haubelt, Thomas Schlichter, Joachim Keinert, Michael Meredith:
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models. DAC 2008: 580-585 - [c51]Martin Lukasiewycz, Michael Glaß
, Christian Haubelt, Jürgen Teich, Richard Regler, Bardo Lang:
Concurrent topology and routing optimization in automotive network integration. DAC 2008: 626-629 - [c50]Michael Glaß
, Martin Lukasiewycz, Felix Reimann, Christian Haubelt
, Jürgen Teich:
Symbolic Reliability Analysis and Optimization of ECU Networks. DATE 2008: 158-163 - [c49]Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya:
A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications. EMSOFT 2008: 189-198 - [c48]Dirk Koch, Christian Haubelt
, Jürgen Teich:
Efficient Reconfigurable On-Chip Buses for FPGAs. FCCM 2008: 287-290 - [c47]Jens Gladigau, Christian Haubelt
, Jürgen Teich:
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. FDL 2008: 1-6 - [c46]Jens Gladigau, Christian Haubelt
, Jürgen Teich:
Symbolic Scheduling of SystemC Dataflow Designs. FDL (Selected Papers) 2008: 183-199 - [c45]Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich:
Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. MBMV 2008: 109-118 - [c44]Martin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich, Axel Schneider:
Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models. MBMV 2008: 139-148 - [c43]Christian Zebelein, Joachim Falk, Christian Haubelt
, Jürgen Teich:
Classification of General Data Flow Actors into Known Models of Computation. MEMOCODE 2008: 119-128 - [c42]Michael Glaß
, Martin Lukasiewycz, Felix Reimann, Christian Haubelt
, Jürgen Teich:
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. SAFECOMP 2008: 139-152 - [c41]Michael Glaß
, Martin Lukasiewycz, Rolf Wanka
, Christian Haubelt
, Jürgen Teich:
Multi-objective routing and topology optimization in networked embedded systems. ICSAMOS 2008: 74-81 - [p1]Thilo Streichert, Christian Haubelt
, Dirk Koch, Jürgen Teich:
Concepts for Self-Adaptive and Self-Healing Networked Embedded Systems. Organic Computing 2008: 241-260 - 2007
- [b2]Jürgen Teich, Christian Haubelt:
Digitale Hardware/Software-Systeme: Synthese und Optimierung, 2. Auflage. eXamen.press, Springer 2007, ISBN 978-3-540-46822-6 - [j4]Christian Haubelt
, Joachim Falk, Joachim Keinert, Thomas Schlichter, Martin Streubühr, Andreas Deyhle, Andreas Hadert, Jürgen Teich:
A SystemC-Based Design Methodology for Digital Signal Processing Systems. EURASIP J. Embed. Syst. 2007 (2007) - [j3]Florian Dittmann, Franz-Josef Rammig, Martin Streubühr, Christian Haubelt, Andreas Schallenberg, Wolfgang Nebel:
Exploration, Partitioning and Simulation of Reconfigurable Systems (Exploration, Partitionierung und Simulation rekonfigurierbarer Systeme). it Inf. Technol. 49(3): 149- (2007) - [j2]Thilo Streichert, Michael Glaß
, Christian Haubelt
, Jürgen Teich:
Design space exploration of reliable networked embedded systems. J. Syst. Archit. 53(10): 751-763 (2007) - [c40]Martin Lukasiewycz, Michael Glaß
, Christian Haubelt
, Jürgen Teich:
SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. IEEE Congress on Evolutionary Computation 2007: 935-942 - [c39]Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, Jürgen Teich:
Interactive presentation: Reliability-aware system synthesis. DATE 2007: 409-414 - [c38]Martin Lukasiewycz, Michael Glaß
, Christian Haubelt, Jürgen Teich:
Symbolic Archive Representation for a Fast Nondominance Test. EMO 2007: 111-125 - [c37]Joachim Keinert, Joachim Falk, Christian Haubelt
, Jürgen Teich:
Actor-Oriented Modeling and Simulation of Sliding Window Image Processing Algorithms. ESTIMedia 2007: 113-118 - [c36]Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich:
Mapping Actor-Oriented Models to TLM Architectures. FDL 2007: 128-133 - [c35]Dirk Koch, Christian Haubelt
, Jürgen Teich:
Efficient hardware checkpointing: concepts, overhead analysis, and implementation. FPGA 2007: 188-196 - [c34]Dirk Koch, Christian Haubelt, Thilo Streichert, Jürgen Teich:
Modeling and Synthesis of Hardware-Software Morphing. ISCAS 2007: 2746-2749 - [c33]Martin Streubühr, Carsten Riedel, Christian Haubelt, Jürgen Teich:
System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC. MBMV 2007: 59-68 - [c32]Bernhard Niemann, Christian Haubelt
:
Towards a Unified Execution Model for Transactions in TLM. MEMOCODE 2007: 103-112 - [c31]Joachim Keinert, Christian Haubelt
, Jürgen Teich:
Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow. ICSAMOS 2007: 161-168 - [c30]Martin Lukasiewycz, Michael Glaß
, Christian Haubelt, Jürgen Teich:
Solving Multi-objective Pseudo-Boolean Problems. SAT 2007: 56-69 - [e1]Christian Haubelt, Jürgen Teich:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. Berichte aus der Informatik, Shaker 2007, ISBN 978-3-8322-5956-3 [contents] - 2006
- [j1]Thilo Streichert, Dirk Koch, Christian Haubelt
, Jürgen Teich:
Modeling and Design of Fault-Tolerant and Self-Adaptive Reconfigurable Networked Embedded Systems. EURASIP J. Embed. Syst. 2006 (2006) - [c29]Dirk Koch, Thilo Streichert, Steffen Dittrich, Christian Strengert, Christian Haubelt
, Jürgen Teich:
An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks. ARCS 2006: 202-216 - [c28]Martin Streubühr, Joachim Falk, Christian Haubelt, Jürgen Teich, Rainer Dorsch, Thomas Schlipf:
Task-accurate performance modeling in SystemC for real-time multi-processor architectures. DATE 2006: 480-481 - [c27]Joachim Falk, Christian Haubelt, Jürgen Teich:
Efficient Representation and Simulation of Model-Based Designs. FDL 2006: 129-135 - [c26]Bernhard Niemann, Christian Haubelt:
Formalizing TLM with Communicating State Machines. FDL 2006: 285-293 - [c25]Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel:
Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) 2006: 262-263 - [c24]Joachim Keinert, Christian Haubelt, Jürgen Teich:
Modeling and Analysis of Windowed Synchronous Algorithms. ICASSP (3) 2006: 892-895 - [c23]Thomas Schlichter, Martin Lukasiewycz, Christian Haubelt
, Jürgen Teich:
Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms. ISVLSI 2006: 309-316 - [c22]Bernhard Niemann, Christian Haubelt:
Assertion-Based Verification of Transaction Level Models. MBMV 2006: 232-236 - [c21]Thilo Streichert, Christian Haubelt
, Jürgen Teich:
Multi-Objective Topology Optimization for Networked Embedded Systems. ICSAMOS 2006: 93-98 - [c20]Thilo Streichert, Christian Strengert, Christian Haubelt, Jürgen Teich:
Dynamic task binding for hardware/software reconfigurable networks. SBCCI 2006: 38-43 - 2005
- [b1]Christian Haubelt:
Automatic model based design space exploration for embedded systems: a system level approach. University of Erlangen-Nuremberg, 2005, ISBN 3-89574-572-3, pp. 1-285 - [c19]Thomas Schlichter, Christian Haubelt
, Frank Hannig
, Jürgen Teich:
Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems. ASAP 2005: 9-14 - [c18]Christian Haubelt, Stephan Otto, Cornelia Grabbe, Jürgen Teich:
A system-level approach to hardware reconfigurable systems. ASP-DAC 2005: 298-301 - [c17]Thilo Streichert, Christian Haubelt, Jürgen Teich:
Online hardware/software partitioning in networked embedded systems. ASP-DAC 2005: 982-985 - [c16]S. Helwig, Christian Haubelt, Jürgen Teich:
Modeling and analysis of indirect communication in particle swarm optimization. Congress on Evolutionary Computation 2005: 1246-1253 - [c15]Thilo Streichert, Christian Haubelt
, Jürgen Teich:
Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks. DATE 2005: 894-895 - [c14]Christian Haubelt, Jürgen Gamenik, Jürgen Teich:
Initial Population Construction for Convergence Improvement of MOEAs. EMO 2005: 191-205 - [c13]Thomas Schlichter, Christian Haubelt
, Jürgen Teich:
Improving EA-based design space exploration by utilizing symbolic feasibility tests. GECCO 2005: 1945-1952 - [c12]Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele:
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme. GI Jahrestagung (2) 2005: 693-697 - 2004
- [c11]Christian Haubelt:
Design Space Exploration for Distributed Hardware Reconfigurable Systems. FPL 2004: 1171 - [c10]Christian Haubelt, Dirk Koch, Jürgen Teich:
Basic OS Support for Distributed Reconfigurable Hardware. SAMOS 2004: 30-38 - 2003
- [c9]Christian Haubelt, Jürgen Teich:
Accelerating design space exploration using pareto-front arithmetics. ASP-DAC 2003: 525-531 - [c8]Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien:
SAT-Based Techniques in System Synthesis. DATE 2003: 11168-11169 - [c7]Christian Haubelt, Sanaz Mostaghim
, Jürgen Teich, Ambrish Tyagi:
Solving Hierarchical Optimization Problems Using MOEAs. EMO 2003: 162-176 - [c6]Rainer Feldmann, Christian Haubelt, Burkhard Monien, Jürgen Teich:
Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques. FPL 2003: 478-487 - [c5]Christian Haubelt
, Dirk Koch, Jürgen Teich:
ReCoNet: Modeling and Implementation of Fault Tolerant Distributed Reconfigurable Hardware. SBCCI 2003: 343-348 - 2002
- [c4]Christian Haubelt
, Jürgen Teich, Kai Richter, Rolf Ernst:
System Design for Flexibility. DATE 2002: 854-861 - [c3]Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst:
Modellierung rekonfigurierbarer Systemarchitekturen. MBMV 2002: 163-171 - [c2]Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka, Jürgen Teich:
SPI - Workbench für die Analyse Eingebetteter Systeme. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 2002: 367-368 - [c1]Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst:
Flexibility/Cost-Tradeoffs of Platform-Based Systems. Embedded Processor Design Challenges 2002: 38-56
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint