An Approach for a Dynamic Generation/Validation System for the Functional Simulation Considering Timing Constraints. - Ulrich Heinkel; Wolfram Glauert (ED&TC, 1996)

Introducing multimedia in teaching of digital system design. - Peter Conradi; Ulrich Heinkel; Michael G. Wahl (MSE, 1997)

Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen. - Ulrich Heinkel (VDI-Verlag, 1999)

Integration of Formal Specification into the Standard ASIC Design Flow. - Werner Haas 003; Stefan Gossens; Ulrich Heinkel (HASE, 2002)

Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). - Werner Haas 003; Stefan Gossens; Ulrich Heinkel (MBMV, 2002)

Formal Specification of a 40GBit/s Sonet/SDH ASIC. - Werner Haas 003; T. Bürner; Stefan Gossens; Ulrich Heinkel (FDL, 2003)

Adaptive architectures for an OTN processor: reducing design costs through reconfigurability and multiprocessing. - Tudor Murgan; Mihail Petrov; Mateusz Majer; Peter Zipf; Manfred Glesner; Ulrich Heinkel; Jörg Pleickhardt; Bernd Bleisteiner (Conf. Computing Frontiers, 2004)

Flexible Overhead Processing Architectures for G.709 Optical Transport Networks. - Tudor Murgan; Mihail Petrov; Mateusz Majer; Peter Zipf; Manfred Glesner; Ulrich Heinkel (MBMV, 2004)

Formale Verifikation eines Sonet/SDH Framers. - Alexander Thomas; Jürgen Becker 001; Ulrich Heinkel; Klaus Winkelmann; Jörg Bormann (MBMV, 2004)

An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. - Ulrich Heinkel; Claus Mayer; Charles F. Webb; Hans Sahm; Werner Haas 003; Stefan Gossens (SAMOS, 2004)

Design and Implementation of a Multi-Core Architecture for Overhead Processing in Optical Transport Networks. - Tudor Murgan; Abdulfattah Mohammad Obeid; Andre Guntoro; Peter Zipf; Manfred Glesner; Ulrich Heinkel (ReCoSoC, 2005)

New methods and coverage metrics for functional verification. - Vasco Jerinic; Jan Langer; Ulrich Heinkel; Dietmar Müller 001 (DATE, 2006)

Automatic Test Case Generation with NuSMV. - Grygoriy Bunin; Axel Schneider; Christian Haubelt; Jan Langer; Ulrich Heinkel (GI Jahrestagung (2), 2006)

Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. - Axel Schneider; Thomas Bluhm; Tobias Renner; Ulrich Heinkel; Joachim Knäblein; Reynaldo Zavala (MBMV, 2006)

Automatic Visualization of Abstract System Specifications. - Axel Schneider; Stephan Walter; Jan Langer; Ulrich Heinkel (QSIC, 2006)

Formal Verification of Abstract System and Protocol Specifications. - Axel Schneider; Thomas Bluhm; Tobias Renner; Ulrich Heinkel; Joachim Knäblein; Reynaldo Zavala (SEW, 2006)

Ein SystemC-AMS nach VHDL-AMS Konverter. - Erik Markert; Sven Kühn; Jan Langer; Göran Herrmann; Ulrich Heinkel (MBMV, 2007)

SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. - Erik Markert; Uwe Proß; Ulrich Heinkel (FDL, 2008)

A Platform for Requirement Based Formal Specification. - Uwe Proß; Erik Markert; Jan Langer; Andreas Richter; Chris Drechsler; Ulrich Heinkel (FDL, 2008)

Ultra low power flash ADC for UWB transceiver applications. - Mohammad Masoumi; Erik Markert; Ulrich Heinkel; Georges G. E. Gielen (ECCTD, 2009)

High level synthesis using operation properties. - Jan Langer; Ulrich Heinkel (FDL, 2009)

Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis. - Marko Rößler; Hailu Wang; Ulrich Heinkel; Nur Engin; Wolfram Drescher (FDL, 2009)

Modellierung dynamisch partieller Rekonfiguration mit VPRS. - Uwe Proß; Christian Adam; Benjamin Berger; Ulrich Heinkel (MBMV, 2009)

An in-band reconfigurable network node based on a heterogeneous platform. - Erik Markert; Enrico Billich; Claudia Tischendorf; Uwe Proß; Thilo Leibelt; Ulrich Heinkel; Joachim Knäblein; Axel Schneider (DASIP, 2010)

Demonstration of an in-band reconfiguration data distribution and network node reconfiguration. - Uwe Proß; Sebastian Goller; Erik Markert; Michael Jüttner; Jan Langer; Ulrich Heinkel; Joachim Knäblein; Axel Schneider (DATE, 2010)

