Ulrich Heinkel

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 17

Top Venues

MBMV

SSD

VISIGRAPP (5: VISAPP)

WPNC

University of Erlangen, Germany (PHD)

Education History

University of Erlangen, Germany

PHD

Publications

Raul Beltrán Beltrán, Julia Richter, Guido Köstermeyer, Ulrich Heinkel
Climbing Technique Evaluation by Means of Skeleton Video Stream Analysis. Sensors 23 (19) (2023)
Julia Richter, Raul Beltrán Beltrán, Guido Köstermeyer, Ulrich Heinkel
Climbing with Virtual Mentor by Means of Video-Based Motion Analysis. IMPROVE (2023)
Julia Richter, Robin Thomas, David Lange, Thomas Graichen, Ulrich Heinkel
Development of a Platform-independent Renderer for the Rendering of OpenStreetMap Indoor Maps in Flutter. VISIGRAPP (1: GRAPP) (2022)
Raul Beltrán Beltrán, Julia Richter, Ulrich Heinkel
Automated Human Movement Segmentation by Means of Human Pose Estimation in RGB-D Videos for Climbing Motion Analysis. VISIGRAPP (5: VISAPP) (2022)
Franziska Mayer, Christian Schott, Enrico Billich, Saeid Yazdani, Ulrich Heinkel, Georg Daler, Bernhard Ruf, Ricardo Pannuzzo, Wolfgang Dickenscheid
Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation. ITC (2021)
Thomas Graichen, Julia Richter, Rebecca Schmidt, Ulrich Heinkel
Improved Indoor Positioning by Means of Occupancy Grid Maps Automatically Generated from OSM Indoor Data. ISPRS Int. J. Geo Inf. 10 (4) (2021)
Thomas Graichen, Rebecca Schmidt, Julia Richter, Ulrich Heinkel
Occupancy Grid Map Generation from OSM Indoor Data for Indoor Positioning Applications. GISTAM (2020)
Julia Richter, Raul Beltrán Beltrán, Guido Köstermeyer, Ulrich Heinkel
Human Climbing and Bouldering Motion Analysis: A Survey on Sensors, Motion Capture, Analysis Algorithms, Recent Advances and Applications. VISIGRAPP (5: VISAPP) (2020)
Julia Richter, Jeanine Lorenz, Maria Costantino, Verena Traubinger, Nico Tauchmann, Thomas Graichen, Ulrich Heinkel
Dynamic indoor navigation and orientation system for people with impairments. Mensch & Computer (2020)
Julia Richter, Christian Wiede, Ulrich Heinkel, Gangolf Hirtz
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. VISIGRAPP (4: VISAPP) (2019)
Christian Schott, Murali Padmanabha, Marko Rößler, Daniel Froß, Ulrich Heinkel
Position estimation with Bayesian filters by using 3-dimensional environment models. WPNC (2017)
Thomas Graichen, Erik Gruschka, Ulrich Heinkel
A map framework using crowd-sourced data for indoor positioning and navigation. M&N (2017)
Christian Schott, Daniel Froß, Marko Rößler, Ulrich Heinkel
Hardwaregestütze Positionsschätzung mit Bayes'schen Filtern auf Basis 3-dimensionaler Umgebungsmodelle für den Innenbereich. GI-Jahrestagung (2017)
Amrutansh Gudivada, Daniel Kriesten, Ulrich Heinkel, Rene Röllig, Matthias Lenk
OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability. MBMV (2017)
Murali Padmanabha, Christian Schott, Marko Rößler, Daniel Kriesten, Ulrich Heinkel
ZYNQ flexible platform for object recognition & tracking. WPNC (2016)
Sebastian Müller, Chris Drechsler, Ulrich Heinkel, Christian Herold
Acoustic emission for state-of-health determination in power modules. SSD (2016)
Marten Wegener, Daniel Froß, Marko Rößler, Chris Drechsler, Christian Pätz, Ulrich Heinkel
Relative localisation of passive UHF-tags by phase tracking. SSD (2016)
Chris Drechsler, Matthias Sauppe, Christian Pätz, Ulrich Heinkel
SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement. MBMV (2015)
Christian Schott, Marko Rößler, Ulrich Heinkel
Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. MBMV (2015)
Lei Yang, Erik Markert, Ulrich Heinkel
A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton. MBMV (2015)
Vladimir Kolchuzhin, Jan Mehner, Milind Shende, Erik Markert, Ulrich Heinkel, Christian Wagner, Thomas Gessner
System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application. MBMV (2014)
Lei Yang, Erik Markert, Ulrich Heinkel
Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender. SSD (2014)
Marten Wegener, Daniel Froß, Marko Rößler, Ulrich Heinkel, Matthias Adler
Localization of objects using passive RFID technology. SSD (2014)
Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm
Einsatz formaler Methoden zur Energieeinsparung. MBMV (2013)
Marko Rößler, Jan Langer, Ulrich Heinkel
Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC). MBMV (2013)
Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto
Optimal component selection for energy-efficient systems. FDL (2013)
Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Daniel Lorenz, Kim Grüttner, Hans-Werner Sahm, Klaus-Holger Otto
A database for the integration of power data on system level. EUROCON (2013)
Nikolaos S. Voros, Michael Hübner, Jürgen Becker, Matthias Kühnle, Florian Thoma, Arnaud Grasset, Paul Brelet, Philippe Bonnot, Fabio Campi, Eberhard Schüler, Henning Sahlbach, Sean Whitty, Rolf Ernst, Enrico Billich, Claudia Tischendorf, Ulrich Heinkel, Frank Ieromnimon, Dimitrios Kritharidis, Axel Schneider, Joachim Knäblein, Wolfram Putzke-Röming
MORPHEUS: A heterogeneous dynamically reconfigurable platform for designing highly complex embedded systems. ACM Trans. Embed. Comput. Syst. 12 (3) (2013)
Hans Sahm, Matthias Sauppe, Erik Markert, Thomas Horn, Ulrich Heinkel, Klaus-Holger Otto
Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes. Bell Labs Tech. J. 18 (3) (2013)
Per Anders Johansson, Christian Roßberg, Ulrich Heinkel
Centralized spring-based localization algorithm for large scale wireless sensor networks. SSD (2012)
Jan Langer, Marko Rößler, Ulrich Heinkel
Finding an optimal set of breakpoint locations in a control flow graph. SSD (2012)
Erik Markert, Milind Shende, Thomas Horn, Peter Wolf, Ulrich Heinkel
Tool-supported specification of a wind turbine. SSD (2012)
Robert Paulo, Per Anders Johansson, Daniel Kriesten, Ulrich Heinkel
Expedient usage of wakeup receivers in wireless network applications. WISES (2011)
Christian Roßberg, André Froß, Daniel Froß, Ulrich Heinkel
Beacon frame based network simulation using TrueTime network simulator. SimuTools (2010)
Uwe Proß, Sebastian Goller, Erik Markert, Michael Jüttner, Jan Langer, Ulrich Heinkel, Joachim Knäblein, Axel Schneider
Demonstration of an in-band reconfiguration data distribution and network node reconfiguration. DATE (2010)
Erik Markert, Enrico Billich, Claudia Tischendorf, Uwe Proß, Thilo Leibelt, Ulrich Heinkel, Joachim Knäblein, Axel Schneider
An in-band reconfigurable network node based on a heterogeneous platform. DASIP (2010)
Daniel Froß, Jan Langer, André Froß, Marko Rößler, Ulrich Heinkel
Hardware implementation of a Particle Filter for location estimation. IPIN (2010)
Enrico Billich, Marko Rößler, Ulrich Heinkel
Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-übergreifendes Multithreading. MBMV (2010)
Jan Langer, Dimo Pepelyashev, Ulrich Heinkel
Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften. MBMV (2010)
Joachim Knäblein, Claudia Tischendorf, Erik Markert, Ulrich Heinkel
Technology Independent, Embedded Logic Cores Utilizing synthesizable embedded FPGA-cores for ASIC design validation. ReCoSoC (2010)
Daniel Kriesten, Volker Pankalla, Ulrich Heinkel
An Application Example of a Run-Time Reconfigurable Embedded System. ReConFig (2010)
Daniel Kriesten, Ulrich Heinkel, Jörg Schneider
Integration von Konfigurationsmechanismen für Xilinx-FPGA in das Linux-OS. MBMV (2010)
Uwe Proß, Karl Kröber, Ulrich Heinkel
Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene. MBMV (2010)
Jan Langer, Ulrich Heinkel
High level synthesis using operation properties. FDL (2009)
Uwe Proß, Christian Adam, Benjamin Berger, Ulrich Heinkel
Modellierung dynamisch partieller Rekonfiguration mit VPRS. MBMV (2009)
Mohammad Masoumi, Erik Markert, Ulrich Heinkel, Georges G. E. Gielen
Ultra low power flash ADC for UWB transceiver applications. ECCTD (2009)
Marko Rößler, Hailu Wang, Ulrich Heinkel, Nur Engin, Wolfram Drescher
Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis. FDL (2009)
Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel
A Platform for Requirement Based Formal Specification. FDL (2008)
Erik Markert, Uwe Proß, Ulrich Heinkel
SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL (2008)
Erik Markert, Sven Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel
Ein SystemC-AMS nach VHDL-AMS Konverter. MBMV (2007)
Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. MBMV (2006)
Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala
Formal Verification of Abstract System and Protocol Specifications. SEW (2006)
Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel
Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) (2006)
Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel
Automatic Visualization of Abstract System Specifications. QSIC (2006)
Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller
New methods and coverage metrics for functional verification. DATE (2006)
Tudor Murgan, Abdulfattah Mohammad Obeid, Andre Guntoro, Peter Zipf, Manfred Glesner, Ulrich Heinkel
Design and Implementation of a Multi-Core Architecture for Overhead Processing in Optical Transport Networks. ReCoSoC (2005)
Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann
Formale Verifikation eines Sonet/SDH Framers. MBMV (2004)
Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens
An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. SAMOS (2004)
Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel
Flexible Overhead Processing Architectures for G.709 Optical Transport Networks. MBMV (2004)
Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel, Jörg Pleickhardt, Bernd Bleisteiner
Adaptive architectures for an OTN processor: reducing design costs through reconfigurability and multiprocessing. Conf. Computing Frontiers (2004)
Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel
Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL (2003)
Werner Haas, Stefan Gossens, Ulrich Heinkel
Integration of Formal Specification into the Standard ASIC Design Flow. HASE (2002)
Werner Haas, Stefan Gossens, Ulrich Heinkel
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). MBMV (2002)
Peter Conradi, Ulrich Heinkel, Michael G. Wahl
Introducing multimedia in teaching of digital system design. MSE (1997)
Ulrich Heinkel, Wolfram Glauert
An Approach for a Dynamic Generation/Validation System for the Functional Simulation Considering Timing Constraints. ED&TC (1996)

Ulrich Heinkel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulrich Heinkel