Ulrich Heinkel

According to our database, Ulrich Heinkel authored at least 69 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification.

Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin

Proceedings of the 32nd IFIP/IEEE International Conference on Very Large Scale Integration, 2024

Performance Investigation for IEEE 802.15.4z-compliant SiP-assisted Ranging.

Janik Kaden, Erik Markert, Ulrich Heinkel

Proceedings of the 37th IEEE International System-on-Chip Conference, 2024

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

Proceedings of the Sensor Data Fusion: Trends, Solutions, Applications, 2024

2023

Climbing Technique Evaluation by Means of Skeleton Video Stream Analysis.

Raul Beltrán Beltrán, Julia Richter, Guido Köstermeyer, Ulrich Heinkel

Sensors, October, 2023

Climbing with Virtual Mentor by Means of Video-Based Motion Analysis.

Julia Richter, Raul Beltrán Beltrán, Guido Köstermeyer, Ulrich Heinkel

Proceedings of the 3rd International Conference on Image Processing and Vision Engineering, 2023

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

Proceedings of the 17th International Joint Conference on Computer Vision, 2022

Development of a Platform-independent Renderer for the Rendering of OpenStreetMap Indoor Maps in Flutter.

Julia Richter, Robin Thomas, David Lange, Thomas Graichen, Ulrich Heinkel

Proceedings of the 17th International Joint Conference on Computer Vision, 2022

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

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

Proceedings of the IEEE International Test Conference, 2021

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

Proceedings of the 15th International Joint Conference on Computer Vision, 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

Proceedings of the Mensch und Computer 2020 - Tagungsband, 2020

Occupancy Grid Map Generation from OSM Indoor Data for Indoor Positioning Applications.

Thomas Graichen, Rebecca Schmidt, Julia Richter, Ulrich Heinkel

Proceedings of the 6th International Conference on Geographical Information Systems Theory, 2020

2019

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

Proceedings of the 14th International Joint Conference on Computer Vision, 2019

2017

Position estimation with Bayesian filters by using 3-dimensional environment models.

Christian Schott, Murali Padmanabha, Marko Rößler, Daniel Froß, Ulrich Heinkel

Proceedings of the 14th Workshop on Positioning, Navigation and Communications, 2017

OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability.

Amrutansh Gudivada, Daniel Kriesten, Ulrich Heinkel, Rene Röllig, Matthias Lenk

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

A map framework using crowd-sourced data for indoor positioning and navigation.

Thomas Graichen, Erik Gruschka, Ulrich Heinkel

Proceedings of the IEEE International Workshop on Measurement and Networking, 2017

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

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016

ZYNQ flexible platform for object recognition & tracking.

Murali Padmanabha, Christian Schott, Marko Rößler, Daniel Kriesten, Ulrich Heinkel

Proceedings of the 13th Workshop on Positioning, Navigation and Communications, 2016

Relative localisation of passive UHF-tags by phase tracking.

Marten Wegener, Daniel Froß, Marko Rößler, Chris Drechsler, Christian Pätz, Ulrich Heinkel

Proceedings of the 13th International Multi-Conference on Systems, Signals & Devices, 2016

Acoustic emission for state-of-health determination in power modules.

Sebastian Müller, Chris Drechsler, Ulrich Heinkel, Christian Herold

Proceedings of the 13th International Multi-Conference on Systems, Signals & Devices, 2016

2015

A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton.

Lei Yang, Erik Markert, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese.

Christian Schott, Marko Rößler, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement.

Chris Drechsler, Matthias Sauppe, Christian Pätz, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

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, Thomas Gessner

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender.

Lei Yang, Erik Markert, Ulrich Heinkel

Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

Localization of objects using passive RFID technology.

Marten Wegener, Daniel Froß, Marko Rößler, Ulrich Heinkel, Matthias Adler

Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

2013

MORPHEUS: A heterogeneous dynamically reconfigurable platform for designing highly complex embedded systems.

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

ACM Trans. Embed. Comput. Syst., 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

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Einsatz formaler Methoden zur Energieeinsparung.

Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Optimal component selection for energy-efficient systems.

Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto

Proceedings of the 2013 Forum on specification and Design Languages, 2013

A database for the integration of power data on system level.

Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Daniel Lorenz, Kim Grüttner, Hans-Werner Sahm, Klaus-Holger Otto

Proceedings of Eurocon 2013, 2013

2012

Tool-supported specification of a wind turbine.