Hardware implementation of a Particle Filter for location estimation. - Daniel Froß; Jan Langer; André Froß; Marko Rößler; Ulrich Heinkel (IPIN, 2010)

Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-übergreifendes Multithreading. - Enrico Billich; Marko Rößler; Ulrich Heinkel (MBMV, 2010)

Integration von Konfigurationsmechanismen für Xilinx-FPGA in das Linux-OS. - Daniel Kriesten; Ulrich Heinkel; Jörg Schneider (MBMV, 2010)

Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften. - Jan Langer; Dimo Pepelyashev; Ulrich Heinkel (MBMV, 2010)

Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene. - Uwe Proß; Karl Kröber; Ulrich Heinkel (MBMV, 2010)

An Application Example of a Run-Time Reconfigurable Embedded System. - Daniel Kriesten; Volker Pankalla; Ulrich Heinkel (ReConFig, 2010)

Technology Independent, Embedded Logic Cores Utilizing synthesizable embedded FPGA-cores for ASIC design validation. - Joachim Knäblein; Claudia Tischendorf; Erik Markert; Ulrich Heinkel (ReCoSoC, 2010)

Beacon frame based network simulation using TrueTime network simulator. - Christian Roßberg; André Froß; Daniel Froß; Ulrich Heinkel (SimuTools, 2010)

Expedient usage of wakeup receivers in wireless network applications. - Robert Paulo; Per Anders Johansson; Daniel Kriesten; Ulrich Heinkel (WISES, 2011)

Centralized spring-based localization algorithm for large scale wireless sensor networks. - Per Anders Johansson; Christian Roßberg; Ulrich Heinkel (SSD, 2012)

Finding an optimal set of breakpoint locations in a control flow graph. - Jan Langer; Marko Rößler; Ulrich Heinkel (SSD, 2012)

Tool-supported specification of a wind turbine. - Erik Markert; Milind Shende; Thomas Horn; Peter Wolf; Ulrich Heinkel (SSD, 2012)

A database for the integration of power data on system level. - Matthias Sauppe; Thomas Horn; Erik Markert; Ulrich Heinkel; Daniel Lorenz 002; Kim Grüttner; Hans-Werner Sahm; Klaus-Holger Otto (EUROCON, 2013)

Optimal component selection for energy-efficient systems. - Matthias Sauppe; Thomas Horn; Erik Markert; Ulrich Heinkel; Hans-Werner Sahm; Klaus-Holger Otto (FDL, 2013)

Einsatz formaler Methoden zur Energieeinsparung. - Thomas Horn; Matthias Sauppe; Erik Markert; Ulrich Heinkel; Wolfgang Rössel; Hans-Werner Sahm (MBMV, 2013)

Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC). - Marko Rößler; Jan Langer; Ulrich Heinkel (MBMV, 2013)

Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes. - Hans Sahm; Matthias Sauppe; Erik Markert; Thomas Horn; Ulrich Heinkel; Klaus-Holger Otto (Bell Labs Tech. J., 2013)

MORPHEUS: A heterogeneous dynamically reconfigurable platform for designing highly complex embedded systems. - Nikolaos S. Voros; Michael Hübner 001; Jürgen Becker 001; Matthias Kühnle; Florian Thoma; Arnaud Grasset; Paul Brelet; Philippe Bonnot 001; Fabio Campi; Eberhard Schüler; Henning Sahlbach; Sean Whitty; et al. (ACM Trans. Embed. Comput. Syst., 2013)

Localization of objects using passive RFID technology. - Marten Wegener; Daniel Froß; Marko Rößler; Ulrich Heinkel; Matthias Adler (SSD, 2014)

Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender. - Lei Yang; Erik Markert; Ulrich Heinkel (SSD, 2014)

System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application. - Vladimir Kolchuzhin; Jan Mehner; Milind Shende; Erik Markert; Ulrich Heinkel; Christian Wagner 012; Thomas Gessner (MBMV, 2014)

SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement. - Chris Drechsler; Matthias Sauppe; Christian Pätz; Ulrich Heinkel (MBMV, 2015)

Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. - Christian Schott; Marko Rößler; Ulrich Heinkel (MBMV, 2015)

A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton. - Lei Yang; Erik Markert; Ulrich Heinkel (MBMV, 2015)

Acoustic emission for state-of-health determination in power modules. - Sebastian Müller; Chris Drechsler; Ulrich Heinkel; Christian Herold (SSD, 2016)

Relative localisation of passive UHF-tags by phase tracking. - Marten Wegener; Daniel Froß; Marko Rößler; Chris Drechsler; Christian Pätz; Ulrich Heinkel (SSD, 2016)

ZYNQ flexible platform for object recognition & tracking. - Murali Padmanabha; Christian Schott; Marko Rößler; Daniel Kriesten; Ulrich Heinkel (WPNC, 2016)

Hardwaregestütze Positionsschätzung mit Bayes'schen Filtern auf Basis 3-dimensionaler Umgebungsmodelle für den Innenbereich. - Christian Schott; Daniel Froß; Marko Rößler; Ulrich Heinkel (GI-Jahrestagung, 2017)

A map framework using crowd-sourced data for indoor positioning and navigation. - Thomas Graichen; Erik Gruschka; Ulrich Heinkel (M&N, 2017)

OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability. - Amrutansh Gudivada; Daniel Kriesten; Ulrich Heinkel; Rene Röllig; Matthias Lenk (MBMV, 2017)

Position estimation with Bayesian filters by using 3-dimensional environment models. - Christian Schott; Murali Padmanabha; Marko Rößler; Daniel Froß; Ulrich Heinkel (WPNC, 2017)

Motion Evaluation of Therapy Exercises by Means of Skeleton Normalisation, Incremental Dynamic Time Warping and Machine Learning: A Comparison of a Rule-Based and a Machine-Learning-Based Approach. - Julia Richter; Christian Wiede; Ulrich Heinkel; Gangolf Hirtz (VISIGRAPP (4: VISAPP), 2019)

Occupancy Grid Map Generation from OSM Indoor Data for Indoor Positioning Applications. - Thomas Graichen; Rebecca Schmidt; Julia Richter; Ulrich Heinkel (GISTAM, 2020)

Dynamic indoor navigation and orientation system for people with impairments. - Julia Richter; Jeanine Lorenz; Maria Costantino; Verena Traubinger; Nico Tauchmann; Thomas Graichen; Ulrich Heinkel (MuC, 2020)

Human Climbing and Bouldering Motion Analysis: A Survey on Sensors, Motion Capture, Analysis Algorithms, Recent Advances and Applications. - Julia Richter; Raul Beltrán Beltrán; Guido Köstermeyer; Ulrich Heinkel (VISIGRAPP (5: VISAPP), 2020)

Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation. - Franziska Mayer; Christian Schott; Enrico Billich; Saeid Yazdani; Ulrich Heinkel; Georg Daler; Bernhard Ruf; Ricardo Pannuzzo; Wolfgang Dickenscheid (ITC, 2021)

Improved Indoor Positioning by Means of Occupancy Grid Maps Automatically Generated from OSM Indoor Data. - Thomas Graichen; Julia Richter; Rebecca Schmidt; Ulrich Heinkel (ISPRS Int. J. Geo Inf., 2021)

Development of a Platform-independent Renderer for the Rendering of OpenStreetMap Indoor Maps in Flutter. - Julia Richter; Robin Thomas 004; David Lange; Thomas Graichen; Ulrich Heinkel (VISIGRAPP (1: GRAPP), 2022)

Automated Human Movement Segmentation by Means of Human Pose Estimation in RGB-D Videos for Climbing Motion Analysis. - Raul Beltrán Beltrán; Julia Richter; Ulrich Heinkel (VISIGRAPP (5: VISAPP), 2022)

Climbing with Virtual Mentor by Means of Video-Based Motion Analysis. - Julia Richter; Raul Beltrán Beltrán; Guido Köstermeyer; Ulrich Heinkel (IMPROVE, 2023)

Climbing Technique Evaluation by Means of Skeleton Video Stream Analysis. - Raul Beltrán Beltrán; Julia Richter; Guido Köstermeyer; Ulrich Heinkel (Sensors, 2023)

Exploring Data Fusion for AI-Based People Counting in a Static Public Transport Vehicle Using Multiple IR-UWB Transceivers. - Francesco Blangiardi; Raul Beltrán Beltrán; Zhicheng Zhao; Streiter Reinhard; Marko Rößler; Jan Langer; Ulrich Heinkel; Harald Kuhn (SDF, 2024)

Performance Investigation for IEEE 802.15.4z-compliant SiP-assisted Ranging. - Janik Kaden; Erik Markert; Ulrich Heinkel (SOCC, 2024)

Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification. - Jaimini Nagar; Thorsten Dworzak; Sebastian Simon; Ulrich Heinkel; Djones Lettnin (VLSI-SoC, 2024)

Collecting Human Motion Data in Large and Occlusion-Prone Environments using Ultra-Wideband Localization. - Janik Kaden; Maximilian Hilger; Tim Schreiter; Marius Schaab; Thomas Graichen; Andrey Rudenko; Ulrich Heinkel; Achim J. Lilienthal (CoRR, 2025)