default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUlrich Heinkel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1999
[b1]Ulrich Heinkel:
Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen. University of Erlangen, Germany, VDI-Verlag 1999, ISBN 978-3-18-329020-8, pp. 1-180
Journal Articles
- 2023
- [j4]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): 8216 (2023) - 2021
- [j3]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): 216 (2021) - 2013
- [j2]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): 195-209 (2013) - [j1]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): 70:1-70:33 (2013)
Conference and Workshop Papers
- 2024
- [c62]Janik Kaden, Erik Markert, Ulrich Heinkel:
Performance Investigation for IEEE 802.15.4z-compliant SiP-assisted Ranging. SOCC 2024: 1-6 - 2023
- [c61]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: 126-133 - 2022
- [c60]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: 147-154 - [c59]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: 366-373 - 2021
- [c58]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: 374-379 - 2020
- [c57]Thomas Graichen, Rebecca Schmidt, Julia Richter, Ulrich Heinkel:
Occupancy Grid Map Generation from OSM Indoor Data for Indoor Positioning Applications. GISTAM 2020: 168-174 - [c56]Julia Richter, Jeanine Lorenz, Maria Costantino, Verena Traubinger, Nico Tauchmann, Thomas Graichen, Ulrich Heinkel:
Dynamic indoor navigation and orientation system for people with impairments. MuC 2020: 473-477 - [c55]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: 751-758 - 2019
- [c54]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: 497-504 - 2017
- [c53]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: 503-514 - [c52]Thomas Graichen, Erik Gruschka, Ulrich Heinkel:
A map framework using crowd-sourced data for indoor positioning and navigation. M&N 2017: 1-6 - [c51]Amrutansh Gudivada, Daniel Kriesten, Ulrich Heinkel, Rene Röllig, Matthias Lenk:
OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability. MBMV 2017: 43-50 - [c50]Christian Schott, Murali Padmanabha, Marko Rößler, Daniel Froß, Ulrich Heinkel:
Position estimation with Bayesian filters by using 3-dimensional environment models. WPNC 2017: 1-6 - 2016
- [c49]Sebastian Müller, Chris Drechsler, Ulrich Heinkel, Christian Herold:
Acoustic emission for state-of-health determination in power modules. SSD 2016: 468-471 - [c48]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: 503-506 - [c47]Murali Padmanabha, Christian Schott, Marko Rößler, Daniel Kriesten, Ulrich Heinkel:
ZYNQ flexible platform for object recognition & tracking. WPNC 2016: 1-6 - 2015
- [c46]Christian Schott, Marko Rößler, Ulrich Heinkel:
Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. MBMV 2015: 5-13 - [c45]Chris Drechsler, Matthias Sauppe, Christian Pätz, Ulrich Heinkel:
SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement. MBMV 2015: 41-49 - [c44]Lei Yang, Erik Markert, Ulrich Heinkel:
A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton. MBMV 2015: 135-144 - 2014
- [c43]Marten Wegener, Daniel Froß, Marko Rößler, Ulrich Heinkel, Matthias Adler:
Localization of objects using passive RFID technology. SSD 2014: 1-4 - [c42]Lei Yang, Erik Markert, Ulrich Heinkel:
Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender. SSD 2014: 1-5 - [c41]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: 205-208 - 2013
- [c40]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: 361-368 - [c39]Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto:
Optimal component selection for energy-efficient systems. FDL 2013: 1-8 - [c38]Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm:
Einsatz formaler Methoden zur Energieeinsparung. MBMV 2013: 141-146 - [c37]Marko Rößler, Jan Langer, Ulrich Heinkel:
Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC). MBMV 2013: 219-228 - 2012
- [c36]Per Anders Johansson, Christian Roßberg, Ulrich Heinkel:
Centralized spring-based localization algorithm for large scale wireless sensor networks. SSD 2012: 1-6 - [c35]Jan Langer, Marko Rößler, Ulrich Heinkel:
Finding an optimal set of breakpoint locations in a control flow graph. SSD 2012: 1-6 - [c34]Erik Markert, Milind Shende, Thomas Horn, Peter Wolf, Ulrich Heinkel:
Tool-supported specification of a wind turbine. SSD 2012: 1-6 - 2011
- [c33]Robert Paulo, Per Anders Johansson, Daniel Kriesten, Ulrich Heinkel:
Expedient usage of wakeup receivers in wireless network applications. WISES 2011: 27-32 - 2010
- [c32]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: 15-20 - [c31]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: 614-617 - [c30]Daniel Froß, Jan Langer, André Froß, Marko Rößler, Ulrich Heinkel:
Hardware implementation of a Particle Filter for location estimation. IPIN 2010: 1-6 - [c29]Jan Langer, Dimo Pepelyashev, Ulrich Heinkel:
Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften. MBMV 2010: 31-40 - [c28]Enrico Billich, Marko Rößler, Ulrich Heinkel:
Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-übergreifendes Multithreading. MBMV 2010: 127-136 - [c27]Uwe Proß, Karl Kröber, Ulrich Heinkel:
Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene. MBMV 2010: 197-206 - [c26]Daniel Kriesten, Ulrich Heinkel, Jörg Schneider:
Integration von Konfigurationsmechanismen für Xilinx-FPGA in das Linux-OS. MBMV 2010: 237-246 - [c25]Daniel Kriesten, Volker Pankalla, Ulrich Heinkel:
An Application Example of a Run-Time Reconfigurable Embedded System. ReConFig 2010: 97-102 - [c24]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: 161-168 - [c23]Christian Roßberg, André Froß, Daniel Froß, Ulrich Heinkel:
Beacon frame based network simulation using TrueTime network simulator. SimuTools 2010: 47 - 2009
- [c22]Mohammad Masoumi, Erik Markert, Ulrich Heinkel, Georges G. E. Gielen:
Ultra low power flash ADC for UWB transceiver applications. ECCTD 2009: 41-44 - [c21]Jan Langer, Ulrich Heinkel:
High level synthesis using operation properties. FDL 2009: 1-6 - [c20]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: 1-6 - [c19]Uwe Proß, Christian Adam, Benjamin Berger, Ulrich Heinkel:
Modellierung dynamisch partieller Rekonfiguration mit VPRS. MBMV 2009: 177-186 - 2008
- [c18]Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel:
A Platform for Requirement Based Formal Specification. FDL 2008: 237-238 - [c17]Erik Markert, Uwe Proß, Ulrich Heinkel:
SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL 2008: 243-244 - 2007
- [c16]Erik Markert, Sven Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel:
Ein SystemC-AMS nach VHDL-AMS Konverter. MBMV 2007: 151-160 - 2006
- [c15]Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller:
New methods and coverage metrics for functional verification. DATE 2006: 1025-1030 - [c14]Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel:
Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) 2006: 262-263 - [c13]Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala:
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. MBMV 2006: 339-348 - [c12]Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel:
Automatic Visualization of Abstract System Specifications. QSIC 2006: 167-174 - [c11]Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala:
Formal Verification of Abstract System and Protocol Specifications. SEW 2006: 207-211 - 2005
- [c10]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: 151-156 - 2004
- [c9]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: 404-418 - [c8]Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel:
Flexible Overhead Processing Architectures for G.709 Optical Transport Networks. MBMV 2004: 156-164 - [c7]Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann:
Formale Verifikation eines Sonet/SDH Framers. MBMV 2004: 280-288 - [c6]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: 98-107 - 2003
- [c5]Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel:
Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL 2003: 426-435 - 2002
- [c4]Werner Haas, Stefan Gossens, Ulrich Heinkel:
Integration of Formal Specification into the Standard ASIC Design Flow. HASE 2002: 189-194 - [c3]Werner Haas, Stefan Gossens, Ulrich Heinkel:
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). MBMV 2002: 96-105 - 1997
- [c2]Peter Conradi, Ulrich Heinkel, Michael G. Wahl:
Introducing multimedia in teaching of digital system design. MSE 1997: 89-90 - 1996
- [c1]Ulrich Heinkel, Wolfram Glauert:
An Approach for a Dynamic Generation/Validation System for the Functional Simulation Considering Timing Constraints. ED&TC 1996: 302-309
Editorship
- 2015
- [e1]Ulrich Heinkel, Daniel Kriesten, Marko Rößler:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. Sächsische Landesbibliothek 2015, ISBN 978-3-00-048889-4 [contents]
Coauthor Index
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-11-20 21:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