Erik Markert, Milind Shende, Thomas Horn, Peter Wolf, Ulrich Heinkel

Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

Finding an optimal set of breakpoint locations in a control flow graph.

Jan Langer, Marko Rößler, Ulrich Heinkel

Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

Centralized spring-based localization algorithm for large scale wireless sensor networks.

Per Anders Johansson, Christian Roßberg, Ulrich Heinkel

Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

2011

Expedient usage of wakeup receivers in wireless network applications.

Robert Paulo, Per Anders Johansson, Daniel Kriesten, Ulrich Heinkel

Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems, 2011

2010

Beacon frame based network simulation using TrueTime network simulator.

Christian Roßberg, André Froß, Daniel Froß, Ulrich Heinkel

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Technology Independent, Embedded Logic Cores Utilizing synthesizable embedded FPGA-cores for ASIC design validation.

Joachim Knäblein, Claudia Tischendorf, Erik Markert, Ulrich Heinkel

Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip, 2010

An Application Example of a Run-Time Reconfigurable Embedded System.

Daniel Kriesten, Volker Pankalla, Ulrich Heinkel

Proceedings of the ReConFig'10: 2010 International Conference on Reconfigurable Computing and FPGAs, 2010

Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene.

Uwe Proß, Karl Kröber, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften.

Jan Langer, Dimo Pepelyashev, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Integration von Konfigurationsmechanismen für Xilinx-FPGA in das Linux-OS.

Daniel Kriesten, Ulrich Heinkel, Jörg Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-übergreifendes Multithreading.

Enrico Billich, Marko Rößler, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Hardware implementation of a Particle Filter for location estimation.

Daniel Froß, Jan Langer, André Froß, Marko Rößler, Ulrich Heinkel

Proceedings of the 2010 International Conference on Indoor Positioning and Indoor Navigation, 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

Proceedings of the Design, Automation and Test in Europe, 2010

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

Proceedings of the 2010 Conference on Design & Architectures for Signal & Image Processing, 2010

2009

Modellierung dynamisch partieller Rekonfiguration mit VPRS.

Uwe Proß, Christian Adam, Benjamin Berger, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis.

Marko Rößler, Hailu Wang, Ulrich Heinkel, Nur Engin, Wolfram Drescher

Proceedings of the Forum on specification and Design Languages, 2009

High level synthesis using operation properties.

Jan Langer, Ulrich Heinkel

Proceedings of the Forum on specification and Design Languages, 2009

Ultra low power flash ADC for UWB transceiver applications.

Mohammad Masoumi, Erik Markert, Ulrich Heinkel, Georges G. E. Gielen

Proceedings of the 19th European Conference on Circuit Theory and Design, 2009

2008

A Platform for Requirement Based Formal Specification.

Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel

Proceedings of the Forum on specification and Design Languages, 2008

SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems.

Erik Markert, Uwe Proß, Ulrich Heinkel

Proceedings of the Forum on specification and Design Languages, 2008

2007

Ein SystemC-AMS nach VHDL-AMS Konverter.

Erik Markert, Sven Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2006

Formal Verification of Abstract System and Protocol Specifications.

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Automatic Visualization of Abstract System Specifications.

Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen.

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Automatic Test Case Generation with NuSMV.

Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

New methods and coverage metrics for functional verification.

Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

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

Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005

2004

An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs.

Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens

Proceedings of the Computer Systems: Architectures, 2004

Formale Verifikation eines Sonet/SDH Framers.

Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Flexible Overhead Processing Architectures for G.709 Optical Transport Networks.

Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

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

Proceedings of the First Conference on Computing Frontiers, 2004

2003

Formal Specification of a 40GBit/s Sonet/SDH ASIC.

Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel

Proceedings of the Forum on specification and Design Languages, 2003

2002

Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA).

Werner Haas, Stefan Gossens, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Integration of Formal Specification into the Standard ASIC Design Flow.

Werner Haas, Stefan Gossens, Ulrich Heinkel

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

1999

Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen.

Ulrich Heinkel

PhD thesis, 1999

1997

Introducing multimedia in teaching of digital system design.

Peter Conradi, Ulrich Heinkel, Michael G. Wahl

Proceedings of the 1997 IEEE International Conference on Microelectronic Systems Education, 1997

1996

An Approach for a Dynamic Generation/Validation System for the Functional Simulation Considering Timing Constraints.

Ulrich Heinkel, Wolfram Glauert

Proceedings of the 1996 European Design and Test Conference, 1996