Christian Haubelt

194 papers A* 5A 23B 10C 32Misc 8Journal 27Unranked 78
YearRankTypeTitle / Venue / Authors
2025 C conf
Comparative Evaluation of open62541 OPC UA Servers on Embedded Devices.
INDIN
Hannes Raddatz, Fabian Hölzke, Arne Wall, Woojin Im, Frank Golatowski, Christian Haubelt
2025 C conf
Dissimilarity-Based Localization in Wireless Angle-of-Arrival Systems.
WFCS
Daniel Meiburg, Fabian Kummer, Benjamin Rother, Frank Golatowski, Christian Haubelt
2025 C conf
In the Spotlight of 5G User Plane Positioning: A Study of Indoor Scenarios on the Real-World Stage.
IPIN
Nico Kalis, Cornelius Geske, Christian Haubelt, Frank Golatowski
2025 J jnl
Performance Analysis of 5G Positioning Procedures on Resource-Constrained Devices.
IEEE Open J. Commun. Soc.
Nico Kalis, Christian Haubelt, Frank Golatowski
2025 — conf
STELLA+: Expanding the Research Potential for Long-Term Deep Brain Stimulation Studies in Freely-Moving Rodents.
BIOSTEC (1)
Franz Plocksties, Christoph Niemann, Mareike Fauser, Alexander Storch, Dirk Timmermann, Christian Haubelt
2025 C conf
TSN Schedule Evaluation for Online Compression.
WFCS
Fabian Kummer, Michael Nast, Frank Golatowski, Christian Haubelt, Willi Brekenfelder, Helge Parzyjegla, Peter Danielis
2025 J jnl
Toward Fast Heterogeneous Virtual Prototypes: Increasing the Solver Efficiency in SystemC AMS.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alexandra Küster, Rainer Dorsch, Christian Haubelt
2025 — conf
Towards Human Posture Detection Based on Differential Measurements Using Wearable Barometric Pressure Sensors.
BIOSTEC (1)
Nico Graumüller, Constantin Gis, Franziska Geiger, Iman Soodmand, Maeruan Kebbach, Rainer Bader, Christian Haubelt, Florian Grützmacher
2025 C conf
Towards Time-Triggered Publish/Subscribe in MQTT for Time-Sensitive Networks (MQTT-TSN).
INDIN
Michael Nast, Fabian Kummer, Christian Haubelt, Frank Golatowski
2025 C conf
User Plane Positioning in 5G Networks: A Design Space Study for Implementation.
WFCS
Nico Kalis, Christian Haubelt, Frank Golatowski
2024 C conf
A Novel OPC UA PubSub Protocol Binding Using MQTT for Sensor Networks (MQTT-SN).
ETFA
Michael Nast, Hannes Raddatz, Frank Golatowski, Christian Haubelt
2024 A conf
Adaptive ODE Solvers for Timed Data Flow Models in SystemC-AMS.
DATE
Alexandra Küster, Rainer Dorsch, Christian Haubelt
2024 C conf
Approximative Sensor Data Resynchronization for Wireless Burst Transmission Protocols.
WFCS
Robert Hauser, Florian Grützmacher, Christian Haubelt
2024 J jnl
Detection of Total Hip Replacement Loosening Based on Structure-Borne Sound: Influence of the Position of the Sensor on the Hip Stem.
Sensors
Nico Schumacher, Franziska Geiger, Sascha Spors, Rainer Bader, Christian Haubelt, Daniel Kluess
2024 C conf
Improving the Real-Time Capability of MQTT for Sensor Networks (MQTT-SN) Using PREEMPT_RT.
WFCS
Michael Nast, Michael Rethfeldt, Frank Golatowski, Christian Haubelt
2024 J jnl
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design.
Int. J. Parallel Program.
Luise Müller, Philipp Wanko, Christian Haubelt, Torsten Schaub
2024 C conf
Localization in 6G: A Journey along existing Wireless Communication Technologies.
WFCS
Benjamin Rother, Nico Kalis, Christian Haubelt, Frank Golatowski
2024 C conf
MAC-Filter Based Topology Control for WLAN Mesh Networks.
ETFA
Tim Brockmann, Michael Rethfeldt, Benjamin Beichler, Frank Golatowski, Christian Haubelt
2023 J jnl
Evolutionary System Design with Answer Set Programming.
Algorithms
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko
2023 J jnl
Pedestrian Localization with Stride-Wise Error Estimation and Compensation by Fusion of UWB and IMU Data.
Sensors
Fabian Hölzke, Hagen Borstell, Frank Golatowski, Christian Haubelt
2023 A conf
Structural Generation of Virtual Prototypes for Smart Sensor Development in SystemC-AMS from Simulink Models.
DATE
Alexandra Küster, Rainer Dorsch, Christian Haubelt
2022 C conf
A Novel Interface Between the Linux Kernel and ns-3 for Assessing Target Software in WLAN-Systems.
ISNCC
Lukas Steffen, Benjamin Beichler, Michael Rethfeldt, Dirk Timmermann, Christian Haubelt
2022 — conf
Extending the FLExible Network Tester (Flent) for IEEE 802.11s WLAN Mesh Networks.
M&N
Michael Rethfeldt, Tim Brockmann, Richard Eckhardt, Benjamin Beichler, Lukas Steffen, Christian Haubelt, Dirk Timmermann
2022 C conf
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors.
FDL
Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich
2021 C conf
A SystemC Model of the IEEE 802.11 EDCA Protocol for Virtual Prototyping.
ISNCC
Benjamin Beichler, Michael Rethfeldt, Hannes Raddatz, Lukas Steffen, Dirk Timmermann, Christian Haubelt
2021 J jnl
Adaptive Multi-Channel Clustering in IEEE 802.11s Wireless Mesh Networks.
Sensors
Michael Rethfeldt, Tim Brockmann, Benjamin Beichler, Christian Haubelt, Dirk Timmermann
2021 C conf
Data Augmentation Framework for Smart Sensor System Development Using the Sensor-in-the-Loop Prototyping Platform.
RSP
Nils Büscher, Daniel Gis, Johann-Peter Wolff, Christian Haubelt
2021 — conf
Exploiting Similarity in Evolutionary Product Design for Improved Design Space Exploration.
SAMOS
Luise Müller, Kai Neubauer, Christian Haubelt
2021 J jnl
Investigation of Timing Behavior and Jitter in a Smart Inertial Sensor Debugging Architecture.
Sensors
Daniel Gis, Nils Büscher, Christian Haubelt
2021 J jnl
On the Functional and Extra-Functional Properties of IMU Fusion Algorithms for Body-Worn Smart Sensors.
Sensors
Nils Büscher, Daniel Gis, Volker Kühn, Christian Haubelt
2021 J jnl
fastSW: Efficient Piecewise Linear Approximation of Quaternion-Based Orientation Sensor Signals for Motion Capturing with Wearable IMUs.
Sensors
Florian Grützmacher, Jochen Kempfle, Kristof Van Laerhoven, Christian Haubelt
2020 C conf
Advanced Debugging Architecture for Smart Inertial Sensors using Sensor-in-the-Loop.
RSP
Daniel Gis, Nils Büscher, Christian Haubelt
2020 — conf
Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs.
MBMV
Jens Rudolf, Florian Grützmacher, Christian Haubelt
2020 — conf
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS.
MBMV
Jakob Heller, Christoph Niemann, Franz Plocksties, Christian Haubelt, Dirk Timmermann
2019 — conf
Automated Sensor Firmware Development - Generation, Optimization, and Analysis.
MBMV
Jens Rudolf, Manuel Strobel, Joscha Benz, Christian Haubelt, Martin Radetzki, Oliver Bringmann
2019 — conf
Fluid intake recognition using inertial sensors.
iWOAR
Arne Wellnitz, Johann-Peter Wolff, Christian Haubelt, Thomas Kirste
2019 — conf
Improving Pedestrian Dead Reckoning Using Likely Paths and Backtracking for Mobile Devices.
PerCom Workshops
Fabian Hölzke, Johann-Peter Wolff, Christian Haubelt
2019 J jnl
Low-complexity online correction and calibration of pedestrian dead reckoning using map matching and GPS.
Geo spatial Inf. Sci.
Fabian Hölzke, Johann-Peter Wolff, Frank Golatowski, Christian Haubelt
2019 — conf
Model-based real time analysis of distributed human activity recognition stages in wireless sensor networks.
UbiComp/ISWC Adjunct
Florian Grützmacher, Benjamin Beichler, Christian Haubelt
2019 — conf
Multi-aspect Evaluation Method for Digital Pointing Devices.
PECCS
Nils Büscher, Daniel Gis, Sebastian Stieber, Christian Haubelt
2019 — conf
SystemC Power Profiling for IoT Device Firmware using Runtime Configurable Models.
MECO
Jens Rudolf, Daniel Gis, Sebastian Stieber, Christian Haubelt, Rainer Dorsch
2018 — conf
Activity Recognition using Head Worn Inertial Sensors.
iWOAR
Johann-Peter Wolff, Florian Grützmacher, Arne Wellnitz, Christian Haubelt
2018 J jnl
Design Space Exploration with Answer Set Programming.
Künstliche Intell.
Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko
2018 — conf
Energy Efficient On-Sensor Processing for Online Activity Recognition.
PECCS
Florian Grützmacher, Albert Hein, Benjamin Beichler, Polichronis Lepidis, Rainer Dorsch, Thomas Kirste, Christian Haubelt
2018 A conf
Exact multi-objective design space exploration using ASPmT.
DATE
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
2018 — conf
Improving Pedestrian Dead Reckoning using Likely and Unlikely Paths.
UPINLBS
Johann-Peter Wolff, Sebastian Stieber, Fabian Hölzke, Daniel Gis, Christian Haubelt, Polichronis Lepidis, Jurgen Meier
2018 J jnl
MeNTor: A wireless-mesh-network-aware data dissemination overlay based on BitTorrent.
Ad Hoc Networks
Michael Rethfeldt, Benjamin Beichler, Peter Danielis, Felix Uster, Christian Haubelt, Dirk Timmermann
2018 B conf
Mini-Mesh: Practical assessment of a miniaturized IEEE 802.11n/s mesh testbed.
WCNC
Michael Rethfeldt, Benjamin Beichler, Hannes Raddatz, Felix Uster, Peter Danielis, Christian Haubelt, Dirk Timmermann
2018 Misc conf
On leveraging approximations for exact system-level design space exploration: work-in-progress.
CODES+ISSS
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2018 — conf
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.
MBMV
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2018 J jnl
Time and Memory Efficient Online Piecewise Linear Approximation of Sensor Signals.
Sensors
Florian Grützmacher, Benjamin Beichler, Albert Hein, Thomas Kirste, Christian Haubelt
2018 — conf
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation.
ASP-DAC
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2017 J jnl
Accurate Sample Time Reconstruction of Inertial FIFO Data.
Sensors
Sebastian Stieber, Rainer Dorsch, Christian Haubelt
2017 A conf
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.
DATE
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
2017 — ch.
Introduction to Hardware/Software Codesign.
Handbook of Hardware/Software Codesign
Soonhoi Ha, Jürgen Teich, Christian Haubelt, Michael Glaß, Tulika Mitra, Rainer Dömer, Petru Eles, Aviral Shrivastava, Andreas Gerstlauer, Shuvra S. Bhattacharyya
2017 — conf
Optimization of a novel WLAN Simulation Framework for Prototyping Network Applications and Protocols.
MBMV
Benjamin Beichler, Michael Rethfeldt, Hannes Raddatz, Björn Konieczek, Peter Danielis, Christian Haubelt, Dirk Timmermann
2017 J jnl
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs.
J. Signal Process. Syst.
Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk
2017 — ch.
SysteMoC: A Data-Flow Programming Language for Codesign.
Handbook of Hardware/Software Codesign
Joachim Falk, Christian Haubelt, Jürgen Teich, Christian Zebelein
2017 C conf
Towards energy efficient sensor nodes for online activity recognition.
IECON
Florian Grützmacher, Johann-Peter Wolff, Albert Hein, Polichronis Lepidis, Rainer Dorsch, Thomas Kirste, Christian Haubelt
2016 — conf
Accurate Sample Time Reconstruction for Sensor Data Synchronization.
ARCS
Sebastian Stieber, Rainer Dorsch, Christian Haubelt
2016 — conf
Dataflow-based modeling and performance analysis for online gesture recognition.
CPS Data
Florian Grützmacher, Benjamin Beichler, Christian Haubelt, Bart D. Theelen
2016 Misc conf
Statistical analysis and improvement of the repeatability and reproducibility of an evaluation method for IMUs on a smartphone.
EICS
Nils Büscher, Lars Middendorf, Christian Haubelt, Rainer Dorsch, Frederik Wegelin
2016 — conf
Supporting Static Binding in Stream Rewriting for Heterogeneous Many-Core Architectures.
MCSoC
Lars Middendorf, Christian Haubelt
2016 — conf
Supporting composition in symbolic system synthesis.
SAMOS
Kai Neubauer, Christian Haubelt, Michael Glaß
2016 B conf
ViPMesh: A virtual prototyping framework for IEEE 802.11s wireless mesh networks.
WiMob
Michael Rethfeldt, Hannes Raddatz, Benjamin Beichler, Björn Konieczek, Dirk Timmermann, Christian Haubelt, Peter Danielis
2015 — conf
A Mobile Camera-Based Evaluation Method of Inertial Measurement Units on Smartphones.
IoT 360 (2)
Lars Middendorf, Rainer Dorsch, Rudolf Bichler, Christina Strohrmann, Christian Haubelt
2015 — conf
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems.
CyPhy
Benjamin Beichler, Thorsten Schulz, Christian Haubelt, Frank Golatowski
2015 A conf
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.
DATE
Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt
2015 — conf
Dynamic task mapping of graphics processing applications on many-core architectures through stream rewriting.
ESTIMedia
Lars Middendorf, Christian Haubelt
2015 — conf
Exploiting thread-level parallelism in template-based gesture recognition with dynamic time warping.
iWOAR
Florian Grützmacher, Johann-Peter Wolff, Christian Haubelt
2015 B conf
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.
LPNMR
Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
2015 — conf
Model-based Systems Engineering with Matlab/Simulink in the Railway Sector.
MBMV
Alexander Nitsch, Benjamin Beichler, Frank Golatowski, Christian Haubelt
2015 — conf
On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems.
MBMV
Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt
2015 — conf
Quasi-static scheduling of data flow graphs in the presence of limited channel capacities.
ESTIMedia
Joachim Falk, Tobias Schwarzer, Michael Glaß, Jürgen Teich, Christian Zebelein, Christian Haubelt
2015 — conf
Sensor-based online hand gesture recognition on multi-core DSPs.
GlobalSIP
Florian Grützmacher, Johann-Peter Wolff, Christian Haubelt
2015 — conf
Targeted on-line data extraction with SystemXtract.
SimuTools
Johannes Schützel, Sebastian Stieber, Christian Haubelt, Adelinde M. Uhrmacher
2015 C conf
Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling.
SCOPES
Tobias Schwarzer, Joachim Falk, Michael Glaß, Jürgen Teich, Christian Zebelein, Christian Haubelt
2014 A conf
A novel model for system-level decision making with combined ASP and SMT solving.
DATE
Alexander Biewer, Jens Gladigau, Christian Haubelt
2014 — conf
Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS.
GI-Jahrestagung
Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt
2014 — conf
Hybride Prototypisierung eines Sensorsubsystems.
MBMV
Sebastian Stieber, Johann-Peter Wolff, Christian Haubelt, Rainer Dorsch
2014 A conf
Model-based actor multiplexing with application to complex communication protocols.
DATE
Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jürgen Teich
2014 Misc conf
Performance analysis of weakly-consistent scenario-aware dataflow graphs.
ACSSC
Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk
2014 — conf
Scheduling of Recursive and Dynamic Data-Flow Graphs Using Stream Rewriting.
SBAC-PAD (Workshops)
Lars Middendorf, Christian Haubelt
2014 — conf
Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making.
ARCS Workshops
Alexander Biewer, Jens Gladigau, Christian Haubelt
2013 — conf
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.
MBMV
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
2013 J jnl
A Programmable Graphics Processor based on Partial Stream Rewriting.
Comput. Graph. Forum
Lars Middendorf, Christian Haubelt
2013 — conf
A novel graphics processor architecture based on partial stream rewriting.
DASIP
Lars Middendorf, Christian Haubelt
2013 J jnl
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs.
ACM Trans. Embed. Comput. Syst.
Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich
2013 — conf
Dynamic task mapping onto multi-core architectures through stream rewriting.
ICSAMOS
Lars Middendorf, Christian Zebelein, Christian Haubelt
2013 — ch.
Integrated Modeling Using Finite State Machines and Dataflow Graphs.
Handbook of Signal Processing Systems
Joachim Falk, Christian Haubelt, Christian Zebelein, Jürgen Teich
2013 — ed.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013.
MBMV
Christian Haubelt, Dirk Timmermann
2013 — conf
Model-Based Representation of Schedules for Dataflow Graphs.
MBMV
Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich
2013 C conf
Representing mapping and scheduling decisions within dataflow graphs.
FDL
Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jürgen Teich
2013 B conf
Symbolic System Synthesis Using Answer Set Programming.
LPNMR
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
2013 Misc conf
Using stream rewriting for mapping and scheduling data flow graphs onto many-core architectures.
ACSSC
Christian Haubelt, Florian Ludwig, Lars Middendorf, Christian Zebelein
2012 — conf
A Very Fast and Quasi-accurate Power-State-Based System-Level Power Modeling Methodology.
ARCS
Yang Xu, Rafael Rosales, Bo Wang, Martin Streubühr, Ralph Hasholzner, Christian Haubelt, Jürgen Teich
2012 — conf
Exploiting Model-Knowledge in High-Level Synthesis.
MBMV
Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich
2012 A* conf
Hardware synthesis of recursive functions through partial stream rewriting.
DAC
Lars Middendorf, Christophe Bobda, Christian Haubelt
2012 J jnl
IBM Parallel Sysplex design for the IBM z196 system.
IBM J. Res. Dev.
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
2012 J jnl
Model-Based Virtual Prototype Acceleration.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jens Gladigau, Christian Haubelt, Jürgen Teich
2012 A conf
Variation-aware leakage power model extraction for system-level hierarchical power analysis.
DATE
Yang Xu, Bing Li, Ralph Hasholzner, Bernhard Rohfleisch, Christian Haubelt, Jürgen Teich
2012 — conf
Virtual prototyping for efficient multi-core ECU development of driver assistance systems.
ICSAMOS
Rainer Kiesel, Martin Streubühr, Christian Haubelt, Anestis Terzis, Jürgen Teich
2011 A conf
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis.
DATE
Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich
2011 C conf
Automatic generation of system-level virtual prototypes from streaming application models.
International Symposium on Rapid System Prototyping
Philipp Kutzer, Jens Gladigau, Christian Haubelt, Jürgen Teich
2011 — conf
Calibration and validation of software performance models for pedestrian detection systems.
ICSAMOS
Rainer Kiesel, Martin Streubühr, Christian Haubelt, Otto Löhlein, Jürgen Teich
2011 C conf
ESL power and performance estimation for heterogeneous MPSOCS using SystemC.
FDL
Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich
2011 — conf
Integrated Temporal Planning, Module Selection and Placement of Tasks for Dynamic Networks-on-Chip.
IPDPS Workshops
Philipp Mahr, Steffen Christgau, Christian Haubelt, Christophe Bobda
2011 — conf
Special session on "What's next for ESL".
ICSAMOS
Christian Haubelt
2011 A* conf
Symbolic system synthesis in the presence of stringent real-time constraints.
DAC
Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
2010 — conf
A system-level synthesis approach from formal application models to generic bus-based MPSoCs.
ICSAMOS
Jens Gladigau, Andreas Gerstlauer, Christian Haubelt, Martin Streubühr, Jürgen Teich
2010 — conf
Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation.
MBMV
Rainer Kiesel, Otto Löhlein, Anestis Terzis, Martin Streubühr, Christian Haubelt, Jürgen Teich
2010 J jnl
Analysis of SystemC actor networks for efficient synthesis.
ACM Trans. Embed. Comput. Syst.
Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya
2010 — book
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Christian Haubelt, Jürgen Teich
2010 A conf
Efficient High-Level modeling in the networking domain.
DATE
Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich, Rainer Dorsch
2010 Misc conf
Improving platform-based system synthesis by satisfiability modulo theories solving.
CODES+ISSS
Felix Reimann, Michael Glaß, Christian Haubelt, Michael Eberl, Jürgen Teich
2010 — ch.
Integrated Modeling using Finite State Machines and Dataflow Graphs.
Handbook of Signal Processing Systems
Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Christian Zebelein
2010 — conf
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models.
MBMV
Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch
2010 — ch.
ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections.
Dynamically Reconfigurable Systems
Christian Haubelt, Dirk Koch, Felix Reimann, Thilo Streichert, Jürgen Teich
2010 A conf
Symbolic system level reliability analysis.
ICCAD
Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich
2010 A* conf
Towards scalable system-level reliability analysis.
DAC
Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich
2009 A conf
Combined system synthesis and communication architecture exploration for MPSoCs.
DATE
Martin Lukasiewycz, Martin Streubühr, Michael Glaß, Christian Haubelt, Jürgen Teich
2009 — conf
Designing multi-processor Systems-on-Chip.
SoCC
Christian Haubelt
2009 C conf
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs.
FDL
Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich
2009 J jnl
Electronic System-Level Synthesis Methodologies.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Andreas Gerstlauer, Christian Haubelt, Andy D. Pimentel, Todor P. Stefanov, Daniel D. Gajski, Jürgen Teich
2009 A conf
Incorporating graceful degradation into embedded system design.
DATE
Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich
2009 A conf
Model-based synthesis and optimization of static multi-rate image processing algorithms.
DATE
Joachim Keinert, Hritam Dutta, Frank Hannig, Christian Haubelt, Jürgen Teich
2009 J jnl
SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications.
ACM Trans. Design Autom. Electr. Syst.
Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich, Michael Meredith
2009 — conf
Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen.
MBMV
Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig
2008 B conf
A feasibility-preserving local search operator for constrained discrete optimization problems.
IEEE Congress on Evolutionary Computation
Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
2008 Misc conf
A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications.
EMSOFT
Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya
2008 C conf
Classification of General Data Flow Actors into Known Models of Computation.
MEMOCODE
Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich
2008 — ch.
Concepts for Self-Adaptive and Self-Healing Networked Embedded Systems.
Organic Computing
Thilo Streichert, Christian Haubelt, Dirk Koch, Jürgen Teich
2008 A* conf
Concurrent topology and routing optimization in automotive network integration.
DAC
Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich, Richard Regler, Bardo Lang
2008 — conf
Dynamic Reconfiguration of FlexRay Schedules for Response Time Reduction in Asynchronous Fault-Tolerant Networks.
ARCS
Robert Brendle, Thilo Streichert, Dirk Koch, Christian Haubelt, Jürgen Teich
2008 Misc conf
Efficient Reconfigurable On-Chip Buses for FPGAs.
FCCM
Dirk Koch, Christian Haubelt, Jürgen Teich
2008 — conf
Efficient symbolic multi-objective design space exploration.
ASP-DAC
Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
2008 — conf
Multi-objective routing and topology optimization in networked embedded systems.
ICSAMOS
Michael Glaß, Martin Lukasiewycz, Rolf Wanka, Christian Haubelt, Jürgen Teich
2008 — conf
Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models.
MBMV
Martin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich, Axel Schneider
2008 C conf
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models.
FDL
Jens Gladigau, Christian Haubelt, Jürgen Teich
2008 A conf
Symbolic Reliability Analysis and Optimization of ECU Networks.
DATE
Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich
2008 B conf
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
SAFECOMP
Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich
2008 — conf
Symbolic Scheduling of SystemC Dataflow Designs.
FDL (Selected Papers)
Jens Gladigau, Christian Haubelt, Jürgen Teich
2008 Misc conf
Symbolic voter placement for dependability-aware system synthesis.
CODES+ISSS
Felix Reimann, Michael Glaß, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt, Jürgen Teich
2008 — conf
Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen.
MBMV
Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich
2008 — conf
Synthesis of Multi-dimensional High-Speed FIFOs for Out-of-Order Communication.
ARCS
Joachim Keinert, Christian Haubelt, Jürgen Teich
2008 A* conf
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models.
DAC
Christian Haubelt, Thomas Schlichter, Joachim Keinert, Michael Meredith
2008 — conf
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks.
ARCS
Thilo Streichert, Michael Glaß, Rolf Wanka, Christian Haubelt, Jürgen Teich
2007 J jnl
A SystemC-Based Design Methodology for Digital Signal Processing Systems.
EURASIP J. Embed. Syst.
Christian Haubelt, Joachim Falk, Joachim Keinert, Thomas Schlichter, Martin Streubühr, Andreas Deyhle, Andreas Hadert, Jürgen Teich
2007 — conf
Actor-Oriented Modeling and Simulation of Sliding Window Image Processing Algorithms.
ESTIMedia
Joachim Keinert, Joachim Falk, Christian Haubelt, Jürgen Teich
2007 J jnl
Design space exploration of reliable networked embedded systems.
J. Syst. Archit.
Thilo Streichert, Michael Glaß, Christian Haubelt, Jürgen Teich
2007 — book
Digitale Hardware/Software-Systeme: Synthese und Optimierung, 2. Auflage
Jürgen Teich, Christian Haubelt
2007 A conf
Efficient hardware checkpointing: concepts, overhead analysis, and implementation.
FPGA
Dirk Koch, Christian Haubelt, Jürgen Teich
2007 J jnl
Exploration, Partitioning and Simulation of Reconfigurable Systems (Exploration, Partitionierung und Simulation rekonfigurierbarer Systeme).
it Inf. Technol.
Florian Dittmann, Franz-Josef Rammig, Martin Streubühr, Christian Haubelt, Andreas Schallenberg, Wolfgang Nebel
2007 A conf
Interactive presentation: Reliability-aware system synthesis.
DATE
Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, Jürgen Teich
2007 C conf
Mapping Actor-Oriented Models to TLM Architectures.
FDL
Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich
2007 — ed.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007
MBMV
Christian Haubelt, Jürgen Teich
2007 C conf
Modeling and Synthesis of Hardware-Software Morphing.
ISCAS
Dirk Koch, Christian Haubelt, Thilo Streichert, Jürgen Teich
2007 B conf
SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.
IEEE Congress on Evolutionary Computation
Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
2007 — conf
Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow.
ICSAMOS
Joachim Keinert, Christian Haubelt, Jürgen Teich
2007 A conf
Solving Multi-objective Pseudo-Boolean Problems.
SAT
Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
2007 C conf
Symbolic Archive Representation for a Fast Nondominance Test.
EMO
Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
2007 — conf
System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC.
MBMV
Martin Streubühr, Carsten Riedel, Christian Haubelt, Jürgen Teich
2007 C conf
Towards a Unified Execution Model for Transactions in TLM.
MEMOCODE
Bernhard Niemann, Christian Haubelt
2006 — conf
An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks.
ARCS
Dirk Koch, Thilo Streichert, Steffen Dittrich, Christian Strengert, Christian Haubelt, Jürgen Teich
2006 — conf
Assertion-Based Verification of Transaction Level Models.
MBMV
Bernhard Niemann, Christian Haubelt
2006 — conf
Automatic Test Case Generation with NuSMV.
GI Jahrestagung (2)
Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel
2006 — conf
Dynamic task binding for hardware/software reconfigurable networks.
SBCCI
Thilo Streichert, Christian Strengert, Christian Haubelt, Jürgen Teich
2006 C conf
Efficient Representation and Simulation of Model-Based Designs.
FDL
Joachim Falk, Christian Haubelt, Jürgen Teich
2006 C conf
Formalizing TLM with Communicating State Machines.
FDL
Bernhard Niemann, Christian Haubelt
2006 — conf
Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms.
ISVLSI
Thomas Schlichter, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich
2006 — conf
Modeling and Analysis of Windowed Synchronous Algorithms.
ICASSP (3)
Joachim Keinert, Christian Haubelt, Jürgen Teich
2006 J jnl
Modeling and Design of Fault-Tolerant and Self-Adaptive Reconfigurable Networked Embedded Systems.
EURASIP J. Embed. Syst.
Thilo Streichert, Dirk Koch, Christian Haubelt, Jürgen Teich
2006 — conf
Multi-Objective Topology Optimization for Networked Embedded Systems.
ICSAMOS
Thilo Streichert, Christian Haubelt, Jürgen Teich
2006 A conf
Task-accurate performance modeling in SystemC for real-time multi-processor architectures.
DATE
Martin Streubühr, Joachim Falk, Christian Haubelt, Jürgen Teich, Rainer Dorsch, Thomas Schlipf
2005 — conf
A system-level approach to hardware reconfigurable systems.
ASP-DAC
Christian Haubelt, Stephan Otto, Cornelia Grabbe, Jürgen Teich
2005 — —
Automatic model based design space exploration for embedded systems: a system level approach.
Christian Haubelt
2005 A conf
Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks.
DATE
Thilo Streichert, Christian Haubelt, Jürgen Teich
2005 A conf
Improving EA-based design space exploration by utilizing symbolic feasibility tests.
GECCO
Thomas Schlichter, Christian Haubelt, Jürgen Teich
2005 C conf
Initial Population Construction for Convergence Improvement of MOEAs.
EMO
Christian Haubelt, Jürgen Gamenik, Jürgen Teich
2005 B conf
Modeling and analysis of indirect communication in particle swarm optimization.
Congress on Evolutionary Computation
S. Helwig, Christian Haubelt, Jürgen Teich
2005 — conf
Online hardware/software partitioning in networked embedded systems.
ASP-DAC
Thilo Streichert, Christian Haubelt, Jürgen Teich
2005 — conf
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.
GI Jahrestagung (2)
Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele
2005 — conf
Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems.
ASAP
Thomas Schlichter, Christian Haubelt, Frank Hannig, Jürgen Teich
2004 — conf
Basic OS Support for Distributed Reconfigurable Hardware.
SAMOS
Christian Haubelt, Dirk Koch, Jürgen Teich
2004 B conf
Design Space Exploration for Distributed Hardware Reconfigurable Systems.
FPL
Christian Haubelt
2003 — conf
Accelerating design space exploration using pareto-front arithmetics.
ASP-DAC
Christian Haubelt, Jürgen Teich
2003 B conf
Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques.
FPL
Rainer Feldmann, Christian Haubelt, Burkhard Monien, Jürgen Teich
2003 — conf
ReCoNet: Modeling and Implementation of Fault Tolerant Distributed Reconfigurable Hardware.
SBCCI
Christian Haubelt, Dirk Koch, Jürgen Teich
2003 A conf
SAT-Based Techniques in System Synthesis.
DATE
Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien
2003 C conf
Solving Hierarchical Optimization Problems Using MOEAs.
EMO
Christian Haubelt, Sanaz Mostaghim, Jürgen Teich, Ambrish Tyagi
2002 — conf
Flexibility/Cost-Tradeoffs of Platform-Based Systems.
Embedded Processor Design Challenges
Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst
2002 — conf
Modellierung rekonfigurierbarer Systemarchitekturen.
MBMV
Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst
2002 — conf
SPI - Workbench für die Analyse Eingebetteter Systeme.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen
Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka, Jürgen Teich
2002 A conf
System Design for Flexibility.
DATE
Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst